A Logic for GSTE.

Published in: FMCAD (2007)

Keyphrases

classical logic
predicate logic
modal logic
intuitionistic logic
computer vision
learning algorithm
case study
expert systems
logic programming
social networks
automated reasoning
computational properties
set theory
neural network
asynchronous circuits
delay insensitive
real time