弗拉维奥·埃弗拉多;汤米·詹胡宁;罗兰·卡明斯基;托尔斯滕·绍布 的返回克索罗. （英语） Zbl 1522.68109号 Balduccini，Marcello（编辑）等人，《逻辑编程和非单调推理》。2019年6月3日至7日，第15届国际会议，LPNMR 2019，美国宾夕法尼亚州费城。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11481, 284-297 (2019). 摘要：尽管奇偶约束是许多相关推理模式（如采样或模型计数）的核心，但迄今为止，很少有人关注它们与ASP系统的集成。我们解决了这一缺点，并研究了实现奇偶约束的各种替代方法，从相当基本的ASP编码到更复杂的理论传播器（以Gauss-Jordan消除为特征）。所有这些都在克索罗系统通过构建ASP系统的理论推理能力粘着物我们的比较实证研究调查了奇偶约束的数量和大小对性能的影响，并指出了各自实现技术的优点。最后，我们受益于对等约束克索罗通过对答案集进行抽样，为ASP的新应用铺平了道路。关于整个系列，请参见[Zbl 1410.68009号]. 引用于1文件 MSC公司： 68N17号 逻辑编程 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 软件：克索罗;克林戈;哈维;Potassco公司;格林戈;糠 PDF格式BibTeX公司 XML格式引用 \textit{F.Everardo}等人，Lect。票据计算。科学。11481、284--297（2019年；Zbl 1522.68109） 全文： 内政部