TY - RPRT TI - The KB paradigm and its application to interactive configuration AU - Pieter Van Hertum AU - Ingmar Dasseville AU - Gerda Janssens AU - Marc Denecker PY - 2016 DO - 10.1017/s1471068416000156 UR - https://arxiv.org/abs/1605.01846 ID - 1605.01846 ER -