Bellman's GAP: a declarative language for dynamic programming.
Georg SauthoffStefan JanssenRobert GiegerichPublished in: PPDP (2011)
Keyphrases
- declarative language
- dynamic programming
- piecewise linear
- deductive databases
- linear program
- stereo matching
- greedy algorithm
- reinforcement learning
- linear programming
- single machine
- coarse to fine
- modeling language
- dynamic programming algorithms
- logic programming
- real time
- optimal control
- infinite horizon
- markov decision processes
- state space
- locally optimal
- neural network