Probabilistic Modal Kleene Algebra and Hoare-Style Logic.
Rui QiaoJinzhao WuXinyan GaoPublished in: ICNC (3) (2008)
Keyphrases
- modal logic
- probabilistic logic
- boolean algebra
- set theory
- nonmonotonic logics
- probability theory
- algebraic structure
- propositional logic
- bayesian networks
- data driven
- probabilistic knowledge
- algebraic expressions
- dynamic logic
- classical logic
- data model
- regular expressions
- modal operators
- probabilistic reasoning
- defeasible logic
- query language
- logical framework
- inference rules
- computational properties
- uncertain data
- temporal logic
- posterior probability
- conditional probabilities
- generative model
- description logics
- probability distribution
- logical inference
- relational databases