Pieter Van Hertum, Ingmar Dasseville, Gerda Janssens, Marc Denecker. The KB Paradigm and Its Application to Interactive Configuration. In Marco Gavanelli, John H. Reppy, editors, Practical Aspects of Declarative Languages - 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings. Volume 9585 of Lecture Notes in Computer Science, pages 13-29, Springer, 2016. [doi]
Abstract is missing.