MADMAX: a DSL for explanatory decision making
Martin Erwig, Prashant Kumar · 2021
MADMAX is a Haskell-embedded DSL for multi-attribute, multi-layered decision making. An important feature of this DSL is the ability to generate explanations of why a computed optimal solution is better than its alternatives.