Marco Wilhelm, Gabriele Kern-Isberner, Andreas Ecke. Propositional Probabilistic Reasoning at Maximum Entropy Modulo Theories. In Zdravko Markov, Ingrid Russell, editors, Proceedings of the Twenty-Ninth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2016, Key Largo, Florida, May 16-18, 2016. pages 690-694, AAAI Press, 2016. [doi]
Abstract is missing.