A lightweight epistemic logic and its application to planning.
Martin C. CooperAndreas HerzigFaustine MaffreFrédéric MarisElise PerrotinPierre RégnierPublished in: Artif. Intell. (2021)
Keyphrases
- lightweight
- epistemic logic
- model checking
- modal logic
- multi agent systems
- dynamic epistemic logic
- multi faceted
- logical framework
- formal semantics
- inference rules
- planning problems
- temporal logic
- mathematical theory
- domain independent
- wireless sensor networks
- ai planning
- dos attacks
- bayesian networks
- computation tree logic
- bounded model checking
- cooperative