BDI^ATL : An Alternating-Time BDI Logic for Multiagent Systems.
Roberto MontagnaGiorgio DelzannoMaurizio MartelliViviana MascardiPublished in: EUMAS (2005)
Keyphrases
- multiagent systems
- multi agent systems
- multi agent
- bdi agents
- agent architecture
- autonomous agents
- distributed artificial intelligence
- intelligent agents
- normative systems
- multiagent reinforcement learning
- agent programming
- alternating time temporal logic
- agent systems
- cooperative
- mental states
- game theory
- multiagent planning
- multiagent learning
- agent based systems
- agent coordination
- trust model
- software agents
- learning agents
- agent communication
- agent societies
- model checking
- complex systems
- mobile robot
- machine learning