Livia Predoiu: A Reasoner for Generalized Bayesian DL-Programs. URSW 2008