×
保罗·曼卡雷拉；贾科莫·特雷尼；法里巴·萨德里；弗朗西丝卡·托尼；乌尔·恩德里斯

带约束的外推逻辑编程的CIFF证明过程：理论、实现和实验。 （英语） Zbl 1184.68161号

理论与实践。日志。程序。 9，第6号，691-750（2009）.
摘要：我们给出了约束外推逻辑程序设计的CIFF证明过程，并证明了其正确性。CIFF是用于外推逻辑编程的IFF证明过程的扩展，它放宽了对变量量化（允许条件）的原始限制，并与约束逻辑编程一样，结合了约束求解器来处理数值约束。最后，我们描述了CIFF系统，将其与最先进的诱拐系统和答案集求解器进行了比较，并展示了如何使用它来编程一些应用程序。

引用于5文件

MSC公司：

68N17号 逻辑编程

关键词：

绑架；约束；证明程序

软件：

HYPROLOG公司；斯莫德尔斯
PDF格式BibTeX公司 XML格式引用
\textit{P.Mancarella}等人，《理论与实践》。日志。程序。9，第6号，691--750（2009；Zbl 1184.68161）
全文： 内政部

参考文献：

[1] 卡卡斯，《逻辑编程与非单调逻辑研讨会论文集》第49页–（1990）
[2] 巴拉尔，《知识表示、推理和声明性问题解决》（2003年）·doi:10.1017/CBO9780511543357
[3] DOI:10.1093/log.com/2.6.719·Zbl 0778.68081号 ·doi:10.1093/logcom/2.6.719
[4] DOI:10.1017/S1471068403001960·Zbl 1090.68014号 ·doi:10.1017/S1471068403001960
[5] 卡卡斯，《人工智能和逻辑编程逻辑手册》，第5页，235–（1998）
[6] 内政部：10.1145/1380572.1380578·Zbl 1367.68273号 ·数字对象标识代码：10.1145/1380572.1380578
[7] DOI:10.1016/S0743-1066（98）10002-X·Zbl 0920.68068号 ·doi:10.1016/S0743-1066（98）10002-X
[8] Simons，扩展和实现稳定模型语义（2000）
[9] 内政部：10.1016/0743-1066（94）90033-7·Zbl 00639141号 ·doi:10.1016/0743-1066（94）90033-7
[10] Holzbaur，第四届编程语言实现和逻辑编程研讨会论文集，第260页–（1992）·doi:10.1007/3-540-55844-6_141
[11] Shanahan，《第十一届国际人工智能联合会议论文集》，pp 1055–（1989）
[12] 内政部：10.1007/BF03037169·doi:10.1007/BF03037169
[13] 内政部：10.1007/3-540-45757-7_35·doi:10.1007/3-540-45757-7_35
[14] Gelfond，《第五届逻辑程序设计国际会议和研讨会论文集》（ICLP/SLP），第1070页–（1988）
[15] Sadri，AI*IA 99：《人工智能进展》，意大利人工智能协会第六届大会，第49页–（1999）
[16] DOI:10.1016/S0743-1066（97）00026-5·兹伯利0890.68029 ·doi:10.1016/S0743-1066（97）00026-5
[17] Pereira，《第八届逻辑编程国际会议论文集》，第475页–（1991）
[18] 尼梅拉，第四届逻辑程序设计和非单调推理国际会议论文集，第421页–（1997）
[19] DOI:10.1016/S0743-1066（98）10005-5·Zbl 0920.68029号 ·doi:10.1016/S0743-1066（98）10005-5
[20] 米勒，《计算逻辑：逻辑编程及其以外》，罗伯特·A·科瓦尔斯基荣誉论文，第二部分，第452页–（2002）·doi:10.1007/3-540-45632-5_17
[21] 卡卡斯，第17届国际人工智能联合会议记录第591页–（2001）
[22] Christiansen，《第21届逻辑程序设计国际会议论文集》，（ICLP05）第159–（2005）页
[23] DOI:10.1016/S0743-1066（99）00075-8·Zbl 0957.68017号 ·doi:10.1016/S0743-1066（99）00075-8
[24] Bressan，国际逻辑编程研讨会论文集，第213页–（1997）
[25] Wielemaker，第13届逻辑编程环境国际研讨会论文集，第1页–（2003年）
[26] 卡卡斯，《人工智能研究杂志》，第33页，第285页–（2008年）
[27] Wetzel，第13届逻辑编程联合国际会议和研讨会论文集，pp 535–（1996）
[28] DOI:10.1023/A:1009816801567·Zbl 0954.68031号 ·doi:10.1023/A:1009816801567
[29] 内政部：10.1007/978-3-540-78969-7_4·Zbl 1137.68599号 ·doi:10.1007/978-3-540-78969-74
[30] Eshghi，《第六届逻辑编程国际会议论文集》，第234页–（1989）
[31] 内政部：10.1093/jigpal/1.1.99·兹比尔0807.03005 ·doi:10.1093/jigpal/1.1.99
[32] Endriss，《人工智能中的逻辑》，第九届欧洲会议，第31页–（2004）·doi:10.1007/978-3-540-30227-86
[33] DOI:10.1023/A:1020259411066·兹比尔1023.68095 ·doi:10.1023/A:1020259411066
[34] 科瓦尔斯基，《信息基础》34第203页–（1998年）
[35] 内政部：10.1007/BF03037383·Zbl 1356.68221号 ·doi:10.1007/BF03037383
[36] 内政部：10.1145/357162.357169·Zbl 0478.68093号 ·doi:10.1145/357162.357169
[37] 马雷克，《逻辑编程范式：25年展望》第375页–（1999）·doi:10.1007/978-3-642-60008-2_17
[38] Endriss，《人工智能中的逻辑》，第九届欧洲会议，第680页-（2004）·doi:10.1007/978-3-540-30227-8_56
[39] Endriss，第十二届自动推理研讨会论文集（2005年）
[40] DOI:10.1016/j.entcs.2009.03.009·doi:10.1016/j.entcs.2009.03.009
[41] Eiter，第四届逻辑程序设计和非单调推理国际会议论文集，第364页–（1997）
[42] Mancarella，《第23届逻辑编程国际会议论文集》，第434页–（2007年）
[43] 内政部：10.1007/3-540-45628-7_16·doi:10.1007/3-540-45628-7_16
[44] 内政部：10.1007/978-3-540-72200-7_27·Zbl 05211346号 ·doi:10.1007/978-3-540-72200-727
[45] DOI:10.1016/S0743-1066（97）00074-5·Zbl 0905.68025号 ·doi:10.1016/S0743-1066（97）00074-5
[46] Mancarella，第五届多智能体系统计算逻辑国际研讨会论文集，第230页–（2004）
[47] Denecker，第九届逻辑编程联合国际会议和研讨会论文集，第686页–（1992）
[48] 劳埃德，逻辑程序设计基础（1987）·Zbl 0668.68004号 ·doi:10.1007/978-3-642-83189-8
[49] 达戈斯蒂诺，表方法手册（1999）·doi:10.1007/978-94-017-1754-0
[50] DOI:10.1016/S0004-3702（02）00227-8·Zbl 0999.68092号 ·doi:10.1016/S0004-3702（02）00227-8
[51] DOI:10.1093/logcom/1.5.661·Zbl 0734.68085号 ·doi:10.1093/logcom/1.5.661
[52] 内政部：10.1145/1149114.1149117·Zbl 1367.68308号 ·doi:10.145/1149114.1149117
[53] 克拉克，《逻辑和数据库》第77页–（1978）
[54] 内政部：10.1016/0743-1066（87）90007-0·Zbl 0655.68018号 ·doi:10.1016/0743-1066（87）90007-0
[55] Baselice，《第21届逻辑编程国际会议论文集》，第52页–（2005）
[56] 卡卡斯，《第16届欧洲人工智能会议论文集》，第33页–（2004）
[57] 内政部：10.1016/0743-1066（94）90025-6·Zbl 0820.68028号 ·doi:10.1016/0743-1066（94）90025-6
[58] 卡卡斯，《第九届欧洲人工智能会议论文集》，第385页–（1990年）
[59] 内政部：10.1145/116825.116838·兹比尔0799.68045 ·数字对象标识代码：10.1145/116825.116838
[60] 内政部：10.1016/S0736-5853（00）00020-4·Zbl 05330577号 ·doi:10.1016/S0736-5853（00）00020-4
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。