Dynamic Logic for Multi-agent (Mis) Communication.
Katsuhiko SanoSatoshi TojoPublished in: KSE (2015)
Keyphrases
- dynamic logic
- multi agent
- agent programming
- agent communication
- modal logic
- reasoning about actions
- imperative programs
- cooperative
- multi agent systems
- information systems
- propositional dynamic logic
- modal operators
- communication systems
- artificial intelligence
- agent systems
- multiagent systems
- intelligent agents
- knowledge base
- autonomous agents
- heterogeneous agents
- interaction protocols