Improving logic obfuscation via logic cone analysis.

Yu-Wei Lee Nur A. Touba

Published in: LATS (2015)

Keyphrases

modal logic
logic programming
statistical analysis
predicate logic
database
artificial intelligence
real time
databases
static analysis
multi valued
sound and complete axiomatization
knowledge base
automated reasoning
classical logic
truth values