The Logic of Reachability.

David E. Smith Ari K. Jónsson

Published in: AIPS (2002)

Keyphrases

modal logic
multi valued
state space
predicate logic
neural network
case study
logic programming
automated reasoning
classical logic
asynchronous circuits
genetic algorithm
knowledge base
expert systems
transitive closure
computational properties
digital circuits