A universal DC to logic performance correlation.

Andrew Marshall

Published in: ITC (2007)

Keyphrases

multi valued
sound and complete axiomatization
logic programming
database
classical logic
correlation coefficient
predicate logic
defeasible logic
logical framework
micron cmos
sequence prediction
proof theory
computational properties
probabilistic logic
modal logic
case study
data mining
neural network