-
Ogic, Rationality, and Interaction. LORI 2015. Lecture Notes in Computer Science, vol 9394 (edited book)Springer. 2015.
-
27On programming KARO agentsLogic Journal of the IGPL 9 (2): 245-256. 2001.After having defined the KARO logic for specifying intelligent agents in earlier work we now turn to the question how to realise agents specified in the KARO framework. To this end we look at agent programming languages that we have defined, and investigate how programs in these languages can be linked to the KARO logic
-
17Epistemic Logic for AI and Computer ScienceCambridge University Press. 1995.Epistemic logic has grown from its philosophical beginnings to find diverse applications in computer science, and as a means of reasoning about the knowledge and belief of agents. This book provides a broad introduction to the subject, along with many exercises and their solutions. The authors begin by presenting the necessary apparatus from mathematics and logic, including Kripke semantics and the well-known modal logics K, T, S4 and S5. Then they turn to applications in the context of distribu…Read more
-
Logic and the Foundations of Game and Decision Theory  Loft 8 (edited book)Springer Berlin Heidelberg. 2010.
-
15Logic and the Foundations of Game and Decision Theory (edited book)Amsterdam University Press. 2008.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.
-
22Introduction to the Special Issue on Logic and the Foundations of Game and Decision Theory (LOFT12)Studia Logica 107 (3): 451-455. 2019.
-
37Introduction to the Special Issue on Logic and the Foundations of Game and Decision TheoryStudia Logica 107 (3): 451-455. 2019.
-
58Editorial Introduction to the Special Issue LOFT SevillaJournal of Philosophical Logic 42 (6): 795-798. 2013.
-
127Social laws in alternating time: Effectiveness, feasibility, and synthesisSynthese 156 (1): 1-19. 2007.Since it was first proposed by Moses, Shoham, and Tennenholtz, the social laws paradigm has proved to be one of the most compelling approaches to the offline coordination of multiagent systems. In this paper, we make four key contributions to the theory and practice of social laws in multiagent systems. First, we show that the Alternating-time Temporal Logic (atl) of Alur, Henzinger, and Kupferman provides an elegant and powerful framework within which to express and understand social laws for m…Read more
-
25Defeasible deontic logic, edited by Nute Donald, Synthese library, vol. 263, Kluwer Academic Publishers, Dordrecht, Boston, and London, 1997, x + 354 pp (review)Bulletin of Symbolic Logic 6 (1): 89-94. 2000.
-
41Dynamic Epistemic LogicSpringer. 2007.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.
-
11Uncertainty, Rationality, and AgencySpringer. 2006.This volume concerns Rational Agents - humans, players in a game, software or institutions - which must decide the proper next action in an atmosphere of partial information and uncertainty. The book collects formal accounts of Uncertainty, Rationality and Agency, and also of their interaction. It will benefit researchers in artificial systems which must gather information, reason about it and then make a rational decision on which action to take.
-
26Information, Interaction, and Agency (edited book)Springer. 2005.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, strat…Read more
-
13Second-order propositional modal logic: Expressiveness and completeness resultsArtificial Intelligence 263 (C): 3-45. 2018.
-
8On the logic of cooperation and propositional controlArtificial Intelligence 164 (1-2): 81-119. 2005.
-
13Playing Cards with Hintikka: An Introduction to Dynamic Epistemic LogicIn Hans van Ditmarsch & Gabriel Sandu (eds.), Jaakko Hintikka on Knowledge and Game Theoretical Semantics, Springer. pp. 237-262. 2018.This contribution is a gentle introduction to so-called dynamic epistemic logics, that can describe how agents change their knowledge and beliefs. We start with a concise introduction to epistemic logic, through the example of one, two and finally three players holding cards; and, mainly for the purpose of motivating the dynamics, we also very summarily introduce the concepts of general and common knowledge. We then pay ample attention to the logic of public announcements, wherein agents change …Read more
-
52Dynamic Epistemic LogicInternet Encyclopedia of Philosophy. 2016.Dynamic Epistemic Logic This article tells the story of the rise of dynamic epistemic logic, which began with epistemic logic, the logic of knowledge, in the 1960s. Then, in the late 1980s, came dynamic epistemic logic, the logic of change of knowledge. Much of it was motivated by puzzles and paradoxes. The number … Continue reading Dynamic Epistemic Logic →
-
4Public Announcements and Belief ExpansionIn Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Csli Publications. pp. 335-346. 1998.
-
University of LiverpoolRegular Faculty
Areas of Interest
Epistemology |
Logic and Philosophy of Logic |