Game Theory in AI, Logic, and Algorithms

Summary

The Dagstuhl Seminar 17111: Game Theory in AI, Logic, and Algorithms was held from March 12--17, 2017. The seminar explored research challenges at the interface of computing and game theory. This area has seen fervent research activity in recent times. Specifically, game theoretic ideas have found currency in three key areas of computer science: in the algorithms community, algorithmic game theory is now a well-established sub-field; in formal methods, model checking and synthesis problems have been studied using game-theoretic concepts; and in artificial intelligence, game theory has come to provide the fundamental conceptual vocabulary for the field of multi-agent systems. Despite this manifest common interest, there is surprisingly little trade between game-theoretic approaches in these different subfields of computer science. Our aim in this seminar was to start to build some bridges between these three areas.