A System for Relational Probabilistic Reasoning on Maximum Entropy. - Matthias Thimm; Marc Finthammer; Sebastian Loh; Gabriele Kern-Isberner; Christoph Beierle (FLAIRS, 2010)