An Epistemic Logic for Planning with Trials.
Rajdeep NiyogiRamaswamy RamanujamPublished in: LORI (2009)
Keyphrases
- ai planning
- epistemic logic
- model checker
- model checking
- planning domains
- planning problems
- modal logic
- heuristic search
- dynamic epistemic logic
- multi agent systems
- formal semantics
- inference rules
- computation tree logic
- multi faceted
- logical framework
- classical planning
- mathematical theory
- artificial intelligence
- formal methods
- temporal logic
- domain independent
- state space
- multi agent