Against All Odds: When Logic Meets Probability.

Johan van Benthem

Published in: ModelEd, TestEd, TrustEd (2017)

Keyphrases

probability theory
quantum computation
probability distribution
logic programming
modal logic
multi valued
deontic logic
asynchronous circuits
real world
information systems
logic programs
automated reasoning
classical logic