Dealing with logical omniscience.

Joseph Y. Halpern Riccardo Pucella

Published in: TARK (2007)

Keyphrases

logical representation
neural network
real world
pairwise
image retrieval
special case
predicate calculus