Wiebe van der Hoek

Cited by

	All	Since 2019
Citations	14175	2961
h-index	53	24
i10-index	192	61

760

380

190

570

199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202457 103 99 97 136 142 147 200 252 336 410 464 570 754 638 698 701 689 638 624 698 673 610 611 566 590 449 559 486 566 311

Public access

View all

6 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 irit.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, CogniGron) & 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
Alessio R LomuscioImperial College LondonVerified email at imperial.ac.uk
Maarten de RijkeUniversity of Amsterdam & ICAIVerified email at uva.nl
Carles SierraProfessor of Artificial IntelligenceVerified email at iiia.csic.es
Ji RuanAuckland University of TechnologyVerified email at aut.ac.nz
Nicolas TroquardGran Sasso Science Institute - GSSIVerified email at gssi.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	2141	2007
Epistemic logic for AI and computer science JJC Meyer, JJC Meyer, W van der Hoek Cambridge University Press, 2004	995	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	545	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	416	2003
Agents that know how to play W Jamroga, W van der Hoek Fundamenta Informaticae 63 (2-3), 185-219, 2004	341	2004
Tractable multiagent planning for epistemic goals W Van Der Hoek, M Wooldridge Proceedings of the first international joint conference on Autonomous agents …, 2002	288	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	223	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	221	2001
Towards a logic of rational agency W Van der Hoek, M Wooldridge Logic Journal of IGPL 11 (2), 135-159, 2003	199	2003
Handbook of Epistemic Logic B van Ditmarsch, Hans: Halpern, Joseph: van der Hoek, Wiebe: Kooi College Publications, 2015	197	2015
Multi-agent systems W Van der Hoek, M Wooldridge Foundations of Artificial Intelligence 3, 887-928, 2008	196	2008
Boolean games P Harrenstein, W van der Hoek, JJ Meyer, C Witteveen Proceedings of the 8th Conference on Theoretical Aspects of Rationality and …, 2001	192	2001
On the logic of cooperation and propositional control W van der Hoek, M Wooldridge Artificial intelligence 164 (1-2), 81-119, 2005	188	2005
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	177	2009
A logic for strategic reasoning W Van Der Hoek, W Jamroga, M Wooldridge Proceedings of the fourth international joint conference on Autonomous …, 2005	169	2005
Model checking knowledge and time W Van Der Hoek, M Wooldridge Model Checking Software: 9th International SPIN Workshop Grenoble, France …, 2002	168	2002
Dynamic epistemic logic with assignment HP van Ditmarsch, W van der Hoek, BP Kooi Proceedings of the fourth international joint conference on Autonomous …, 2005	154	2005
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	153	2005
Comparing semantics of logics for multi-agent systems V Goranko, W Jamroga Synthese 139, 241-280, 2004	146	2004
Social laws in alternating time: Effectiveness, feasibility, and synthesis W van Der Hoek, M Roberts, M Wooldridge Synthese 156, 1-19, 2007	145	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