Formal Semantics and Formally Verified Validation for Temporal Planning.
Mohammad AbdulazizLukas KollerPublished in: CoRR (2022)
Keyphrases
- formal semantics
- temporal planning
- temporal planner
- mutual exclusion
- plan generation
- ai planning
- partial order
- domain independent
- temporal constraints
- planning problems
- logical language
- modeling language
- first order logic
- heuristic search
- plan execution
- modelling language
- long distance
- theorem prover
- owl dl ontology
- expert systems
- planning graph
- orders of magnitude
- domain specific
- probabilistic model