Seguir
Wiebe van der Hoek
Wiebe van der Hoek
Professor of Computer Science, University of Liverpool, Agents Group
Dirección de correo verificada de liverpool.ac.uk
Título
Citado por
Citado por
Año
Dynamic epistemic logic
H van Ditmarsch, W van der Hoek, B Kooi
Springer, 2007
18982007
Epistemic logic for AI and computer science
JJC Meyer, W Van Der Hoek
Cambridge University Press, 2004
9282004
Agent programming in 3APL
KV Hindriks, FS De Boer, W Van der Hoek, JJC Meyer
Autonomous Agents and Multi-Agent Systems 2 (4), 357-401, 1999
5161999
Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
W Van der Hoek, M Wooldridge
Studia logica 75 (1), 125-157, 2003
3852003
Agents that know how to play
W Jamroga, W Van Der Hoek
Fundamenta Informaticae 63 (2-3), 185-219, 2004
3212004
Tractable multiagent planning for epistemic goals
W Van Der Hoek, M Wooldridge
Proceedings of the first international joint conference on Autonomous agents …, 2002
2632002
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
2091999
Agent programming with declarative goals
KV Hindriks, FS Boer, W Hoek, JJC Meyer
International Workshop on Agent Theories, Architectures, and Languages, 228-243, 2000
1962000
Towards a logic of rational agency
W Van der Hoek, M Wooldridge
Logic Journal of IGPL 11 (2), 135-159, 2003
1892003
Boolean games
P Harrenstein, W van der Hoek, JJ Meyer, C Witteveen
Proceedings of the 8th Conference on Theoretical Aspects of Rationality and …, 2001
1842001
On the logic of cooperation and propositional control
W Van Der Hoek, M Wooldridge
Artificial intelligence 164 (1-2), 81-119, 2005
1792005
A logic for strategic reasoning
W Van Der Hoek, W Jamroga, M Wooldridge
Proceedings of the fourth international joint conference on Autonomous …, 2005
1602005
Model checking knowledge and time
W Hoek, M Wooldridge
International SPIN Workshop on Model Checking of Software, 95-111, 2002
1522002
Multi-agent systems
W Van der Hoek, M Wooldridge
Foundations of Artificial Intelligence 3, 887-928, 2008
1472008
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
1462005
Handbook of Epistemic Logic
B van Ditmarsch, Hans: Halpern, Joseph: van der Hoek, Wiebe: Kooi
College Publications, 2015
1422015
On the Logic of Normative Systems.
T Ågotnes, W Van Der Hoek, JA Rodríguez-Aguilar, C Sierra, ...
IJCAI 7, 1175-1180, 2007
1362007
Dynamic epistemic logic with assignment
HP van Ditmarsch, W van der Hoek, BP Kooi
Proceedings of the fourth international joint conference on Autonomous …, 2005
1352005
Social laws in alternating time: Effectiveness, feasibility, and synthesis
W van Der Hoek, M Roberts, M Wooldridge
Synthese 156 (1), 1-19, 2007
1342007
Formalising abilities and opportunities of agents
B van Linder, W van der Hoek, JJC Meyer
Fundamenta Informaticae 34 (1-2), 53-101, 1998
1281998
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20