An Order-Sorted Resolution with Implicitly Negative Sorts
Proceedings of the 17th International Conference on Logic Programming
Resolution for label-based formulas in hierarchical representation
New Generation Computing
Order-sorted logic programming with predicate hierarchy
Artificial Intelligence
Distributed reasoning with ontologies and rules in order-sorted logic programming
Web Semantics: Science, Services and Agents on the World Wide Web
Existential rigidity and many modalities in order-sorted logic
Knowledge-Based Systems
Hi-index | 0.00 |