Wiebe van der Hoek

Cited by

	All	Since 2018
Citations	13552	3084
h-index	52	24
i10-index	185	59

740

370

185

555

19941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202357 97 101 93 135 132 148 201 252 335 406 458 565 721 622 679 698 676 624 613 681 660 615 605 574 583 446 554 505 422

Public access

View all

5 articles

0 articles

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 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 (emeritus) Delft University of TechnologyVerified email at tudelft.nl
Koen HindriksVrije Universiteit (VU) AmsterdamVerified email at vu.nl
Wojciech JamrogaPolish Academy of SciencesVerified email at ipipan.waw.pl
Davide GrossiUniversity of Groningen (Bernoulli Institute) & University of Amsterdam (ILLC, ACLE)Verified email at rug.nl
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
Petar IlievBulgarian Academy of SciencesVerified email at math.bas.bg
Maarten de RijkeUniversity of Amsterdam & ICAIVerified email at uva.nl
Alessio R LomuscioImperial College LondonVerified email at imperial.ac.uk
Carles SierraProfessor of Artificial IntelligenceVerified 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
Juan Antonio Rodriguez AguilarProfessor of Artificial Intelligence, IIIA-CSICVerified email at iiia.csic.es
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	2023	2007
Epistemic logic for AI and computer science JJC Meyer, JJC Meyer, W van der Hoek Cambridge University Press, 2004	954	2004
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	535	1999
Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications W Van der Hoek, M Wooldridge Studia logica 75, 125-157, 2003	398	2003
Agents that know how to play W Jamroga, W van der Hoek Fundamenta Informaticae 63 (2-3), 185-219, 2004	332	2004
Tractable multiagent planning for epistemic goals W Van Der Hoek, M Wooldridge Proceedings of the first international joint conference on Autonomous agents …, 2002	282	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	219	1999
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	216	2001
Towards a logic of rational agency W Van der Hoek, M Wooldridge Logic Journal of IGPL 11 (2), 135-159, 2003	190	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	187	2001
On the logic of cooperation and propositional control W van der Hoek, M Wooldridge Artificial intelligence 164 (1-2), 81-119, 2005	185	2005
Handbook of Epistemic Logic B van Ditmarsch, Hans: Halpern, Joseph: van der Hoek, Wiebe: Kooi College Publications, 2015	172	2015
A logic for strategic reasoning W Van Der Hoek, W Jamroga, M Wooldridge Proceedings of the fourth international joint conference on Autonomous …, 2005	167	2005
Multi-agent systems W Van der Hoek, M Wooldridge Foundations of Artificial Intelligence 3, 887-928, 2008	165	2008
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	163	2009
Model checking knowledge and time W Van Der Hoek, M Wooldridge Model Checking Software: 9th International SPIN Workshop Grenoble, France …, 2002	162	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	148	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	144	2005
Comparing semantics of logics for multi-agent systems V Goranko, W Jamroga Synthese 139, 241-280, 2004	143	2004
Social laws in alternating time: Effectiveness, feasibility, and synthesis W van Der Hoek, M Roberts, M Wooldridge Synthese 156, 1-19, 2007	137	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

Follow

Cited by

Co-authors