Wiebe van der Hoek

Cited by

	All	Since 2017
Citations	12498	2937
h-index	50	24
i10-index	175	61

720

360

180

540

1994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202267 79 93 106 134 137 160 190 238 320 396 421 533 712 626 656 663 676 600 596 672 648 582 556 547 550 444 556 281

Public access

View all

6 articles

1 article

available

not available

Based on funding mandates

Co-authors

John-Jules Meyeremeritus Utrecht UniversityVerified email at cs.uu.nl
Michael WooldridgeUniversity of OxfordVerified email at cs.ox.ac.uk
Hans van DitmarschOpen University of the NetherlandsVerified 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
Michael FisherProfessor of Computer Science, University of ManchesterVerified email at manchester.ac.uk
Paul HarrensteinPost-doctoral researcher, University of OxfordVerified email at in.tum.de
Carles SierraProfessor of Artificial IntelligenceVerified email at iiia.csic.es
Maarten de RijkeUniversity of Amsterdam & ICAIVerified email at uva.nl
Petar IlievIRIT (Univ. Toulouse)Verified email at irit.fr
Alessio R LomuscioImperial College LondonVerified email at imperial.ac.uk
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	1868	2007
Epistemic logic for AI and computer science JJC Meyer, W Van Der Hoek Cambridge University Press, 2004	920	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	516	1999
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	385	2003
Agents that know how to play W Jamroga, W Van Der Hoek Fundamenta Informaticae 63 (2-3), 185-219, 2004	320	2004
Tractable multiagent planning for epistemic goals W Van Der Hoek, M Wooldridge Proceedings of the first international joint conference on Autonomous agents …, 2002	263	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	208	1999
Agent programming with declarative goals KV Hindriks, FS Boer, W Hoek, JJC Meyer International Workshop on Agent Theories, Architectures, and Languages, 228-243, 2000	196	2000
Towards a logic of rational agency W Van der Hoek, M Wooldridge Logic Journal of IGPL 11 (2), 135-159, 2003	189	2003
Boolean games P Harrenstein, W van der Hoek, JJ Meyer, C Witteveen Proceedings of the 8th Conference on Theoretical Aspects of Rationality and …, 2001	184	2001
On the logic of cooperation and propositional control W Van Der Hoek, M Wooldridge Artificial intelligence 164 (1-2), 81-119, 2005	179	2005
A logic for strategic reasoning W Van Der Hoek, W Jamroga, M Wooldridge Proceedings of the fourth international joint conference on Autonomous …, 2005	160	2005
Model checking knowledge and time W Hoek, M Wooldridge International SPIN Workshop on Model Checking of Software, 95-111, 2002	152	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	145	2005
Multi-agent systems W Van der Hoek, M Wooldridge Foundations of Artificial Intelligence 3, 887-928, 2008	144	2008
Handbook of Epistemic Logic B van Ditmarsch, Hans: Halpern, Joseph: van der Hoek, Wiebe: Kooi College Publications, 2015	134	2015
Dynamic epistemic logic with assignment HP van Ditmarsch, W van der Hoek, BP Kooi Proceedings of the fourth international joint conference on Autonomous …, 2005	134	2005
On the Logic of Normative Systems. T Ågotnes, W Van Der Hoek, JA Rodríguez-Aguilar, C Sierra, ... IJCAI 7, 1175-1180, 2007	133	2007
Social laws in alternating time: Effectiveness, feasibility, and synthesis W van Der Hoek, M Roberts, M Wooldridge Synthese 156 (1), 1-19, 2007	132	2007
Formalising abilities and opportunities of agents B van Linder, W van der Hoek, JJC Meyer Fundamenta Informaticae 34 (1-2), 53-101, 1998	126	1998

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

Follow this author

Cited by

Co-authors