Planning for PDDL3 - An OCSP Based Approach.
Bharat Ranjan KavuluriNaresh Babu SaladiDeepak KhemaniPublished in: ICAPS (2006)
Keyphrases
- ai planning
- planning domains
- derived predicates
- planning problems
- planning systems
- temporal planning
- heuristic search
- public key
- plan generation
- planning tasks
- durative actions
- situation calculus
- orders of magnitude
- definition language
- action models
- integer programming
- domain independent
- model checking
- state space
- classical planning
- plan execution
- public key infrastructure