Deterministic modal Bayesian Logic: derive the Bayesian within the modal logic T
Frédéric DambrevillePublished in: CoRR (2005)
Keyphrases
- modal logic
- temporal logic
- inference rules
- decision procedures
- epistemic logic
- classical logic
- nonmonotonic logics
- maximum likelihood
- situation calculus
- conditional logic
- dynamic logic
- modal operators
- bayesian networks
- description logic alc
- sequent calculus
- model checking
- knowledge representation
- knowledge base
- kripke models