Agents Homogeneous: A Procedurally Anonymous Semantics Characterizing the Homogeneous Fragment of ATL.
Truls PedersenSjur Kristoffer DyrkolbotnPublished in: PRIMA (2013)
Keyphrases
- alternating time temporal logic
- multi agent systems
- multi agent
- multiagent systems
- software agents
- epistemic logic
- autonomous agents
- coalition formation
- dynamic logic
- imperfect information
- logical framework
- agent systems
- peer to peer
- mobile agents
- logic programming
- semantic information
- speech acts
- electronic commerce
- agent communication
- dynamic environments