×
伯恩哈德·布利姆;迈克尔·莫拉克;斯特凡·沃尔特兰

D-FLAT：使用树分解和答案集编程解决声明性问题。 （英语） Zbl 1260.68057号

理论与实践。日志。程序。 12，编号4-5，445-464（2012）.
总结：在这项工作中，我们提出了答案集编程（ASP），作为基于树分解的动态编程算法快速原型的工具。事实上，已经设计了许多这样的算法，但只有少数算法能够实现。主要障碍是缺乏易于使用的系统，这些系统（i）负责构建树分解，（ii）为动态编程算法的声明性规范提供接口。
在本文中，我们介绍了D-FLAT，这是一种新的工具，它使用户无需处理与解析、树分解、数据结构处理等有关的所有技术细节。相反，它只需在ASP语言中指定动态编程算法本身。D-FLAT采用ASP求解器来计算动态规划算法中的局部解。
在本文中，我们给出了几个例子来说明D-FLAT的使用，并描述了该系统的主要特点。此外，我们报告的实验表明，在一些问题上，基于ASP的D-FLAT编码在小树宽的情况下优于单片ASP编码。

引用于三文件

MSC公司：

68N17号 逻辑编程
90立方厘米 动态编程

关键词：

D-FLAT编码;动态规划算法

软件：

o克林戈;D-扁平
PDF格式BibTeX公司 XML格式引用
\textit{B.Bliem}等人，《理论与实践》。日志。程序。12、编号4--5、445--464（2012；Zbl 1260.68057）
全文： 内政部 arXiv公司

参考文献：

[1] Greco，《高露洁棕榄公司2010年会议记录》，第236页–（2010年）
[2] Jakl，IJCAI'09年会议记录，第816页–（2009年）
[3] DOI:10.1006/jcss.2001.1809·Zbl 1052.68025号 ·doi:10.1006/jcss.2001.1809
[4] Gottlob，ICALP会议记录（2），第16页–（2009年）
[5] 内政部：10.1007/BF03037169·doi:10.1007/BF03037169
[6] Dermaku，MICAI会议记录第1页–（2008年）
[7] Gebser，AI Communications 24 pp 195–（2011）
[8] Courcelle，《理论计算机科学手册》，第B卷：形式模型和符号学（B），第193–（1990）页
[9] Gebser，人工智能通信24第107页–（2011）
[10] 数字对象标识码：10.1093/comjnl/bxm035·Zbl 05534221号 ·doi:10.1093/comjnl/bxm035文件
[11] 内政部：10.1145/2043174.2043195·doi:10.1145/2043174.2043195
[12] Gebser，《LPNMR论文集》第54页–（2011）
[13] DOI:10.1016/j.ic.2009.03.008·Zbl 1186.68328号 ·doi:10.1016/j.ic.2009.03.008
[14] 数字对象标识码：10.1093/comjnl/bxm037·Zbl 05534220号 ·doi:10.1093/comjnl/bxm037
[15] Bodlaender，《SOFSEM会议录》第1页–（2005年）
[16] Bodlaender，《控制论学报》11第1页–（1993）
[17] 瓦格纳，《数学杂志》5第42页–（1995）
[18] 内政部：10.1016/j.jda.2009.06.002·Zbl 1214.05166号 ·doi:10.1016/j.jda.2009.06.002
[19] 内政部：10.1016/0095-8956（84）90013-3·Zbl 0548.05025号 ·doi:10.1016/0095-8956（84）90013-3
[20] DOI:10.1023/A:1018930122475·Zbl 0940.68018号 ·doi:10.1023/A:1018930122475
[21] Marek，《逻辑编程范式——25年展望》第375页–（1999）·doi:10.1007/978-3-642-60085-2_17
[22] 内政部：10.1145/1149114.1149117·Zbl 1367.68308号 ·数字对象标识代码：10.1145/1149114.1149117
[23] 内政部：10.1109/TAC.1967.1098755·doi:10.1109/TAC.1967.1098755
[24] 内政部：10.1002/net.10046·Zbl 1027.90072号 ·数字对象标识代码：10.1002/net.10046
[25] DOI:10.1002/spe.824·Zbl 05278557号 ·doi:10.1002/spe.824
[26] 内政部：10.1145/1838552.1838555·Zbl 1351.68110号 ·doi:10.1145/1838552.1838555
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。