Wiebe van der Hoek

267 papers A* 14A 34B 25C 11Misc 8Journal 103Unranked 57

Year	Rank	Type	Title / Venue / Authors
2023	B	`conf`	Simple Axioms for Local Properties. TARK Philippe Balbiani, Wiebe van der Hoek, Louwe B. Kuijer
2022	J	`jnl`	Reasoning about general preference relations. Artif. Intell. Davide Grossi, Wiebe van der Hoek, Louwe B. Kuijer
2022	J	`jnl`	Who Should Be My Friends? Social Balance from the Perspective of Game Theory. J. Log. Lang. Inf. Wiebe van der Hoek, Louwe B. Kuijer, Yì N. Wáng
2021	J	`jnl`	Preface. Inf. Comput. Wiebe van der Hoek, Bastien Maubert, Aniello Murano, Sasha Rubin
2020	J	`jnl`	Arrow update synthesis. Inf. Comput. Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi, Louwe B. Kuijer
2020	J	`jnl`	Introduction to the special issue on Logic and the Foundations of Game and Decision Theory (LOFT13). Games Econ. Behav. Pierpaolo Battigalli, Giacomo Bonanno, Wiebe van der Hoek
2020	A*	`conf`	Logics of Allies and Enemies: A Formal Approach to the Dynamics of Social Balance Theory. IJCAI Wiebe van der Hoek, Louwe B. Kuijer, Yì N. Wáng
2020	A*	`conf`	Logics of Preference when There Is No Best. KR Davide Grossi, Wiebe van der Hoek, Louwe B. Kuijer
2020	J	`jnl`	The logic of gossiping. Artif. Intell. Hans van Ditmarsch, Wiebe van der Hoek, Louwe B. Kuijer
2019	J	`jnl`	Introduction to the Special Issue on Logic and the Foundations of Game and Decision Theory (LOFT12). Stud Logica Giacomo Bonanno, Wiebe van der Hoek, Andrés Perea
2019	J	`jnl`	Introduction to the special issue. J. Log. Comput. Thomas Ågotnes, Giacomo Bonanno, Wiebe van der Hoek
2019	J	`jnl`	Program models and semi-public environments. J. Log. Comput. Davide Grossi, Wiebe van der Hoek, Christos Moyzes, Michael J. Wooldridge
2019	—	`conf`	Who Should Be My Friends? - Social Balance from the Perspective of Game Theory. LORI Wiebe van der Hoek, Louwe B. Kuijer, Yì N. Wáng
2018	J	`jnl`	Arrow Update Synthesis. CoRR Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi, Louwe B. Kuijer
2018	J	`jnl`	Editorial Logic, Rationality and Interaction (LORI-5): Introduction to the Special Issue. J. Log. Comput. Wiebe van der Hoek, Wesley H. Holliday, Wen-Fang Wang
2018	J	`jnl`	Logic, rationality and interaction (LORI-5): introduction to the special issue. Synth. Wiebe van der Hoek, Wesley H. Holliday, Wen-Fang Wang
2018	J	`jnl`	Second-order propositional modal logic: Expressiveness and completeness results. Artif. Intell. Francesco Belardinelli, Wiebe van der Hoek, Louwe B. Kuijer
2018	B	`conf`	When Are Two Gossips the Same? LPAR Krzysztof R. Apt, Davide Grossi, Wiebe van der Hoek
2018	J	`jnl`	When Are Two Gossips the Same? Types of Communication in Epistemic Gossip Protocols. CoRR Krzysztof R. Apt, Davide Grossi, Wiebe van der Hoek
2017	B	`conf`	A Logic for Global and Local Announcements. TARK Francesco Belardinelli, Hans van Ditmarsch, Wiebe van der Hoek
2017	J	`jnl`	A Note on Nesting in Dyadic Deontic Logic. CoRR Agneau Belanyek, Davide Grossi, Wiebe van der Hoek
2017	J	`jnl`	Arbitrary arrow update logic. Artif. Intell. Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi, Louwe B. Kuijer
2017	J	`jnl`	Fair decomposition of group obligations. J. Log. Comput. Natasha Alechina, Wiebe van der Hoek, Brian Logan
2017	A*	`conf`	Non-Determinism and the Dynamics of Knowledge. IJCAI Davide Grossi, Andreas Herzig, Wiebe van der Hoek, Christos Moyzes
2017	J	`jnl`	The undecidability of arbitrary arrow update logic. Theor. Comput. Sci. Hans van Ditmarsch, Wiebe van der Hoek, Louwe B. Kuijer
2016	A*	`conf`	A Semantical Analysis of Second-Order Propositional Modal Logic. AAAI Francesco Belardinelli, Wiebe van der Hoek
2016	B	`conf`	Fully Arbitrary Public Announcements. Advances in Modal Logic Hans van Ditmarsch, Wiebe van der Hoek, Louwe B. Kuijer
2016	J	`jnl`	Introduction to the special issue. Synth. Thomas Ågotnes, Giacomo Bonanno, Wiebe van der Hoek
2016	A	`conf`	Second-order Propositional Announcement Logic. AAMAS Francesco Belardinelli, Hans van Ditmarsch, Wiebe van der Hoek
2016	J	`jnl`	Special Issue on Logical Aspects of Multi-Agent Systems. Stud Logica Nils Bulling, Wiebe van der Hoek
2016	J	`jnl`	The Undecidability of Arbitrary Arrow Update Logic. CoRR Hans van Ditmarsch, Wiebe van der Hoek, Louwe B. Kuijer
2015	J	`jnl`	An Introduction to Logics of Knowledge and Belief. CoRR Hans van Ditmarsch, Joseph Y. Halpern, Wiebe van der Hoek, Barteld P. Kooi
2015	A	`conf`	Effective Approximations for Multi-Robot Coordination in Spatially Distributed Tasks. AAMAS Daniel Claes, Philipp Robbel, Frans A. Oliehoek, Karl Tuyls, Daniel Hennes, Wiebe van der Hoek
2015	B	`conf`	Epistemic Protocols for Distributed Gossiping. TARK Krzysztof R. Apt, Davide Grossi, Wiebe van der Hoek
2015	A*	`conf`	Epistemic Quantified Boolean Logic: Expressiveness and Completeness Results. IJCAI Francesco Belardinelli, Wiebe van der Hoek
2015	—	`ed.`	Logic, Rationality, and Interaction - 5th International Workshop, LORI 2015 Taipei, Taiwan, October 28-31, 2015, Proceedings LORI Wiebe van der Hoek, Wesley H. Holliday, Wen-Fang Wang
2014	C	`conf`	A Framework for Epistemic Gossip Protocols. EUMAS Maduka Attamah, Hans van Ditmarsch, Davide Grossi, Wiebe van der Hoek
2014	J	`jnl`	A Modal Logic for Mixed Strategies. Stud Logica Joshua Sack, Wiebe van der Hoek
2014	—	`conf`	Fair Allocation of Group Tasks According to Social Norms. CLIMA Natasha Alechina, Wiebe van der Hoek, Brian Logan
2014	J	`jnl`	Introduction. IGTR Giacomo Bonanno, Hans van Ditmarsch, Wiebe van der Hoek, Steffen Jørgensen
2014	A*	`conf`	Justified Beliefs by Justified Arguments. KR Davide Grossi, Wiebe van der Hoek
2014	A	`conf`	Knowledge and Gossip. ECAI Maduka Attamah, Hans van Ditmarsch, Davide Grossi, Wiebe van der Hoek
2014	J	`jnl`	On the definability of simulation and bisimulation in epistemic logic. J. Log. Comput. Hans van Ditmarsch, David Fernández-Duque, Wiebe van der Hoek
2014	A	`conf`	On the relative succinctness of modal logics with union, intersection and quantification. AAMAS Wiebe van der Hoek, Petar Iliev
2014	J	`jnl`	Reasoning About the Transfer of Control. CoRR Wiebe van der Hoek, Dirk Walther, Michael J. Wooldridge
2014	B	`conf`	Some Exponential Lower Bounds on Formula-size in Modal Logic. Advances in Modal Logic Hans van Ditmarsch, Jie Fan, Wiebe van der Hoek, Petar Iliev
2014	—	`ch.`	Structures for Epistemic Logic. Johan van Benthem on Logic and Information Dynamics Nick Bezhanishvili, Wiebe van der Hoek
2013	A*	`conf`	Audience-Based Uncertainty in Abstract Argument Games. IJCAI Davide Grossi, Wiebe van der Hoek
2013	—	`conf`	Boolean Games with Epistemic Goals. LORI Thomas Ågotnes, Paul Harrenstein, Wiebe van der Hoek, Michael J. Wooldridge
2013	J	`jnl`	Building and using social structures: A case study using the agent ART testbed. ACM Trans. Intell. Syst. Technol. Elisabetta Erriquez, Wiebe van der Hoek, Michael J. Wooldridge
2013	J	`jnl`	Connecting dynamic epistemic and temporal epistemic logics. Log. J. IGPL Hans van Ditmarsch, Wiebe van der Hoek, Ji Ruan
2013	—	`conf`	Control and Delegation. ICAART (1) Wiebe van der Hoek
2013	J	`jnl`	Editorial Introduction to the Special Issue LOFT Sevilla. J. Philos. Log. Giacomo Bonanno, Hans van Ditmarsch, Wiebe van der Hoek
2013	J	`jnl`	Introduction to the special issue. Int. J. Game Theory Giacomo Bonanno, Andreas Herzig, Wiebe van der Hoek, Jérôme Lang
2013	J	`jnl`	On the succinctness of some modal logics. Artif. Intell. Tim French, Wiebe van der Hoek, Petar Iliev, Barteld P. Kooi
2013	J	`jnl`	Program equilibrium - a program reasoning approach. Int. J. Game Theory Wiebe van der Hoek, Cees Witteveen, Michael J. Wooldridge
2013	—	`conf`	Reasoning about Choice. AT Wiebe van der Hoek, Nicolas Troquard, Michael J. Wooldridge
2013	A*	`conf`	Verifiable Equilibria in Boolean Games. IJCAI Thomas Ågotnes, Paul Harrenstein, Wiebe van der Hoek, Michael J. Wooldridge
2012	A	`conf`	A logic of revelation and concealment. AAMAS Wiebe van der Hoek, Petar Iliev, Michael J. Wooldridge
2012	A	`conf`	Conservative Social Laws. ECAI Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
2012	J	`jnl`	Erratum to: Introduction chapter. Synth. Cilia Witteman, Wiebe van der Hoek
2012	—	`conf`	GOAL Agents Instantiate Intention Logic. Logic Programs, Norms and Action Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer
2012	A	`ed.`	International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, Valencia, Spain, June 4-8, 2012 (3 Volumes) AAMAS Wiebe van der Hoek, Lin Padgham, Vincent Conitzer, Michael Winikoff
2012	J	`jnl`	Introduction chapter. Synth. Cilia Witteman, Wiebe van der Hoek
2012	J	`jnl`	Local properties in modal logic. Artif. Intell. Hans van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi
2012	J	`jnl`	Logics for Multiagent Systems. AI Mag. Wiebe van der Hoek, Michael J. Wooldridge
2012	C	`conf`	On the Relative Succinctness of Two Extensions by Definitions of Multimodal Logic. CiE Wiebe van der Hoek, Petar Iliev, Barteld P. Kooi
2011	A	`conf`	An abstract framework for reasoning about trust. AAMAS Elisabetta Erriquez, Wiebe van der Hoek, Michael J. Wooldridge
2011	—	`conf`	Control and Delegation. DALT Wiebe van der Hoek
2011	A	`conf`	Decomposing constraint systems: equivalences and computational properties. AAMAS Wiebe van der Hoek, Cees Witteveen, Michael J. Wooldridge
2011	J	`jnl`	Foreword. J. Appl. Non Class. Logics Giacomo Bonanno, Andreas Herzig, Jérôme Lang, Wiebe van der Hoek
2011	—	`conf`	Knowledge and Action in Semi-public Environments. LORI Wiebe van der Hoek, Petar Iliev, Michael J. Wooldridge
2011	A	`conf`	Knowledge and control. AAMAS Wiebe van der Hoek, Nicolas Troquard, Michael J. Wooldridge
2011	—	`conf`	On the Definability of Simulability and Bisimilarity by Finite Epistemic Models. CLIMA Hans van Ditmarsch, David Fernández-Duque, Wiebe van der Hoek
2011	J	`jnl`	On the logic of preference and judgment aggregation. Auton. Agents Multi Agent Syst. Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
2011	J	`jnl`	Reasoning About Social Choice Functions. J. Philos. Log. Nicolas Troquard, Wiebe van der Hoek, Michael J. Wooldridge
2011	J	`jnl`	Reasoning about Social Choice Functions CoRR Nicolas Troquard, Wiebe van der Hoek, Michael J. Wooldridge
2011	A	`conf`	Reasoning about local properties in modal logic. AAMAS Hans van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi
2011	A	`conf`	Scientia potentia est. AAMAS Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
2011	B	`conf`	Sigma algebras in probabilistic epistemic dynamics. TARK Luca Aceto, Wiebe van der Hoek, Anna Ingólfsdóttir, Joshua Sack
2011	A*	`conf`	Succinctness of Epistemic Languages. IJCAI Tim French, Wiebe van der Hoek, Petar Iliev, Barteld P. Kooi
2010	A	`ed.`	9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3 AAMAS Wiebe van der Hoek, Gal A. Kaminka, Yves Lespérance, Michael Luck, Sandip Sen
2010	—	`ed.`	Logic and the Foundations of Game and Decision Theory - LOFT 8, 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers LOFT Giacomo Bonanno, Benedikt Löwe, Wiebe van der Hoek
2010	J	`jnl`	Reasoning About the Transfer of Control. J. Artif. Intell. Res. Wiebe van der Hoek, Dirk Walther, Michael J. Wooldridge
2010	C	`conf`	Reasoning about Normative Systems. JURIX Wiebe van der Hoek
2010	J	`jnl`	Robust normative systems and a logic of norm compliance. Log. J. IGPL Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
2009	—	`ch.`	A Temporal Logic of Normative Systems. Towards Mathematical Philosophy Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael J. Wooldridge
2009	J	`jnl`	A coordination language for agents interacting in distributed plan-execute cycles. Int. J. Reason. based Intell. Syst. Wieke de Vries, John-Jules Ch. Meyer, Frank S. de Boer, Wiebe van der Hoek
2009	—	`conf`	A logic of games and propositional control. AAMAS (2) Nicolas Troquard, Wiebe van der Hoek, Michael J. Wooldridge
2009	B	`conf`	A logic of propositional control for truthful implementations. TARK Nicolas Troquard, Wiebe van der Hoek, Michael J. Wooldridge
2009	—	`conf`	Agent programming with temporally extended goals. AAMAS (1) Koen V. Hindriks, Wiebe van der Hoek, M. Birna van Riemsdijk
2009	—	`conf`	Concurrently Decomposable Constraint Systems. MATES Cees Witteveen, Wiebe van der Hoek, Nico Roos
2009	A*	`conf`	Knowing More - From Global to Local Correspondence. IJCAI Hans van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi
2009	J	`jnl`	Logics for Qualitative Coalitional Games. Log. J. IGPL Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
2009	J	`jnl`	Multi-Modal CTL: Completeness, Complexity, and an Application. Stud Logica Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael J. Wooldridge
2009	—	`ed.`	Multiagent System Technologies, 7th German Conference, MATES 2009, Hamburg, Germany, September 9-11, 2009. Proceedings MATES Lars Braubach, Wiebe van der Hoek, Paolo Petta, Alexander Pokahr
2009	—	`conf`	Power in normative systems. AAMAS (1) Thomas Ågotnes, Wiebe van der Hoek, Moshe Tennenholtz, Michael J. Wooldridge
2009	J	`jnl`	Reasoning about coalitional games. Artif. Intell. Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
2009	—	`conf`	Robust Normative Systems. Normative Multi-Agent Systems Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
2009	J	`jnl`	Verification of Games in the Game Description Language. J. Log. Comput. Ji Ruan, Wiebe van der Hoek, Michael J. Wooldridge
2008	—	`conf`	Cooperative Boolean games. AAMAS (2) Paul E. Dunne, Wiebe van der Hoek, Sarit Kraus, Michael J. Wooldridge
2008	—	`conf`	GOAL Agents Instantiate Intention Logic. Programming Multi-Agent Systems Koen V. Hindriks, Wiebe van der Hoek
2008	B	`conf`	GOAL Agents Instantiate Intention Logic. JELIA Koen V. Hindriks, Wiebe van der Hoek
2008	—	`conf`	Model Checking Strategic Equilibria. MoChArt Nicolas Troquard, Wiebe van der Hoek, Michael J. Wooldridge
2008	—	`ch.`	Multi-Agent Systems. Handbook of Knowledge Representation Wiebe van der Hoek, Michael J. Wooldridge
2008	J	`jnl`	Quantified coalition logic. Synth. Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
2008	—	`conf`	Quantifying over coalitions in epistemic logic. AAMAS (2) Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
2008	—	`conf`	Robust normative systems. AAMAS (2) Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
2008	J	`jnl`	Specifying and reasoning about uncertain agents. Int. J. Approx. Reason. Nivea de Carvalho Ferreira, Michael Fisher, Wiebe van der Hoek
2007	J	`jnl`	A logical characterisation of qualitative coalitional games. J. Appl. Non Class. Logics Paul E. Dunne, Wiebe van der Hoek, Michael J. Wooldridge
2007	J	`jnl`	A verification framework for agent programming with declarative goals. J. Appl. Log. Frank S. de Boer, Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer
2007	B	`conf`	Alternating-time temporal logic with explicit strategies. TARK Dirk Walther, Wiebe van der Hoek, Michael J. Wooldridge
2007	—	`conf`	Completeness and Complexity of Multi-modal CTL. M4M Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
2007	Misc	`conf`	Dynamic Epistemic Logic and Knowledge Puzzles. ICCS Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi
2007	A*	`conf`	Logic for Automated Mechanism Design - A Progress Report. AAAI Michael J. Wooldridge, Thomas Ågotnes, Paul E. Dunne, Wiebe van der Hoek
2007	J	`jnl`	Logics in AI: post-proceedings JELIA06 (Editorial). Ann. Math. Artif. Intell. Michael Fisher, Wiebe van der Hoek
2007	—	`ch.`	Modal logic for games and information. Handbook of Modal Logic Wiebe van der Hoek, Marc Pauly
2007	A	`conf`	Normative system games. AAMAS Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
2007	—	`conf`	On the Logic of Normative Systems. Normative Multi-agent Systems Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael J. Wooldridge
2007	A*	`conf`	On the Logic of Normative Systems. IJCAI Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael J. Wooldridge
2007	A*	`conf`	Quantified Coalition Logic. IJCAI Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
2007	A	`conf`	Reasoning about judgment and preference aggregation. AAMAS Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
2007	—	`ed.`	SOFSEM 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings SOFSEM (1) Jan van Leeuwen, Giuseppe F. Italiano, Wiebe van der Hoek, Christoph Meinel, Harald Sack, Frantisek Plásil
2007	—	`ed.`	SOFSEM 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings Volume II SOFSEM (2) Jan van Leeuwen, Giuseppe F. Italiano, Wiebe van der Hoek, Christoph Meinel, Harald Sack, Frantisek Plásil, Mária Bieliková
2007	J	`jnl`	Social laws in alternating time: effectiveness, feasibility, and synthesis. Synth. Wiebe van der Hoek, Mark Roberts, Michael J. Wooldridge
2007	J	`jnl`	Towards a theory of intention revision. Synth. Wiebe van der Hoek, Wojciech Jamroga, Michael J. Wooldridge
2006	J	`jnl`	Knowledge Condition Games. J. Log. Lang. Inf. Sieuwert van Otterloo, Wiebe van der Hoek, Michael J. Wooldridge
2006	B	`ed.`	Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings JELIA Michael Fisher, Wiebe van der Hoek, Boris Konev, Alexei Lisitsa
2006	A	`conf`	On the complexity of practical ATL model checking. AAMAS Wiebe van der Hoek, Alessio Lomuscio, Michael J. Wooldridge
2006	A	`conf`	On the logic of coalitional games. AAMAS Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
2006	J	`jnl`	Preface. Auton. Agents Multi Agent Syst. Chiara Ghidini, Paolo Giorgini, Wiebe van der Hoek
2006	—	`ed.`	Proceedings of the Third International Workshop on Logic and Communication in Multi-Agent Systems, LCMAS 2005, Edinburgh, Scotland, UK, August 1, 2005 LCMAS Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge
2006	A	`conf`	Reasoning about action and cooperation. AAMAS Luigi Sauro, Jelle Gerbrandy, Wiebe van der Hoek, Michael J. Wooldridge
2006	—	`conf`	Temporal Logics of Knowledge and their Applications in Security. ICS@SYNASC Clare Dixon, M. Carmen Fernández Gago, Michael Fisher, Wiebe van der Hoek
2006	A	`conf`	Temporal qualitative coalitional games. AAMAS Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
2006	—	`book`	Uncertainty, rationality, and agency. Wiebe van der Hoek
2005	A	`conf`	A logic for strategic reasoning. AAMAS Wiebe van der Hoek, Wojciech Jamroga, Michael J. Wooldridge
2005	A	`conf`	Dynamic epistemic logic with assignment. AAMAS Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi
2005	Misc	`conf`	Intentions and Strategies in Game-Like Scenarios. EPIA Wojciech Jamroga, Wiebe van der Hoek, Michael J. Wooldridge
2005	A	`conf`	Knowledge and social laws. AAMAS Wiebe van der Hoek, Mark Roberts, Michael J. Wooldridge
2005	Misc	`conf`	Logical Implementation of Uncertain Agents. EPIA Nivea de Carvalho Ferreira, Michael Fisher, Wiebe van der Hoek
2005	—	`conf`	Model Checking Russian Cards. MoChArt@CONCUR/SPIN Hans P. van Ditmarsch, Wiebe van der Hoek, Ron van der Meyden, Ji Ruan
2005	J	`jnl`	On obligations and normative ability: Towards a logical analysis of the social contract. J. Appl. Log. Michael J. Wooldridge, Wiebe van der Hoek
2005	A	`conf`	On the dynamics of delegation, cooperation, and control: a logical account. AAMAS Wiebe van der Hoek, Michael J. Wooldridge
2005	J	`jnl`	On the logic of cooperation and propositional control. Artif. Intell. Wiebe van der Hoek, Michael J. Wooldridge
2005	J	`jnl`	Playing cards with Hintikka An introduction to dynamic epistemic logic. Australas. J. Log. Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi
2005	—	`conf`	Preface. LCMAS Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge
2005	J	`jnl`	Process algebra and constraint programming for modeling interactions in MAS. Appl. Algebra Eng. Commun. Comput. Frank S. de Boer, Wieke de Vries, John-Jules Ch. Meyer, Rogier M. van Eijk, Wiebe van der Hoek
2004	—	`ed.`	1st International Workshop on Logic and Communication in Multi-Agent Systems, LCMAS 2003, Eindhoven, The Netherlands, June 29, 2003 LCMAS Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge
2004	J	`jnl`	Agents that Know How to Play. Fundam. Informaticae Wojciech Jamroga, Wiebe van der Hoek
2004	J	`jnl`	Editorial. Synth. Wiebe van der Hoek
2004	A	`conf`	Knowledge, Rationality and Action. AAMAS Wiebe van der Hoek
2004	J	`jnl`	Model Checking A Knowledge Exchange Scenario. Appl. Artif. Intell. Sieuwert van Otterloo, Wiebe van der Hoek, Michael J. Wooldridge
2004	—	`conf`	On Obligations and Abilities. DEON Wojciech Jamroga, Wiebe van der Hoek, Michael J. Wooldridge
2004	B	`conf`	Practical Reasoning for Uncertain Agents. JELIA Nivea de Carvalho Ferreira, Michael Fisher, Wiebe van der Hoek
2004	—	`conf`	Preface. LCMAS Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge
2004	A	`conf`	Preferences in Game Logics. AAMAS Sieuwert van Otterloo, Wiebe van der Hoek, Michael J. Wooldridge
2004	—	`ed.`	Proceedings of the 2nd International Workshop on Logic and Communication in Multi-Agent Systems, LCMAS 2004, Nancy, France, August 16-20, 2004 LCMAS Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge
2004	B	`conf`	Public Announcements and Belief Expansion. Advances in Modal Logic Hans van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi
2004	J	`jnl`	Rational Teams: Logical Aspects of Multi-Agent Systems. Fundam. Informaticae Huib Aldewereld, Wiebe van der Hoek, John-Jules Ch. Meyer
2004	B	`conf`	Representation and Complexity in Boolean Games. JELIA Paul E. Dunne, Wiebe van der Hoek
2004	—	`ch.`	Theories of Knowledge and Ignorance. Logic, Epistemology, and the Unity of Science Wiebe van der Hoek, Jan Jaspars, Elias Thijsse
2004	C	`conf`	Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols. TIME Clare Dixon, M. Carmen Fernández Gago, Michael Fisher, Wiebe van der Hoek
2003	—	`conf`	A Logic For Ignorance. LCMAS Wiebe van der Hoek, Alessio Lomuscio
2003	J	`jnl`	A Modal Characterization of Nash Equilibrium. Fundam. Informaticae Paul Harrenstein, Wiebe van der Hoek, John-Jules Ch. Meyer, Cees Witteveen
2003	J	`jnl`	A Verification Framework for Agent Communication. Auton. Agents Multi Agent Syst. Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
2003	J	`jnl`	A fully abstract model for the exchange of information in multi-agent systems. Theor. Comput. Sci. Frank S. de Boer, Rogier M. van Eijk, Wiebe van der Hoek, John-Jules Ch. Meyer
2003	—	`conf`	A logic for ignorance. DALT Wiebe van der Hoek, Alessio Lomuscio
2003	A	`conf`	Agent programming in dribble: from beliefs to goals using plans. AAMAS Birna van Riemsdijk, Wiebe van der Hoek, John-Jules Ch. Meyer
2003	A	`conf`	Concurrent dynamic epistemic logic for MAS. AAMAS Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi
2003	J	`jnl`	Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications. Stud Logica Wiebe van der Hoek, Michael J. Wooldridge
2003	J	`jnl`	Editorial. Log. J. IGPL Wiebe van der Hoek, Michael J. Wooldridge
2003	J	`jnl`	Formal semantics of meta-level architectures: Temporal epistemic reflection. Int. J. Intell. Syst. Wiebe van der Hoek, John-Jules Ch. Meyer, Jan Treur
2003	A	`conf`	Ignore at your peril - towards a logic for ignorance. AAMAS Wiebe van der Hoek, Alessio Lomuscio
2003	J	`jnl`	Iterated Belief Change in Multi-Agent Systems. Log. J. IGPL Jan-Willem Roorda, Wiebe van der Hoek, John-Jules Ch. Meyer
2003	—	`conf`	Knowledge as Strategic Ability. LCMAS Sieuwert van Otterloo, Wiebe van der Hoek, Michael J. Wooldridge
2003	J	`jnl`	Preface. Stud Logica Wiebe van der Hoek, Michael J. Wooldridge
2003	—	`conf`	Preface: Volume 85, Issue 2. LCMAS Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge
2003	—	`conf`	Process Algebra for Agent Communication: A General Semantic Approach. Communication in Multiagent Systems Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
2003	J	`jnl`	Towards a Logic of Rational Agency. Log. J. IGPL Wiebe van der Hoek, Michael J. Wooldridge
2002	J	`jnl`	A General Approach to Multi-Agent Minimal Knowledge: With Tools and Samples. Stud Logica Wiebe van der Hoek, Elias Thijsse
2002	—	`conf`	Agent Programming in Dribble: From Beliefs to Goals with Plans. FAABS Birna van Riemsdijk, Wiebe van der Hoek, John-Jules Ch. Meyer
2002	J	`jnl`	Agent Programming with Declarative Goals CoRR Frank S. de Boer, Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer
2002	A	`conf`	Iterated belief change in multi-agent systems. AAMAS Jan-Willem Roorda, Wiebe van der Hoek, John-Jules Ch. Meyer
2002	—	`conf`	Model Checking Knowledge and Time. SPIN Wiebe van der Hoek, Michael J. Wooldridge
2002	J	`jnl`	Note by the Guest Editors. Stud Logica Wiebe van der Hoek, Cees Witteveen
2002	A	`conf`	On Modal Logic Interpretations of Games. ECAI Paul Harrenstein, Wiebe van der Hoek, John-Jules Ch. Meyer, Cees Witteveen
2002	C	`conf`	Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications. COORDINATION Michael J. Wooldridge, Wiebe van der Hoek
2002	A	`conf`	Tractable multiagent planning for epistemic goals. AAMAS Wiebe van der Hoek, Michael J. Wooldridge
2001	—	`conf`	A Programming Language for Coordinating Group Actions. CEEMAS Wieke de Vries, Frank S. de Boer, Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer
2001	B	`conf`	A Truly Concurrent Model for Interacting Agents. PRIMA Wieke de Vries, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
2001	—	`conf`	Logical Foundations of Agent-Based Computing. EASSS Wiebe van der Hoek
2001	J	`jnl`	Modal Logic with Bounded Quantification over Worlds. J. Log. Comput. Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
2001	—	`conf`	On BAN Logics for Industrial Security Protocols. CEEMAS Nesria Agray, Wiebe van der Hoek, Erik P. de Vink
2001	J	`jnl`	On Programming KARO Agents. Log. J. IGPL John-Jules Ch. Meyer, Frank S. de Boer, Rogier M. van Eijk, Koen V. Hindriks, Wiebe van der Hoek
2001	J	`jnl`	On dynamically generated ontology translators in agent communication. Int. J. Intell. Syst. Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
2001	C	`conf`	Reasoning about agents in the KARO framework. TIME Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher, John-Jules Ch. Meyer, Wiebe van der Hoek
2001	J	`jnl`	RoboCup European Championship: Report of the Amsterdam 2000 event. Robotics Auton. Syst. Frans C. A. Groen, Wiebe van der Hoek, Pieter P. Jonker, Ben J. A. Kröse, Hans J. W. Spoelder, Stefano Stramigioli
2001	J	`jnl`	Scanning the issue. Robotics Auton. Syst. Giovanni Adorni, Wiebe van der Hoek
2000	B	`conf`	A General Approach to Multi-agent Minimal Knowledge. JELIA Wiebe van der Hoek, Jan Jaspars, Elias Thijsse
2000	B	`conf`	A Modal Logic for Network Topologies. JELIA Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
2000	—	`conf`	A Programming Logic for Part of the Agent Language 3APL. FAABS Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
2000	—	`conf`	Agent Programming with Declarative Goals. ATAL Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
2000	A	`conf`	Classical, General Frameworks for Recovery. ECAI Wiebe van der Hoek, Cees Witteveen
2000	B	`conf`	Failure Semantics for the Exchange of Information in Multi-Agent Systems. CONCUR Frank S. de Boer, Rogier M. van Eijk, Wiebe van der Hoek, John-Jules Ch. Meyer
2000	—	`conf`	Generalised Object-Oriented Concepts for Inter-agent Communication. ATAL Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
2000	J	`jnl`	Nonmonotonic Reasoning, Grigoris Antoniou. J. Log. Lang. Inf. Wiebe van der Hoek
2000	J	`jnl`	On Agents That Have the Ability to Choose. Stud Logica Wiebe van der Hoek, Bernd van Linder, John-Jules Ch. Meyer
2000	—	`conf`	Operational Semantics for Agent Communication Languages. Issues in Agent Communication Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
2000	—	`conf`	Semantics of Communicating Agents Based on Deduction and Abduction. Issues in Agent Communication Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
2000	—	`conf`	Verification within the KARO Agent Theory. FAABS Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher, John-Jules Ch. Meyer, Wiebe van der Hoek
1999	J	`jnl`	A Logical Approach to the Dynamics of Commitments. Artif. Intell. John-Jules Ch. Meyer, Wiebe van der Hoek, Bernd van Linder
1999	J	`jnl`	Agent Programming in 3APL. Auton. Agents Multi Agent Syst. Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
1999	—	`conf`	Failure Semantics for the Exchange of Information in Multi-agent Systems. ECOOP Workshops Frank S. de Boer, Rogier M. van Eijk, Wiebe van der Hoek, John-Jules Ch. Meyer
1999	—	`conf`	Open Multi-agent Systems: Agent Communication and Integration. ATAL Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
1999	J	`jnl`	Persistence and minimality in epistemic logic. Ann. Math. Artif. Intell. Wiebe van der Hoek, Jan Jaspars, Elias Thijsse
1998	—	`conf`	A Formal Embedding of AgentSpeak(L) in 3APL. Australian Joint Conference on Artificial Intelligence Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
1998	Misc	`conf`	Constructing Translations Between Individual Vocabularies in Multi-Agent Systems. AIMSA Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
1998	—	`conf`	Control Structures of Rule-Based Agent Languages. ATAL Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
1998	J	`jnl`	Formalising Abilities and Opportunities of Agents. Fundam. Informaticae Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer
1998	—	`conf`	Information-Passing and Belief Revision in Multi-Agent Systems. ATAL Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
1998	—	`conf`	Information-Passing and Belief Revision in Multi-Agent Systems. ICMAS Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
1998	J	`jnl`	Logic for Applications, Anil Nerode and Richard A. Shore. J. Log. Lang. Inf. Wiebe van der Hoek
1998	B	`conf`	Persistence and Minimality in Epistemic Logic. JELIA Wiebe van der Hoek, Jan Jaspars, Elias Thijsse
1998	J	`jnl`	Recovery of (Non)Monotonic Theories. Artif. Intell. Cees Witteveen, Wiebe van der Hoek
1998	A	`conf`	Systems of Communicating Agents. ECAI Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
1998	J	`jnl`	Temporalizing Epistemic Default Logic. J. Log. Lang. Inf. Wiebe van der Hoek, John-Jules Ch. Meyer, Jan Treur
1998	—	`conf`	Translations of Vocabularies in Systems of Communicating Agents. COTIC Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
1997	B	`conf`	A General Framework for Revising Non-Monotonic Theories. LPNMR Cees Witteveen, Wiebe van der Hoek
1997	—	`conf`	Formal Semantics for an Abstract Agent Programming Language. ATAL Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
1997	J	`jnl`	Seeing Is Believing. J. Log. Lang. Inf. Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer
1997	J	`jnl`	Some Considerations on the Logic PFD~. J. Appl. Non Class. Logics Wiebe van der Hoek
1997	J	`jnl`	The Dynamics of Default Reasoning. Data Knowl. Eng. Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer
1996	J	`jnl`	A Modal Contrastive Logic: The Logic of 'but'. Ann. Math. Artif. Intell. John-Jules Ch. Meyer, Wiebe van der Hoek
1996	J	`jnl`	Honesty in partial logic. Stud Logica Wiebe van der Hoek, Jan Jaspars, Elias Thijsse
1996	J	`jnl`	Qualitative Modalities. Int. J. Uncertain. Fuzziness Knowl. Based Syst. Wiebe van der Hoek
1996	B	`conf`	Revising and Updating Using a Back-Up Semantics. JELIA Cees Witteveen, Wiebe van der Hoek
1996	—	`conf`	Some postulates for Nonmonotonic Theory Revision Applied to Logic Programming. ELP Cees Witteveen, Wiebe van der Hoek
1996	—	`conf`	Updating Nonmonotonic Databases. ISTCS Cees Witteveen, Wiebe van der Hoek
1995	J	`jnl`	A Default Logic Based on Epistemic States. Fundam. Informaticae John-Jules Ch. Meyer, Wiebe van der Hoek
1995	Misc	`conf`	Actions That Make You Change Your Mind (Extended Abstract). KI Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer
1995	J	`jnl`	Counting Objects. J. Log. Comput. Wiebe van der Hoek, Maarten de Rijke
1995	—	`book`	Epistemic logic for AI and computer science. John-Jules Charles Meyer, Wiebe van der Hoek
1995	—	`conf`	Formalising Motivational Attitudes of Agents. ATAL Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer
1995	B	`conf`	Revision by Communication. LPNMR Cees Witteveen, Wiebe van der Hoek
1995	—	`conf`	Seeing is Believing. AI*IA Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer
1995	C	`conf`	The Dynamics of Default Reasoning (Extended Abstract). ECSQARU Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer
1994	Misc	`conf`	A Logic of Capabilities. LFCS Wiebe van der Hoek, Bernd van Linder, John-Jules Ch. Meyer
1994	Misc	`conf`	Communicating Rational Agents. KI Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer
1994	C	`conf`	Formal Semantics of Temporal Epistemic Reflection. META Wiebe van der Hoek, John-Jules Ch. Meyer, Jan Treur
1994	A*	`conf`	Honesty in Partial Logic. KR Wiebe van der Hoek, Jan Jaspars, Elias Thijsse
1994	C	`conf`	Many-Valued Epistemic States: An Application to a Reflexive Architecture: Milord-II. IPMU Lluís Godo, Wiebe van der Hoek, John-Jules Ch. Meyer, Carles Sierra
1994	B	`conf`	Revision of Non-Monotonic Theories. JELIA Cees Witteveen, Wiebe van der Hoek, Hans de Nivelle
1994	A	`conf`	Tests as Epistemic Updates. ECAI Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer
1993	C	`conf`	A Default Logic Based on Epistemic States. ECSQARU John-Jules Ch. Meyer, Wiebe van der Hoek
1993	C	`conf`	Belief Revision by Expansion. ECSQARU Cees Witteveen, Wiebe van der Hoek
1993	J	`jnl`	Counterfactual Reasoning by (means of) Defaults. Ann. Math. Artif. Intell. John-Jules Ch. Meyer, Wiebe van der Hoek
1993	J	`jnl`	Generalized quantifiers and modal logic. J. Log. Lang. Inf. Wiebe van der Hoek, Maarten de Rijke
1993	J	`jnl`	Systems for Knowledge and Belief. J. Log. Comput. Wiebe van der Hoek
1992	Misc	`conf`	Graded Modalities in Epistemic Logic. LFCS Wiebe van der Hoek, John-Jules Ch. Meyer
1992	J	`jnl`	Making Some Issues of Implicit Knowledge Explicit. Int. J. Found. Comput. Sci. Wiebe van der Hoek, John-Jules Ch. Meyer
1992	J	`jnl`	On the Semantics of Graded Modalities. J. Appl. Non Class. Logics Wiebe van der Hoek
1992	—	`conf`	Towards an Epistemic Approach to Reasoning about Concurrent Programs. REX Workshop Wiebe van der Hoek, M. van Hulst, John-Jules Ch. Meyer
1991	—	`conf`	Qualitative Modalities. SCAI Wiebe van der Hoek
1991	—	`conf`	Some Considerations on the Logic PfD. RCLP Wiebe van der Hoek
1990	B	`conf`	Non-Monotonic Reasoning by Monotonic Means. JELIA John-Jules Ch. Meyer, Wiebe van der Hoek
1990	B	`conf`	Systems for Knowledge and Beliefs. JELIA Wiebe van der Hoek