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).

本文探讨了稳定模型理论在 answer set programming 中的应用，讨论了正依赖图的概念及其修改对相关结果的影响，并在 Theory and Practice of Logic Programming 杂志上发表。

正依赖图再探

Positive Dependency Graphs Revisited

We are proud to introduce this special issue of Theory and Practice of Logic
Programming (TPLP), dedicated to the regular papers accepted for the 35th
International Conference on Logic Programming (ICLP). The ICLP meetings started
in Marseille in 1982 and since then constitute the main venue for presenting
and discussing work in the area of logic programming. Under consideration for
acceptance in TPLP.

本特刊介绍了 ICLP 第 35 届国际会议上被接受发表的常规论文，主要讨论逻辑编程领域的工作。