格里戈里·施瓦兹 关于将默认逻辑嵌入摩尔的自认知逻辑。 (英语) Zbl 1523.68094号 Artif公司。智力。 80,第2期,349-359(1996).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{G.Schwarz},阿蒂夫。智力。80,编号2349-359(1996年;Zbl 1523.68094) 全文: 内政部
彼得·哈德维 代表计划的时间、机会和行动的逻辑。 (英语) Zbl 1506.68139号 Artif公司。智力。 80,第2期,243-308(1996).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{P.Haddawy},阿蒂夫。智力。80,第2号,243--308(1996;Zbl 1506.68139) 全文: 内政部
福斯托·金奇利亚;保罗·特拉弗索 机械化对象理论的元理论。 (英语) Zbl 1506.68178号 Artif公司。智力。 80,第2期,197-241(1996).MSC公司:68伏15 03B35型 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{F.Giunchiglia}和\textit{P.Traverso},Artif。智力。80,第2号,197--241(1996;Zbl 1506.68178) 全文: 内政部