팔로우
Wiebe van der Hoek
Wiebe van der Hoek
Professor of Computer Science, University of Liverpool, Agents Group
liverpool.ac.uk의 이메일 확인됨
제목
인용
인용
연도
Dynamic epistemic logic
H van Ditmarsch, W van der Hoek, B Kooi
Springer, 2007
21692007
Epistemic logic for AI and computer science
JJC Meyer, JJC Meyer, W van der Hoek
Cambridge University Press, 2004
10062004
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
5461999
Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
W Van der Hoek, M Wooldridge
Studia logica 75, 125-157, 2003
4182003
Agents that know how to play
W Jamroga, W van der Hoek
Fundamenta Informaticae 63 (2-3), 185-219, 2004
3452004
Tractable multiagent planning for epistemic goals
W Van Der Hoek, M Wooldridge
Proceedings of the first international joint conference on Autonomous agents …, 2002
2902002
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
2241999
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
2212001
Multi-agent systems
W Van der Hoek, M Wooldridge
Foundations of Artificial Intelligence 3, 887-928, 2008
2022008
Towards a logic of rational agency
W Van der Hoek, M Wooldridge
Logic Journal of IGPL 11 (2), 135-159, 2003
2022003
Handbook of Epistemic Logic
B van Ditmarsch, Hans: Halpern, Joseph: van der Hoek, Wiebe: Kooi
College Publications, 2015
1992015
Boolean games
P Harrenstein, W van der Hoek, JJ Meyer, C Witteveen
Proceedings of the 8th Conference on Theoretical Aspects of Rationality and …, 2001
1962001
On the logic of cooperation and propositional control
W van der Hoek, M Wooldridge
Artificial intelligence 164 (1-2), 81-119, 2005
1892005
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
1792009
A logic for strategic reasoning
W Van Der Hoek, W Jamroga, M Wooldridge
Proceedings of the fourth international joint conference on Autonomous …, 2005
1722005
Model checking knowledge and time
W Van Der Hoek, M Wooldridge
Model Checking Software: 9th International SPIN Workshop Grenoble, France …, 2002
1682002
Dynamic epistemic logic with assignment
HP van Ditmarsch, W van der Hoek, BP Kooi
Proceedings of the fourth international joint conference on Autonomous …, 2005
1552005
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
1542005
Comparing semantics of logics for multi-agent systems
V Goranko, W Jamroga
Synthese 139, 241-280, 2004
1532004
Social laws in alternating time: Effectiveness, feasibility, and synthesis
W van Der Hoek, M Roberts, M Wooldridge
Synthese 156, 1-19, 2007
1462007
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20