×

克索罗

swMATH ID: 33083
软件作者: 弗拉维奥·埃弗拉多;汤米·詹胡宁;罗兰·卡明斯基(Roland Kaminski);托尔斯滕·绍布
描述: xorro的回归。虽然奇偶约束是许多相关推理模式(如采样或模型计数)的核心,但迄今为止,很少有人关注它们与ASP系统的集成。我们解决了这一缺点,并研究了实现奇偶约束的各种替代方法,从相当基本的ASP编码到更复杂的理论传播器(以Gauss-Jordan消除为特征)。所有这些都是通过构建ASP系统的理论推理能力在xorro系统中实现的。我们的比较实证研究调查了奇偶约束的数量和大小对性能的影响,并指出了各自实现技术的优点。最后,我们受益于奇偶约束,为xorro配备了抽样答案集的方法,为ASP的新应用铺平了道路。
主页: https://link.springer.com/chapter/10.1007%2F978-3-030-20528-7_21
相关软件: 克林戈;格林戈;天基信息平台;哈维;Potassco公司;
引用于: 2文件

0连载引用

在1个字段中引用

2 计算机科学(68至XX)

按年份列出的引文