A Framework for the Hyperintensional Semantics of Natural Language with Two Implementations
LACL '01 Proceedings of the 4th International Conference on Logical Aspects of Computational Linguistics
OOD Frameworks in Component-Based Software - Development in Computational Logic
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
On what exactly goes on when software is developed step-by-step, II: the sequel
Information Processing Letters - Special issue: Contribution to computing science
Formal Properties of Modularisation
Modular Ontologies
Conservative extensions in expressive description logics
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Deciding inseparability and conservative extensions in the description logic EL
Journal of Symbolic Computation
Logic-based ontology comparison and module extraction, with an application to DL-Lite
Artificial Intelligence
Model-theoretic inseparability and modularity of description logic ontologies
Artificial Intelligence
Hi-index | 0.00 |