弗兰兹·巴德;奥利弗·费尔南德斯·吉尔 用概念测度引发的阈值概念扩展描述逻辑\(\mathcal{EL}\)。 (英语) Zbl 07803980号 Artif公司。智力。 326,文章ID 104034,66 p.(2024).MSC公司:68立方英尺 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}和\textit{O.Fernández Gil},Artif。智力。326,文章ID 104034,66 p.(2024;Zbl 07803980) 全文: 内政部
达尼埃拉·贝拉迪;迭戈·卡尔瓦内斯;朱塞佩·德贾科莫 基于UML类图的推理。 (英语) 兹比尔1132.68747 Artif公司。智力。 168,第1-2号,70-118(2005).MSC公司:68立方英尺 68T27型 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{D.Berardi}等人,Artif。智力。168,编号1--2,70-118(2005;Zbl 1132.68747) 全文: 内政部
伊恩·霍洛克斯;乌尔里克·萨特勒 具有复杂角色包含公理的SHIQ的可判定性。 (英语) Zbl 1086.68129号 Artif公司。智力。 160,编号1-2,79-104(2004).MSC公司:68T27型 03B25号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{I.Horrocks}和\textit{U.Sattler},Artif。智力。160,编号1--2,79-104(2004;Zbl 1086.68129) 全文: 内政部
肯·卡内瓦 带有谓词层次结构的顺序逻辑编程。 (英语) Zbl 1086.68026号 Artif公司。智力。 158,第2期,155-188(2004).MSC公司:68N17号 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{K.Kaneiwa},人工制品。智力。158,编号2155-188(2004年;兹bl 1086.68026) 全文: 内政部
卡斯滕·卢茨 将基于间隔的时态推理与通用TBox相结合。 (英语) Zbl 1082.68106号 Artif公司。智力。 152,第2期,235-274(2004).MSC公司:68T27型 03B44号 PDF格式BibTeX公司 XML格式引用 \文本{C.Lutz},Artif。智力。152,No.2,235--274(2004;Zbl 1082.68106) 全文: 内政部
F.M.多尼尼。;马萨奇,F。 ALC的EXP时间表。 (英语) Zbl 0952.68136号 Artif公司。智力。 124,第1期,第87-138页(2000年).MSC公司:68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.M.Donini}和\textit{F.Massacci},Artif。智力。124,第1号,87--138(2000;Zbl 0952.68136) 全文: 内政部
R.J.布拉赫曼。;麦吉尼斯,D.L。;帕特尔·施耐德,P.F。;博尔吉达,A。 将经典“还原”为实践:知识表征理论符合现实。 (英语) Zbl 0939.68837号 Artif公司。智力。 114,编号1-2,203-237(1999).MSC公司:68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{R.J.Brachman}等人,人工制品。智力。114,第1-2203-237号(1999年;兹bl 0939.68837) 全文: 内政部
阿隆·利维。;玛丽·克里斯汀·罗塞特 在CARIN中结合了Horn规则和描述逻辑。 (英语) Zbl 0908.68166号 Artif公司。智力。 104,编号1-2,165-209(1998).MSC公司:68立方英尺 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Y.Levy}和\textit{M.-C.Rousset},阿蒂夫。智力。104,编号1--2,165-209(1998;Zbl 0908.68166) 全文: 内政部
F.M.多尼尼。;伦泽里尼,M。;D.纳尔迪。;西纳特。;A.谢尔夫。 描述逻辑的认知算子。 (英语) Zbl 0906.68144号 Artif公司。智力。 100,编号1-2,225-274(1998).MSC公司:68立方英尺 68T27型 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{F.M.Donini}等人,Artif。智力。100,编号1--2225-274(1998;Zbl 0906.68144) 全文: 内政部
M.布赫海特。;F.M.多尼尼。;西纳特。;A.谢尔夫。 术语系统的优化架构:术语=模式+视图。 (英语) 兹伯利0896.68132 Artif公司。智力。 99,第209-260号(1998年).MSC公司:68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Buchheit}等人,Artif。智力。99,第2号,209--260(1998;Zbl 0896.68132) 全文: 内政部
彼得·鲍姆加特纳;乌尔里希·富巴赫;弗里德·斯托尔森堡 通过模型消除计算答案。 (英语) Zbl 1017.03505号 Artif公司。智力。 90,第1-2号,第135-176页(1997年).MSC公司:03B35型 68吨15 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{P.Baumgartner}等人,Artif。智力。90,编号1--2,135-176(1997;Zbl 1017.03505) 全文: 内政部
贾纳·科勒 根据第二原则进行规划。 (英语) Zbl 1506.68125号 Artif公司。智力。 87,第1-2号,145-186(1996).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Koehler},阿蒂夫。智力。87,编号1--2,145-186(1996;Zbl 1506.68125) 全文: 内政部
王铁成 用条件类型理论进行演绎的类型化分解原理。 (英语) Zbl 1013.68536号 Artif公司。智力。 75,第2期,161-194(1995).MSC公司:第68页第15页 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{T.C.Wang},Artif(阿蒂夫)。智力。75,第2号,161--194(1995;Zbl 1013.68536) 全文: 内政部
马尔科·谢尔夫;马可·卡多利 通过近似进行推理。 (英语) Zbl 1014.03512号 Artif公司。智力。 74,第2期,249-310(1995).MSC公司:03B60号 03B35型 03B45号 03B50号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Schaerf}和\textit{M.Cadoli},Artif。智力。74,第2号,249--310(1995;Zbl 1014.03512) 全文: 内政部
格哈德·莱克梅耶 一阶知识库中的有限推理。 (英语) Zbl 0820.68117号 Artif公司。智力。 71,第2期,213-255(1994).MSC公司:68立方英尺 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{G.Lakemeyer},阿蒂夫。智力。71,No.2,213--255(1994;Zbl 0820.68117) 全文: 内政部
Jochen Heinsohn;丹尼尔·库登科;伯恩哈德·内贝尔;Hans-Jürgen教授 术语表示系统的实证分析。 (英语) Zbl 0812.68113号 Artif公司。智力。 68,第2期,367-397(1994). 审核人:N.Zlatareva(新不列颠) MSC公司:68立方英尺 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Heinsohn}等人,Artif。智力。68,第2号,367--397(1994;Zbl 0812.68113) 全文: 内政部
汉斯·尤根·伯克特 约束逻辑的解决原则。 (英语) Zbl 0807.68082号 Artif公司。智力。 66,第2期,235-271(1994).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \文本{H.-J.Bürckert},Artif。智力。66,No.2,235--271(1994;Zbl 0807.68082) 全文: 内政部
乔治·戈特洛布;Fermüller,Christian G。 删除子句中的冗余。 (英语) Zbl 0779.68015号 Artif公司。智力。 61,第2期,263-289(1993).MSC公司:68N17号 68T27型 65年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{G.Gottlob}和\textit{C.G.Fermüller},人工制品。智力。61,第2263-289号(1993年;兹bl 0779.68015) 全文: 内政部
David A.McAllester。;罗伯特·吉万 自然语言句法和一阶推理。 (英语) Zbl 0761.68084号 Artif公司。智力。 56,第1号,1-20(1992).MSC公司:68吨15 68T99型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{D.A.McAllester}和\textit{R.Givan},Artif。智力。56,编号1,1--20(1992;Zbl 0761.68084) 全文: 内政部
C·拜尔勒。;Hedtstück,美国。;普莱塔特,美国。;施密特,P.H。;J.西克曼。 一种用于知识表示系统的有序逻辑。 (英语) Zbl 0768.68196号 Artif公司。智力。 55,第2-3期,149-191(1992).MSC公司:68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{C.Beierle}等人,Artif。智力。55,No.2--3149--191(1992;Zbl 0768.68196) 全文: 内政部
弗朗西斯科·多尼尼。;莫里齐奥·伦泽里尼;丹尼尔·纳尔迪;伯恩哈德·霍兰德;沃纳·纳特;阿尔贝托省马切蒂·斯帕卡米拉 概念语言中存在量化的复杂性。 (英语) Zbl 1193.68241号 Artif公司。智力。 53,第2-3号,309-327(1992).MSC公司:68立方英尺 2017年第68季度 65年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{F.M.Donini}等人,Artif。智力。53,编号2--3,309--327(1992;Zbl 1193.68241) 全文: 内政部
Schmidt Schauß,曼弗雷德;格特·斯莫尔卡 带有补语的定语概念描述。 (英语) Zbl 0712.68095号 Artif公司。智力。 48,第1期,1-26页(1991年).MSC公司:68立方英尺 65年第68季度 68T99型 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}和\textit{G.Smolka},Artif。智力。48,第1号,1-26(1991;Zbl 0712.68095) 全文: 内政部
艾伦·M·弗里希。 分类演绎的替代框架:混合推理的基本结果。 (英语) Zbl 0736.68071号 Artif公司。智力。 49,第1-3号,161-198(1991).MSC公司:68吨15 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.M.Frisch},阿蒂夫。智力。49,No.1--3,161--198(1991;Zbl 0736.68071) 全文: 内政部
伯恩哈德·内贝尔 术语推理天生就很难处理。 (英语) Zbl 0717.68089号 Artif公司。智力。 43,第2期,235-249(1990).MSC公司:68吨15 68立方英尺 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Nebel},阿蒂夫。智力。43,No.2,235--249(1990;Zbl 0717.68089) 全文: 内政部