A tableau calculus for minimal model reasoning
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 278-294
- https://doi.org/10.1007/3-540-61208-4_18
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Static semantics for normal and disjunctive logic programsAnnals of Mathematics and Artificial Intelligence, 1995
- Computing Circumscriptive DatabasesInformation and Computation, 1995
- The Taming of the Cut. Classical Refutations with Analytic CutJournal of Logic and Computation, 1994
- Ordered model trees: A normal form for disjunctive deductive databasesJournal of Automated Reasoning, 1994
- Propositional circumscription and extended closed-world reasoning are ΠP2-completeTheoretical Computer Science, 1993
- Tableaux and sequent calculus for minimal entailmentJournal of Automated Reasoning, 1992
- First-Order Logic and Automated Theorem ProvingPublished by Springer Nature ,1990
- A circumscriptive theorem proverArtificial Intelligence, 1989
- An algorithm to compute circumscriptionArtificial Intelligence, 1989
- First-Order LogicPublished by Springer Nature ,1968