Resolution Decision Procedures
- 1 January 2001
- book chapter
- Published by Elsevier
- p. 1791-1849
- https://doi.org/10.1016/b978-044450813-3/50027-8
Abstract
No abstract availableThis publication has 18 references indexed in Scilit:
- Modal Languages and Bounded Fragments of Predicate LogicJournal of Philosophical Logic, 1998
- Back and Forth Between Modal Logic and Classical LogicLogic Journal of the IGPL, 1995
- Deduction in Concept Languages: from Subsumption to Instance CheckingJournal of Logic and Computation, 1994
- Rewrite-based Equational Theorem Proving with Selection and SimplificationJournal of Logic and Computation, 1994
- Deciding Clause Classes by Semantic Clash ResolutionFundamenta Informaticae, 1993
- Resolution Methods for the Decision ProblemPublished by Springer Nature ,1993
- An optimality result for clause form translationJournal of Symbolic Computation, 1992
- A method for simultaneous search for refutations and models by equational constraint solvingJournal of Symbolic Computation, 1992
- Resolution Strategies as Decision ProceduresJournal of the ACM, 1976
- A note on the EntscheidungsproblemThe Journal of Symbolic Logic, 1936