Reasoning in expressive description logics
Handbook of automated reasoning
The description logic handbook
NEXP TIME-complete description logics with concrete domains
ACM Transactions on Computational Logic (TOCL)
On the undecidability of logics with converse, nominals, recursion and counting
Artificial Intelligence
On the decidability of containment of recursive datalog queries - preliminary report
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Description Logics for Shape Analysis
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Automata-Theoretic Decision Procedures for Information Logics
Fundamenta Informaticae
Automata can show PSpace results for description logics
Information and Computation
Representing and reasoning over a taxonomy of part-whole relations
Applied Ontology - Ontological Foundations of Conceptual Modelling
What's in an attribute? consequences for the least common subsumer
Journal of Artificial Intelligence Research
Fusions of description logics and abstract description systems
Journal of Artificial Intelligence Research
On the undecidability of description and dynamic logics with recursion and counting
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Representing and reasoning over a taxonomy of part-whole relations
Applied Ontology - Ontological Foundations of Conceptual Modelling
Hi-index | 0.00 |