On the Computational Representation of Classical Logical Connectives.

Jayshan Raghunandan Alexander J. Summers

Published in: Electron. Notes Theor. Comput. Sci. (2007)

Keyphrases

logical representation
representing knowledge
image representation
representation scheme
real world
image segmentation
inference rules
predicate calculus