Two-Agent Approximate Agreement from an Epistemic Logic Perspective.
Jorge Armenta-SeguraJérémy LedentSergio RajsbaumPublished in: Computación y Sistemas (2022)
Keyphrases
- epistemic logic
- multi agent systems
- autonomous agents
- modal logic
- model checking
- multi agent
- dynamic epistemic logic
- multi faceted
- computation tree logic
- negotiation process
- logical framework
- multiple agents
- cooperative
- formal semantics
- negotiation strategies
- complex systems
- artificial intelligence
- temporal logic
- probability distribution
- decision making