恰基萨卡马;井上，胜美 扩展析取程序的准一致稳定语义。 （英语） Zbl 0827.68070号 J.日志。计算。 5，第3期，265-285（1995）. 摘要：本文介绍了可能不一致析取逻辑程序的声明语义。我们引入了扩展析取程序的次一致最小和稳定模型语义，它可以区分程序中的不一致信息和其他信息。这些语义基于格结构多值逻辑，并以扩展析取程序的一种新的不动点语义为特征。还介绍了次一致语义在不一致程序推理中的应用。 引用于17文件 MSC公司： 68问题55 计算理论中的语义学 68N17号 逻辑编程 03B53号 准一致逻辑 关键词：陈述语义学;析取逻辑程序;次一致语义 PDF格式BibTeX公司 XML格式引用 \textit{C.Sakama}和\textit{K.Inoue}，J.Log。计算。5，第3号，265--285（1995；Zbl 0827.68070） 全文： 内政部 链接