Propositions, Sets, and Worlds.

Published in: Stud Logica (2006)

Keyphrases

databases
computer vision
high level
multiresolution
neural network
learning algorithm
cooperative
search algorithm
mobile robot
set theoretic
definite clause