Order-Sorted Feature Theory Unification.

Hassan Aït-Kaci Andreas Podelski Seth Copen Goldstein

Published in: ILPS (1993)

Keyphrases

theoretical basis
artificial intelligence
computational model
general theory
equational theories
genetic algorithm
feature extraction
feature vectors
state space
image features
higher order
integer programming