Wiebe van der Hoek
Wiebe van der Hoek
Professor of Computer Science, University of Liverpool, Agents Group
Email verificata su liverpool.ac.uk
Titolo
Citata da
Citata da
Anno
Dynamic epistemic logic
H van Ditmarsch, W van der Hoek, B Kooi
Springer, 2007
16862007
Epistemic logic for AI and computer science
JJC Meyer, W Van Der Hoek
Cambridge University Press, 2004
8692004
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
4991999
Introduction to normative multiagent systems
G Boella, L Van Der Torre, H Verhagen
Computational & Mathematical Organization Theory 12 (2-3), 71-79, 2006
454*2006
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
3582003
Agents that know how to play
W Jamroga, W van der Hoek
Fundamenta Informaticae 63 (2-3), 185-219, 2004
2992004
Tractable multiagent planning for epistemic goals
W Van Der Hoek, M Wooldridge
Proceedings of the first international joint conference on Autonomous agentsá…, 2002
2552002
Multi-agent systems
W Van der Hoek, M Wooldridge
Foundations of Artificial Intelligence 3, 887-928, 2008
216*2008
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
1991999
Towards a logic of rational agency
W Van der Hoek, M Wooldridge
Logic Journal of IGPL 11 (2), 135-159, 2003
1882003
Agent programming with declarative goals
KV Hindriks, FS De Boer, W Van Der Hoek, JJC Meyer
International Workshop on Agent Theories, Architectures, and Languages, 228-243, 2000
1852000
Boolean games
P Harrenstein, W van der Hoek, JJ Meyer, C Witteveen
Proceedings of the 8th Conference on Theoretical Aspects of Rationality andá…, 2001
1832001
On the logic of cooperation and propositional control
W Van Der Hoek, M Wooldridge
Artificial intelligence 164 (1-2), 81-119, 2005
1762005
A logic for strategic reasoning
W van der Hoek, W Jamroga, M Wooldridge
Proceedings of the fourth international joint conference on Autonomousá…, 2005
1512005
Model checking knowledge and time
W Van Der Hoek, M Wooldridge
International SPIN Workshop on Model Checking of Software, 95-111, 2002
1482002
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
1392005
Dynamic epistemic logic with assignment
HP van Ditmarsch, W van der Hoek, BP Kooi
Proceedings of the fourth international joint conference on Autonomousá…, 2005
1292005
Social laws in alternating time: Effectiveness, feasibility, and synthesis
W van Der Hoek, M Roberts, M Wooldridge
Synthese 156 (1), 1-19, 2007
1282007
On the Logic of Normative Systems.
T ┼gotnes, W Van Der Hoek, JA RodrÝguez-Aguilar, C Sierra, ...
IJCAI 7, 1175-1180, 2007
1272007
20 Modal logic for games and information
W van der Hoek, M Pauly
Studies in Logic and Practical Reasoning 3, 1077-1148, 2007
1212007
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20