The CLASSIC knowledge representation system: guiding principles and implementation rationale
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
On taxonomic reasoning in conceptual design
ACM Transactions on Database Systems (TODS)
Taxonomic syntax for first order inference
Journal of the ACM (JACM)
A classification algorithm for supporting object-oriented views
CIKM '94 Proceedings of the third international conference on Information and knowledge management
{\cal A}{\cal L}-log: Integrating Datalog and Description Logics
Journal of Intelligent Information Systems
A survey of temporal extensions of description logics
Annals of Mathematics and Artificial Intelligence
Description Logics in Data Management
IEEE Transactions on Knowledge and Data Engineering
EPIA '99 Proceedings of the 9th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
On the Problem of Computing Small Representations of Least Common Subsumers
KI '02 Proceedings of the 25th Annual German Conference on AI: Advances in Artificial Intelligence
Complexity of Terminological Reasoning Revisited
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
A system for principled matchmaking in an electronic marketplace
WWW '03 Proceedings of the 12th international conference on World Wide Web
Reasoning in expressive description logics
Handbook of automated reasoning
The description logic handbook
Representing a robotic domain using temporal description logics
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
NEXP TIME-complete description logics with concrete domains
ACM Transactions on Computational Logic (TOCL)
Validation of terminological inference in an information extraction task
HLT '93 Proceedings of the workshop on Human Language Technology
A System for Principled Matchmaking in an Electronic Marketplace
International Journal of Electronic Commerce
Debugging Incoherent Terminologies
Journal of Automated Reasoning
Decomposition-based reasoning for large knowledge bases in description logics
Integrated Computer-Aided Engineering
Automata can show PSpace results for description logics
Information and Computation
A Crisp Representation for Fuzzy $\cal SHOIN$ with Fuzzy Nominals and General Concept Inclusions
Uncertainty Reasoning for the Semantic Web I
Reasoning within intuitionistic fuzzy rough description logics
Information Sciences: an International Journal
Description Logics, Data Modelling and Relational Dependencies
Proceedings of the 2006 conference on Information Modelling and Knowledge Bases XVII
Decomposition-based Reasoning for Large Knowledge Bases in Description Logics
Proceedings of the 2006 conference on Leading the Web in Concurrent Engineering: Next Generation Concurrent Engineering
Complexity of Subsumption in the EL Family of Description Logics: Acyclic and Cyclic TBoxes
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
"Reducing" CLASSIC to Practice: Knowledge Representation Theory Meets Reality
Conceptual Modeling: Foundations and Applications
A semantics and complete algorithm for subsumption in the classic description logic
Journal of Artificial Intelligence Research
Integrating description logics and action formalisms: first results
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Description logics for multi-issue bilateral negotiation with incomplete information
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Fusions of description logics and abstract description systems
Journal of Artificial Intelligence Research
Semantic matchmaking as non-monotonic reasoning: a description logic approach
Journal of Artificial Intelligence Research
Reasoning with very expressive fuzzy description logics
Journal of Artificial Intelligence Research
A temporal description logic for reasoning about actions and plans
Journal of Artificial Intelligence Research
Abductive matchmaking using description logics
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Non-standard reasoning services for the debugging of description logic terminologies
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Fuzzy description logics with general t-norms and datatypes
Fuzzy Sets and Systems
Reasoning within expressive fuzzy rough description logics
Fuzzy Sets and Systems
Interval-based temporal reasoning with general TBoxes
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Semantic inference in natural language: validating a tractable approach
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Expressive fuzzy description logics over lattices
Knowledge-Based Systems
The viewpoint abstraction in object-oriented modeling and the UML
ER'00 Proceedings of the 19th international conference on Conceptual modeling
Learnability of description logic programs
ILP'02 Proceedings of the 12th international conference on Inductive logic programming
Part-whole reasoning in an object-centered framework
Part-whole reasoning in an object-centered framework
Complexity of planning in action formalisms based on 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
An empirical analysis of terminological representation systems
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Massively parallel support for computationally effective recognition queries
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Obvious properties of computer programs
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Reasoning and explanation in EL and in expressive description logics
ReasoningWeb'10 Proceedings of the 6th international conference on Semantic technologies for software engineering
An extended inverted file approach for information retrieval
IDEAS'97 Proceedings of the 1997 international conference on International database engineering and applications symposium
Semantic web reasoners and languages
Artificial Intelligence Review
Generalized satisfiability for the description logic ALC
TAMC'11 Proceedings of the 8th annual conference on Theory and applications of models of computation
A hybrid deliberative layer for robotic agents: fusing DL reasoning with HTN planning in autonomous robots
Decidability of unification in EL without top constructor
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
A new n-ary existential quantifier in description logics
KI'05 Proceedings of the 28th annual German conference on Advances in Artificial Intelligence
Debugging and semantic clarification by pinpointing
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Computing the stratified semantics of logic programs over big data through mass parallelization
RuleML'13 Proceedings of the 7th international conference on Theory, Practice, and Applications of Rules on the Web
Introductions to description logics: a guided tour
RW'13 Proceedings of the 9th international conference on Reasoning Web: semantic technologies for intelligent data access
Generalized satisfiability for the description logic ALC
Theoretical Computer Science
| Hi-index | 0.00 |