Equational Abstractions for Reducing the State Space of Rewrite Theories.
Lars Helge HaßThomas NollPublished in: WRLA (2008)
Keyphrases
- state space
- equational theories
- heuristic search
- theorem proving
- dynamical systems
- state variables
- reinforcement learning
- high level
- dynamic programming
- optimal policy
- theoretical framework
- search space
- particle filter
- query rewriting
- markov decision processes
- reinforcement learning algorithms
- databases
- markov decision problems
- design theory
- heuristic function
- markov decision process
- domain theory
- data model
- trade off
- theorem prover
- database