Wiebe van der Hoek

Publication Activity (10 Years)

Years Active: 1990-2023
Publications (10 Years): 31

Top Venues

CoRR

IJCAI

Artif. Intell.

J. Log. Comput.

Publications

Philippe Balbiani, Wiebe van der Hoek, Louwe B. Kuijer
Simple Axioms for Local Properties. TARK (2023)
Davide Grossi, Wiebe van der Hoek, Louwe B. Kuijer
Reasoning about general preference relations. Artif. Intell. 313 (2022)
Wiebe van der Hoek, Louwe B. Kuijer, Yì N. Wáng
Who Should Be My Friends? Social Balance from the Perspective of Game Theory. J. Log. Lang. Inf. 31 (2) (2022)
Wiebe van der Hoek, Bastien Maubert, Aniello Murano, Sasha Rubin
Preface. Inf. Comput. 276 (2021)
Hans van Ditmarsch, Wiebe van der Hoek, Louwe B. Kuijer
The logic of gossiping. Artif. Intell. 286 (2020)
Davide Grossi, Wiebe van der Hoek, Louwe B. Kuijer
Logics of Preference when There Is No Best. KR (2020)
Wiebe van der Hoek, Louwe B. Kuijer, Yì N. Wáng
Logics of Allies and Enemies: A Formal Approach to the Dynamics of Social Balance Theory. IJCAI (2020)
Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi, Louwe B. Kuijer
Arrow update synthesis. Inf. Comput. 275 (2020)
Pierpaolo Battigalli, Giacomo Bonanno, Wiebe van der Hoek
Introduction to the special issue on Logic and the Foundations of Game and Decision Theory (LOFT13). Games Econ. Behav. 123 (2020)
Davide Grossi, Wiebe van der Hoek, Christos Moyzes, Michael J. Wooldridge
Program models and semi-public environments. J. Log. Comput. 29 (7) (2019)
Giacomo Bonanno, Wiebe van der Hoek, Andrés Perea
Introduction to the Special Issue on Logic and the Foundations of Game and Decision Theory (LOFT12). Stud Logica 107 (3) (2019)
Wiebe van der Hoek, Louwe B. Kuijer, Yì N. Wáng
Who Should Be My Friends? - Social Balance from the Perspective of Game Theory. LORI (2019)
Thomas Ågotnes, Giacomo Bonanno, Wiebe van der Hoek
Introduction to the special issue. J. Log. Comput. 29 (7) (2019)
Francesco Belardinelli, Wiebe van der Hoek, Louwe B. Kuijer
Second-order propositional modal logic: Expressiveness and completeness results. Artif. Intell. 263 (2018)
Wiebe van der Hoek, Wesley H. Holliday, Wen-Fang Wang
Logic, rationality and interaction (LORI-5): introduction to the special issue. Synth. 195 (10) (2018)
Wiebe van der Hoek, Wesley H. Holliday, Wen-Fang Wang
Editorial Logic, Rationality and Interaction (LORI-5): Introduction to the Special Issue. J. Log. Comput. 28 (2) (2018)
Krzysztof R. Apt, Davide Grossi, Wiebe van der Hoek
When Are Two Gossips the Same? LPAR (2018)
Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi, Louwe B. Kuijer
Arrow Update Synthesis. CoRR (2018)
Krzysztof R. Apt, Davide Grossi, Wiebe van der Hoek
When Are Two Gossips the Same? Types of Communication in Epistemic Gossip Protocols. CoRR (2018)
Davide Grossi, Andreas Herzig, Wiebe van der Hoek, Christos Moyzes
Non-Determinism and the Dynamics of Knowledge. IJCAI (2017)
Agneau Belanyek, Davide Grossi, Wiebe van der Hoek
A Note on Nesting in Dyadic Deontic Logic. CoRR (2017)
Francesco Belardinelli, Hans van Ditmarsch, Wiebe van der Hoek
A Logic for Global and Local Announcements. TARK (2017)
Hans van Ditmarsch, Wiebe van der Hoek, Louwe B. Kuijer
The undecidability of arbitrary arrow update logic. Theor. Comput. Sci. 693 (2017)
Natasha Alechina, Wiebe van der Hoek, Brian Logan
Fair decomposition of group obligations. J. Log. Comput. 27 (7) (2017)
Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi, Louwe B. Kuijer
Arbitrary arrow update logic. Artif. Intell. 242 (2017)
Francesco Belardinelli, Hans van Ditmarsch, Wiebe van der Hoek
Second-order Propositional Announcement Logic. AAMAS (2016)
Nils Bulling, Wiebe van der Hoek
Special Issue on Logical Aspects of Multi-Agent Systems. Stud Logica 104 (4) (2016)
Francesco Belardinelli, Wiebe van der Hoek
A Semantical Analysis of Second-Order Propositional Modal Logic. AAAI (2016)
Thomas Ågotnes, Giacomo Bonanno, Wiebe van der Hoek
Introduction to the special issue. Synth. 193 (3) (2016)
Hans van Ditmarsch, Wiebe van der Hoek, Louwe B. Kuijer
The Undecidability of Arbitrary Arrow Update Logic. CoRR (2016)
Hans van Ditmarsch, Wiebe van der Hoek, Louwe B. Kuijer
Fully Arbitrary Public Announcements. Advances in Modal Logic (2016)
Hans van Ditmarsch, Joseph Y. Halpern, Wiebe van der Hoek, Barteld P. Kooi
An Introduction to Logics of Knowledge and Belief. CoRR (2015)
Daniel Claes, Philipp Robbel, Frans A. Oliehoek, Karl Tuyls, Daniel Hennes, Wiebe van der Hoek
Effective Approximations for Multi-Robot Coordination in Spatially Distributed Tasks. AAMAS (2015)
Francesco Belardinelli, Wiebe van der Hoek
Epistemic Quantified Boolean Logic: Expressiveness and Completeness Results. IJCAI (2015)
Krzysztof R. Apt, Davide Grossi, Wiebe van der Hoek
Epistemic Protocols for Distributed Gossiping. TARK (2015)
Davide Grossi, Wiebe van der Hoek
Justified Beliefs by Justified Arguments. KR (2014)
Wiebe van der Hoek, Dirk Walther, Michael J. Wooldridge
Reasoning About the Transfer of Control. CoRR (2014)
Maduka Attamah, Hans van Ditmarsch, Davide Grossi, Wiebe van der Hoek
A Framework for Epistemic Gossip Protocols. EUMAS (2014)
Giacomo Bonanno, Hans van Ditmarsch, Wiebe van der Hoek, Steffen Jørgensen
Introduction. IGTR 16 (1) (2014)
Natasha Alechina, Wiebe van der Hoek, Brian Logan
Fair Allocation of Group Tasks According to Social Norms. CLIMA (2014)
Hans van Ditmarsch, Jie Fan, Wiebe van der Hoek, Petar Iliev
Some Exponential Lower Bounds on Formula-size in Modal Logic. Advances in Modal Logic (2014)
Maduka Attamah, Hans van Ditmarsch, Davide Grossi, Wiebe van der Hoek
Knowledge and Gossip. ECAI (2014)
Wiebe van der Hoek, Petar Iliev
On the relative succinctness of modal logics with union, intersection and quantification. AAMAS (2014)
Hans van Ditmarsch, David Fernández-Duque, Wiebe van der Hoek
On the definability of simulation and bisimulation in epistemic logic. J. Log. Comput. 24 (6) (2014)
Joshua Sack, Wiebe van der Hoek
A Modal Logic for Mixed Strategies. Stud Logica 102 (2) (2014)
Wiebe van der Hoek, Nicolas Troquard, Michael J. Wooldridge
Reasoning about Choice. AT (2013)
Thomas Ågotnes, Paul Harrenstein, Wiebe van der Hoek, Michael J. Wooldridge
Boolean Games with Epistemic Goals. LORI (2013)
Giacomo Bonanno, Andreas Herzig, Wiebe van der Hoek, Jérôme Lang
Introduction to the special issue. Int. J. Game Theory 42 (3) (2013)
Wiebe van der Hoek
Control and Delegation. ICAART (1) (2013)
Elisabetta Erriquez, Wiebe van der Hoek, Michael J. Wooldridge
Building and using social structures: A case study using the agent ART testbed. ACM Trans. Intell. Syst. Technol. 4 (2) (2013)
Giacomo Bonanno, Hans van Ditmarsch, Wiebe van der Hoek
Editorial Introduction to the Special Issue LOFT Sevilla. J. Philos. Log. 42 (6) (2013)
Davide Grossi, Wiebe van der Hoek
Audience-Based Uncertainty in Abstract Argument Games. IJCAI (2013)
Wiebe van der Hoek, Cees Witteveen, Michael J. Wooldridge
Program equilibrium - a program reasoning approach. Int. J. Game Theory 42 (3) (2013)
Thomas Ågotnes, Paul Harrenstein, Wiebe van der Hoek, Michael J. Wooldridge
Verifiable Equilibria in Boolean Games. IJCAI (2013)
Tim French, Wiebe van der Hoek, Petar Iliev, Barteld P. Kooi
On the succinctness of some modal logics. Artif. Intell. 197 (2013)
Hans van Ditmarsch, Wiebe van der Hoek, Ji Ruan
Connecting dynamic epistemic and temporal epistemic logics. Log. J. IGPL 21 (3) (2013)
Cilia Witteman, Wiebe van der Hoek
Erratum to: Introduction chapter. Synth. 189 (Supplement-1) (2012)
Wiebe van der Hoek, Petar Iliev, Barteld P. Kooi
On the Relative Succinctness of Two Extensions by Definitions of Multimodal Logic. CiE (2012)
Wiebe van der Hoek, Petar Iliev, Michael J. Wooldridge
A logic of revelation and concealment. AAMAS (2012)
Cilia Witteman, Wiebe van der Hoek
Introduction chapter. Synth. 189 (Supplement-1) (2012)
Wiebe van der Hoek, Michael J. Wooldridge
Logics for Multiagent Systems. AI Mag. 33 (3) (2012)
Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer
GOAL Agents Instantiate Intention Logic. Logic Programs, Norms and Action (2012)
Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
Conservative Social Laws. ECAI (2012)
Hans van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi
Local properties in modal logic. Artif. Intell. 187 (2012)
Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
Scientia potentia est. AAMAS (2011)
Wiebe van der Hoek
Control and Delegation. DALT (2011)
Wiebe van der Hoek, Cees Witteveen, Michael J. Wooldridge
Decomposing constraint systems: equivalences and computational properties. AAMAS (2011)
Hans van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi
Reasoning about local properties in modal logic. AAMAS (2011)
Giacomo Bonanno, Andreas Herzig, Jérôme Lang, Wiebe van der Hoek
Foreword. J. Appl. Non Class. Logics 21 (3-4) (2011)
Nicolas Troquard, Wiebe van der Hoek, Michael J. Wooldridge
Reasoning about Social Choice Functions CoRR (2011)
Elisabetta Erriquez, Wiebe van der Hoek, Michael J. Wooldridge
An abstract framework for reasoning about trust. AAMAS (2011)
Nicolas Troquard, Wiebe van der Hoek, Michael J. Wooldridge
Reasoning About Social Choice Functions. J. Philos. Log. 40 (4) (2011)
Wiebe van der Hoek, Nicolas Troquard, Michael J. Wooldridge
Knowledge and control. AAMAS (2011)
Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
On the logic of preference and judgment aggregation. Auton. Agents Multi Agent Syst. 22 (1) (2011)
Luca Aceto, Wiebe van der Hoek, Anna Ingólfsdóttir, Joshua Sack
Sigma algebras in probabilistic epistemic dynamics. TARK (2011)
Wiebe van der Hoek, Petar Iliev, Michael J. Wooldridge
Knowledge and Action in Semi-public Environments. LORI (2011)
Tim French, Wiebe van der Hoek, Petar Iliev, Barteld P. Kooi
Succinctness of Epistemic Languages. IJCAI (2011)
Hans van Ditmarsch, David Fernández-Duque, Wiebe van der Hoek
On the Definability of Simulability and Bisimilarity by Finite Epistemic Models. CLIMA (2011)
Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
Robust normative systems and a logic of norm compliance. Log. J. IGPL 18 (1) (2010)
Wiebe van der Hoek, Dirk Walther, Michael J. Wooldridge
Reasoning About the Transfer of Control. J. Artif. Intell. Res. 37 (2010)
Wiebe van der Hoek
Reasoning about Normative Systems. JURIX (2010)
Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael J. Wooldridge
Multi-Modal CTL: Completeness, Complexity, and an Application. Stud Logica 92 (1) (2009)
Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
Robust Normative Systems. Normative Multi-Agent Systems (2009)
Hans van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi
Knowing More - From Global to Local Correspondence. IJCAI (2009)
Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
Completeness and Complexity of Multi-modal CTL. Electron. Notes Theor. Comput. Sci. 231 (2009)
Koen V. Hindriks, Wiebe van der Hoek, M. Birna van Riemsdijk
Agent programming with temporally extended goals. AAMAS (1) (2009)
Ji Ruan, Wiebe van der Hoek, Michael J. Wooldridge
Verification of Games in the Game Description Language. J. Log. Comput. 19 (6) (2009)
Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
Reasoning about coalitional games. Artif. Intell. 173 (1) (2009)
Nicolas Troquard, Wiebe van der Hoek, Michael J. Wooldridge
A logic of games and propositional control. AAMAS (2) (2009)
Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
Logics for Qualitative Coalitional Games. Log. J. IGPL 17 (3) (2009)
Cees Witteveen, Wiebe van der Hoek, Nico Roos
Concurrently Decomposable Constraint Systems. MATES (2009)
Nicolas Troquard, Wiebe van der Hoek, Michael J. Wooldridge
A logic of propositional control for truthful implementations. TARK (2009)
Thomas Ågotnes, Wiebe van der Hoek, Moshe Tennenholtz, Michael J. Wooldridge
Power in normative systems. AAMAS (1) (2009)
Wieke de Vries, John-Jules Ch. Meyer, Frank S. de Boer, Wiebe van der Hoek
A coordination language for agents interacting in distributed plan-execute cycles. Int. J. Reason. based Intell. Syst. 1 (1/2) (2009)
Nicolas Troquard, Wiebe van der Hoek, Michael J. Wooldridge
Model Checking Strategic Equilibria. MoChArt (2008)
Koen V. Hindriks, Wiebe van der Hoek
GOAL Agents Instantiate Intention Logic. Programming Multi-Agent Systems (2008)
Koen V. Hindriks, Wiebe van der Hoek
GOAL Agents Instantiate Intention Logic. JELIA (2008)
Nivea de Carvalho Ferreira, Michael Fisher, Wiebe van der Hoek
Specifying and reasoning about uncertain agents. Int. J. Approx. Reason. 49 (1) (2008)
Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
Quantified coalition logic. Synth. 165 (2) (2008)
Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
Robust normative systems. AAMAS (2) (2008)

Wiebe van der Hoek.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Wiebe van der Hoek