托尼·曼奇尼;马可·卡多利 利用声明性问题规范中的函数依赖性。 (英语) Zbl 1168.68552号 工件。智力。 171,第16-17号,985-1010(2007).MSC公司:68T20型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{T.Mancini}和\textit{M.Cadoli},Artif。智力。171,编号16--17,985--1010(2007;Zbl 1168.68552) 全文: 内政部
马可·卡多利;托尼·曼奇尼 通过安全延迟约束自动重新制定规范。 (英语) Zbl 1131.68096号 工件。智力。 170,编号8-9,779-801(2006).MSC公司:68T20型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Cadoli}和\textit{T.Mancini},Artif。智力。170,编号8--9779--801(2006;Zbl 1131.68096) 全文: 内政部
马可·卡多利;安德烈亚·谢尔夫 将问题规范编译为SAT。 (英语) Zbl 1132.68693号 工件。智力。 162,编号1-2,89-120(2005).MSC公司:68T20型 68N20型 2015年第68季度 2017年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Cadoli}和\textit{A.Schaerf},Artif。智力。162,编号1--2,89-120(2005;Zbl 1132.68693) 全文: 内政部
卡多利,M。;F·斯卡切罗。 霍恩近似的语义和计算方面。 (英语) Zbl 0945.68160号 工件。智力。 119,编号1-2,1-17(2000).MSC公司:68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Cadoli}和\textit{F.Scarcello},Artif。智力。119,编号1--2,1--17(2000;Zbl 0945.68160) 全文: 内政部
卡多利,M。;F.M.多尼尼。;利伯拉托雷,P。;谢尔夫,M。 修改后的知识库的大小。 (英语) Zbl 0939.68853号 工件。智力。 115,第1期,25-64页(1999年).MSC公司:68层35 PDF格式BibTeX公司 XML格式引用 \textit{M.Cadoli}等人,Artif。智力。115,第1号,25-64(1999年;兹bl 0939.68853) 全文: 内政部
马可·卡多利;弗朗西斯科·多尼尼。;马尔科·沙尔夫 非单调推理的难处理性真的是一个缺点吗? (英语) Zbl 0907.68182号 工件。智力。 88,No.1-2,215-251(1996).MSC公司:68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Cadoli}等人,人工制品。智力。88,编号1--2,215--251(1996;Zbl 0907.68182) 全文: 内政部
马尔科·沙尔夫;马可·卡多利 通过近似进行推理。 (英语) Zbl 1014.03512号 工件。智力。 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 0762.03013号 工件。智力。 54,第3期,397-410(1992).MSC公司:03B80号 68T27型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Cadoli}等人,Artif。智力。54,编号3,397-410(1992年;Zbl 0762.03013) 全文: 内政部