Using Resolution for Testing Modal Satisfiability and Building Models
Journal of Automated Reasoning
Tractable and Decidable Fragments of Conceptual Graphs
ICCS '99 Proceedings of the 7th International Conference on Conceptual Structures: Standards and Practices
Simplification of Horn Clauses That Are Clausal Forms of Guarded Formulas
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
An Application of Model Building in a Resolution Decision Procedure for Guarded Formulas
CL '00 Proceedings of the First International Conference on Computational Logic
Extraction of Proofs from the Clausal Normal Form Transformation
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
Issues of Decidability for Description Logics in the Framework of Resolution
Selected Papers from Automated Deduction in Classical and Non-Classical Logics
Selected Papers from Automated Deduction in Classical and Non-Classical Logics
Deciding the guarded fragments by resolution
Journal of Symbolic Computation
Encoding two-valued nonclassical logics in classical logic
Handbook of automated reasoning
Constructing decision procedures in equational clausal logic
Fundamenta Informaticae
Computational Linguistics
Computational Semantics in Discourse: Underspecification, Resolution, and Inference
Journal of Logic, Language and Information
Deciding Regular Grammar Logics with Converse Through First-Order Logic
Journal of Logic, Language and Information
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
Logic-based knowledge representation
Artificial intelligence today
Constructing Decision Procedures in Equational Clausal Logic
Fundamenta Informaticae
| Hi-index | 0.00 |