Axiomatizing the Logic of Comparative Probability.

John P. Burgess

Published in: Notre Dame J. Formal Log. (2010)

Keyphrases

probability theory
comparative analysis
quantum computation
classical logic
multi valued
logic programming
predicate logic
formal language
hidden markov models
modal logic
inference rules
real time
image sequences
case study
machine learning
defeasible logic
set theory
digital circuits
databases