License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license (CC BY-NC-ND 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagRep.1.3.1
URN: urn:nbn:de:0030-drops-31915
URL: https://drops.dagstuhl.de/opus/volltexte/2011/3191/
Go back to Dagstuhl Reports


Dix, Jürgen ; Jamroga, Wojtek ; Samet, Dov
Weitere Beteiligte (Hrsg. etc.): Jürgen Dix and Wojtek Jamroga and Dov Samet

Reasoning about Interaction: From Game Theory to Logic and Back (Dagstuhl Seminar 11101)

pdf-format:
dagrep_v001_i003_p001_s11101.pdf (0.8 MB)


Abstract

This report documents the program and the outcomes of Dagstuhl Seminar 11101 ``Reasoning about Interaction: From Game Theory to Logic and Back''.

The notion of interaction is crucial in several disciplines, including
social science, operational research, and
economics. Two frameworks are most prominent in the formal treatment of
interaction: game theory and mathematical logic. Quantitative analysis is
usually conducted using models and tools of game theory. At the same time,
logic provides vocabulary and methods to study interaction in a qualitative
way.

The aim of the seminar was to bring together researchers who approach
interaction-related phenomena from different perspectives (and with
different conceptual tools). We hoped that, by synergy and exchange of
expertise, a more integrative view of interaction could be obtained. In particular, we focussed on how interaction between individual entities (be it humans, robots and/or virtual creatures) can lead to emergence of social structures, collective behavior, and teamwork - and, ultimately, help all involved parties benefit from cooperation.

BibTeX - Entry

@Article{dix_et_al:DR:2011:3191,
  author =	{J{\"u}rgen Dix and Wojtek Jamroga and Dov Samet},
  title =	{{Reasoning about Interaction: From Game Theory to Logic and Back (Dagstuhl Seminar 11101)}},
  pages =	{1--18},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2011},
  volume =	{1},
  number =	{3},
  editor =	{J{\"u}rgen Dix and Wojtek Jamroga and Dov Samet},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2011/3191},
  URN =		{urn:nbn:de:0030-drops-31915},
  doi =		{10.4230/DagRep.1.3.1},
  annote =	{Keywords: Game Theory, Logic, Mechanism Design, Security, Cooperation, Model Checking, Rationality, Knowledge}
}

Keywords: Game Theory, Logic, Mechanism Design, Security, Cooperation, Model Checking, Rationality, Knowledge
Collection: Dagstuhl Reports, Volume 1, Issue 3
Issue Date: 2011
Date of publication: 06.07.2011


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI