Communication between agents in dynamic epistemic logic.
Fernando R. Velázquez-QuesadaPublished in: CoRR (2022)
Keyphrases
- epistemic logic
- dynamic epistemic logic
- multi agent systems
- communication protocol
- multi agent
- agent communication
- communicating agents
- autonomous agents
- multiagent systems
- cooperative
- open systems
- modal logic
- fipa acl
- multiple agents
- mobile agents
- software agents
- distributed control
- intelligent agents
- inference rules
- agent interactions
- model checking
- communication channels
- multi party
- logical framework
- exchange information
- incomplete information
- computational model