Explainable dynamic programming

DOI10.1017/S0956796821000083MaRDI QIDQ5016213zbMATH OpenOpenAlexFDO

Authors

Publication date 13 December 2021

Published in Journal of Functional Programming (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Publication:2723939
• Publication:5309557
• Dynamic Programming Algorithms as Products of Weighted Logic Programs
• Algebraic dynamic programming
• Dynamic programming via thinning and incrementalization

Cites work

• scientific article; zbMATH DE number 3126094 (Why is no real title available?)
• scientific article; zbMATH DE number 3128787 (Why is no real title available?)
• scientific article; zbMATH DE number 1358710 (Why is no real title available?)
• scientific article; zbMATH DE number 1916666 (Why is no real title available?)
• Discrete-variable extremum problems
• Dynamic slicing of lazy functional programs based on redex trails
• Functional programs that explain their work
• Maximal Flow Through a Network
• On a routing problem

Cited in

(3)

• A framework for inherently interpretable optimization models
• Explainable and explorable decision support
• Adaptable Traces for Program Explanations

Describes a project that uses

Uses Software

• Expositor
• SemiRings
• Haskell

This page was built for publication: Explainable dynamic programming

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