Deriving a Stationary Dynamic Bayesian Network from a Logic Program with Recursive Loops
Yi-Dong ShenQiang YangJia-Huai YouLi-Yan YuanPublished in: CoRR (2005)
Keyphrases
- logic programs
- dynamic bayesian networks
- recursive programs
- logic programming
- stable models
- fixpoint
- bayesian networks
- particle filtering
- answer sets
- background knowledge
- normal logic programs
- answer set programming
- approximate inference
- structure learning
- datalog programs
- prolog programs
- inductive logic programming
- computational properties
- general logic programs
- inside outside algorithm
- gene regulatory networks
- state variables
- recursive queries
- logic program updates
- graphical models
- belief propagation
- particle filter
- horn clauses
- conditional independence
- expectation maximization
- machine learning