A Logic for the Compliance Budget.

Gabrielle Anderson Guy McCusker David J. Pym

Published in: GameSec (2016)

Keyphrases

logic programming
modal logic
multi valued
probabilistic logic
classical logic
asynchronous circuits
data sets
artificial intelligence
artificial neural networks
automated reasoning
search engine
logical framework
set theory
natural deduction
logic synthesis
sound and complete axiomatization