Positive Dependency Graphs Revisited (2022)
Jorge Fandinno and Vladimir Lifschitz
Theory of stable models is the mathematical basis of the answer set programming approach to knowledge representation. Several results in that theory refer to the concept of the positive dependency graph of a logic program. We describe a new approach to defining that concept and show that using the new definition makes it possible to strengthen some of these results.
To Appear In Theory and Practice of Logic Programming (2022).

Vladimir Lifschitz Faculty vl [at] cs utexas edu