The logic of optics and the optics of logic.

H. John Caulfield Jonathan Westphal

Published in: Inf. Sci. (2004)

Keyphrases

machine vision
logic programming
classical logic
predicate logic
automated reasoning
search algorithm
expert systems
infrared
multi valued
case study
theorem proving
probabilistic logic
computational properties
laser beam
sound and complete axiomatization