Fact-Orientation and Conceptual Logic.

Terry A. Halpin

Published in: EDOC (2011)

Keyphrases

logic programming
modal logic
classical logic
real time
position and orientation
predicate logic
proof theory
data mining
information systems
rotation invariant
computational properties
set theory
epistemic logic
location and orientation