Max Schröder, Stefan Lüdtke, Sebastian Bader, Frank Krüger 0001, Thomas Kirste. LiMa: Sequential Lifted Marginal Filtering on Multiset State Descriptions. In Gabriele Kern-Isberner, Johannes Fürnkranz, Matthias Thimm, editors, KI 2017: Advances in Artificial Intelligence - 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017, Proceedings. Volume 10505 of Lecture Notes in Computer Science, pages 222-235, Springer, 2017. [doi]
Abstract is missing.