The alternating fixpoint of logic programs with negation
- 1 August 1993
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 47 (1) , 185-221
- https://doi.org/10.1016/0022-0000(93)90024-q
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- Negation by default and unstratifiable logic programsTheoretical Computer Science, 1991
- Procedural languages for database queries and updatesJournal of Computer and System Sciences, 1990
- A rational reconstruction of nonmonotonic truth maintenance systemsArtificial Intelligence, 1990
- Fixed-point extensions of first-order logicAnnals of Pure and Applied Logic, 1986
- Relational queries computable in polynomial timeInformation and Control, 1986
- A kripke-kleene semantics for logic programs*The Journal of Logic Programming, 1985
- Horn clause queries and generalizationsThe Journal of Logic Programming, 1985
- Structure and complexity of relational queriesJournal of Computer and System Sciences, 1982
- Contributions to the Theory of Logic ProgrammingJournal of the ACM, 1982
- A truth maintenance systemArtificial Intelligence, 1979