Order-Sorted Feature Theory Unification.

Hassan Aït-Kaci Andreas Podelski Seth Copen Goldstein

Published in: ICLP Workshop on Concurrent Constraint Programming (1993)

Keyphrases

theoretical framework
predicate logic
higher order
theoretical basis
image features
computational model
theoretical foundation
theorem proving
feature values
general theory
formal theory