Real-Time Logic Revisited.

Stephen Paynter

Published in: FME (2001)

Keyphrases

real time
low cost
real time systems
vision system
classical logic
epistemic logic
modal logic
artificial neural networks
search algorithm
face recognition
case study
control system
general purpose
website
high fidelity
data mining
databases
truth values
database