A sound and complete semantics for a version of negation as failure
- 31 July 1989
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 65 (3) , 343-371
- https://doi.org/10.1016/0304-3975(89)90106-0
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Unsolvable problems for SLDNF resolutionThe Journal of Logic Programming, 1991
- A completeness theorem for SLDNF resolutionThe Journal of Logic Programming, 1989
- Signed data dependencies in logic programsThe Journal of Logic Programming, 1989
- On the declarative and procedural semantics of logic programsJournal of Automated Reasoning, 1989
- Non-Monotonic Reasoning by Axiomatic ExtensionsPublished by Elsevier ,1989
- Negation in logic programmingThe Journal of Logic Programming, 1987
- A kripke-kleene semantics for logic programs*The Journal of Logic Programming, 1985
- Negation as failure. IIThe Journal of Logic Programming, 1985
- Negation as failure: a comparison of Clark's completed data base and Reiter's closed world assumptionThe Journal of Logic Programming, 1984
- Über Eine Prädikatenlogik mit Partiell Definierten Prädikaten und FunktionenArchive for Mathematical Logic, 1969