Logic proximity bridges.

Eric N. Tran Vamsee Krishna Sujit T. Zachariah Sreejit Chakravarty

Published in: ITC (2005)

Keyphrases

predicate logic
logic programming
automated reasoning
multi valued
classical logic
proof theory
digital circuits
proximity search
database
asynchronous circuits
logical framework
probabilistic logic
theorem prover
expert systems
search algorithm
artificial intelligence
data sets