×
阿戈斯蒂诺·多维尔;安德烈亚·福米萨诺;恩里科·蓬泰利

组合问题的约束逻辑规划和答案集规划解的实证研究。 （英语） Zbl 1193.68073号

J.实验理论。Artif公司。智力。 21，第2期，79-121（2009）.
摘要：本文对答案集编程（ASP）和有限域约束逻辑编程（CLP（FD）中各种计算困难问题的声明性编码进行了实验比较。目的是调查两个领域的解决者如何应对不同的问题，突出其实现的优缺点，并建议选择一种方法而不是另一种方法的标准。最后，本文的工作有望为两个领域之间的技术转让奠定基础，例如通过建议在ASP执行中使用CLP（FD）的方法。

引用于5文件

MSC公司：

68N17号 逻辑编程
68卢比 计算机科学中的组合数学

关键词：

逻辑程序设计;组合问题;约束求解

软件：

C模型;序言;糠;亚萨特;斯莫德尔斯
PDF格式BibTeX公司 XML格式引用
\textit｛A.Dovier｝等人，J.实验理论。Artif公司。智力。21，第2号，第79-121条（2009；Zbl 1193.68073）
全文： 内政部

参考文献：

[1] Anger C，ALP新闻稿17（2004）
[2] 内政部：10.1017/CBO9780511543357·doi:10.1017/CBO9780511543357
[3] Clote P，计算分子生物学（2001）
[4] 内政部：10.1089/cmb.1998.5.423·doi:10.1089/cmb.1998.5.423
[5] 内政部：10.1186/1471-2105-5-186·doi:10.1186/1471-2105-5-186
[6] 电话：10.1145/368273.368557·Zbl 0217.54002号 ·数字对象标识代码：10.1145/368273.368557
[7] 内政部：10.1145/321033.321034·Zbl 0212.34203号 ·数字对象标识代码：10.1145/321033.321034
[8] Diaz D，《函数和逻辑编程杂志》6（2001）
[9] Dovier，A，Formisano，A和Pontelli，E.，2005年。”CLP（FD）和ASP在解决组合难题中的比较”。www.di.univaq.it/formisano/CLPASP网站·Zbl 1165.68486号
[10] Elkabani，I，Pontelli，E and Son，TC，2004年。CLP的Smodels及其应用：一种简单有效的ASP聚合方法。ICLP04会议记录。2004年，第73-89页·Zbl 1104.68375号
[11] Elkhatib，O，Pontelli，E and Son，TC，2004年。Prolog中用于推理答案集的工具。PADL程序。2004年，第148-162页。
[12] Erdem E，TPLP 3，第499页–（2004年）
[13] DOI:10.1023/A:1009816801567·Zbl 0954.68031号 ·doi:10.1023/A:1009816801567
[14] 内政部：10.1007/3-540-45632-5_16·doi:10.1007/3-540-45632-5_16
[15] Gelfond，M和Lifschitz，V.，1988年。逻辑编程的稳定模型语义。ICLP88会议记录。1988年，第1070–1080页。马萨诸塞州波士顿：麻省理工学院出版社。
[16] Gelfond M，《人工智能电子交易》，第2页，193–（1998）
[17] Giunchiglia，E，Lierler，Y和Maratea，M.基于SAT的答案集编程。AAAI'04会议记录。2004年，第61–66页·Zbl 1107.68029号
[18] 数字对象标识码：10.1007/s10817-006-9033-2·Zbl 1107.68029号 ·doi:10.1007/s10817-006-9033-2
[19] 内政部：10.1016/0743-1066（94）90033-7·doi:10.1016/0743-1066（94）90033-7
[20] Lee，J和Lifschitz，V.2003年。析取逻辑程序的循环公式。ICLP03会议记录。2003年，第451-465页·Zbl 1204.68056号
[21] Lierler，Y和Maratea，M.，2004年。CMODELS-2：基于SAT的答案集求解器增强到非右程序。LPNMR04会议记录。2004年，第346–350页·Zbl 1122.68377号
[22] Lifschitz，V.1999年。答案集规划。ICLP99会议记录。1999年，第23-37页。
[23] 内政部：10.1145/1131313.1131316·Zbl 1367.68036号 ·数字对象标识代码：10.1145/1131313.1131316
[24] Lin，F和Zhao，Y.ASSAT:SAT Solvers计算逻辑程序的答案集。AAAI'02会议记录。2004年，第112–117页·Zbl 1085.68544号
[25] 内政部：10.1145/116825.116836·兹比尔0799.68176 ·数字对象标识代码：10.1145/116825.116836
[26] 大众汽车公司Marek和Truszczynski，M.，1999年。稳定模型和替代逻辑编程范式。逻辑编程范式。1999年，柏林。第375-398页。斯普林格·弗拉格·Zbl 0979.68524号
[27] Marriott K，《带约束的编程》（1998年）
[28] Moskewicz，MW，Madigan，CF，Zhao，Y，Zhang，L和Malik，S.，2001年。Chaff：设计一个高效的SAT求解器。设计自动化会议论文集。2001年，第530-535页。
[29] Papadimitriou CH，计算复杂性（1994）
[30] 普雷斯特维奇，SD.2003。SAT编码着色问题的局部搜索。2003年第六届国际SAT会议记录。2003年，第105–119页·Zbl 1204.68208号
[31] Simons P，博士论文（2000）
[32] Son，TC，Baral，C和McIlraith，S.2003年。使用不同形式的领域相关控制知识进行规划–答案集编程方法。LPNMR01会议记录。2003年，第226–239页·Zbl 1007.68591号
[33] Thielscher，M.2002年。用CHR和有限域约束推理动作。ICLP02会议记录。2002年，第70–84页·兹比尔1045.68039
[34] DOI:10.1023/B:CONS.000006181.40558.37·Zbl 1069.68034号 ·doi:10.1023/B:CONS.000006181.40558.37
[35] Weisstein，电子战。2005年，“舒尔数”。mathworld.wolfram.com/SchurNumber.html
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。