Minimal first-order structures.

Predrag Tanovic

Published in: Ann. Pure Appl. Log. (2011)

Keyphrases

higher order
artificial intelligence
first order logic
evolutionary algorithm
information retrieval
metadata
image processing
multiscale
structural features
horn clauses