Creating automated plans for Semantic Web applications through planning as model checking.
Bonnie Brinton AndersonJames V. HansenPaul Benjamin LowryPublished in: Expert Syst. Appl. (2009)
Keyphrases
- model checking
- planning domains
- temporally extended goals
- temporal logic
- symbolic model checking
- ai planning
- planning problems
- plan generation
- description language
- classical planning
- automated verification
- timed automata
- model checker
- formal specification
- temporal properties
- reachability analysis
- heuristic search
- formal verification
- finite state
- planning process
- transition systems
- verification method
- formal methods
- pspace complete
- partial observability
- plan execution
- bounded model checking
- concurrent systems
- alternating time temporal logic
- linear temporal logic
- deterministic finite automaton
- computation tree logic
- partially observable
- temporally extended
- epistemic logic
- domain independent
- knowledge representation