Wiebe van der Hoek's Home Page



About Wiebe

I am heading 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), and I was a chair of Conference on Logics for Games and Decision Theory (LOFT, 1996 - 2014, even years), and the Conference on Logics for AI (JELIA 2006), the European Workshop on Multi-Agent Systems (EUMAS 2004), and the Autonomous Agents and Multi-Agent Systems (AAMAS, 2012).

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!

Synthese I am currently in the editorial board of a number of journals. I am one of the Editors-in-Chief of Synthese, a journal ranked highest in the categories Philosophy and Epistemology & Scientific History by Google Scholar. I am in the editorial board of Autonomous Agents and Multiagent Systems Studia Logic 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. I am also in the editorial board of the Chinese Journal of Discrete Mathematics and the International Journal of Conceptual Structures and Smart Applications (IJCSSA). Autonomous Agents and Multi-Agent Systems Studia Logica IJCSSA

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 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