An Axiomatic Approach to the Logical Omniscience Problem.

Barton L. Lipman

Published in: TARK (1994)

Keyphrases

image segmentation
three dimensional
pairwise
logical framework
logical properties
logical representation
neural network
social networks
multiscale
search algorithm
special case
truth values
logical reasoning