Lazy Evaluation of Negative Preconditions in Planning Domains (Extended Abstract).
Santiago FrancoJamie O. RobertsSara BernardiniPublished in: SOCS (2024)
Keyphrases
- extended abstract
- lazy evaluation
- planning domains
- action models
- ai planning
- planning problems
- orders of magnitude
- domain independent
- sort merge
- htn planning
- functional programs
- planning systems
- search strategies
- hierarchical task networks
- partially observable
- explanation based learning
- model checking
- enforced hill climbing
- partial observability
- planning under partial observability
- search algorithm
- situation calculus
- inference rules
- heuristic search
- domain specific
- information retrieval