Propositional Probabilistic Reasoning at Maximum Entropy Modulo Theories.

Marco Wilhelm, Gabriele Kern-Isberner, Andreas Ecke

Browse the full FlAIRS paper archive.