×
弗拉基米尔·利夫希茨

答案集编程方面的成就。 （英语） Zbl 1422.68027号

理论与实践。日志。程序。 17，编号5-6，961-973（2017）.
摘要：本文描述了一种答案集编程方法，该方法可以帮助设计易于理解且可证明正确的编码。在这种方法下，在将一条规则或一组规则附加到新兴程序之后，我们会添加一条注释，说明迄今为止“实现”了什么。这种策略允许我们通过以数学上精确的方式描述程序小部分的角色来阐述我们对程序设计的理解。

引用于4文件

MSC公司：

68N17号 逻辑编程

关键词：

答案集编程;逻辑程序设计教学;程序设计方法

软件：

格林戈
PDF格式BibTeX公司 XML格式引用
\textit｛V.Lifschitz｝，《理论与实践》。日志。程序。17、编号5--6、961--973（2017；Zbl 1422.68027）
全文： 内政部 arXiv公司

参考文献：

[1] 大脑。，埃尔德姆。，井上。，OetschJ公司。，PührerJ.，TompitsH。和YilmazC.2012。使用应答程序进行事件序列测试。国际软件进步杂志5，237-251。
[2] 布鲁克斯D。R.、ErdemE.、。，埃尔多安S。T.、MinettJ。W.和RingeD.2007。使用答案集编程推断系统发育树。自动推理杂志39，471-511.10.1007/s10817-007-9082-1·Zbl 1132.68676号 ·doi:10.1007/s10817-007-9082-1
[3] CalimeriF.、FaberW.、。，GebserM.、IanniG.、。，卡明斯基。，KrennwallnerT公司。，利昂内。，里卡夫。和SchaubT.2012。ASP-Core-2：输入语言格式[在线]。网址：https://www.mat.unical.it/aspcomp2013/files/ASP-CORE-2.03b.pdf【2017年8月15日访问】。
[4] 查瓦特。和Pfandler A.2015。Democratix：一种宣告性的决胜方法。程序中。第四届算法决策理论国际会议（ADT）。
[5] 迪克斯特拉。1972年12月。谦逊的程序员。ACM15通信，859-866.10.1145/355604.361591·电话：10.1145/355604.361591
[6] 爱尔兰。，利昂内。，马提斯C。，PfeiferG公司。和ScarcellF.1998。KR系统dlv：进度报告、比较和基准。程序中。知识表示与推理原则国际会议（KR），A.Cohn、L.Schubert和S.Shapiro，第406-417版。
[7] GebserM.、HarrisonA.、。，卡明斯基。，LifschitzV公司。和SchaubT.2015。抽象外国佬。逻辑程序设计的理论与实践15，449-463.10.1017/S1471068415000150S147106941500150·Zbl 1379.68031号 ·doi:10.1017/S1471068415000150
[8] GebserM.，卡明斯基。，考夫曼银行。，林道尔，奥斯特罗斯基。，罗梅罗J。，朔布。和ThieleS.2015。Potassco用户指南，2.0版[在线]。网址：https://sourceforge.net/projects/potassco/files/guide/2.0/guide-2.0.pdf/download。
[9] GebserM.、KaminskiR.、。，考夫曼B。和SchaubT.2012。实践中的答案集求解。人工智能和机器学习综合讲座。摩根和克莱普尔出版社。
[10] GelfondM公司。和KahlY.2014。知识表示、推理和智能代理的设计：答案集编程方法。剑桥大学出版社。
[11] GelfondM公司。和LifschitzV.1990。经典否定逻辑程序。程序中。国际逻辑编程会议（ICLP），D.Warren和P.Szeredi，Eds.579-597。
[12] GelfondM公司。和LifschitzV.1993。用逻辑程序表示动作和变化。逻辑编程杂志17，301-322.10.1016/0743-1066（93）90035-F·Zbl 0783.68024号 ·doi:10.1016/0743-1066（93）90035-F
[13] 盖尔方德M。和PrzymusinskaH.1996。细化容忍理论：逻辑编程方法。国际软件工程与知识工程杂志6，1，89-112.10.1142/S0218194096000053·doi:10.1142/S0218194096000053
[14] LifschitzV公司。和特纳H.1999。用逻辑程序表示过渡系统。程序中。逻辑程序设计和非单调推理国际会议（LPNMR）。92-106. ·Zbl 0952.68132号
[15] 马雷千伏。和Truszczynski M.1999。稳定模型和替代逻辑编程范式。《逻辑编程范式：25年展望》。施普林格出版社，375-398.10.1007/978-3-642-60085-2_17·Zbl 0979.68524号 ·doi:10.1007/978-3-642-60085-2_17
[16] 尼梅尔一世，1999年。具有稳定模型语义的逻辑程序作为约束编程范式。数学与人工智能年鉴25，241-273.10.1023/A:1018930122475·Zbl 0940.68018号 ·doi:10.1023/A:1018930122475
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。