Combining Probability and Logic.

Fábio Gagliardi Cozman Rolf Haenni Jan-Willem Romeijn Federica Russo Gregory R. Wheeler Jon Williamson

Published in: J. Appl. Log. (2009)

Keyphrases

probability theory
probability distribution
databases
quantum computation
modal logic
social networks
case study
image sequences
expert systems
combining multiple
automated reasoning
classical logic
predicate logic
abductive reasoning
epistemic logic