van der Hoek, Wiebe

12 publications

IJCAI 2020 Logics of Allies and Enemies: A Formal Approach to the Dynamics of Social Balance Theory Wiebe van der Hoek, Louwe B. Kuijer, Yì N. Wáng

IJCAI 2017 Non-Determinism and the Dynamics of Knowledge Davide Grossi, Andreas Herzig, Wiebe van der Hoek, Christos Moyzes

AAAI 2016 A Semantical Analysis of Second-Order Propositional Modal Logic Francesco Belardinelli, Wiebe van der Hoek

IJCAI 2015 Epistemic Quantified Boolean Logic: Expressiveness and Completeness Results Francesco Belardinelli, Wiebe van der Hoek

IJCAI 2013 Audience-Based Uncertainty in Abstract Argument Games Davide Grossi, Wiebe van der Hoek

IJCAI 2013 Verifiable Equilibria in Boolean Games Thomas Ågotnes, Paul Harrenstein, Wiebe van der Hoek, Michael J. Wooldridge

IJCAI 2011 Succinctness of Epistemic Languages Tim French, Wiebe van der Hoek, Petar Iliev, Barteld P. Kooi

JAIR 2010 Reasoning About the Transfer of Control Wiebe van der Hoek, Dirk Walther, Michael J. Wooldridge

IJCAI 2009 Knowing More - From Global to Local Correspondence Hans van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi

AAAI 2007 Logic for Automated Mechanism Design - A Progress Report Michael J. Wooldridge, Thomas Ågotnes, Paul E. Dunne, Wiebe van der Hoek

IJCAI 2007 On the Logic of Normative Systems Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael J. Wooldridge

IJCAI 2007 Quantified Coalition Logic Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge