Unifying Logical and Statistical AI
winbugs - a bayesian modelling framework : concepts , structure , and extensibility .