Constructions and Predicates.

Published in: Category Theory and Computer Science (1991)

Keyphrases

user defined
machine learning
multiresolution
data mining
computer vision
web services
information extraction
datalog programs
symmetry breaking
predicate invention
semantic integrity constraints