Quantitative Automata under Probabilistic Semantics.
Krishnendu ChatterjeeThomas A. HenzingerJan OtopPublished in: LICS (2016)
Keyphrases
- probabilistic model
- bayesian networks
- quantitative and qualitative
- generative model
- uncertain data
- cellular automata
- formal languages
- finite automata
- posterior probability
- formal semantics
- probabilistic logic programs
- probabilistic logic
- default reasoning
- conceptual graphs
- qualitative and quantitative
- conceptual model
- integrity constraints
- information theoretic
- logic programming