LZI - Schloss Dagstuhl - Talks + Materials of Seminar 14332

Seminar 14332
Formal Methods for Coordinating Multi-Agent Systems

Thomas Agotnes (University of Bergen, NO), Nils Bulling (TU Clausthal, DE), Sascha Ossowski (University Rey Juan Carlos, ES)

Caveat: Due to caching problems of dynamic webpages, sometimes newly
uploaded files are not shown. Please reload the page accordingly.


Seminar Wide Materials

Thomas Agotnes , University of Bergen

Markus Brill , Duke University - Durham
 Strategic Voting and Strategic Candidacy
Abstracts: txt

 Computational Social Choice
Slides: pdf


Jan M. Broersen , Utrecht University
 Disambiguating several interpretation problems of ATL-extensions
Abstracts: txt


Nils Bulling , TU Clausthal
 Agents with Perfect and Truly Perfect Recall
Abstracts: txt


Natalia Criado , John Moores University - Liverpool
 Normative Agents
Abstracts: txt


Mehdi Dastani , Utrecht University
 Norm-based Coordination in Multi-Agent Systems
Abstracts: txt


Louise A. Dennis , University of Liverpool
 Verifying Agents that Plan
Abstracts: txt


Catalin Dima , University Paris-Est - Créteil
 Automata techniques for temporal epistemic logics
Abstracts: txt


Valentin Goranko , Technical University of Denmark - Lyngby

Maaike Harbers , TU Delft
 Sharing information in teams: what, when and with whom?
Abstracts: txt


Andreas Herzig , Paul Sabatier University - Toulouse

Max Knobbout , Utrecht University

Ho-Pun Lam , NICTA - Brisbane

Beishui Liao , Zhejiang University
 Formal Argumentation And Its Roles in Multi-Agent Systems
Abstracts: txt Slides: pdf


Brian Logan , University of Nottingham
 Fair allocation of group tasks according to social norms
Abstracts: txt


Marin Lujak , University Rey Juan Carlos
 Towards future road networks: considering traffic system’s fairness trap
Abstracts: txt


Nir Oren , University of Aberdeen
 Practical Reasoning, Norms and Argument
Abstracts: txt Slides: pdf


Julian Padget , University of Bath
 An action language approach to normative specification, analysis and revision
Abstracts: txt Slides: pdf

 Capturing normative models in the real world (discussion topic NOT talk)
Abstracts: txt

 Understanding the impact of normative models (discussion topic NOT talk)
Abstracts: txt


Truls Pedersen , University of Bergen

Joshua Sack , University of Amsterdam
 Modal Logic for Mixed Strategies in Games
Abstracts: txt


Marija Slavkovik , University of Bergen
 Abstract Formal Basis for Digital Crowds
Abstracts: txt Slides: pdf Paper: pdf

 Judgment Aggregation - an overview
Abstracts: txt Slides: pdf


Bas J. G. Testerink , Utrecht University

Nicolas Troquard , National Research Council - Povo (Trento)
 Resource-sensitive interactions
Abstracts: txt


Paolo Turrini , Imperial College London
 Pre-vote negotiations and voting games
Abstracts: txt


Birna Van Riemsdijk , TU Delft
 Computational Reasoning for Socially Adaptive Electronic Partners
Abstracts: txt


Marc Van Zee , University of Luxembourg
 Collective Intention Revision from a Database Perspective
Abstracts: txt


Laurent Vercouter , INSA - St- Etienne-du-Rouvray
 Adaptation of social control and trust mechanisms
Abstracts: txt



Creative Commons License
This webpage and the material that is made available on this webpage is licensed under a
Creative Commons Attribution-Noncommercial-No Derivative Works 3.0 Unported License.

The CC by-nc-nd license allows you to copy, distribute and transmit the work under the following conditions: