W. Hoek

发表

M. Birna van Riemsdijk, John-Jules Ch. Meyer, Wiebe van der Hoek, 2003, AAMAS '03.

W. Hoek, B. V. Linder, J. Meyer, 1998 .

W. Hoek, B. V. Linder, J. Meyer, 1999 .

Koen V. Hindriks, Frank S. de Boer, John-Jules Ch. Meyer, 1998, Australian Joint Conference on Artificial Intelligence.

W. Hoek, H. V. Ditmarsch, Barteld P. Kooi, 2007 .

Barteld Kooi, Wiebe van der Hoek, Hans van Ditmarsch, 2011, Adaptive Agents and Multi-Agent Systems.

W. Hoek, R. Verbrugge, L. Verbrugge, 2002 .

W. Hoek, B. V. Linder, J. Meyer, 1994 .

Michael Wooldridge, Wiebe van der Hoek, Thomas Ågotnes, 2006 .

Juan A. Rodr ´ iguez-Aguilar, M. Wooldridge, W. Hoek, 2009 .

Joseph Y. Halpern, Barteld Kooi, Wiebe van der Hoek, 2015 .

Andreas Herzig, Wiebe van der Hoek, Davide Grossi, 2016 .

Clare Dixon, Wiebe van der Hoek, John-Jules Meyer, 2000 .

Michael Wooldridge, Wiebe van der Hoek, M. Wooldridge, 2003 .

Michael Wooldridge, Wiebe van der Hoek, Thomas Ågotnes, 2007, AAMAS '07.

M. Wooldridge, W. Hoek, Thomas Ågotnes, 2007 .

Michael Wooldridge, Wiebe van der Hoek, Elisabetta Erriquez, 2011 .

W. Hoek, J. Meyer, F. D. Boer, 2002, ArXiv.

W. Hoek, B. V. Linder, J. Meyer, 2002 .

W. Hoek, B. V. Linder, 1994 .

M. de Rijke, W. van der Hoek, W. Hoek, 1997 .

W. Hoek, C. Witteveen, W. van der Hoek, 1997 .

M. Wooldridge, W. Hoek, C. Witteveen, 2010 .

W. Hoek, B. V. Linder, J. Meyer, 2002 .

Wiebe van der Hoek, W. Hoek, 2007 .

M. Wooldridge, W. Hoek, M. Roberts, 2022 .

W. Holliday, W. Hoek, J. Eijck, 2015, LORI.

W. Holliday, W. Hoek, W. Wang, 2015 .

W. Hoek, J. Jaspars, E. Thijsse, 2007 .

Joseph Y. Halpern, Wiebe van der Hoek, Hans van Ditmarsch, 2015, ArXiv.

Wiebe van der Hoek, W. Hoek, 1997 .

M. Wooldridge, W. Hoek, Petar Iliev, 2013 .

Erik P. de Vink, Wiebe van der Hoek, Michael Wooldridge, 2006, Electron. Notes Theor. Comput. Sci..

Frank S. de Boer, John-Jules Ch. Meyer, Wiebe van der Hoek, 1998, ECAI.

Wiebe van der Hoek, Davide Grossi, Agneau Belanyek, 2017, ArXiv.

Aniello Murano, Wiebe van der Hoek, Sasha Rubin, 2021, Inf. Comput..

Wiebe van der Hoek, Wesley H. Holliday, Wen-Fang Wang, 2009, Lecture Notes in Computer Science.

Andrés Perea, Giacomo Bonanno, Wiebe van der Hoek, 2018, Stud Logica.

John-Jules Ch. Meyer, Wiebe van der Hoek, J. Meyer, 1996, Annals of Mathematics and Artificial Intelligence.

Wiebe van der Hoek, W. Hoek, 2000, J. Log. Lang. Inf..

Cees Witteveen, Wiebe van der Hoek, W. Hoek, 2000, ECAI.

Giacomo Bonanno, Wiebe van der Hoek, W. Hoek, 2003 .

Cees Witteveen, Wiebe van der Hoek, W. Hoek, 2002, Stud Logica.

Cilia Witteman, Wiebe van der Hoek, W. Hoek, 2012, Synthese.

Wiebe van der Hoek, Wesley H. Holliday, Wen-Fang Wang, 2017, J. Log. Comput..

Wiebe van der Hoek, W. Hoek, 2000 .

