迈克尔·卡索拉里；Lee，Joohyng先生 表示答案集编程中因果计算器的语言。 （英语） Zbl 1245.68048号 Gallagher，John P.（编辑）等人，第27届逻辑编程国际会议的技术交流（ICLP 2011），美国肯塔基州列克星敦，2011年7月6日至10日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-31-6）。LIPIcs–莱布尼茨国际信息学论文集11，51-61，仅电子版（2011）。 摘要：动作语言是一种基于非单调因果逻辑的形式主义，旨在描述动作的属性。在因果计算器系统中实现了\（\mathcal{C}+\）的确定片段(CCalc公司)基于将非单调因果逻辑简化为命题逻辑。另一方面，在本文中，我们表示CCalc公司在答案集编程（ASP）中，通过将非单调因果逻辑转换为稳定模型语义下的公式。我们设计了一个标准库，用于描述CCalc公司就ASP而言，允许使用简单的模块化方法表示CCalc公司用ASP语言输入程序。使用系统组合（f）2低压和答案集求解器，我们称之为该方法的原型实现Cplus2ASP公司，实现了接近CCalc公司同时利用答案集解算器进行高效计算，计算速度比CCalc公司在几个基准示例上。关于整个系列，请参见[Zbl 1237.68017号]. 引用于6文件 MSC公司： 68N17号 逻辑编程 03B70号 计算机科学中的逻辑 68立方英尺 知识表示 关键词：答案集编程；非单调因果逻辑；动作语言 软件：f2低压；考拉；CCalc公司；Cplus2ASP公司 PDF格式BibTeX公司 XML格式引用 \textit{M.Casolary}和\textit{J.Lee}，LIPIcs——莱布尼茨国际程序。通知。11、51-61（2011；Zbl 1245.68048） 全文： 内政部 链接