论文标题
重新访问积极的依赖图
Positive Dependency Graphs Revisited
论文作者
论文摘要
稳定模型的理论是答案集编程的数学基础。该理论的几个结果是指逻辑程序的正依赖图的概念。我们描述了对该概念的修改，并表明对积极依赖的新理解使得可以加强其中一些结果。在逻辑编程（TPLP）的理论和实践中考虑的。
Theory of stable models is the mathematical basis of answer set programming. Several results in that theory refer to the concept of the positive dependency graph of a logic program. We describe a modification of that concept and show that the new understanding of positive dependency makes it possible to strengthen some of these results. Under consideration in Theory and Practice of Logic Programming (TPLP).
