IBM Journal of Research and Development
Specification matching for software reuse: a foundation
SSR '95 Proceedings of the 1995 Symposium on Software reusability
IEEE Transactions on Knowledge and Data Engineering
A formalism for representing and reasoning with linguistic information
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
Knowledge Representation for Natural Language Understanding: The L_LILOG Approach
IEEE Transactions on Knowledge and Data Engineering
An Order-Sorted Resolution with Implicitly Negative Sorts
Proceedings of the 17th International Conference on Logic Programming
A predicate-ordered logic for knowledge representation on the web
Future Generation Computer Systems - Special issue: Semantic grid and knowledge grid: the next-generation web
Distributedness and non-linearity of LOLITA's semantic network
COLING '96 Proceedings of the 16th conference on Computational linguistics - Volume 1
Resolution for label-based formulas in hierarchical representation
New Generation Computing
Order-sorted logic programming with predicate hierarchy
Artificial Intelligence
A hybrid reasoning system for terminologies and first-order clauses in knowledge bases
New Generation Computing
Semantic enrichment in ontologies for matching
AOW '06 Proceedings of the second Australasian workshop on Advances in ontologies - Volume 72
Discordance Detection in Regional Ordinance: Ontology-based Validation
Proceedings of the 2006 conference on Legal Knowledge and Information Systems: JURIX 2006: The Nineteenth Annual Conference
Extending the resolution method with sorts
IJCAI'93 Proceedings of the 13th international joint conference on Artifical 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
Meta-relation and ontology closure in conceptual structure theory
Artificial Intelligence and Law
Existential rigidity and many modalities in order-sorted logic
Knowledge-Based Systems
Inference scheme for order-sorted logic using noun phrases with variables as sorts
MICAI'06 Proceedings of the 5th Mexican international conference on Artificial Intelligence
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
Inheritance of multiple identity conditions in order-sorted logic
AI'04 Proceedings of the 17th Australian joint conference on Advances in Artificial Intelligence
| Hi-index | 0.00 |