恰基萨卡马 非单调逻辑程序中答案集的归纳。 (英语) 兹比尔1367.68039 ACM事务处理。计算。日志。 6,第2期,203-231(2005). 引用于17文件 MSC公司: 68N17号 逻辑编程 68T27型 人工智能中的逻辑 关键词:答案集;归纳;非单调逻辑程序 PDF格式BibTeX公司 XML格式引用 \textit{C.Sakama},ACM翻译。计算。日志。6,第2号,203--231(2005;Zbl 1367.68039) 全文: 内政部