-elementarity and Skolem hull operators.

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

Keyphrases

first order logic
convex hull
information systems
information retrieval
genetic algorithm
computer vision
metadata
user interface