Global Skolemization with Grouped Quantifiers.

Domenico Cantone Marianna Nicolosi Asmundo Eugenio G. Omodeo

Published in: APPIA-GULP-PRODE (1997)

Keyphrases

cooperative
natural language
databases
computer vision
neural network
genetic algorithm
artificial intelligence
decision trees
case study
multiscale
object recognition
pairwise
first order logic
global information