A First-order Theory of Communication and Multi-agent Plans.
Ernest DavisLeora MorgensternPublished in: J. Log. Comput. (2005)
Keyphrases
- multi agent
- agent communication
- higher order
- cooperative
- computational model
- first order logic
- finite model theory
- planning under uncertainty
- theoretical framework
- multi agent systems
- social networks
- computer networks
- coalition formation
- communication overhead
- communication protocol
- search algorithm
- heterogeneous agents
- quantifier elimination
- reinforcement learning