Encoding Lifted Classical Planning in Propositional Logic.
Daniel HöllerGregor BehnkePublished in: ICAPS (2022)
Keyphrases
- propositional logic
- classical planning
- domain independent
- planning problems
- heuristic search
- belief revision
- first order logic
- state space
- planning domains
- initial state
- probabilistic planning
- propositional satisfiability
- belief change
- search space
- search algorithm
- propositional formulas
- satisfiability testing
- machine learning
- horn logic
- heuristic function
- orders of magnitude
- objective function
- learning algorithm