Intuitive Probability Logic.

Published in: TAMC (2011)

Keyphrases

probability theory
quantum computation
classical logic
proof theory
similarity measure
probability distribution
logic programming
modal logic
predicate logic
neural network
expert systems
hidden markov models
programming language
automated reasoning
multi valued
delay insensitive