Wiebe van der Hoek, Michael Wooldridge, M. Wooldridge, 2003, Log. J. IGPL.

Wiebe van der Hoek, Giacomo Bonanno, Benedikt Löwe, 2010 .

Wiebe van der Hoek, W. Hoek, 1998, J. Log. Lang. Inf..

John-Jules Ch. Meyer, Wiebe van der Hoek, Bernd van Linder, 1995, ATAL.

Alessio Lomuscio, Wiebe van der Hoek, E.d. Vink, 2005 .

Alexei Lisitsa, Boris Konev, Wiebe van der Hoek, 2006 .

Giovanni Adorni, Wiebe van der Hoek, W. Hoek, 2001, Robotics Auton. Syst..

John-Jules Ch. Meyer, Wiebe van der Hoek, J. Meyer, 1990, JELIA.

Wiebe van der Hoek, Thomas Ågotnes, Giacomo Bonanno, 2013, International Journal of Game Theory.

Wiebe van der Hoek, W. Hoek, 1991, Int. J. Uncertain. Fuzziness Knowl. Based Syst..

John-Jules Ch. Meyer, Wiebe van der Hoek, J. Meyer, 1993, Fundamenta Informaticae.

Andreas Herzig, Giacomo Bonanno, Wiebe van der Hoek, 2013, Int. J. Game Theory.

Michael Fisher, Alexei Lisitsa, Boris Konev, 2006 .

Pierpaolo Battigalli, Wiebe van der Hoek, Giacomo Bonanno, 2020, Games Econ. Behav..

Wiebe van der Hoek, Wesley H. Holliday, Wen-Fang Wang, 2015 .

Michael Wooldridge, Wiebe van der Hoek, Thomas Ågotnes, 2007 .

Wojciech Jamroga, Wiebe van der Hoek, W. Hoek, 2005 .

Erik P. de Vink, Wiebe van der Hoek, Michael Wooldridge, 2004, LCMAS.

Cees Witteveen, Wiebe van der Hoek, W. Hoek, 1996, ISTCS.

John-Jules Ch. Meyer, Wiebe van der Hoek, J. Meyer, 1996 .

Wojciech Jamroga, Michael Wooldridge, Wiebe van der Hoek, 2007, Synthese.

Wiebe van der Hoek, Louwe B. Kuijer, Yì N. Wáng, 2020, IJCAI.

Wiebe van der Hoek, Louwe B. Kuijer, Yì N. Wáng, 2019, Journal of Logic, Language and Information.

Koen V. Hindriks, M. Birna van Riemsdijk, Wiebe van der Hoek, 2009, AAMAS.

Frank S. de Boer, John-Jules Ch. Meyer, Wiebe van der Hoek, 2001, PRIMA.

Michael Wooldridge, Wiebe van der Hoek, V. Lifschitz, 2022 .

Michael Wooldridge, Wiebe van der Hoek, M. Wooldridge, 2005, Artif. Intell..

John-Jules Ch. Meyer, Wiebe van der Hoek, Bernd van Linder, 1999, Artif. Intell..

Joshua Sack, Wiebe van der Hoek, W. Hoek, 2014, Studia Logica.

Michael Fisher, Wiebe van der Hoek, Nivea de Carvalho Ferreira, 2008, Int. J. Approx. Reason..

Wiebe van der Hoek, John-Jules Meyer, J. Meyer, 1999 .

John-Jules Ch. Meyer, W. Van der Hoek, J. Meyer, 1997 .

Michael Wooldridge, Wiebe van der Hoek, M. Wooldridge, 2012, AI Mag..

Michael Wooldridge, Carles Sierra, Wiebe van der Hoek, 2009, Towards Mathematical Philosophy.

Michael Wooldridge, Wiebe van der Hoek, Mark Roberts, 2005, AAMAS '05.

Wiebe van der Hoek, Nick Bezhanishvili, W. Hoek, 2014 .

Michael Wooldridge, Wiebe van der Hoek, Petar Iliev, 2012, AAMAS.

Michael Wooldridge, Wiebe van der Hoek, Petar Iliev, 2011, LORI.

Michael Wooldridge, Dirk Walther, Wiebe van der Hoek, 2014, J. Artif. Intell. Res..

Wiebe van der Hoek, Hans van Ditmarsch, Barteld P. Kooi, 2009, IJCAI.

Michael Wooldridge, Carles Sierra, Wiebe van der Hoek, 2009, Stud Logica.

Michael Wooldridge, Wiebe van der Hoek, Nicolas Troquard, 2009, MoChArt.

Koen V. Hindriks, Wiebe van der Hoek, W. Hoek, 2008, JELIA.

Michael Wooldridge, Wiebe van der Hoek, Luigi Sauro, 2006, AAMAS '06.

Wojciech Jamroga, Michael Wooldridge, Wiebe van der Hoek, 2005, EPIA.

Michael Wooldridge, Wiebe van der Hoek, M. Wooldridge, 2005, AAMAS '05.

Wiebe van der Hoek, Hans van Ditmarsch, Barteld P. Kooi, 2005, AAMAS '05.

Wojciech Jamroga, Michael Wooldridge, Wiebe van der Hoek, 2005, AAMAS '05.

Michael Wooldridge, Wiebe van der Hoek, M. Wooldridge, 2003, Stud Logica.

Wiebe van der Hoek, Hans van Ditmarsch, Barteld P. Kooi, 2003, AAMAS '03.

Cees Witteveen, John-Jules Ch. Meyer, Paul Harrenstein, 2003, Fundam. Informaticae.

W. van der Hoek, Barteld Kooi, H. P. van Ditmarsch, 2003 .

Cees Witteveen, John-Jules Ch. Meyer, Paul Harrenstein, 2002, ECAI.

Michael Wooldridge, Wiebe van der Hoek, M. Wooldridge, 2003, Log. J. IGPL.

Michael Fisher, Wiebe van der Hoek, Nivea de Carvalho Ferreira, 2004, JELIA.

W. Hoek, M. D. Weerdt, F. D. Boer, 1998 .

Michael Wooldridge, Wiebe van der Hoek, Ji Ruan, 2009, J. Log. Comput..

W. van der Hoek, J.-J. Ch. Meyer, J. Meyer, 1995, Cambridge tracts in theoretical computer science.

Frank S. de Boer, John-Jules Ch. Meyer, Wiebe van der Hoek, 2003, Communication in Multiagent Systems.

Frank S. de Boer, John-Jules Ch. Meyer, Wiebe van der Hoek, 2003, Theor. Comput. Sci..

Frank S. de Boer, John-Jules Ch. Meyer, Wiebe van der Hoek, 1999, CONCUR.

Michael Wooldridge, Wiebe van der Hoek, M. Wooldridge, 2002, AAMAS '02.

Wiebe van der Hoek, Francesco Belardinelli, Louwe B. Kuijer, 2018, Artif. Intell..

Peter McBurney, Wiebe van der Hoek, Omar Baqueiro, 2007 .

John-Jules Ch. Meyer, Wiebe van der Hoek, Bernd van Linder, 1997, J. Log. Lang. Inf..

Michael Wooldridge, Wiebe van der Hoek, Thomas Ågotnes, 2007, AAMAS '07.

Michael Wooldridge, Wiebe van der Hoek, M. Wooldridge, 2005, J. Appl. Log..

Michael Wooldridge, Wiebe van der Hoek, Nicolas Troquard, 2011, AAMAS.

Wiebe van der Hoek, W. Hoek, 2004, AAMAS.

Michael Wooldridge, Alessio Lomuscio, Wiebe van der Hoek, 2006, AAMAS '06.

Michael Wooldridge, Wiebe van der Hoek, M. Wooldridge, 2002, SPIN.

Clare Dixon, Michael Fisher, Wiebe van der Hoek, 2007, ICS@SYNASC.

Michael Wooldridge, Wiebe van der Hoek, Sieuwert van Otterloo, 2006, J. Log. Lang. Inf..

Michael Wooldridge, Wiebe van der Hoek, Sieuwert van Otterloo, 2004, Appl. Artif. Intell..

Clare Dixon, Michael Fisher, Wiebe van der Hoek, 2004, Proceedings. 11th International Symposium on Temporal Representation and Reasoning, 2004. TIME 2004..

Clare Dixon, Michael Fisher, John-Jules Ch. Meyer, 2000, FAABS.

Wiebe van der Hoek, Marc Pauly, W. Hoek, 2007, Handbook of Modal Logic.

Wiebe van der Hoek, Tim French, Barteld P. Kooi, 2011, IJCAI.

Wiebe van der Hoek, Ji Ruan, Hans van Ditmarsch, 2013, Log. J. IGPL.

Michael Wooldridge, Wiebe van der Hoek, Sieuwert van Otterloo, 2004, LCMAS.

Wiebe van der Hoek, Hans van Ditmarsch, Barteld P. Kooi, 2012, Artif. Intell..

Michael Wooldridge, Wiebe van der Hoek, Thomas Ågotnes, 2009, M4M.

Michael Wooldridge, Wiebe van der Hoek, Paul E. Dunne, 2007, AAAI.

Michael Wooldridge, Wiebe van der Hoek, Paul E. Dunne, 2007, J. Appl. Non Class. Logics.

Frank S. de Boer, John-Jules Ch. Meyer, Wiebe van der Hoek, 2005, Applicable Algebra in Engineering, Communication and Computing.

Michael Wooldridge, Wiebe van der Hoek, Mark Roberts, 2008 .

John-Jules Ch. Meyer, Wiebe van der Hoek, Bernd van Linder, 1998, Fundam. Informaticae.

Wiebe van der Hoek, Hans van Ditmarsch, Barteld P. Kooi, 2011, AAMAS.

Wiebe van der Hoek, Hans van Ditmarsch, Louwe B. Kuijer, 2020, Artif. Intell..

Barteld Kooi, Wiebe van der Hoek, Hans van Ditmarsch, 2018, Inf. Comput..

Wiebe van der Hoek, Hans van Ditmarsch, Louwe B. Kuijer, 2016, Theor. Comput. Sci..

Wiebe van der Hoek, Hans van Ditmarsch, Petar Iliev, 2012 .

Wiebe van der Hoek, Hans van Ditmarsch, Barteld Kooi, 2005 .

Barteld Kooi, Wiebe van der Hoek, Hans van Ditmarsch, 2017, Artif. Intell..

Wiebe van der Hoek, Davide Grossi, W. Hoek, 2014, KR.

Wojciech Jamroga, Wiebe van der Hoek, W. Hoek, 2004, Fundam. Informaticae.

Wiebe van der Hoek, Hans van Ditmarsch, Louwe B. Kuijer, 2016, Advances in Modal Logic.

Alessio Lomuscio, Wiebe van der Hoek, W. Hoek, 2003, AAMAS '03.

John-Jules Ch. Meyer, Wiebe van der Hoek, Bernd van Linder, 2000, Stud Logica.

John-Jules Ch. Meyer, Wiebe van der Hoek, Bernd van Linder, 1997, Data Knowl. Eng..

John-Jules Ch. Meyer, Wiebe van der Hoek, J. Meyer, 1993, Fundam. Informaticae.

John-Jules Ch. Meyer, Wiebe van der Hoek, J. Meyer, 1993, Annals of Mathematics and Artificial Intelligence.

John-Jules Ch. Meyer, Wiebe van der Hoek, J. Meyer, 1992, Int. J. Found. Comput. Sci..

Wiebe van der Hoek, Hans van Ditmarsch, Barteld P. Kooi, 2007, ICCS.

Wiebe van der Hoek, W. Hoek, 1993, J. Log. Comput..

W. van der Hoek, J-J.Ch. Meyer, B. van Linder, 1997 .

W. Hoek, B. V. Linder, B. Van Linder, 1994 .

John-Jules Ch. Meyer, Wiebe van der Hoek, Bernd van Linder, 1994, LFCS.

Frank S. de Boer, John-Jules Ch. Meyer, Wiebe van der Hoek, 2003, Autonomous Agents and Multi-Agent Systems.

Michael Wooldridge, Carles Sierra, Wiebe van der Hoek, 2007, IJCAI.

Michael Wooldridge, Wiebe van der Hoek, Davide Grossi, 2019, J. Log. Comput..

Brian Logan, Natasha Alechina, Wiebe van der Hoek, 2017, J. Log. Comput..

Wiebe van der Hoek, Francesco Belardinelli, W. Hoek, 2016, AAAI.

Wiebe van der Hoek, Francesco Belardinelli, W. Hoek, 2015, IJCAI.

Brian Logan, Natasha Alechina, Wiebe van der Hoek, 2014, CLIMA.

Wiebe van der Hoek, Tim French, Barteld P. Kooi, 2013, Artif. Intell..

Wiebe van der Hoek, David Fernández-Duque, Hans van Ditmarsch, 2011, CLIMA.

Michael Wooldridge, Wiebe van der Hoek, Nicolas Troquard, 2009, AAMAS.

