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
A NExpTime-Complete Description Logic Strictly Contained in C2
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
A PSpace Algorithm for Graded Modal Logic
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
The description logic handbook
NEXP TIME-complete description logics with concrete domains
ACM Transactions on Computational Logic (TOCL)
A constraint-based decision procedure for the description logic ALCN
SAICSIT '06 Proceedings of the 2006 annual research conference of the South African institute of computer scientists and information technologists on IT research in developing countries
A revision-based approach to handling inconsistency in description logics
Artificial Intelligence Review
Optimized Reasoning in Description Logics Using Hypertableaux
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
An Efficient Tableau Prover using Global Caching for the Description Logic ALC
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Knowledge integration for description logics
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Journal of Artificial Intelligence Research
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
Hypertableau reasoning for description logics
Journal of Artificial Intelligence Research
A fine-grained approach to resolving unsatisfiable ontologies
Journal on data semantics X
Logic-based knowledge representation
Artificial intelligence today
WoLLIC'10 Proceedings of the 17th international conference on Logic, language, information and computation
Knowledge base revision in description logics
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
An Efficient Tableau Prover using Global Caching for the Description Logic ALC
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
ExpTime Tableaux for Using Sound Global Caching
Journal of Automated Reasoning
InKreSAT: modal reasoning via incremental reduction to SAT
CADE'13 Proceedings of the 24th international conference on Automated Deduction
| Hi-index | 0.00 |