Michael Abseher, Marius Moldovan, Stefan Woltran. Providing Built-In Counters in a Declarative Dynamic Programming Environment. In Gerhard Friedrich, Malte Helmert, Franz Wotawa, editors, KI 2016: Advances in Artificial Intelligence - 39th Annual German Conference on AI, Klagenfurt, Austria, September 26-30, 2016, Proceedings. Volume 9904 of Lecture Notes in Computer Science, pages 3-16, Springer, 2016. [doi]
Abstract is missing.