Formal Semantics and Formally Verified Validation for Temporal Planning.
Mohammad AbdulazizLukas KollerPublished in: AAAI (2022)
Keyphrases
- formal semantics
- temporal planning
- mutual exclusion
- temporal planner
- plan generation
- ai planning
- logical language
- planning problems
- domain independent
- partial order
- temporal constraints
- long distance
- first order logic
- modelling language
- plan execution
- heuristic search
- modeling language
- knowledge base
- web services
- planning graph
- theorem prover
- domain specific
- machine learning
- temporal planning problems