The resolution program, able to decide some solvable classes
COLOG-88 Proceedings of the international conference on Computer logic
Deciding Horn classes by hyperresolution
CSL '89 Proceedings of the third workshop on Computer science logic
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity
Journal of the ACM (JACM)
Resolution Strategies as Decision Procedures
Journal of the ACM (JACM)
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
Resolution Methods for the Decision Problem
Resolution Methods for the Decision Problem
Using Resolution for Deciding Solvable Classes and Building Finite Models
Baltic Computer Science, Selected Papers
Issues of Decidability for Description Logics in the Framework of Resolution
Selected Papers from Automated Deduction in Classical and Non-Classical Logics
Prefixed Resolution: A Resolution Method for Modal and Description Logics
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
Resolution decision procedures
Handbook of automated reasoning
Hi-index | 0.00 |