A Deduction Method Complete for Refutation and Finite Satisfiability
- 1 January 1998
- book chapter
- Published by Springer Nature
- p. 122-138
- https://doi.org/10.1007/3-540-49545-2_9
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- A theory of diagnosis from first principlesPublished by Elsevier ,2003
- Automated Deduction Techniques for Classification in Description Logic SystemsJournal of Automated Reasoning, 1998
- Model generation with existentially quantified variables and constraintsPublished by Springer Nature ,1997
- Hyperresolution and automated model buildingJournal of Logic and Computation, 1996
- SATCHMORE: SATCHMO with RElevancyJournal of Automated Reasoning, 1995
- On the duality of abduction and model generation in a framework for model generation with equalityTheoretical Computer Science, 1994
- A Tableaux Method for Systematic Simultaneous Search for Refutations and Models using Equational ProblemsJournal of Logic and Computation, 1993
- First-Order Logic and Automated Theorem ProvingPublished by Springer Nature ,1990
- Model minimization ?An alternative to circumscriptionJournal of Automated Reasoning, 1988
- Logic and Databases: A Deductive ApproachACM Computing Surveys, 1984