Journal of the ACM (JACM)
Efficient implementation of lattice operations
ACM Transactions on Programming Languages and Systems (TOPLAS)
Logic programming with typed unification and its realization on an abstract machine
IBM Journal of Research and Development
Using Many-Sorted Logic in the Object-Oriented Data Model for Fast Robot Task Planning
Journal of Intelligent and Robotic Systems
Knowledge Representation for Natural Language Understanding: The L_LILOG Approach
IEEE Transactions on Knowledge and Data Engineering
Expressing generalizations in unification-based grammar formalisms
EACL '89 Proceedings of the fourth conference on European chapter of the Association for Computational Linguistics
Resolution for label-based formulas in hierarchical representation
New Generation Computing
Order-sorted logic programming with predicate hierarchy
Artificial Intelligence
Aspects of automatic ontology extension: adapting and regeneralizing dynamic updates
AOW '06 Proceedings of the second Australasian workshop on Advances in ontologies - Volume 72
Learning and Memorizing Models of Logical Theories in a Hybrid Learning Device
Neural Information Processing
Efficiency considerations on built-in taxonomic reasoning in Prolog
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Distributed reasoning with ontologies and rules in order-sorted logic programming
Web Semantics: Science, Services and Agents on the World Wide Web
Kernel functions for case-based planning
Artificial Intelligence
Using ontologies to facilitate post-processing of association rules by domain experts
Information Sciences: an International Journal
Existential rigidity and many modalities in order-sorted logic
Knowledge-Based Systems
An order-sorted quantified modal logic for meta-ontology
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
| Hi-index | 0.00 |