Resolution for label-based formulas in hierarchical representation
New Generation Computing
Order-sorted logic programming with predicate hierarchy
Artificial Intelligence
Logical aspects of events: quantification, sorts, composition and disjointness
AOW '05 Proceedings of the 2005 Australasian Ontology Workshop - Volume 58
Meta-relation and ontology closure in conceptual structure theory
Artificial Intelligence and Law
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 |