{\cal A}{\cal L}-log: Integrating Datalog and Description Logics
Journal of Intelligent Information Systems
Information and Computation
Conceptual Data Model with Structured Objects for Statistical Database
SSDBM '96 Proceedings of the Eighth International Conference on Scientific and Statistical Database Management
Evolutionary Information and Decision Support Systems: An Integration Based on Ontologies
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Reasoning in expressive description logics
Handbook of automated reasoning
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
The description logic handbook
Combining interval-based temporal reasoning with general TBoxes
Artificial Intelligence
On the undecidability of logics with converse, nominals, recursion and counting
Artificial Intelligence
Reasoning on UML class diagrams
Artificial Intelligence
Decidability of SHIQ with complex role inclusion axioms
Artificial Intelligence
A Tableau Decision Procedure for $\mathcal{SHOIQ}$
Journal of Automated Reasoning
Conjunctive query containment and answering under description logic constraints
ACM Transactions on Computational Logic (TOCL)
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
Fusions of description logics and abstract description systems
Journal of Artificial Intelligence Research
A uniform framework for concept definitions in description logics
Journal of Artificial Intelligence Research
Reasoning in expressive description logics with fixpoints based on automata on infinite trees
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
What's in an aggregate: foundations for description logics with tuples and sets
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Decidability of SHIQ with complex role inclusion axioms
Artificial Intelligence
Reasoning on UML class diagrams
Artificial Intelligence
PDL with intersection and converse is 2EXP-complete
FOSSACS'07 Proceedings of the 10th international conference on Foundations of software science and computational structures
Data complexity in the ƐL family of description logics
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
Non-standard inferences in description logics
Non-standard inferences in description logics
Logic-based knowledge representation
Artificial intelligence today
Enriching EL-Concepts with Greatest Fixpoints
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Reasoning about nondeterministic and concurrent actions: a process algebra approach
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
ESWC'11 Proceedings of the 8th extended semantic web conference on The semantic web: research and applications - Volume Part I
Formal language constrained reachability and model checking propositional dynamic logics
RP'11 Proceedings of the 5th international conference on Reachability problems
PDL with intersection and converse is decidable
CSL'05 Proceedings of the 19th international conference on Computer Science Logic
A practical automata-based technique for reasoning in expressive description logics
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Reasoning in description logics: basics, extensions, and relatives
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
Hi-index | 0.00 |