Wake-Up Logic Optimizations Through Selective Match and Wakeup Range Limitation.

Kuo-Su Hsiao Chung-Ho Chen

Published in: IEEE Trans. Very Large Scale Integr. Syst. (2006)

Keyphrases

wide range
logic programming
modal logic
classical logic
real time
search engine
digital circuits
databases
multiscale
social media
query language
programming language
automated reasoning
computational properties
defeasible logic