Some Computational Aspects of an Order-Sorted Calculus: Order-Sorted Unification Using Compact Representation of Clauses.

Gilles Chaminade

Published in: ECAI (1988)

Keyphrases

order sorted
predicate logic
logical formulas
structured representation
theorem proving
compact representations
proof search
first order logic
theorem prover
general purpose
horn clauses
knowledge representation and reasoning
automated theorem proving
programming language
spatial relations