xorro公司

xorro的回归。尽管奇偶性约束是许多相关推理模式(如采样或模型计数)的核心,但迄今为止很少有人关注它们与ASP系统的集成。我们解决了这个缺点,并研究了实现奇偶约束的各种替代方法,从相当基本的ASP编码到更复杂的理论传播器(以Gauss-Jordan消去为特征)。基于ASP系统clingo的理论推理能力,在xorro系统中实现了这些功能。我们的比较实证研究探讨了奇偶性约束的数量和大小对性能的影响,并指出了各自实现技术的优点。最后,我们利用奇偶性约束为xorro提供了对答案集进行抽样的方法,为ASP的新应用铺平了道路。

zbMATH中的参考文献(参考文献1条,1标准件)

显示结果1/1。
按年份排序(引用)

  1. 埃弗拉多,弗拉维奥;简胡南,托米;卡明斯基,罗兰;Schaub,Torsten:回归\texttxorro(2019)