Dynamic epistemic logic H van Ditmarsch, W van der Hoek, B Kooi Springer, 2007 | 2122 | 2007 |
Epistemic logic for AI and computer science JJC Meyer, JJC Meyer, W van der Hoek Cambridge University Press, 2004 | 990 | 2004 |
Agent programming in 3APL KV Hindriks, FS De Boer, W Van der Hoek, JJC Meyer Autonomous Agents and Multi-Agent Systems 2, 357-401, 1999 | 542 | 1999 |
Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications W Van der Hoek, M Wooldridge Studia logica 75, 125-157, 2003 | 415 | 2003 |
Agents that know how to play W Jamroga, W van der Hoek Fundamenta Informaticae 63 (2-3), 185-219, 2004 | 340 | 2004 |
Tractable multiagent planning for epistemic goals W Van Der Hoek, M Wooldridge Proceedings of the first international joint conference on Autonomous agents …, 2002 | 287 | 2002 |
A logical approach to the dynamics of commitments JJC Meyer, W van der Hoek, B van Linder Artificial Intelligence 113 (1-2), 1-40, 1999 | 222 | 1999 |
Agent programming with declarative goals KV Hindriks, FS De Boer, W Van Der Hoek, JJC Meyer Intelligent Agents VII Agent Theories Architectures and Languages: 7th …, 2001 | 219 | 2001 |
Towards a logic of rational agency W Van der Hoek, M Wooldridge Logic Journal of IGPL 11 (2), 135-159, 2003 | 199 | 2003 |
Handbook of Epistemic Logic B van Ditmarsch, Hans: Halpern, Joseph: van der Hoek, Wiebe: Kooi College Publications, 2015 | 194 | 2015 |
Boolean games P Harrenstein, W van der Hoek, JJ Meyer, C Witteveen Proceedings of the 8th Conference on Theoretical Aspects of Rationality and …, 2001 | 192 | 2001 |
Multi-agent systems W Van der Hoek, M Wooldridge Foundations of Artificial Intelligence 3, 887-928, 2008 | 191 | 2008 |
On the logic of cooperation and propositional control W van der Hoek, M Wooldridge Artificial intelligence 164 (1-2), 81-119, 2005 | 188 | 2005 |
A temporal logic of normative systems T Ågotnes, W Van Der Hoek, JA Rodríguez-Aguilar, C Sierra, ... Towards Mathematical Philosophy: Papers from the Studia Logica conference …, 2009 | 175 | 2009 |
A logic for strategic reasoning W Van Der Hoek, W Jamroga, M Wooldridge Proceedings of the fourth international joint conference on Autonomous …, 2005 | 169 | 2005 |
Model checking knowledge and time W Van Der Hoek, M Wooldridge Model Checking Software: 9th International SPIN Workshop Grenoble, France …, 2002 | 168 | 2002 |
Dynamic epistemic logic with assignment HP van Ditmarsch, W van der Hoek, BP Kooi Proceedings of the fourth international joint conference on Autonomous …, 2005 | 154 | 2005 |
On obligations and normative ability: Towards a logical analysis of the social contract M Wooldridge, W Van Der Hoek Journal of Applied Logic 3 (3-4), 396-420, 2005 | 153 | 2005 |
Social laws in alternating time: Effectiveness, feasibility, and synthesis W van Der Hoek, M Roberts, M Wooldridge Synthese 156, 1-19, 2007 | 144 | 2007 |
Comparing semantics of logics for multi-agent systems V Goranko, W Jamroga Synthese 139, 241-280, 2004 | 144 | 2004 |