Merge Path Improvements for Minimal Model Hyper Tableaux
- 1 January 1999
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Clause trees: a tool for understanding and implementing resolution in automated reasoningArtificial Intelligence, 1997
- A tableau calculus for minimal model reasoningPublished by Springer Nature ,1996
- Minimal model generation with positive unit hyper-resolution tableauxPublished by Springer Nature ,1996
- Theorem Proving with Analytic Tableaux and Related MethodsPublished by Springer Nature ,1996
- Controlled integration of the cut rule into connection tableau calculiJournal 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
- Embedding negation as failure into a model generation theorem proverPublished by Springer Nature ,1992
- An algorithm to compute circumscriptionArtificial Intelligence, 1989
- SATCHMO: A theorem prover implemented in PrologPublished by Springer Nature ,1987