The KB paradigm and its application to interactive configuration

Pieter Van Hertum, Ingmar Dasseville, Gerda Janssens, Marc Denecker. The KB paradigm and its application to interactive configuration. TPLP, 17(1):91-117, 2017. [doi]

Abstract

Abstract is missing.