Decidability by Resolution for Propositional Modal Logics
Journal of Automated Reasoning
Cancellative abelian monoids and related structures in refutational theorem proving (part II)
Journal of Symbolic Computation
Cancellative Superposition Decides the Theory of Divisible Torsion-Free Abelian Groups
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
Computational Space Efficiency and Minimal Model Generation for Guarded Formulae
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Decision Procedures and Model Building, or How to Improve Logical Information in Automated Deduction
Selected Papers from Automated Deduction in Classical and Non-Classical Logics
Resolution decision procedures
Handbook of automated reasoning
Combining superposition, sorts and splitting
Handbook of automated reasoning
Basic Paramodulation and Decidable Theories
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Constructing decision procedures in equational clausal logic
Fundamenta Informaticae
Model building with ordered resolution: extracting models from saturated clause sets
Journal of Symbolic Computation - Special issue: First order theorem proving
Hyperresolution for guarded formulae
Journal of Symbolic Computation - Special issue: First order theorem proving
The axiomatic translation principle for modal logic
ACM Transactions on Computational Logic (TOCL)
A Resolution-Based Decision Procedure for $\boldsymbol{\mathcal{SHOIQ}}$
Journal of Automated Reasoning
ACM Transactions on Computational Logic (TOCL)
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Superposition for Fixed Domains
CSL '08 Proceedings of the 22nd international workshop on Computer Science Logic
A new methodology for developing deduction methods
Annals of Mathematics and Artificial Intelligence
Annals of Mathematics and Artificial Intelligence
Type inference for datalog with complex type hierarchies
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
AI Communications - Practical Aspects of Automated Reasoning
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Superposition for fixed domains
ACM Transactions on Computational Logic (TOCL)
Automatic generation of invariants for circular derivations in SUP(LA)
LPAR'12 Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
A calculus for generating ground explanations
IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning
Constructing Decision Procedures in Equational Clausal Logic
Fundamenta Informaticae
Hi-index | 0.00 |