UTCS Artificial Intelligence
courses
talks/events
demos
people
projects
publications
software/data
labs
areas
admin
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.
View:
PDF
Citation:
To Appear In
Theory and Practice of Logic Programming
(2022).
Bibtex:
@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} }
People
Vladimir Lifschitz
Faculty
vl [at] cs utexas edu