Usability issues in knowledge representation systems
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Explanation Over Inference Hierarchies in Active Mediation Applications
Applied Intelligence
An Industrial Strength Description Logics-Based Configurator Platform
IEEE Intelligent Systems
Unification in a Description Logic with Transitive Closure of Roles
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
WhyNot: debugging failed queries in large knowledge bases
Eighteenth national conference on Artificial intelligence
The description logic handbook
Conceptual modelling for configuration: A description logic-based approach
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
WWW '05 Proceedings of the 14th international conference on World Wide Web
Debugging natural semantics specifications
Proceedings of the sixth international symposium on Automated analysis-driven debugging
A proof markup language for semantic web services
Information Systems - Special issue: The semantic web and web services
Proof explanation for a nonmonotonic Semantic Web rules language
Data & Knowledge Engineering
Quality-driven information filtering using the WIQA policy framework
Web Semantics: Science, Services and Agents on the World Wide Web
Toward Short and Structural $\mathcal{ALC}$-Reasoning Explanations: A Sequent Calculus Approach
SBIA '08 Proceedings of the 19th Brazilian Symposium on Artificial Intelligence: Advances in Artificial Intelligence
"Reducing" CLASSIC to Practice: Knowledge Representation Theory Meets Reality
Conceptual Modeling: Foundations and Applications
Non-standard reasoning services for the debugging of description logic terminologies
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Matching under side conditions in description logics
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
WhyNot: debugging failed queries in large knowledge bases
IAAI'02 Proceedings of the 14th conference on Innovative applications of artificial intelligence - Volume 1
Is It Important to Explain a Theorem? A Case Study on UML and $\mathcal{ALCQI}$
ER '09 Proceedings of the ER 2009 Workshops (CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS) on Advances in Conceptual Modeling - Challenging Perspectives
A proof markup language for Semantic Web services
Information Systems
Explaining answers from the Semantic Web: the Inference Web approach
Web Semantics: Science, Services and Agents on the World Wide Web
Debugging unsatisfiable classes in OWL ontologies
Web Semantics: Science, Services and Agents on the World Wide Web
Matching in hybrid terminologies
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
Ontology performance profiling and model examination: first steps
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
Non-standard inferences in description logics
Non-standard inferences in description logics
Subsumption in w.r.t. hybrid TBoxes
KI'05 Proceedings of the 28th annual German conference on Advances in Artificial Intelligence
Description logics in ontology applications
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Explaining conclusions from diverse knowledge sources
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Applications of description logics: state of the art and research challenges
ICCS'05 Proceedings of the 13th international conference on Conceptual Structures: common Semantics for Sharing Knowledge
Hi-index | 0.00 |