Unification in a Description Logic with Transitive Closure of Roles
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
The description logic handbook
Unification Modulo ACUI Plus Distributivity Axioms
Journal of Automated Reasoning
Closure properties and decision problems of dag automata
Information Processing Letters
Decidability of trajectory-based equations
Theoretical Computer Science - Mathematical foundations of computer science 2004
Unresolved systems of language equations: expressive power and decision problems
Theoretical Computer Science
On unification for bounded distributive lattices
ACM Transactions on Computational Logic (TOCL)
Language equations with complementation: Decision problems
Theoretical Computer Science
Undecidability of the unification and admissibility problems for modal and description logics
ACM Transactions on Computational Logic (TOCL)
Unification in the Description Logic $\mathcal{EL}$
RTA '09 Proceedings of the 20th International Conference on Rewriting Techniques and Applications
Computing Information Minimal Match Explanations for Logic-Based Matchmaking
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
A tableaux-based method for computing least common subsumers for expressive description logics
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Closure properties and decision problems of dag automata
Information Processing Letters
The DL-lite family and relations
Journal of Artificial Intelligence Research
Decision problems for language equations
Journal of Computer and System Sciences
What do we know about language equations?
DLT'07 Proceedings of the 11th international conference on Developments in language theory
Non-standard inferences in description logics
Non-standard inferences in description logics
A Unified Framework for Non-standard Reasoning Services in Description Logics
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
SAT encoding of unification in EL
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
Unification in the description logic EL without the top concept
CADE'11 Proceedings of the 23rd international conference on Automated deduction
Decidability of unification in EL without top constructor
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
Best Unifiers in Transitive Modal Logics
Studia Logica
KES'11 Proceedings of the 15th international conference on Knowledge-based and intelligent information and engineering systems - Volume Part I
Language equations with complementation: Expressive power
Theoretical Computer Science
Strict language inequalities and their decision problems
MFCS'05 Proceedings of the 30th international conference on Mathematical Foundations of Computer Science
LPAR'12 Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Finding finite herbrand models
LPAR'12 Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
SAT encoding of unification in ELHR+ w.r.t. cycle-restricted ontologies
IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning
UEL: unification solver for the description logic EL - system description
IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning
A goal-oriented algorithm for unification in ELHR+ w.r.t. cycle-restricted ontologies
AI'12 Proceedings of the 25th Australasian joint conference on Advances in Artificial Intelligence
| Hi-index | 0.00 |