Tarskian Set Constraints.

David A. McAllester Robert Givan Carl Witty Dexter Kozen

Published in: LICS (1996)

Keyphrases

real world
artificial intelligence
data mining
machine learning
computer vision
information systems
case study
multiscale
search algorithm
lower bound
probability distribution
co occurrence
integrity constraints
image set
minimum cost
linear constraints