Tanya Braun, Ralf Möller 0001. Fusing First-Order Knowledge Compilation and the Lifted Junction Tree Algorithm. In Frank Trollmann, Anni-Yasmin Turhan, editors, KI 2018: Advances in Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings. Volume 11117 of Lecture Notes in Computer Science, pages 24-37, Springer, 2018. [doi]
Abstract is missing.