Unifying logic and probability.

Stuart J. Russell

Published in: Commun. ACM (2015)

Keyphrases

probability theory
quantum computation
probability distribution
predicate logic
modal logic
multi valued
classical logic
conditional probabilities
sound and complete axiomatization
social networks
case study
relational databases
logic programming
automated reasoning
set theory
nonmonotonic logics