Rewriting queries using views in description logics
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
{\cal A}{\cal L}-log: Integrating Datalog and Description Logics
Journal of Intelligent Information Systems
Using description logics for case-based reasoning in hybrid diagnosis
IEA/AIE '00 Proceedings of the 13th international conference on Industrial and engineering applications of artificial intelligence and expert systems: Intelligent problem solving: methodologies and approaches
ACM Transactions on Computational Logic (TOCL)
Evaluating Optimized Decision Procedures for Propositional Modal K(m) Satisfiability
Journal of Automated Reasoning
Towards a theory of natural language interfaces to databases
Proceedings of the 8th international conference on Intelligent user interfaces
Describing Database Objects in a Concept Language Environment
IEEE Transactions on Knowledge and Data Engineering
EPIA '99 Proceedings of the 9th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
Description Logics and Their Relationships with Databases
ICDT '99 Proceedings of the 7th International Conference on Database Theory
Unification in a Description Logic with Transitive Closure of Roles
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Using Semantics for Efficient Information Retrieval
NLDB '00 Proceedings of the 5th International Conference on Applications of Natural Language to Information Systems-Revised Papers
Vulcain - An Ontology-Based Information Extraction System
NLDB '02 Proceedings of the 6th International Conference on Applications of Natural Language to Information Systems-Revised Papers
Nonmonotonic Rule Systems on Top of Ontology Layers
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Complexity of Terminological Reasoning Revisited
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
The description logic handbook
An optimization for query answering on ALC database
ADC '06 Proceedings of the 17th Australasian Database Conference - Volume 49
A Tableau Decision Procedure for $\mathcal{SHOIQ}$
Journal of Automated Reasoning
Constructing Formally Verified Reasoners for the ALC Description Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Reasoning within extended fuzzy description logic
Knowledge-Based Systems
Decidable reasoning in terminological knowledge representation systems
Journal of Artificial Intelligence Research
Reasoning within fuzzy description logics
Journal of Artificial Intelligence Research
Fusions of description logics and abstract description systems
Journal of Artificial Intelligence Research
A multi-dimensional terminological knowledge representation language
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
On evaluating decision procedures for modal logic
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Terminological logics with modal operators
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Journal of Artificial Intelligence Research
Verification of knowledge bases based on containment checking
Artificial Intelligence
Expressive reasoning with horn rules and fuzzy description logics
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Non-standard inferences in description logics
Non-standard inferences in description logics
Logic-based knowledge representation
Artificial intelligence today
Building concept representations from reusable components
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Representing sequences in description logics
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Verification of knowledge bases based on containment checking
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
AIM: a personal view of where I have been and where we might be going
Artificial Intelligence in Medicine
Generalized satisfiability for the description logic ALC
Theoretical Computer Science
Formally Verified Tableau-Based Reasoners for a Description Logic
Journal of Automated Reasoning
Hi-index | 0.00 |