Retractile clock-powered logic.

Nestoras Tzartzanis William C. Athas

Published in: ISLPED (1999)

Keyphrases

high speed
logic programming
real time
classical logic
multi valued
modal logic
power consumption
probabilistic logic
database
evolutionary algorithm
e learning
genetic algorithm
inference rules
data sets
defeasible logic
predicate logic
asynchronous circuits
dynamic logic