Integrating Knowledge Compilation with Reinforcement Learning for Routes.
Jiajing LingKushagra ChandakAkshat KumarPublished in: ICAPS (2021)
Keyphrases
- knowledge compilation
- reinforcement learning
- product configuration
- prime implicates
- logical inference
- normal form
- model counting
- quantified boolean formulae
- state space
- decision support
- dynamic programming
- polynomial size
- knowledge based systems
- horn formulas
- decomposable negation normal form
- process planning
- learning algorithm
- target language
- constraint satisfaction problems