IBM Journal of Research and Development
IEEE Transactions on Knowledge and Data Engineering
An Order-Sorted Resolution with Implicitly Negative Sorts
Proceedings of the 17th International Conference on Logic Programming
Simultaneous Rigid Sorted Unification
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
ILP '99 Proceedings of the 9th International Workshop on Inductive Logic Programming
Order-sorted logic programming with predicate hierarchy
Artificial Intelligence
Building rules on top of ontologies for the semantic web with inductive logic programming
Theory and Practice of Logic Programming
CADE-22 Proceedings of the 22nd International Conference on Automated Deduction
Extending the resolution method with sorts
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Building theories into instantiation
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
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
Principles of inductive reasoning on the semantic web: a framework for learning in AL-log
PPSWR'05 Proceedings of the Third international conference on Principles and Practice of Semantic Web Reasoning
| Hi-index | 0.00 |