Order Sorted Feature Theory Unification.

Hassan Aït-Kaci Andreas Podelski Seth Copen Goldstein

Published in: J. Log. Program. (1997)

Keyphrases

theoretical basis
order sorted
feature vectors
predicate logic
image features
general purpose
knowledge acquisition
heuristic search
higher order
general theory