BriefGPT.xyz
Dec, 2015
使用线性约束进行逻辑编程的终止分析
Using Linear Constraints for Logic Program Termination Analysis
HTML
PDF
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
TL;DR
这篇论文提出了规则受限和循环受限程序的新类别，通过更全局地分析术语如何从规则的主体传播到头部来克服目前方法的各种限制。
Abstract
It is widely acknowledged that
function symbols
are an important feature in
answer set programming
, as they make modeling easier, increase the expressive power, and allow us to deal with infinite domains. The mai
→