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.

PDF

Theory and Practice of Logic Programming (2022).

@article{dg, title={Positive Dependency Graphs Revisited}, author={Jorge Fandinno and Vladimir Lifschitz}, journal={Theory and Practice of Logic Programming}, month={ }, url="http://www.cs.utexas.edu/users/ai-labpub-view.php?PubID=127889", year={2022} }