圣地亚哥Ontañón;佩德罗·梅塞盖尔 使用约束编程和变量对称加快对特征项的操作。 (英语) Zbl 1328.68171号 Artif公司。智力。 220, 104-120 (2015).MSC公司:68T05型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{S.Ontañón}和\textit{P.Meseguer},Artif。智力。220104-120(2015年;Zbl 1328.68171) 全文: 内政部
肯·卡内瓦 带有谓词层次结构的顺序逻辑编程。 (英语) Zbl 1086.68026号 Artif公司。智力。 158,第2期,155-188(2004).MSC公司:68N17号 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{K.Kaneiwa},人工制品。智力。158,第2号,155--188(2004;Zbl 1086.68026) 全文: 内政部
阿隆·利维。;玛丽·克里斯汀·罗塞特 在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) 全文: 内政部
曼弗雷德·施密特·沙乌;格特·斯莫尔卡 带有补语的定语概念描述。 (英语) 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) 全文: 内政部