Evaluating Optimized Decision Procedures for Propositional Modal K(m) Satisfiability
Journal of Automated Reasoning
A General Theorem Prover for Quantified Modal Logics
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
The Inverse Method Implements the Automata Approach for Modal Satisfiability
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
The description logic handbook
From tableaux to automata for description logics
Fundamenta Informaticae
An optimization for query answering on ALC database
ADC '06 Proceedings of the 17th Australasian Database Conference - Volume 49
Deciding expressive description logics in the framework of resolution
Information and Computation
TABLEAUX '07 Proceedings of the 16th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Optimized Reasoning in Description Logics Using Hypertableaux
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
An Experimental Evaluation of Global Caching for $\mathcal {ALC}$ (System Description)
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Hybrid Tableaux for the Difference Modality
Electronic Notes in Theoretical Computer Science (ENTCS)
An Efficient Tableau Prover using Global Caching for the Description Logic ALC
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
A Tableau Calculus for Regular Grammar Logics with Converse
CADE-22 Proceedings of the 22nd International Conference on Automated Deduction
Journal of Artificial Intelligence Research
On the complexities of consistency checking for restricted UML class diagrams
Theoretical Computer Science
ICCCI '09 Proceedings of the 1st International Conference on Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems
Sound Global State Caching for ALC with Inverse Roles
TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
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
Transactions on computational collective intelligence I
Checking Consistency of an ABox w.r.t. Global Assumptions in PDL
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Rational closure for defeasible description logics
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Generalized satisfiability for the description logic ALC
TAMC'11 Proceedings of the 8th annual conference on Theory and applications of models of computation
Correctness and worst-case optimality of Pratt-style decision procedures for modal and hybrid logics
TABLEAUX'11 Proceedings of the 20th international conference on Automated reasoning with analytic tableaux and related methods
Generalized modal satisfiability
STACS'06 Proceedings of the 23rd Annual conference on Theoretical Aspects of Computer Science
A tableau calculus with automaton-labelled formulae for regular grammar logics
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
A formal ontology reasoning with individual optimization: a realization of the semantic web
WISE'05 Proceedings of the 6th international conference on Web Information Systems Engineering
Consistency checking algorithms for restricted UML class diagrams
FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
Optimal tableau algorithms for coalgebraic logics
TACAS'10 Proceedings of the 16th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Global caching for coalgebraic description logics
IJCAR'10 Proceedings of the 5th international conference on Automated Reasoning
Optimized description logic reasoning via core blocking
IJCAR'10 Proceedings of the 5th international conference on Automated Reasoning
FOSSACS'12 Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures
Extended caching, backjumping and merging for expressive description logics
IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning
An Efficient Tableau Prover using Global Caching for the Description Logic ALC
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
From Tableaux to Automata for Description Logics
Fundamenta Informaticae - The 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR)
ExpTime Tableaux for Using Sound Global Caching
Journal of Automated Reasoning
Generalized satisfiability for the description logic ALC
Theoretical Computer Science
Defeasible inheritance-based description logics
Journal of Artificial Intelligence Research
| Hi-index | 0.01 |