马里奥·阿尔维亚诺；弗朗西斯科·卡利默里；卡明·多达罗；戴维·福斯卡；尼古拉·利昂；西蒙娜·佩里；弗朗西斯科·里卡；皮尔弗朗西斯科·维尔特里；Jessica Zangari ASP系统DLV2。 （英语） Zbl 1472.68178号 Balduccini，Marcello（编辑）等人，《逻辑编程和非单调推理》。2017年7月3日至6日在芬兰埃斯波举行的2017年LPNMR第14届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10377, 215-221 (2017). 摘要：我们介绍了DLV2，一种新的答案集编程（ASP）系统。DVL2结合了\（\mathcal｛I｝\）-DLV，一种完全兼容的ASP-Core-2地滚球，以及经过充分评估的求解器WASP。输入程序可以通过注释和指令来丰富，这些注释和指令可以定制系统的启发式并扩展其求解能力。对过去ASP竞赛的基准进行的实证分析表明，DLV2优于旧的DVL系统，接近最先进的ASP系统Clingo。关于整个系列，请参见[Zbl 1367.68005号]. 引用于23文件 MSC公司： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 68N17号 逻辑编程 关键词：答案集编程；接地；解决 软件：WASP公司；克林戈；DLV2型；DLV公司 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano}等人，Lect。注释计算。科学。10377、215--221（2017；Zbl 1472.68178） 全文： 内政部