Michael Wooldridge, Wiebe van der Hoek, Mark Roberts, 2006, Synthese.

Michael Wooldridge, Wiebe van der Hoek, Thomas Ågotnes, 2009, Autonomous Agents and Multi-Agent Systems.

Michael Wooldridge, Wiebe van der Hoek, Thomas Ågotnes, 2009, Artif. Intell..

Wiebe van der Hoek, Jan Jaspars, Elias Thijsse, 2004, Logic, Epistemology, and the Unity of Science.

Cees Witteveen, Wiebe van der Hoek, W. Hoek, 1996, JELIA.

Cees Witteveen, Wiebe van der Hoek, W. Hoek, 1995, LPNMR.

Cees Witteveen, Wiebe van der Hoek, W. Hoek, 1993, ECSQARU.

Cees Witteveen, Wiebe van der Hoek, W. Hoek, 1996 .

Luca Aceto, Anna Ingólfsdóttir, Joshua Sack, 2011, TARK XIII.

Alessio Lomuscio, Wiebe van der Hoek, W. Hoek, 2004, LCMAS.

Koen V. Hindriks, Frank S. de Boer, John-Jules Ch. Meyer, 2007, J. Appl. Log..

W. van der Hoek, J.-J. Ch. Meyer, F. S. de Boer, 2000, ATAL.

Koen V. Hindriks, Frank S. de Boer, John-Jules Ch. Meyer, 1999, Autonomous Agents and Multi-Agent Systems.

Wiebe van der Hoek, Frans A. Oliehoek, Philipp Robbel, 2015, AAMAS.

Frank S. de Boer, John-Jules Ch. Meyer, Wiebe van der Hoek, 2001, Int. J. Intell. Syst..

W. van der Hoek, Barteld Kooi, H. P. van Ditmarsch, 2004 .

J-J.Ch. Meyer, F. S. de Boer, W. van der Hoek, 2009, Int. J. Reason. based Intell. Syst..

M. Birna van Riemsdijk, John-Jules Ch. Meyer, Wiebe van der Hoek, 2002, FAABS.

Wiebe van der Hoek, W. Hoek, 2001, EASSS.

Koen V. Hindriks, Frank S. de Boer, John-Jules Ch. Meyer, 2001, Log. J. IGPL.

Koen V. Hindriks, Frank S. de Boer, John-Jules Ch. Meyer, 2000, FAABS.

Frank S. de Boer, John-Jules Ch. Meyer, Wiebe van der Hoek, 1999, ATAL.

Koen V. Hindriks, Frank S. de Boer, John-Jules Ch. Meyer, 1998, ATAL.

J. Meyer, W. Hoek, F. D. Boer, 1998, Proceedings International Conference on Multi Agent Systems (Cat. No.98EX160).

Koen V. Hindriks, Frank S. de Boer, John-Jules Ch. Meyer, 1997, ATAL.

John-Jules Ch. Meyer, Wiebe van der Hoek, Bernd van Linder, 1994, KI.

Koen V. Hindriks, Wiebe van der Hoek, Frank S. de Boer, 1998 .

Michael Wooldridge, Wiebe van der Hoek, Thomas Ågotnes, 2007, Synthese.

Michael Wooldridge, Wiebe van der Hoek, Thomas Ågotnes, 2006, AAMAS '06.

Michael Wooldridge, Paul Harrenstein, Wiebe van der Hoek, 2013, LORI.

Michael Wooldridge, Cees Witteveen, Wiebe van der Hoek, 2011, International Journal of Game Theory.

Michael Wooldridge, Wiebe van der Hoek, Thomas Ågotnes, 2011, AAMAS.

Michael Wooldridge, Wiebe van der Hoek, Nicolas Troquard, 2011, J. Philos. Log..

Michael Wooldridge, Wiebe van der Hoek, Thomas Ågotnes, 2010, Log. J. IGPL.

Michael Wooldridge, Wiebe van der Hoek, Nicolas Troquard, 2009, TARK '09.

Michael Wooldridge, Wiebe van der Hoek, Thomas Ågotnes, 2009, Log. J. IGPL.

Moshe Tennenholtz, Michael Wooldridge, Wiebe van der Hoek, 2009, AAMAS.

Michael Wooldridge, Wiebe van der Hoek, Thomas Ågotnes, 2008, AAMAS.

