Wiebe van der Hoek

Cited by

	All	Since 2016
Citations	12359	2996
h-index	50	25
i10-index	180	60

740

370

185

555

1993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202131 59 87 97 94 140 145 148 201 224 305 400 435 531 736 666 731 691 693 646 645 705 707 618 604 581 603 461 128

Public access

View all

0 articles

1 article

available

not available

Based on funding mandates

Co-authors

John-Jules MeyerUtrecht University / Emotional Brain BVVerified email at cs.uu.nl
Michael WooldridgeUniversity of OxfordVerified email at cs.ox.ac.uk
Hans van DitmarschCNRSVerified email at loria.fr
Barteld Kooiprofessor of logic and argumentation theory, University of GroningenVerified email at rug.nl
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
Thomas ÅgotnesProfessor of Information Science, University of BergenVerified email at infomedia.uib.no
Cees WitteveenProfessor of algorithmics, Delft University of TechnologyVerified email at tudelft.nl
Koen HindriksVrije Universiteit (VU) AmsterdamVerified email at vu.nl
Davide GrossiUniversity of Groningen (Bernoulli Institute), University of Amsterdam (ILLC, ACLE)Verified email at rug.nl
Wojciech JamrogaPolish Academy of SciencesVerified email at ipipan.waw.pl
Paul HarrensteinPost-doctoral researcher, University of OxfordVerified email at in.tum.de
Alessio R LomuscioImperial College LondonVerified email at imperial.ac.uk
Michael FisherProfessor of Computer Science, University of ManchesterVerified email at manchester.ac.uk
Maarten de RijkeUniversity of Amsterdam - Ahold Delhaize - ICAIVerified email at uva.nl
Petar IlievIRIT (Univ. Toulouse)Verified email at irit.fr
Carles SierraProfessor of Artificial IntelligenceVerified email at iiia.csic.es
Juan Antonio Rodriguez AguilarProfessor of Artificial Intelligence, IIIA-CSICVerified email at iiia.csic.es
Ji RuanAuckland University of TechnologyVerified email at aut.ac.nz
Nicolas TroquardKRDB, Free University of Bozen-BolzanoVerified email at unibz.it
Paul E. DunneUniversity of Liverpool, Department of Computer Science, Agents GroupVerified email at csc.liv.ac.uk

Wiebe van der Hoek

Professor of Computer Science, University of Liverpool, Agents Group

Verified email at liverpool.ac.uk

Artificial Intelligence Agents Logic Knowledge Representation Multi-agent Systems


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Dynamic epistemic logic H van Ditmarsch, W van der Hoek, B Kooi Springer, 2007	1658	2007
Epistemic logic for AI and computer science JJC Meyer, W Van Der Hoek Cambridge University Press, 2004	862	2004
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	499	1999
Introduction to normative multiagent systems G Boella, L Van Der Torre, H Verhagen Computational & Mathematical Organization Theory 12 (2-3), 71-79, 2006	447*	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	355	2003
Agents that know how to play W Jamroga, W van der Hoek Fundamenta Informaticae 63 (2-3), 185-219, 2004	296	2004
Tractable multiagent planning for epistemic goals W Van Der Hoek, M Wooldridge Proceedings of the first international joint conference on Autonomous agents …, 2002	254	2002
Multi-agent systems W Van der Hoek, M Wooldridge Foundations of Artificial Intelligence 3, 887-928, 2008	214*	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	198	1999
Towards a logic of rational agency W Van der Hoek, M Wooldridge Logic Journal of IGPL 11 (2), 135-159, 2003	188	2003
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	183	2000
Boolean games P Harrenstein, W van der Hoek, JJ Meyer, C Witteveen Proceedings of the 8th Conference on Theoretical Aspects of Rationality and …, 2001	181	2001
On the logic of cooperation and propositional control W Van Der Hoek, M Wooldridge Artificial intelligence 164 (1-2), 81-119, 2005	175	2005
A logic for strategic reasoning W van der Hoek, W Jamroga, M Wooldridge Proceedings of the fourth international joint conference on Autonomous …, 2005	149	2005
Model checking knowledge and time W Van Der Hoek, M Wooldridge International SPIN Workshop on Model Checking of Software, 95-111, 2002	148	2002
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	134	2005
Dynamic epistemic logic with assignment HP van Ditmarsch, W van der Hoek, BP Kooi Proceedings of the fourth international joint conference on Autonomous …, 2005	128	2005
Social laws in alternating time: Effectiveness, feasibility, and synthesis W van Der Hoek, M Roberts, M Wooldridge Synthese 156 (1), 1-19, 2007	126	2007
On the Logic of Normative Systems. T Ågotnes, W Van Der Hoek, JA Rodríguez-Aguilar, C Sierra, ... IJCAI 7, 1175-1180, 2007	125	2007
20 Modal logic for games and information W van der Hoek, M Pauly Studies in Logic and Practical Reasoning 3, 1077-1148, 2007	121	2007

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors