Logic And The Foundations Of Game And Decision Theory Loft 8

This book constitutes the refereed proceedings of the 8th International Conference on Logic and the Foundations of the Theory of Game and Decision Theory, LOFT8 2008, held in Amsterdam, The Netherlands, July 2008. This volume is based on a selection of the presented papers and invited talks. They survived a thorough and lengthy reviewing process. The LOFT conferences are interdisciplinary events that bring together researchers from a variety of fields: computer science, economics, game theory, linguistics, logic, multi-agent systems, psychology, philosophy, social choice and statistics. Its focus is on the general issue of rationality and agency. The papers collected in this volume reflect the contemporary interests and interdisciplinary scope of the LOFT conferences.

This volume is a collects papers originally presented at the 7th Conference on Logic and the Foundations of Game and Decision Theory (LOFT), held at the University of Liverpool in July 2006. LOFT is a key venue for presenting research at the intersection of logic, economics, and computer science, and this collection gives a lively and wide-ranging view of an exciting and rapidly growing area.

Relational data exchange is the problem of translating relational data according to a given specification. It is one of the many tasks that arise in information integration. A fundamental issue is how to answer queries that are posed against the result of the data exchange so that the answers are semantically consistent with the source data. For monotonic queries, the certain answers semantics by Fagin, Kolaitis, Miller, and Popa (2003) yields good answers. For many non-monotonic queries, however, this semantics was shown to yield counter-intuitive answers. This dissertation deals with the problem of computing the certain answers to monotonic queries on the one hand. On the other hand, it presents and compares semantics for answering non-monotonic queries, and investigates how hard it is to evaluate non-monotonic queries under these semantics.

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the Second International Workshop on Logic, Rationality, and Interaction, LORI 2009, held in Chongqing, China, in October 2009. The 24 revised full papers presented together with 8 posters were carefully reviewed and selected from a flood of submissions. The workshops topics include but are not limited to semantic models for knowledge, for belief, and for uncertainty, dynamic logics of knowledge, information flow, and action, logical analysis of the structure of games, belief revision, belief merging, logics for preferences and utilities, logics of intentions, plans, and goals, logics of probability and uncertainty, argument systems and their role in interaction, as well as norms, normative interaction, and normative multiagent systems.

This book illustrates the program of Logical-Informational Dynamics. Rational agents exploit the information available in the world in delicate ways, adopt a wide range of epistemic attitudes, and in that process, constantly change the world itself. Logical-Informational Dynamics is about logical systems putting such activities at center stage, focusing on the events by which we acquire information and change attitudes. Its contributions show many current logics of information and change at work, often in multi-agent settings where social behavior is essential, and often stressing Johan van Benthem's pioneering work in establishing this program. However, this is not a Festschrift, but a rich tapestry for a field with a wealth of strands of its own. The reader will see the state of the art in such topics as information update, belief change, preference, learning over time, and strategic interaction in games. Moreover, no tight boundary has been enforced, and some chapters add more general mathematical or philosophical foundations or links to current trends in computer science. The theme of this book lies at the interface of many disciplines. Logic is the main methodology, but the various chapters cross easily between mathematics, computer science, philosophy, linguistics, cognitive and social sciences, while also ranging from pure theory to empirical work. Accordingly, the authors of this book represent a wide variety of original thinkers from different research communities. And their interconnected themes challenge at the same time how we think of logic, philosophy and computation. Thus, very much in line with van Benthem's work over many decades, the volume shows how all these disciplines form a natural unity in the perspective of dynamic logicians (broadly conceived) exploring their new themes today. And at the same time, in doing so, it offers a broader conception of logic with a certain grandeur, moving its horizons beyond the traditional study of consequence relations.

This volume describes and analyzes in a systematic way the great contributions of the philosopher Krister Segerberg to the study of real and doxastic actions. Following an introduction which functions as a roadmap to Segerberg's works on actions, the first part of the book covers relations between actions, intentions and routines, dynamic logic as a theory of action, agency, and deontic logics built upon the logics of actions. The second section explores belief revision and update, iterated and irrevocable beliefs change, dynamic doxastic logic and hypertheories. Segerberg has worked for more than thirty years to analyze the intricacies of real and doxastic actions using formal tools - mostly modal (dynamic) logic and its semantics. He has had such a significant impact on modal logic that "It is hard to roam for long in modal logic without finding Krister Segerberg's traces," as Johan van Benthem notes in his chapter of this book.

This volume contains the papers presented at the Second International Sym- sium on Algorithmic Game Theory (SAGT 2009), which was held on October 18–20, 2009, in Paphos, Cyprus. This event followed the ?rst, very successful SAGT symposium, which took place in Paderborn, Germany, last year. The purpose of SAGT is to bring together researchers from computer s- ence, economics and mathematics to present and discuss originalresearchat the intersection of algorithms and game theory. It has been intended to cover all important areas such as solution concepts, game classes,computation of equil- riaandmarketequilibria,algorithmicmechanismdesign, automatedmechanism design,convergenceandlearningingames,complexityclassesingametheory,- gorithmicaspectsof?xed-pointtheorems,mechanisms,incentivesandcoalitions, cost-sharing algorithms, computational problems in economics, ?nance, decision theory and pricing, computational social choice, auction algorithms, price of - archyand its relatives, representationsof games and their complexity, economic aspects of distributed computing and the internet, congestion, routing and n- work design and formation games and game-theoretic approaches to networking problems. Approximately55submissionstoSAGT2009 werereceived.Eachsubmission was reviewed by at least three Program Committee members. The Program Committee decided to accept 29 papers. Out of these, a small number will be invited to a Special Issue of the Theory of Computing Systems journal with selected papers from SAGT 2009. The program of SAGT 2009 featured three invited talks from three outstanding researchers in algorithmic game theory: Elias Koutsoupias, Dov Monderer and Mihalis Yannakakis. We are very grateful toElias,DovandMihalisforjoiningusinPaphosandfortheirexcellentlectures.