A unifying view for logic programming with non-monotonic reasoning
- 30 September 1997
- journal article
- review article
- Published by Elsevier in Theoretical Computer Science
- Vol. 184 (1-2) , 1-59
- https://doi.org/10.1016/s0304-3975(97)80755-4
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Fully abstract compositional semantics for an algebra of logic programsTheoretical Computer Science, 1995
- On the correctness of unfold/fold transformation of normal and extended logic programsThe Journal of Logic Programming, 1995
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person gamesArtificial Intelligence, 1995
- An argumentation-theoretic foundation for logic programmingThe Journal of Logic Programming, 1995
- A logic programming system for nonmonotonic reasoningJournal of Automated Reasoning, 1995
- Modularity in Logic ProgrammingThe Journal of Logic Programming, 1994
- Logic programming and negation: A surveyThe Journal of Logic Programming, 1994
- Logic programming and knowledge representationThe Journal of Logic Programming, 1994
- On the relations between stable and well-founded semantics of logic programsTheoretical Computer Science, 1992
- A truth maintenance systemArtificial Intelligence, 1979