Stable Models and an Alternative Logic Programming Paradigm
- 1 January 1999
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
All Related Versions
This publication has 21 references indexed in Scilit:
- Circumscribing datalog: Expressive power and complexityTheoretical Computer Science, 1998
- A note on the stable model semantics for logic programsArtificial Intelligence, 1997
- The Expressive Powers of the Logic Programming SemanticsJournal of Computer and System Sciences, 1995
- The well-founded semantics for general logic programsJournal of the ACM, 1991
- Autoepistemic logicJournal of the ACM, 1991
- Negation by default and unstratifiable logic programsTheoretical Computer Science, 1991
- Making prolog more expressiveThe Journal of Logic Programming, 1984
- Contributions to the Theory of Logic ProgrammingJournal of the ACM, 1982
- A logic for default reasoningArtificial Intelligence, 1980
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965