Using resolution for extending KL-ONE-type languages
CIKM '95 Proceedings of the fourth international conference on Information and knowledge management
Automated Deduction Techniques for Classification in Description Logic Systems
Journal of Automated Reasoning
Journal of Automated Reasoning
A New Technique for Verifying and Correcting Logic Programs
Journal of Automated Reasoning
Decidability by Resolution for Propositional Modal Logics
Journal of Automated Reasoning
The CADE-15 ATP System Competition
Journal of Automated Reasoning
The CADE-17 ATP System Competition
Journal of Automated Reasoning
Using Resolution for Testing Modal Satisfiability and Building Models
Journal of Automated Reasoning
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
Splitting Through New Proposition Symbols
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Verification within the KARO Agent Theory
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Issues of Decidability for Description Logics in the Framework of Resolution
Selected Papers from Automated Deduction in Classical and Non-Classical Logics
Extending Decidable Clause Classes via Constraints
Selected Papers from Automated Deduction in Classical and Non-Classical Logics
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
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
A Resolution-Based Decision Procedure for the Two-Variable Fragment with Equality
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Extracting models from clause sets saturated under semantic refinements of the resolution rule
Information and Computation
Deciding the guarded fragments by resolution
Journal of Symbolic Computation
Encoding two-valued nonclassical logics in classical logic
Handbook of automated reasoning
Resolution decision procedures
Handbook of automated reasoning
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
A calculus combining resolution and enumeration for building finite models
Journal of Symbolic Computation - Special issue: First order theorem proving
Journal of Symbolic Computation
Representing and Building Models for Decidable Subclasses of Equational Clausal Logic
Journal of Automated Reasoning
A comprehensive combination framework
ACM Transactions on Computational Logic (TOCL)
A Resolution-Based Decision Procedure for $\boldsymbol{\mathcal{SHOIQ}}$
Journal of Automated Reasoning
Deciding expressive description logics in the framework of resolution
Information and Computation
On the relation of resolution and tableaux proof systems for description logics
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Extending semantic resolution via automated model building: applications
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Hypertableau reasoning for description logics
Journal of Artificial Intelligence Research
Towards a unified model of search in theorem-proving: subgoal-reduction strategies
Journal of Symbolic Computation
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Logic-based knowledge representation
Artificial intelligence today
A resolution mechanism for Prenex Gödel logic
CSL'10/EACSL'10 Proceedings of the 24th international conference/19th annual conference on Computer science logic
A resolution-based decision procedure for SHOIQ
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Invited contribution: a comprehensive framework for combined decision procedures
FroCoS'05 Proceedings of the 5th international conference on Frontiers of Combining Systems
Constructing Decision Procedures in Equational Clausal Logic
Fundamenta Informaticae
A Resolution Calculus for First-order Schemata
Fundamenta Informaticae
| Hi-index | 0.00 |