Author ORCID Identifier
Fandinno - https://orcid.org/0000-0002-3917-8717
Lifschitz - https://orcid.org/0000-0001-6051-7907
Document Type
Article
Publication Date
8-22-2022
Publication Title
Theory and Practice of Logic Programming
First Page
1
Last Page
10
Abstract
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.
Recommended Citation
Fandinno, Jorge and Lifschitz, Vladimir, "Positive Dependency Graphs Revisited" (2022). Computer Science Faculty Publications. 83.
https://digitalcommons.unomaha.edu/compscifacpub/83
Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 License.
Comments
This is an open access article that was published through the Open Access Publishing agreement between Cambridge University Press and the University of Nebraska.
This is an Open Access article, distributed under the terms of the Creative Commons Attribution licence (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted re-use, distribution and reproduction, provided the original article is properly cited. Copyright © The Author(s), 2022. Published by Cambridge University Press DOI: https://doi.org/10.1017/S1471068422000333