马丁·盖布瑟;马可·马拉提亚;弗朗西斯科·里卡 第七届答案集编程竞赛的设计。 （英语） Zbl 1418.68029号 Balduccini，Marcello（编辑）等人，《逻辑编程和非单调推理》。2017年7月3日至6日在芬兰埃斯波举行的2017年LPNMR第14届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10377, 3-9 (2017). 摘要：答案集编程（ASP）是一种突出的知识表示语言，其根源在于逻辑编程和非单调推理。组织两年一度的比赛，以提供具有挑战性的基准集合，并评估ASP解决的最新进展。在本文中，我们报道了第七届ASP竞赛的设计，该竞赛由卡拉布里亚大学（意大利）、热那亚大学（义大利）和波茨坦大学（德国）联合举办，并与第十四届逻辑编程和非单调推理国际会议（LPNMR 2017）联合举办。本次比赛版的一个新特点是重新引入了模型与求解赛道，用参与者需要提供专用编码和求解方法的问题域来补充通常的系统赛道。关于整个系列，请参见[Zbl 1367.68005号]. 引用于10文件 MSC公司： 68N17号 逻辑编程 68T27型 人工智能中的逻辑 68立方英尺 知识表示 68-02 与计算机科学有关的研究展览会（专著、调查文章） PDF格式BibTeX公司 XML格式引用 \textit{M.Gebser}等人，Lect。注释计算。科学。10377，3--9（2017；Zbl 1418.68029） 全文： 内政部