Dynamic Epistemic Logic is the logic of knowledge change. This book provides various logics to support such formal specifications, including proof systems. Concrete examples and epistemic puzzles enliven the exposition. The book also offers exercises with answers. It is suitable for graduate courses in logic. Many examples, exercises, and thorough completeness proofs and expressivity results are included. A companion web page offers slides for lecturers and exams for further practice.

This book constitutes the refereed proceedings of the 7th German Conference on Multiagent Systems Technologies, MATES 2009, held in Hamburg, Germany in September 2009 - colocated with the 10th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA X) and the 5th International Workshop on Modelling of Objects, Components, and Agents (MOCA 2009).

The 14 revised full papers, 10 short papers, and 5 exhibition papers presented together with one invited talk were carefully reviewed and selected from 44 submissions. The papers present and discuss the latest advances of research and development in the area of autonomous agents and multiagent systems ranging from theoretical and methodological issues to applications in various fields.

Dynamic Epistemic Logic is the logic of knowledge change. This is not about one logical system, but about a whole family of logics that allows us to specify static and dynamic aspects of multi-agent systems. This book provides various logics to support such formal specifications, including proof systems. Concrete examples and epistemic puzzles enliven the exposition. The book also contains exercises including answers and is eminently suitable for graduate courses in logic.

A sweeping chapter-wise outline of the content of this book is the following. The chapter 'Introduction' informs the reader about the history of the subject, and its relation to other disciplines. 'Epistemic Logic' is an overview of multi-agent epistemic logic - the logic of knowledge - including modal operators for groups, such as general and common knowledge. 'Belief Revision' is an overview on how to model belief revision, both in the 'traditional' way and in a dynamic epistemic setting. 'Public Announcements' is a detailed and comprehensive introduction to the logic of knowledge to which dynamic operators for truthful public announcement are added. Many interesting applications are also presented in this chapter: a form of cryptography for ideal agents also known as 'the Russian cards problem', the sum-and-product riddle, etc. 'Epistemic Actions' introduces a generalization of public announcement logic to more complex epistemic actions. A different perspective on that matter is independently presented in 'Action Models'. 'Completeness' gives details on the completeness proof for the logics introduced in 'Epistemic Logic', 'Public Announcements', and 'Action Models'. 'Expressivity' discusses various results on the expressive power of the logics presented.

This book constitutes the refereed proceedings of the 33rd Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2007, held in Harrachov, Czech Republic in January 2007.

The 69 revised full papers, presented together with 11 invited contributions were carefully reviewed and selected from 283 submissions. The papers were organized in four topical tracks on foundations of computer science, multi-agent systems, emerging Web technologies, as well as dependable software and systems.

This book constitutes the refereed proceedings of the 10th European Conference on Logics in Artificial Intelligence, JELIA 2006. The 34 revised full papers and 12 revised tool description papers presented together with 3 invited talks were carefully reviewed and selected from 96 submissions. The papers cover a range of topics within the remit of the Conference, such as logic programming, description logics, non-monotonic reasoning, agent theories, automated reasoning, and machine learning.

This book is about Rational Agents, which can be humans, players in a game, software programs or institutions. Typically, such agents are uncertain about the state of affairs or the state of other agents, and under this partial information they have to decide on which action to take next. This book collects chapters that give formal accounts not only of Uncertainty, Rationality and Agency, but also of their interaction: what are rational criteria to accept certain beliefs, or to modify them; how can degrees of beliefs guide an agent in making decisions; why distinguish between practical and epistemic rationality when agents try to coordinate; what must be common beliefs between agents about each other's rationality in order to act rationally themselves; can an agent assign probabilities to planned actions; how to formalise assumptions about a rational speaker in a conversation obeying Gricean maxims; etc.

FoLLI-LNCS is the publication platform for the Association of Logic, Language and Information (FoLLI, www.folli.org). The Association was founded in 1991 to advance research and education on the interface between logic, linguistics, computer science, and cognitive science. The FoLLI Publications on Logic, Language and Information aim to disseminate results of cutting-edge research and tutorial materials in these interdisciplinary areas. This LNCS volume is part of FoLLi book serie and contains the papers presented at the 5th International Workshop on Logic, Rationality and Interaction/ (LORI-V), held in October 2015 in Taipei, Taiwan. The topics covered in this program well represent the span and depth that hasby now become a trademark of the LORI workshop series, where logic interfaceswith disciplines as diverse as game theory and decision theory, philosophyand epistemology, linguistics, computer science and artificial intelligence.

Contemporary epistemological and cognitive studies, as well as recent trends in computer science and game theory have revealed an increasingly important and intimate relationship between Information, Interaction, and Agency.

Agents perform actions based on the available information and in the presence of other interacting agents. From this perspective Information, Interaction, and Agency neatly ties together classical themes like rationality, decision-making and belief revision with games, strategies and learning in a multi-agent setting.

Unified by the central notions Information, Interaction, and Agency, the essays in this volume provide refreshing methodological perspectives on belief revision, dynamic epistemic logic, von Neumann games, and evolutionary game theory; all of which in turn are central approaches to understanding our own rationality and that of other agents.

Reprinted from Synthese, 139:2 and 142:2 (2004), Special Section Knowledge, Rationality, and Action.