Proof-Carrying Plans: a Resource Logic for AI Planning.
Alasdair HillEkaterina KomendantskayaRonald P. A. PetrickPublished in: PPDP (2020)
Keyphrases
- ai planning
- planning domains
- planning problems
- planning under uncertainty
- automated planning
- planning systems
- proof theory
- model checker
- linear logic
- natural deduction
- action models
- heuristic search
- integer programming
- proof search
- domain independent
- conformant planning
- classical planning
- web service composition
- modal logic
- description language
- automated web service composition
- plan generation
- control knowledge
- service composition
- theorem prover
- orders of magnitude
- plan recognition
- theorem proving
- macro operators
- htn planning
- temporal planning
- sequent calculus
- logic programming
- state space
- constraint satisfaction
- model checking