Efficient Minimal Model Generation Using Branching Lemmas
- 1 January 2000
- book chapter
- Published by Springer Nature
- p. 184-199
- https://doi.org/10.1007/10721959_15
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- A tableau calculus for minimal model reasoningPublished by Springer Nature ,1996
- Minimal model generation with positive unit hyper-resolution tableauxPublished by Springer Nature ,1996
- The TPTP problem libraryPublished by Springer Nature ,1994
- Controlled integration of the cut rule into connection tableau calculiJournal of Automated Reasoning, 1994
- Embedding negation as failure into a model generation theorem proverPublished by Springer Nature ,1992
- The Path-Indexing Method for Indexing TermsPublished by Defense Technical Information Center (DTIC) ,1989