From Decision Models To User-Guiding Configurators Using SMT.

Maximilian Heisinger Florian Piminger Martina Seidl

Published in: VaMoS (2024)

Keyphrases

decision models
decision theoretic
decision model
model construction
learning algorithm
constraint satisfaction
influence diagrams
cooperative
multi objective
knowledge representation