Sarit Kraus, Michael Wooldridge, Wiebe van der Hoek, 2008, AAMAS.

Michael Wooldridge, Wiebe van der Hoek, Thomas Ågotnes, 2006, AAMAS '06.

Michael Fisher, Wiebe van der Hoek, Nivea de Carvalho Ferreira, 2005, EPIA.

Michael Wooldridge, Wiebe van der Hoek, Sieuwert van Otterloo, 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

Cees Witteveen, John-Jules Ch. Meyer, Paul Harrenstein, 2001 .

Michael Wooldridge, Wiebe van der Hoek, Thomas Ågotnes, 2007 .

Michael Wooldridge, Dirk Walther, Wiebe van der Hoek, 2007, TARK '07.

Wiebe van der Hoek, Krzysztof R. Apt, Davide Grossi, 2016, TARK.

Koen V. Hindriks, Frank S. de Boer, John-Jules Ch. Meyer, 2001, CEEMAS.

F. S. deBoer, J. Meyer, R. M. vanEijk, 1998 .

Michael Wooldridge, Wiebe van der Hoek, Elisabetta Erriquez, 2013, TIST.

Frank S. de Boer, John-Jules Ch. Meyer, Wiebe van der Hoek, 1998, AIMSA.

W. van der Hoek, T.M.V. Janssen, G. Bonnano, 2006 .

J. Meyer, W. Hoek, B. V. Linder, 1998, Fundam. Informaticae.

Wiebe van der Hoek, Louwe B. Kuijer, Davide Grossi, 2020, KR.

Michael Wooldridge, Wiebe van der Hoek, Nicolas Troquard, 2013, AT.

Wojciech Jamroga, Michael Wooldridge, Wiebe van der Hoek, 2004, DEON.

Wiebe van der Hoek, Davide Grossi, Hans van Ditmarsch, 2014, EUMAS.

W. van der Hoek, H. P. van Ditmarsch, W. Hoek, 2007 .

W. Hoek, Nick Bezhanishvili, 2014, Johan van Benthem on Logic and Information Dynamics.

Andreas Herzig, Wiebe van der Hoek, Davide Grossi, 2017, IJCAI.

Clare Dixon, Michael Fisher, John-Jules Ch. Meyer, 2001, Proceedings Eighth International Symposium on Temporal Representation and Reasoning. TIME 2001.

W. Hoek, H. V. Ditmarsch, Barteld P. Kooi, 2007 .

John-Jules Ch. Meyer, Wiebe van der Hoek, Bernd van Linder, 1995, ECSQARU.

B. van Linder, W. Hoek, B. V. Linder, 1994 .

Cees Witteveen, Wiebe van der Hoek, W. Hoek, 2000 .

Cees Witteveen, Wiebe van der Hoek, W. Hoek, 1997, LPNMR.

Cees Witteveen, Wiebe van der Hoek, W. Hoek, 1996, ELP.

Cees Witteveen, Wiebe van der Hoek, W. Hoek, 1998, Artif. Intell..

Frank Dignum, Mehdi Dastani, F. S. de Boer, 2002 .

M. de Rijke, W. Hoek, 1999 .

M. Wooldridge, W. Hoek, T. Ågotnes, 2009, Artif. Intell..

Wiebe van der Hoek, Davide Grossi, Hans van Ditmarsch, 2014, ECAI.

Wiebe van der Hoek, Jan Jaspars, Elias Thijsse, 1995, Stud Logica.

W. Hoek, Michael Wooldridge, 2008, Handbook of Knowledge Representation.

W. Hoek, K. Hindriks, John-Jules Ch. Meyer, 2000, ATAL.

John-Jules Ch. Meyer, Wiebe van der Hoek, Bernd van Linder, 1995, KI.

Michael Wooldridge, Wiebe van der Hoek, Thomas Ågotnes, 2012, ECAI.

Michael Wooldridge, Wiebe van der Hoek, Thomas Ågotnes, 2006 .

Wiebe van der Hoek, Hans van Ditmarsch, Jie Fan, 2014, Advances in Modal Logic.

John-Jules Ch. Meyer, Wiebe van der Hoek, J. Meyer, 1992, LFCS.

Louwe B. Kuijer, W. Hoek, H. V. Ditmarsch, 2018, Inf. Comput..

J. Meyer, W. Hoek, 1995, Cambridge tracts in theoretical computer science.