Artificial Intelligence Review
Evaluating Optimized Decision Procedures for Propositional Modal K(m) Satisfiability
Journal of Automated Reasoning
Practical Reasoning for Expressive Description Logics
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
The description logic handbook
NEXP TIME-complete description logics with concrete domains
ACM Transactions on Computational Logic (TOCL)
Deciding Regular Grammar Logics with Converse Through First-Order Logic
Journal of Logic, Language and Information
Automata can show PSpace results for description logics
Information and Computation
Decidability of $\mathcal{SHI}$ with Transitive Closure of Roles
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
Generalized link properties for expressive ε-connections of description logics
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Fusions of description logics and abstract description systems
Journal of Artificial Intelligence Research
Reasoning with very expressive fuzzy description logics
Journal of Artificial Intelligence Research
Reasoning with concrete domains
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies
TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Towards Constructive DL for Abstraction and Refinement
Journal of Automated Reasoning
Non-standard inferences in description logics
Non-standard inferences in description logics
Logic-based knowledge representation
Artificial intelligence today
Simplifying Ontologies for Smoother Interaction in Heterogeneous Environments
WI-IAT '11 Proceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 03
A new n-ary existential quantifier in description logics
KI'05 Proceedings of the 28th annual German conference on Advances in Artificial Intelligence
| Hi-index | 0.00 |