克里斯蒂安·德雷舍尔 约束答案集编程系统。 （英语） Zbl 1237.68185号 Hermenegildo，Manuel（编辑）等人，第26届逻辑编程国际会议（ICLP 2010）的技术交流，2010年7月16日至19日，英国苏格兰爱丁堡。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik（ISBN 978-3-939897-17-0）。LIPIcs–莱布尼茨国际信息学会议录7，255-264，仅电子版（2010年）。 摘要：我们提出了答案集编程和约束处理的集成，作为一种有趣的约束逻辑编程方法。虽然我们的研究还处于非常早期的阶段，但我们鼓励进行约束答案集编程，并报告相关工作、我们的研究目标、取得的初步结果以及未来的工作。关于整个系列，请参见[Zbl 1213.68040号]. MSC公司： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 68N17号 逻辑编程 关键词：答案集编程;约束逻辑程序设计;约束处理 软件：斯莫德尔斯;糖;超小卫星;Clingcon公司;Lparse（L解析）;格林戈;扣环 PDF格式BibTeX公司 XML格式引用 \textit{C.Drescher}，LIPIcs——莱布尼茨国际程序。通知。7255--264（2010年；Zbl 1237.68185） 全文： 内政部 链接