Wiebe van der Hoek's Home Page



About Wiebe

I am a member of the Agent ART Group, whose research in agents concentrates on Logics for Agent Systems, Cooperation, Negotiation, Games and Agents, Data Mining and the Semantic Web. I am a Fellow of the British Computer Society and a College Member of the EPSRC. I am of have been organiser of the European Agent Systems Summer School (EASSS), the Conference on Logics for Games and Decision Theory (LOFT), and the Conference on Logics for AI (JELIA), and he is Editor-in-Chief of Knowledge, Rationality and Action and Managing Editor of a new bookseries Texts in Logic and Games (The link leads you to a very preliminary page: More soon!)

What's New

Here is some really good news!

Hans van Ditmarsch (right), Barteld Kooi (left) and me With Hans van Ditmarsch (right) and Barteld Kooi (left), I finished a manuscript Dynamic Epistemic Logic. Here is an overview of the contents. This book can now be ordered through Springer or Amazon. A paperback version is also available: see for instance here. Dynamic Epistemic Logic

With Mike Wooldridge (middle) and Thomas Ågotnes (right), I am currently working on logics for games, or, put more generally, logics for cooperation. We presented this work as an AAMAS tutorial (2006 and 2007) and Dynamic Epistemic Logic parts of it have been presented at IJCAI07, at AAMAS06 (here is a second AAMAS paper) and, as work with Paul Dunne, at LORI07 and AAAI07. More developments soon: watch this space!

Knowledge, Rationality and Action I am currently in the board of three journals. Knowledge, Rationality and Action is an ongoing issue of Synthese, and addresses formal approaches to information and rational decision making. The Agent Journal has become a major platform in its field since its start in 1998, whereas Studia Logica is since 1953 a well respected journal in the area of contemporary formal logic. It is published by Springer and the Polish Academy of Sciences. Autonomous Agents and Multi-Agent Systems Studia Logica

Left some recently edited volumes Uncertainty, Rationality and Agency (2005), and Information, Interaction and Agency (2006), a special issue of AMAI, and a spin-off publication from LOFT2006.

On the right some recently edited LNCS volumes: the proceedings of JELIA 2006, of SOFSEM 2007, of LOFT2008 (published 2010!), the proceedings of MATES 2009 and of LOFT2010

Handbook of Modal Logic At the end of 2006, the Handbook of Modal Logic came out, an impressive landmark in the field (see here for the blurbs, and click on the picture (left) for a description).

Back to Epistemic Logic now. The book I wrote with John Jules Meyer (right) is still doing well, and now available with hard back for $ 50! 		Epistemic Logic for AI and computer sience John Jules Meyer and me


About Liverpool

Liverpool will be the European Capital of Culture 2008. Well known for its docks and various Beatles attractions it also has two cathedrals, a Philharmonic Hall, several theatres and cinemas, an historic China town and two famous football clubs. There is an international airport with connections to European destinations, and Manchester airport is only an hour away offering flights to Europe and beyond. More....

        Quick links