The Assault on Logic.

Michael A. Caloyannides

Published in: IEEE Secur. Priv. (2003)

Keyphrases

multi valued
modal logic
logical framework
artificial intelligence
logic programming
data sets
learning algorithm
set theory
nonmonotonic logics
digital circuits
predicate logic
formal theory
epistemic logic
deontic logic
real time strategy games