Computational aspects of an order-sorted logic with term declarations

An Order-Sorted Resolution with Implicitly Negative Sorts

Proceedings of the 17th International Conference on Logic Programming

A Framework for Order-Sorted Algebra

AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology

Simultaneous Rigid Sorted Unification

JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence

Free Variable Tableaux for a Logic with Term Declarations

TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods

Knowledge-based security administration in a distributed environment

CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: distributed computing - Volume 2

Dependent types and explicit substitutions: a meta-theoretical development

Mathematical Structures in Computer Science

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

Simultaneous checking of completeness and ground confluence for algebraic specifications

ACM Transactions on Computational Logic (TOCL)

Parameter structures for parametrized modal operators

IJCAI'91 Proceedings of the 12th international joint conference on Artificial 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

Building theories into instantiation

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2

Constructive type classes in Isabelle

TYPES'06 Proceedings of the 2006 international conference on Types for proofs and programs

Logic morphisms as a framework for backward transfer of lemmas and strategies in some modal and epistemic logics

AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1

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

Code generation via higher-order rewrite systems

FLOPS'10 Proceedings of the 10th international conference on Functional and Logic Programming

A mechanized translation from higher-order logic to set theory

ITP'10 Proceedings of the First international conference on Interactive Theorem Proving