A dynamic logic for acting, sensing, and planning.
Luca SpalazziPaolo TraversoPublished in: J. Log. Comput. (2000)
Keyphrases
- dynamic logic
- modal logic
- reasoning about actions
- imperative programs
- agent programming
- planning problems
- real time
- planning process
- motion planning
- sensor networks
- propositional dynamic logic
- blocks world
- temporal logic
- temporal constraints
- domain independent
- model checking
- heuristic search
- multiple input
- decision support
- general purpose