deriving a stationary dynamic bayesian network from a logic program with recursive loops

Gesell Informat, Bioinformat Initiat Munich, TU Munich, PASCAL European Network Excellence, Machine Learning JournalRecursive loops in a logic program present a challenging problem to the PLP framework. On the one hand, they loop forever so that the PLP backward-chaining inferences would never stop. On the other hand, they generate cyclic influences, whic