Professor Wiebe Van Der Hoek

Professor Faculty of Science and Engineering

Research

Research Interest 1

Epistemic Logic, Belief Revision, Dynamic Epistemic Logic, Modal Logic, Logical Foundations of Agent Programming Languages, Reasoning about Cooperation, Game Theory

Research Grants

A co-ordination network for agent-based computing (AGENTLINK III).

EUROPEAN COMMISSION

January 2004 - December 2005

Logic for Automated Mechanism Design and Analysis (LAMDA)

ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL (EPSRC)

October 2007 - September 2010

6th European Agent Systems Summer School (EASSS).

ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL (EPSRC)

July 2004 - October 2004

Tenth European Conference on Logics in Artificial Intelligence

ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL (EPSRC)

September 2006

LOFT06:Logic and the Foundations of Game and Decision Theory

ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL (EPSRC)

June 2006 - July 2006