Integrating Typed Model Counting into First-Order Maximum Entropy Computations and the Connection to Markov Logic Networks

Marco Wilhelm, Gabriele Kern-Isberner, Marc Finthammer, Christoph Beierle. Integrating Typed Model Counting into First-Order Maximum Entropy Computations and the Connection to Markov Logic Networks. In Roman Barták, Keith W. Brawner, editors, Proceedings of the Thirty-Second International Florida Artificial Intelligence Research Society Conference, Sarasota, Florida, USA, May 19-22 2019. pages 494-499, AAAI Press, 2019. [doi]

Abstract

Abstract is missing.