Modelling and Verifying Coalitions using Argumentation and ATL.

Nils Bulling Jürgen Dix

Published in: Inteligencia Artif. (2010)

Keyphrases

multi agent systems
model checking
coalition formation
agent communication
temporal logic
argumentation theory
coalitional games
argumentation systems
data sets
defeasible reasoning
defeasible argumentation
dynamic environments
cooperative games
argumentation skills
alternating time temporal logic