Probabilistic Inference and Monadic Second Order Logic.
Marijke H. L. BodlaenderPublished in: IFIP TCS (2012)
Keyphrases
- probabilistic inference
- monadic second order logic
- expressive power
- data complexity
- graphical models
- regular expressions
- tree automata
- first order logic
- conditional probabilities
- bayesian networks
- message passing
- query language
- weighted model counting
- probabilistic reasoning
- belief networks
- probabilistic model
- query evaluation
- random variables
- pattern matching
- database
- finite automata
- machine learning
- neural network
- finite state
- np complete
- database systems
- context free grammars
- artificial intelligence