Classical negation in logic programs and disjunctive databases
- 1 August 1991
- journal article
- Published by Springer Science and Business Media LLC in New Generation Computing
- Vol. 9 (3-4), 365-385
- https://doi.org/10.1007/bf03037169
Abstract
No abstract availableThis publication has 12 references indexed in Scilit:
- On indefinite databases and the closed world assumptionPublished by Springer Science and Business Media LLC ,2005
- Paraconsistent logic programmingTheoretical Computer Science, 1989
- The treatment of negation in logic programs for representing legislationPublished by Association for Computing Machinery (ACM) ,1989
- Autoepistemic logic and formalization of commonsense reasoning preliminary reportLecture Notes in Computer Science, 1989
- Compiling circumscriptive theories into logic programsLecture Notes in Computer Science, 1989
- Applications of circumscription to formalizing common-sense knowledgeArtificial Intelligence, 1986
- Gracefully adding negation and disjunction to PrologLecture Notes in Computer Science, 1986
- A kripke-kleene semantics for logic programs*The Journal of Logic Programming, 1985
- Semantical considerations on nonmonotonic logicArtificial Intelligence, 1985
- Foundations of Logic ProgrammingPublished by Springer Science and Business Media LLC ,1984