An Argumentative Approach for Modelling Coalitions Using ATL.

Nils Bulling Carlos Iván Chesñevar Jürgen Dix

Published in: ArgMAS (2008)

Keyphrases

multi agent systems
coalition formation
multi agent
model checking
knowledge base
temporal logic
computer supported
alternating time temporal logic
database
real time
databases
real world
artificial intelligence
computer mediated communication