Order-sorted predicate logic

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

Toward a more complete alloy

ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z