The description logic handbook
A constraint-based decision procedure for the description logic ALCN
SAICSIT '06 Proceedings of the 2006 annual research conference of the South African institute of computer scientists and information technologists on IT research in developing countries
PSPACE bounds for rank-1 modal logics
ACM Transactions on Computational Logic (TOCL)
Reasoning with a Network of Aligned Ontologies
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
Geometrical Representation of Quantity Space and Its Application to Robot Motion Description
KES '07 Knowledge-Based Intelligent Information and Engineering Systems and the XVII Italian Workshop on Neural Networks on Proceedings of the 11th International Conference
A Hybrid Tableau Algorithm for ALCQ
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
AI Communications - Practical Aspects of Automated Reasoning
WoLLIC'10 Proceedings of the 17th international conference on Logic, language, information and computation
Collections, cardinalities, and relations
VMCAI'10 Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation
MurO: a multi-representation ontology as a foundation of enterprise information systems
CIT'04 Proceedings of the 7th international conference on Intelligent Information Technology
Instantiation Schemes for Nested Theories
ACM Transactions on Computational Logic (TOCL)
| Hi-index | 0.00 |