Compiling an Epistemic Logic for Multiagent Systems.
Iulian GoriacPublished in: Int. J. Intell. Syst. (2013)
Keyphrases
- multiagent systems
- epistemic logic
- multi agent systems
- model checking
- modal logic
- multi agent
- autonomous agents
- dynamic epistemic logic
- multi faceted
- logical framework
- inference rules
- formal semantics
- coalition formation
- multiagent planning
- robotic soccer
- multiagent reinforcement learning
- temporal logic
- cooperative
- image processing
- partial order
- learning algorithm
- mathematical model
- formal verification
- mathematical theory
- dynamic programming
- decentralized control
- interaction protocols