Interactive model expansion in an observable environment

DOI10.1017/S1471068423000261MaRDI QIDQ7027205zbMATH OpenFDO

Authors Pierre Carbonnelle, Joost Vennekens, Marc Denecker, Bart Bogaerts

Publication date 14 February 2025

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1017/S1471068423000261

zbMATH Keywords

configuration problemknowledge representationman-machine interface

Mathematics Subject Classification ID

Knowledge representation (68T30)

Cites work

• A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories
• The KB paradigm and its application to interactive configuration

This page was built for publication: Interactive model expansion in an observable environment

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7027205)