The Logic of Location.

Peter M. Simons

Published in: Synth. (2006)

Keyphrases

logic programming
modal logic
computer vision
metadata
automated reasoning
multi valued
set theory
classical logic
computational properties
machine learning
predicate logic
truth values
formal theory
modal operators
asynchronous circuits
location and orientation
delay insensitive
single facility