Sequentially Composable Rational Proofs.

Matteo Campanelli Rosario Gennaro

Published in: GameSec (2015)

Keyphrases

decision making
formal proofs
theorem proving
data sets
theorem prover
formal proof
equational theories
interactive theorem proving
artificial intelligence
computer vision
metadata
database systems
expert systems
mobile robot
probabilistic logic
decision procedures