Wiebe van der Hoek

About

Wiebe van der Hoek is a leading figure in artificial intelligence and multi-agent systems, whose work bridges formal logic and practical robotics. His research centers on formalising the reasoning, abilities, and coordination of intelligent agents—both software and robotic. A landmark contribution is his 2002 paper “Formalising Abilities and Opportunities of Agents” (79 citations), which provides a logical framework for what agents can do and when they can act, influencing subsequent work in agent theory. He also played a key role in developing the 3APL programming language for cognitive robots, as seen in his papers on deliberation cycles (12 citations) and failure monitoring (10 citations), enabling robots to plan, recover, and adapt in dynamic environments. More recently, van der Hoek has tackled multi-robot coordination in spatially distributed tasks, proposing effective approximations to overcome the exponential complexity of centralised control (31 citations). His work is highly interdisciplinary, combining logic, game theory, and robotics, and has been widely cited across AI, autonomous systems, and multi-agent research. For students and researchers, van der Hoek’s career exemplifies how rigorous formal methods can drive practical advances in intelligent, autonomous systems.

Research Focus

Key Achievements

Top Papers

1. 1
   Formalising Abilities and Opportunities of Agents

   79 citations · 2002
2. 2
   Effective Approximations for Multi-Robot Coordination in Spatially Distributed Tasks

   31 citations · 2015
3. 3
   Seeing is Believing and So are Hearing and Jumping

   20 citations · 2002
4. 4
   Programming the Deliberation Cycle of Cognitive Robots

   12 citations · 2002
5. 5
   Failure, Monitoring and Recovery in the Agent Language 3APL

   10 citations · 1998
6. 6
   Effective Approximations for Spatial Task Allocation Problems

   2 citations · 2015

Key Collaborators

Contact & Links