Automated Reasoning for Relational Probabilistic Knowledge Representation.

Christoph Beierle, Marc Finthammer, Gabriele Kern-Isberner, Matthias Thimm

Browse the full CADE paper archive.