Wiebe van der Hoek - Publications

If you have any problems accessing documents, let me know.

[2012| 2011| 2010 2009| 2008| 2007| 2006| 2005 | 2004 | 2003 | 2002 | 2001 | 2000 ] [ 1999 | 1998 | 1997 | 1996 | 1995 | 1994 | 1993 | 1992 | 1991 | 1990 | 1989 | 1988 ]

2012

W. van der Hoek, C. Witteveen and M. Wooldridge,
Program Equilibrium - A Program Reasoning Approach.
Accepted for International Journal of Game Theory
DOI 10.1007/s00182-011-0314-6.
W. van der Hoek and M. Wooldridge,
Logics for Multi-Agent Systems
Accepted for AI Magazine.

2011

W. van der Hoek, P. Iliev, and M. Wooldrdidge,
Knowledge and Action in Semi-public Environments.
In H. van Ditmarsch, J. Lang and S. Ju (eds), Proceedings of Logic, Rationality and Interaction (LORI), LNCS vol. 6953, pp. 97-110, 2011.
H. van Ditmarsch, W. van der Hoek and J. Ruan,
Conecting Dynamic Epistemic and Temporal Epistemic Logics.
Journal of the IGPL,, 2011.
H. van Ditmarsch, W. van der Hoek and P. Iliev.
Everything is knowable - how to get to know whether a proposition is true.
Accepted for Theoria
L. Aceto, W. van der Hoek, A Ingolfsdottir and J. Sack.
Sigma algebras in probabilistic epistemic dynamics,
in Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK), pp. 191--199, 2011.
H. van Ditmarsch, D. Fernández and W. van der Hoek.
On the definability of simulability and bisimilarity by finite epistemic models.
In J. Leite, P. Torroni, T. Agotnes, G. Boella, and L. van der Torre (eds), Computational Logic in Multi-Agent Systems (CLIMA XII), LNCS Vol. 6814, pp. 74--87, 2011.

T. French, W. van der Hoek, P. Iliev and B. Kooi.
Succinctness of Epistemic Languages,
In T. Walsh (ed.) Proceedings IJCAI, pp. 881--886, 2011.

T. Ågotnes, W. van der Hoek, and M. Wooldridge,
On the Logic of Preference and Judgment Aggregation.
Autonomous Agents and Multi-Agent Systems, 22:1 pp. 4 - 30, 2011.

N. Troquard, W. van der Hoek, and M. Wooldridge,
Reasoning about Social Choice Functions
Journal of Philosophical Logic, 40:4 pp. 473--498, 2011.
E. Erriquez, W. van der Hoek and M. Wooldridge,
Building and Using Social Structures: A Case Study using the Agent ART Testbed.
Accepted for ACM Transactions on Intelligent Systems and Technology.

T. Ågotnes, W. van der Hoek, and M. Wooldridge,
Scientia Potentia Est
In: K. Tumer, P. Yolum, L. Sonenberg and P.Stone (eds.), Proc. of 10th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2011), pp. 735--742, 2011.

E. Erriquez, W. van der Hoek, and M. Wooldridge,
An Abstract Framework for Reasoning about Trust
In: K. Tumer, P. Yolum, L. Sonenberg and P.Stone (eds.), Proc. of 10th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2011), pp. 1085--1086, 2011.

W. van der Hoek, C. Witteveen, and M. Wooldridge,
Decomposing Constraint Systems: Equivalences and computational properties.
In: K. Tumer, P. Yolum, L. Sonenberg and P. Stone (eds.), Proc. of 10th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2011), pp. 149--156, 2011.

H. van Ditmarsch, W. van der Hoek and B. Kooi,
Reasoning about local properties in modal logic
In: K. Tumer, P. Yolum, L. Sonenberg and P. Stone (eds.), Proc. of 10th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2011), pp. 711--718, 2011.

W. van der Hoek, N. Troquard and M. Wooldridge,
Reasoning about Control
Knowledge and Control
In: K. Tumer, P. Yolum, L. Sonenberg and P.Stone (eds.), Proc. of 10th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2011), pp. 719--726, 2011.

2010

W. van der Hoek, D. Walther and M. Wooldridge,
Reasoning About the Transfer of Control,
Journal of AI Research (JAIR), 37, pp. 437--477, 2010.

2009

N. Troquard, W. van der Hoek and M. Wooldridge,
A logic of propositional control for truthful implementations
in A. Heifetz (ed.) Proceedings of the Twelfth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2009), pp. 237--246, 2009.

J. Ruan, W. van der Hoek and M. Wooldridge,
Verification of Games in the Game Description Language.
Journal of Logic and Computation, 2009. doi: 10.1093/logcom/exp039
H. van Ditmarsch, W. van der Hoek and B. Kooi,
Knowing More -- Towards a Local Correspondence Theory. In: C. Boutilier (editor). Proceedings of IJCAI-09, pp. 955-960.
T. Ågotnes, W. van der Hoek, and M. Wooldridge,
Logics for Qualitative Coalitional Games, Logic Journal of the IGPL, 17:3, pp. 299 -- 321, 2009.
DOI:10.1093/jigpal/jzp009
W. de Vries, J.-J.Ch. Meyer, F.S. de Boer and W. van der Hoek,
A Coordination Language for Agents Interacting in Distributed Plan-Execute Cycles, International Journal of Reasoning-based Intelligent Systems (IJRIS), 1:1/2, pp. 4 -- 17, 2009.
T. Ågotnes, W. van der Hoek, and M. Wooldridge,
Robust Normative Systems and a logic of compliance the Logic Journal of the IGPL, 2009. doi: 10.1093/jigpal/jzp070

N. Troquard, W. van der Hoek, and M. Wooldridge,
Model Checking Strategic Equilibria, In E. Peled and M. Wooldridge (eds.), MOCHART 2008, LNAI 5348, pp. 166 -- 188, 2009.
T. Ågotnes, W. van der Hoek, J.A. Rodríguez-Aguilar, C. Sierra, and M. Wooldridge,
Multi-Modal CTL: Completeness, Complexity, and an Application. Studia Logica, 92:1, 2009, pp. 1 -- 26.
K. Hindriks, W. van der Hoek and B. van Riemsdijk,
Agent Programming with Temporally Extended Goals,
In K. Decker, J. Sichman, C. Sierra and C. Castelfranchi (eds.), AAMAS 2009, pp. 137 -- 144.
T. Ågotnes, W. van der Hoek, M. Tennenholtz, and M. Wooldridge,
Power in Normative Systems,
In K. Decker, J. Sichman, C. Sierra and C. Castelfranchi (eds.), AAMAS 2009, pp. 145 -- 152.(Best Paper of AAMAS 2009)
N. Toquard, W. van der Hoek, and M. Wooldridge,
A Logic of Games and Propositional Control,
In K. Decker, J. Sichman, C. Sierra and C. Castelfranchi (eds.), AAMAS 2009, pp. 961 -- 968.
Thomas Ågotnes, Wiebe van der Hoek and Michael Wooldridge,
Reasoning about Coalitional Games.
Artificial Intelligence, 173:1, pp. 45 -- 79, 2009.
DOI:10.1016/j.artint.2008.08.004

2008

Thomas Ågotnes, Wiebe van der Hoek and Michael Wooldridge,
Quantified Coalition Logic.
Synthese, 165:2, pp. 233--258, 2008.
DOI 10.1007/s11229-008-9363-1
W. van der Hoek, M. Roberts and M. Wooldrdige,
Social Laws and Anti Social Behaviour
In Logic and the Foundations of Game and Decision Theory (LOFT 7), Texts in Logic and Games (3), Amsterdam University Press, pp. 119--151, 2008.
Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra and Michael Wooldridge,
A Temporal Logic of Normative Systems.
In D. Makinson, J. Malinowski and H. Wansing (eds), Towards Mathematical Philosophy, Trends in Logic 28, pp. 69 -- 106, Springer, 2008.
Koen Hindriks and Wiebe van der Hoek,
GOAL Agents Instantiate Intention Logic.
In S. H¨o;lldobler, C. Lutz and H. Wansing (eds.) Logics in Aritficial Intelligence 11th European Conference JELIA 2008, LNCS 5293, Spinger, pp. 232-244, 2008.
Wiebe van der Hoek and Michael Wooldridge,
Multi-Agent Systems,
in F. van Harmelen, V. Lifschitz and B. Porter (eds), Handbook of Knowledge Representation Elsevier, 2008, pp. 887--928.
T. Ågotnes, W. van der Hoek, and M. Wooldridge,
Robust Normative Systems. In Proceedings of the Seventh International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2008), Estoril, Portugal, 2008.
T. Ågotnes, W. van der Hoek, and M. Wooldridge,
Quantifying Over Coalitions in Epistemic Logic. In Proceedings of the Seventh International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2008), Estoril, Portugal, 2008.
P.E. Dunne, W. van der Hoek, S. Kraus, and M. Wooldridge,
Cooperative Boolean Games. In Proceedings of the Seventh International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2008), Estoril, Portugal, 2008.
(Awarded best paper prize at AAMAS08, out of 721 submissions.)

2007

H.P. van Ditmarsch, W. van der Hoek and B.P. Kooi,
Dynamic Epistemic Logic, Springer, Synthese Library 337, 2007
Thomas Ågotnes, Wiebe van der Hoek, and Michael Wooldridge,
Completeness and Complexity of Multi-Modal CTL, in C Areces and S Demri (eds), 5th Workshop on Methods for Modalities (M4M5), Electronic Notes in Computer Science, pp. 33--48, 2008.
Wiebe van der Hoek, Thomas Ågotnes and Michael Wooldridge,
Exended Modal Logics for Social Software, to appear in Proceedings of Methods for Modalities 5, 2007.
Nivea Carvalho de Ferreira, Michael Fischer and Wiebe van der Hoek,
Specifying and Reasoning about Uncertain Agents, International Journal of Approximate Reasoning, 49:1, pp. 35--51, 2008.
DOI:10.1016/j.ijar.2007.08.003
Clare Dixon, Mari-Carmen Fern&aecute;ndez Gago, Michael Fisher and Wiebe van der Hoek,
Temporal Logics of Knowledge and their Applications in Security,
Electronic Notes in Computer Science, (Proceedings of the First Workshop in Information and Computer Security, ICS 2006) Vol 186, pp 27--42, 2007.
Wiebe van der Hoek, Ji Ruan and Michael Wooldridge,
Strategy Logics and the Game Description Language.
In: J. van Benthem, S. Ju and F. Veltman (eds), A meeting of the Minds, Texts in Computer Science, College Publications Vol. 8, pp. 259--274, 2007.
Thomas Ågotnes, Paul E. Dunne, Wiebe van der Hoek, and Michael Wooldridge
Logics for Coalitional Games.
In: J. van Benthem, S. Ju and F. Veltman (eds), A meeting of the Minds, Texts in Computer Science, College Publications Vol. 8, pp. 3--20, 2007.
Frank S de Boer, Koen V Hindriks. Wiebe van der Hoek and John-Jules Meyer,
A verification framework for agent programming with declarative goals
in Journal of Applied Logic, 5:2, pp. 277--302, 2007.
Thomas Ågotnes, Wiebe van der Hoek, and Michael Wooldridge,
Reasoning about Judgement and Preference Aggregation.
In M. Huhns and O. Shehory (eds), Proceedings AAMAS 2007, pp. 554--561.
Thomas Ågotnes, Wiebe van der Hoek, and Michael Wooldridge,
Normative System Games.
In M. Huhns and O. Shehory (eds), Proceedings AAMAS 2007, pp. 876--883.
Michael Wooldridge, Thomas Ågotnes, Paul Dunne and Wiebe van der Hoek,
Logic for Automated Mechanism Design -- A Progress Report.
To appear in proceedings AAAI 2007.
Hans P van Ditmarsch, Wiebe van der Hoek and Barteld P Kooi,
Dynamic Epistemic Logic and Knowledge Puzzels. In U. Priss, S. Polovina and R. Hill (eds) Conceptual Structures: Knowledge Architectures for Smart Applications, Springer, LNAI 4604, pp. 45--58, 2007.

Dirk Walther, Wiebe van der Hoek and Michael Wooldridge,
Alternating-time Temporal Logic with Explicit Strategies. In D. Samet (ed.) Theoretical Aspects of Rationality and Knowledge (TARK XI) Presses Universitaires de Louvain pp. 269--278, 2007.
Omar Baqueiro, Peter McBurney and Wiebe van der Hoek,
The Performance of Option-Trading Software Agents: Initial Results, in A. Consiglio (ed) Artificial Markets Modeling, Lecture Notes in Economics and Mathematical Systems, Vol. 599, pp. 113 -- 126.
Paul Dunne, Wiebe van der Hoek and Michael Wooldridge,
A Logical Characterisation of Qualitative Coalitional Games.
Journal of Applied Non-Classical Logics, 17:4, pp. 477 -- 509, 2007.

Wiebe van der Hoek, Mark Roberts and Michael Wooldridge,
Social Laws in Alternating Time: Effectiveness, Feasibility, and Synthesis''.
Synthese:156:1, pp. 1 - 19, 2007.
Wiebe van der Hoek, Wojciech Jamroga and Michael Wooldridge,
Towards a Theory of Intention Revision
In Synthese, 155:2, pp. 265--290, 2007.
Thomas Ågotnes, Wiebe van der Hoek, and Michael Wooldridge,
Quantified Coalition Logic
In M.M. Veloso (ed.), Twentieth International Joint Conference on Artificial Intelligence (IJCAI), AAAI Press, California, pp. 1181--1186, 2007.
Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra and Michael Wooldridge,
On the Logic of Normative Systems, In M.M. Veloso (ed.), Twentieth International Joint Conference on Artificial Intelligence (IJCAI) AAAI Press, California, pp. 1175--1180, 2007.

2006

Wiebe van der Hoek and Marc Pauly,
``Modal Logic for Games and Information''
In Johan van Benthem, Patrick Blackburn, and Frank Wolter (eds), Handbook of Modal Logic., pp. 1077 --1148, Elsevier, 2006.
Model Checking Russian Cards
H.P. van Ditmarsch, W. van der Hoek, R. van der Meyden, and J. Ruan
Electronic Notes in Theoretical Computer Science Volume 149, Issue 2, 2006, Pages 105-123
Knowledge Condition Games.
S. van Otterloo, W. van der Hoek, and M. Wooldridge. In Journal of Logic, Language, and Information, 15:(4), 425-452, 2006.

On the Logic of Coalitional Games
Thomas Ågotnes, Wiebe van der Hoek, and Michael Wooldridge
In P. Stone and G. Weiss (eds), Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems, ACM Press, pp. 153--160, 2006.
Temporal Qualitative Coalitional Games
Thomas Ågotnes, Wiebe van der Hoek, and Michael Wooldridge
In P. Stone and G. Weiss (eds), Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems, ACM Press, pp. 177--184, 2006.
Reasoning about Action and Cooperation
Luigi Sauro, Jelle Gerbrandy, Wiebe van der Hoek, and Michael Wooldridge
In P. Stone and G. Weiss (eds), Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems, ACM Press, pp. 185--192, 2006.
On the Complexity of Practical ATL Model Checking
Wiebe van der Hoek, Alessio Lomuscio, and Michael Wooldridge
In P. Stone and G. Weiss (eds), Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems, ACM Press, pp. 201-208, 2006.
U. Hustadt, C. Dixon, R.A. Schmidt, M. Fisher, J.-J.Ch. Meyer and W. van der Hoek,
Verification within the KARO Agent Theory
In C. Rouff, M. Hinchey, J. Rash, W. Truszkowski, W. and D. Gordon-Spears, (Eds)
Agent Technology from a Formal Perspective Series NASA Monographs in Systems and Software Engineering, pp. 193--226,
2006.

2005

W. van der Hoek (editor)
Information, Interaction, and Agency Springer, ISBN 1-4020-3600-0 2005.
H. van Ditmarsch, W. van der Hoek and B. Kooi,
Playing Cards with Hintikka.
Australasian Journal of Logic , 3, pp 108--134, 2005.
H. van Ditmarsch, W. van der Hoek and B. Kooi,
Public Announcement and Belief Revision.
in R. Schmidt, I. Pratt-Hartmann,M. Reynolds and H. Wansing (eds), Advances in Modal Logic, King's College Publications, London, pp 335 -- 346, 2005.
M. Wooldridge and W. van der Hoek,
On obligations and normative ability: Towards a logical analysis of the social contract
Journal of Applied Logic, 4:3-4, pp. 396--420, 2005.
W. Jamroga, W. van der Hoek and M. Wooldridge,
Intentions and Strategies in Game-Like Scenarios
in C. Bento, A. Cardoso and G. Dias (eds)
LNCS vol. 3808 pp. 512 - 523, 2005.

N. de Carvalho Ferreira, M. Fisher and W. van der Hoek,
A Logical Implementation of Uncertain Agents
in C. Bento, A. Cardoso and G. Dias (eds)
LNCS vol. 3808 pp. 536 - 547, 2005.

W. van der Hoek and M. Wooldridge,
On the Dynamics of Delegation, Cooperation, and Control: A Logical Account
in F Dignum, V Dignum, S Koenig, S Kraus, M P Singh, M Wooldridge (eds), Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 05), ACM Inc, New York, pp 701--708, 2005.

W. van der Hoek, W. Jamroga, and M. Wooldridge,
A Logic for Strategic Reasoning
in F Dignum, V Dignum, S Koenig, S Kraus, M P Singh, M Wooldridge (eds), Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 05), ACM Inc, New York, pp 157--164, 2005.

W. van der Hoek, M. Roberts, and M. Wooldridge,
Knowledge and Social Laws
in F Dignum, V Dignum, S Koenig, S Kraus, M P Singh, M Wooldridge (eds), Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 05), ACM Inc, New York, vol. 1 pp 674--681, 2005.

H. van Ditmarsch, W. van der Hoek, and B.P. Kooi,
Dynamic Epistemic Logic with Assignment
in F Dignum, V Dignum, S Koenig, S Kraus, M P Singh, M Wooldridge (eds), Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 05), ACM Inc, New York, vol. 1 pp 141--148, 2005.

W. van der Hoek and M. Wooldridge,
On the Logic of Cooperation and Propositional Control
Artificial Intelligence, 64:1-2, pp. 81--119.

F.S. de Boer, W. de Vries, J.-J. Ch. Meyer, R.M. van Eijk, and W. van der Hoek
Process Algebra and Constraint Programming for Modelling Interactions in MAS,
Applicable Algebra for Engineering, Communication and Computing
16:2-3, pp. 113--150, 2005.
Mark Roberts, W. van der Hoek and M. Wooldridge,
`A Cooperation Logic Framework for Social Laws'
To appear in Expert Update, 2004.

2004

H. Aldewereld, W. van der Hoek & J.-J.Ch. Meyer,
Rational Teams: Logical Aspects of Multi-Agent Systems,
in Fundamenta Informaticae, 63:2-3, pp. 159 -- 183, 2004
H. van Ditmarsch, W. van der Hoek and B. Kooi,
Playing Cards with Hintikka: An introduction in Dynamic Epistemic Logic Manuscript, in Phinews, 6, pp 6 -- 32, 2004.
Dixon, C., Fernandez Gago, M.C., Fisher,M., and van der Hoek, W.,
Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols
in the Proceedings of TIME 2004, 1st-3rd July 2004, Tatihou, Normandie, France. IEEE.
W. van der Hoek and A. Lomuscio,
A Logic of Ignorance (extende abstract),
in J. Leite, A. Omicini, L. Sterling and P Torroni (eds), Declarative Agent Languages and Technologies
LNAI 2990, pp. 97 -- 108, 2004.
P. Dunne and W. van der Hoek,
Representation and Complexity in Boolean Games.
In José Júlio Alferes and João Alexandre Leite (eds), Proceedings of JELIA 2004,
LNCS 3229, pp. 347--359, 2004.
N. de Carvalho Ferreira, M. Fisher and W. van der Hoek,
Practical Reasoning for Uncertain Agents
In José Júlio Alferes and João Alexandre Leite (eds), Proceedings of JELIA 2004,
LNCS 3229, pp. 82--94, 2004.
S. van Otterloo, W. van der Hoek and M Wooldrige,
Model Checking a Knowledge Exchange Scenario
Applied Artificial Intelligence, 18:9-10, pp. 937--952, 2004.

W. van der Hoek,
Knowledge, Rationality and Action,
in N.R. Jennings, C. Sierra, L. Sonenberg and M. Tambe (eds),
Proceedings of the Third International Joint Conference on Autonomous Agents and Multi Agent Systems,
(invited contribution) pp. 16--25, 2004.
W. van der Hoek, J. Jaspars and E. Thijsse,
Theories of Knowledge and Ignorance,
in S. Rahman, J. Symons, D.M. Gabbay and J.P. van Bendegem (eds),
"Logic, Epistemology and the Unity of Science", pp. 381--418, Kluwer, 2004.
S. van Otterloo, W. van der Hoek and M. Wooldridge,
Knowledge Condition Games
To be presented at Game Theoretic and Decision Theoretic Agents,
New York, July 2004.
W. van der Hoek and A. Lomuscio,
A Logic of Ignorance,
in Electronic Notes in Theoretical Computer Science
85:2, 2004.
S. van Otterloo, W. van der Hoek and M. Wooldridge,
Knowledge as Strategic Ability,
in Electronic Notes in Theoretical Computer Science
85:2, pp. 1--23, 2004.
S. van Otterloo, W. van der Hoek and M. Wooldridge,
Preferences in Game Logics,
in N.R. Jennings,, C. Sierra, L. Sonenberg and M. Tambe (eds),
Proceedings of the Third International Joint Conference on Autonomous Agents and Multi Agent Systems,
pp. 152 -- 159, 2004.
W. van der Hoek, M. Pauly and M. Wooldridge,
Teams over Time - a Logical Perspective
Submitted to N. Gold (ed.), Teamwork: Multi- Professional Perspectives, Palgrave Macmillan, pp. 161 -- 180.
W. Jamroga & W. van der Hoek,
Agents that Know how to Play
Fundamenta Informaticae, 63:2-3, pp. 185 -- 219, 2004.
W. Jamroga, W. van der Hoek & M.J. Wooldridge,
Obligations versus abilities of agents via Deontic ATL
in A. Lomuscio and D. Nute (eds), "Deontic Logic in Computer Science", LNAI 3065, pp. 165--182 (2004).

2003

W. van der Hoek, J.-J.Ch. Meyer, and J. Treur,
Formal Semantics of Meta-Level Architectures: Temporal Epistemic Reflection.
International Journal of Intelligent Systems, 18, 2003, pp. 1293-1318.
H. van Ditmarsch, W. van der Hoek and B. Kooi,
Concurrent Dynamic Epistemic Logic.
In V.F. Hendricks, K.F. Jorgensen and S.A. Pederson (eds),
Knowledge Contributors, Kluwer Academic Press, pp. 105 -- 143 2003.
W. van der Hoek and A. Lomuscio.
Ignore at your peril - towards a logic for ignorance. In J.S. Rosenschein, T. Sandholm, M. Wooldridge and M. Yokoo (eds),
Proceedings of the second international joint conference on autonomous agents and multiagent systems (AAMAS), pp. 1148 -- 1149 (poster presentation), 2003.
Paul Harrenstein, Wiebe van der Hoek, John-Jules Meyer and Cees Witteven,
A Modal Characterization of Nash Equilibrium
Fundamenta Informaticae, 57:2--4, pp. 281--321, 2003.
W. van der Hoek and M.J.W. Wooldridge,
Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications
Studia Logica,75:1, pp. 125 -- 157, 2003.
H.P. van Ditmarsch, W. van der Hoek & B.P. Kooi,
Descriptions of Game States.
In:G. Mints, R. Muskens (eds), Games, Logic and Constructive Sets,
CSLI Lecture Notes 161, pp. 43--58, 2003.
S. van Otterloo, W. van der Hoek & M.J.W. Wooldridge,
Model Checking a Knowledge Exchange Scenario
Accepted for `Model Checking for Artificial Intelligence', workshop at IJCAI'03.
W. van der Hoek and M.J.W. Wooldridge,
Model Checking Cooperation, Knowledge, and Time --A Case Study
Research in Economics, 57:3, pp. 235--265, 2003.
H. Aldewereld, W. van der Hoek & J.-J.Ch. Meyer,
Rational Teams: Logical Aspects of Multi-Agent Systems,
in B. Dunin-Keplicz and R. Verbrugge (eds), FAMAS03 - Formal Approaches to Multi-Agent Systems, pp. 37 -- 52, 2003.
R. van Eijk, F. de Boer, W. van der Hoek & J.-J.Ch. Meyer,
A Fully Abstract Model for the Exchange of Information in Multi-Agent Systems,
Theoretical Computer Science, 290:3 pp. 1753 -- 1773, 2003.
W. van der Hoek and M.J.W. Wooldridge,
Towards a Logic of Rational Agency,
Logic Journal of the IGPL, 11:2, pp. 135 -- 160, 2003.
J.W. Roorda, W. van der Hoek and J.-J.Ch Meyer
Iterated Belief Change in Multi Agent Systems,
Logic Journal of the IGPL, 11:2, pp. 223--246, 2003.
H. van Ditmarsch, W. van der Hoek and B. Kooi,
Concurrent Dynamic Epistemic Logic for Multi Agent Systems.
In J.S. Rosenschein, T. Sandholm, M. Wooldridge and M. Yokoo (eds),
Proceedings of the second international joint conference on autonomous agents and multiagent systems (AAMAS), pp. 201--208, 2003.
B.M. van Riemsdijk, W. van der Hoek and J.-J.Ch Meyer,
Agent Programming in Dribble: from Beliefs to Goals with Plans.
In J.S. Rosenschein, T. Sandholm, M. Wooldridge and M. Yokoo (eds),
Proceedings of the second international joint conference on autonomous agents and multiagent systems (AAMAS), pp. 393--400, 2003.
R. van Eijk, F. de Boer, W. van der Hoek & J.-J.Ch. Meyer,
Process Algebra for Agent Communication: A General Semantic Approach,
In M.P. Huget (ed), Communication in Multiagent Systems - Agent Communication Languages and Conversation Policies,
Springer Verlag, LNCS, 2650, pp. 113--128, 2003.
R. van Eijk, F. de Boer, W. van der Hoek and J.-J.Ch. Meyer,
A Verification Framework for Agent Communication,
Autonomous Agents and Multi-Agent Systems, 6, pp. 185--219, 2003.

2002

M. Dastani, F. Boer, F. Dignum, W. van der Hoek, M. Kroese, J.J. Meyer,
Implementing Cognitive Agents in 3APL,
Proceedings of the The 14th Belgian-Dutch Conference on Artificial Intelligence (BNAIC2002), Leuven, Belgium, 2002.
M. Dastani, F. Boer, F. Dignum, W. van der Hoek, M. Kroese, and J.J.-Ch. Meyer,
Programming the Deliberation Cycle of Cognitive Robots,
In: Proceedings of the The Third International Cognitive Robotics Workshop, Held in conjunction with AAAI-2002, Edmonton, Canada 2002.
W. van der Hoek, and R. Verbrugge,
Epistemic Logic: a Survey
In: L.A. Petrosjan and V.V. Mazalov (eds.), Game Theory and Applications, vol. 8, New York, Nova Science Publishers, 2002. ISBN:1-59033-373-, pp. 53-94.
W. van der Hoek and E. Thijsse,
A General Approach to Multi-Agent Minimal Knowledge: With Tools and Samples,
Studia Logica, 72,1, pp. 61--84, 2002.
W. van der Hoek,
`Agents Serving Science'
Dealing with the Data Flood--mining data, text and multimedia J. Mey (ed.), STT/Beweton, The Hague, pp. 49 -- 63, ISBN 90-804496-6-0, 2002
B.P. Harrenstein, W. van der Hoek, J.-J.Ch. Meyer and Cees Witteveen
On Modal Logic Interpretations of Games,
in F. van Harmelen (ed.), ECAI 2002, 15th European Conference on Artificial Intelligence,
IOS Press, Amsterdam, pages 28--32, 2002.
W. van der Hoek and M.J. Wooldridge
Tractable Multi Agent Planning for Epistemic Goals,
in C. Castelfranchi and W.L. Johnson (eds), Proceedings of the First Internation Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS),
ACM Press, New York, USA, pp. 1167--1174, 2002.
J.W. Roorda, W. van der Hoek and J.-J.Ch Meyer
Iterated Belief Change in Multi Agent Systems,
in C. Castelfranchi and W.L. Johnson (eds), Proceedings of the First Internation Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS),
ACM Press, New York, USA, pp. 889--896, 2002.
W. van der Hoek and M.J. Wooldridge,
Model Checking Knowledge and Time
In D. Bosnacki and S. Leue (eds), Model Checking Software (Procs SPIN 2002), LNCS 2318, pp. 95--111, 2002
W. de Vries, F. de Boer, K Hindriks, W. van der Hoek and J.-J.Ch Meyer,
A Programming Language for Coordinating Group Actions
In B. Dunin-Keplicz and Edward Nawarecki (eds), From Theory to Practice in Multi-Agent Systems, LNAI 2296, pages 313--321 (2002)
N. Agray, W. van der Hoek and E. de Vink,
On BAN Logics for Industrial Security Protocols
In B. Dunin-Keplicz and Edward Nawarecki (eds), From Theory to Practice in Multi-Agent Systems, LNAI 2296, pages 29--36 (2002)

2001

J.-J. Ch. Meyer, F.S. de Boer, R.M. van Eijk, K.V. Hindriks & W. van der Hoek,
`On Programming KARO Agents,'
Logic Journal of the IGPL 9 (2), 2001, pp. 245-256.
R. van Eijk, F. de Boer, W. van der Hoek & J.-J.Ch. Meyer,
`Modal Logic with Bounded Quantification over Worlds'
Journal of Logic and Computation}, 11:5 (2001), pp.701--715}.
R. van Eijk, F. de Boer, W. van der Hoek & J.-J.Ch. Meyer,
`On Dynamically Generated Ontology Translators in Agent Communication'
International Journal of Intelligent Systems, 16:5 (2001) pp. 587--607.
K.V. Hindriks, F.S. de Boer, W.van der Hoek and J.-J.Ch. Meyer,
A Programming Logic for Part of the Agent Language 3APL
In Rash, J.L. and Rouff, C.A.and Truszkowski, W.and Gordon, D. and Hinchey, M.G. (eds), Procs Formal Approaches to Agent-Based Systems, FAABS 2000, LNAI 1871, pages 78--89, 2001.
C. Witteveen and W. van der Hoek,
How to Recover from (Non-)monotonic Inconsistency. In L. Cavedon, P. Blackburn, N. Braisby and A. Shimojima (eds), Logic, Language and Computation. Stanford, USA, CSLI Publications, pp. 319-340 (2001).
W. van der Hoek, J.-J.Ch. Meyer and J. Treur,
Temporalizing Epistemic Default Logic.
In D.M. Gabbay and Ph. Smets, (eds), Handbook of Defeasible Reasoning and Uncertainty Management Systems, Kluwer, Dordrecht, The Netherlands, pp. 177--194, 2001.
W. van der Hoek, J.-J.Ch. Meyer and J. Treur,
Formal Semantics of Temporal Reflection.
In D.M. Gabbay and Ph. Smets, (eds), Handbook of Defeasible Reasoning and Uncertainty Management Systems, Kluwer, Dordrecht, The Netherlands, pp. 41--63, 2001.
B. van Linder, W. van der Hoek, and J.-J.Ch. Meyer,
The Dynamics of Default Reasoning.
In D.M. Gabbay and Ph. Smets, (eds), Handbook of Defeasible Reasoning and Uncertainty Management Systems, Kluwer, Dordrecht, The Netherlands, pp. 125--157, 2001.
K.V. Hindriks, F.S. de Boer, W. van der Hoek and J.-J.Ch. Meyer,
Agent Programming with Declarative Goals
, in C. Castelfranchi and Y. Lespérance (eds), Intelligent Agents VII, Proceedings of the 6th workshop on Agent Theories, Architectures, and Languages (ATAL), LNAI 1986, pages 228--243 2001.
F. Groen, W van der Hoek, P. Jonker, B. Kröse, H. Spoelder, and S. Stramigioli,
RoboCup European Championship: Report of the Amsterdam 2000 Event,
Robotics and Autonomous Systems, 36, pp. 59-66 (2001).
R.M. van Eijk, F.S. de Boer, W. van der Hoek and J.-J.Ch. Meyer,
Generalised Object-Oriented Concepts for Inter-Agent Communication,
in C. Castelfranchi and Y. Lespérance (eds), Intelligent Agents VII, Proceedings of the 6th workshop on Agent Theories, Architectures, and Languages (ATAL), LNAI 1986, pages 260--274 2001.
U. Hustadt, C.Dixon, R.A. Schmidt, M. Fisher, J.-J.Ch. Meyer and W. van der Hoek,
Verification with the KARO Agent Theory (extended abstract)
In Rash, J.L. and Rouff, C.A.and Truszkowski, W.and Gordon, D. and Hinchey, M.G. (eds), Procs Formal Approaches to Agent-Based Systems, FAABS 2000, LNAI 1871, pages 33--47, 2001.
ABSTRACT
W. van der Hoek,
Logical Foundations of Agent-Based Computing
In M. Luck, V. Marík, O. Stepánková and R. Trappl (eds), Multi-Agent Systems and Applications, LNAI 2086, Springer Verlag, pp. 50--73 (2001).
W. de Vries, F. de Boer, W. van der Hoek and J.-J.Ch Meyer,
A Truly Concurrent Model for Interacting Agents
In Soe-Tsyr Yuan and Makoto Yokoo (eds), Proceedings of the Second International Workshop of Central and Eastern Europe on Multi-Agent Systems,
pages 297--304 (2001)
U. Hustadt, C.Dixon, R.A. Schmidt, M. Fisher, J.-J.Ch. Meyer and W. van der Hoek,
Reasoning about Agents in the KARO Framework
In C. Bettini, A. Montanari, (eds.), Proceedings of the Eighth International Symposium on Temporal Representation and Reasoning (TIME-01), pp. 206-213, Los Alamitos, USA, IEEE Press (2001).
P. Harrenstein, W. van der Hoek, J.-J.Ch. Meyer and C. Witteveen,
Boolean Games
In J. van Benthem (ed.), Theoretical Aspects of Rationality and Knowledge (Proceedings of the eight TARK conference),
Morgan Kaufmann Publishers, pp. 287--298 (2001).
W. van der Hoek and E. Thijsse,
Characterizing Knowledge States (extended abstract),
in Logic, Game Theory and Social Choice,
Proceedings of LGS2, Saint-Petersburg State University, pp. 100--101 (2001).

2000

W. van der Hoek, B. van Linder & J.-J. Ch. Meyer,
`On Agents That Have the Ability to Choose', Studia Logica 65 (2000) pp. 79--119.
K. Hindriks, F.S. de Boer, W. van der Hoek, J.-J.Ch. Meyer,
`Semantics of Communicating Agents Based on Deduction and Abduction'
Issues in Agent Communication
F. Dignum and M. Greaves (eds), LNCS 1916, Springer-Verlag, Heidelberg, pp 63--79 (2000).
R.M. van Eijk, F.S. de Boer, W. van der Hoek, J.-J.Ch. Meyer,
`Operational Semantics for Agent Communication Languages'
Issues in Agent Communication
F. Dignum and M. Greaves (eds), LNCS 1916, Springer-Verlag, Heidelberg, pp 80--95 (2000).
R.M. van Eijk F.S. de Boer, W. van der Hoek, J.-J.Ch. Meyer,
`A Modal Logic for Network Topologies'
Proceedings of the 7th European Workshop on Logics in Artificial Inteligence (JELIA 2000)
M. Ojeda-Aciego, I.P. de Guzman, G. Brewka, and L.M. Pereira (eds), LNCS 1919, Springer-Verlag, Heidelberg, pp. 269--283 (2000).
W. van der Hoek, J. Jaspars and E. Thijsse,
`A General Approach to Multi-Agent Minimal Knowledge',
Proceedings of the 7th European Workshop on Logics in Artificial Inteligence (JELIA 2000),
M. Ojeda-Aciego, I.P. Guzman, G. Brewka, and L.M. Pereira (eds), LNAI 1919, Springer-Verlag, Heidelberg, pp. 254--268, (2000).
R.M. van Eijk F.S. de Boer, W. van der Hoek, J.-J.Ch. Meyer,
`Failure Semantics for the Exchange of Information in Multi-Agent Systems',
Proceedings of the 11th International Conference on Concurrency Theory (CONCUR 2000),
C. Palamidessi (ed.) LNCS 1877, Springer-Verlag, Heidelberg, pp. 214--228 (2000).
W. van der Hoek & C. Witteveen,
`Classical and General Frameworks for Recovery',
14th European Conference on Artificial Intelligence (ECAI),
W. Horn (ed.), IOS Press, the Netherlands, pp. 33 -- 37 (2000).
R.M. van Eijk F.S. de Boer, W. van der Hoek, J.-J.Ch. Meyer,
`Open Multi-Agent Systems: Agent Communication and Integration',
Intelligent Agents VI, Proceedings of 6th International Workshop on Agent Theories Architectures, and Languages (ATAL'99) ,
N.R. Jennings and Y. Lesperance (eds), LNAI 1757, Springer. pp. 218--232 (2000).
W. van der Hoek, J.-J.Ch. Meyer and J.W. van Schagen,
`Formalizing Potential of Agents: The KARO framework revisited'
in Formalizing the Dynamics of Information, Martina Faller, Stefan Kaufmann, and Marc Pauly (eds.), CSLI Publications Stanford (CSLI Lecture Notes 91), 2000, pp. 51 -- 67.

1999

W. van der Hoek, J. Jaspars & E. Thijsse,
`Persistence and Minimality in Epistemic Logic'
Annals of Mathematics and Artificial Intelligence., 27 (1999) pp. 25--47.
John-Jules Meyer, W. van der Hoek and B. van Linder
`A logical approach to the dynamics of commitments'
Artificial Intelligence (113) 1--2 (1999), pp. 1 -- 41.
Koen V. Hindriks, Frank S. De Boer, Wiebe Van der Hoek, John-Jules Ch. Meyer
`Agent Programming in 3APL',
Autonomous Agents and Multi-Agent Systems (2)4 (1999), pp. 357--401.
W. van der Hoek, B. van Linder, & J.-J.Ch. Meyer
Group knowledge is not always distributed (neither is it always implicit)
Mathematical social sciences, 38, (1999) pp. 215--240.
C. Witteveen & W. van der Hoek,
`Recovering from inconsistency: a general framework for theory recovery',
WAIT '99: proceedings of the Argentina Workshop on Theoretical Computer Science, organised by IFIP., pp. 37 -- 50 (1999).
W. van der Hoek,
Bookreview of G. Antoniou's book 'Nonmonotonic Reasoning'.
Journal of Logic, Language and Information, 9, pp. 225-228 (1999).
M. de Weerdt, F.S. de Boer, W. van der Hoek and J.-J.Ch. Meyer,
`Imprecise observations of mobile robots specified by a mobile robot',
Proceedings of the fifth annual conference of the Advanced School for Computing and Imaging (ASCI'99), Heijen, The Netherlands, June 15-17, 1999. M. Boasson, J.A. Kaandorp, J.F.M. Tonino and M.G. Vosselman (eds) pp. 184--190 (1999).
Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek and John-Jules Ch. Meyer,
`Control Structures of Rule-Based Agent Languages',
Intelligent Agents V, Proceedings of the 5th workshop on Agent Theories, Architectures, and Languages (ATAL), J.P. M&uuller, M.P. Sing and A.S. Rao (eds.), LNAI 1555, Springer, pp. 381--396 (1999).
R.M. van Eijk, F.S. de Boer, W. van der Hoek and J.-J.Ch. Meyer,
`Information-Passing and Belief Revision in Multi-Agent Systems',
Intelligent Agents V, Proceedings of the 5th workshop on Agent Theories, Architectures, and Languages (ATAL), J.P. M&uuller, M.P. Sing and A.S. Rao (eds.), LNAI 1555, Springer, pp. 29--45 (1999).
W. van der Hoek and M. de Rijke,
`Interleaved Contractions'
in Logic, Language and Computation (Vol. 2), L.S. Moss, J.Ginzburg and M. De Rijke (eds), CSLI Publications Stanford, 1999, pp. 106 - 127.
W. van der Hoek, B. van Linder and J.-J. Ch. Meyer,
`An integrated Modal Approach to Rational Agents',
in Foundations of Rational Agency M. Wooldridge and A. Rao (eds.), Kluwer, Dordrecht, 1999, pp. 37 - 75.

1998

C. Witteveen and W. van der Hoek
Recovery of (non)monotonic theories,
Artificial Intelligence (106)1 (1998) pp. 139--159.
B. van Linder, W. van der Hoek, & J.-J.Ch. Meyer
Formalizing Abilities and Opportunities of Agents
Fundamenta Informaticae, 34, 1,2 (1998) pp. 53--101.
W. van der Hoek, J.-J.Ch. Meyer & J. Treur
Temporalizing Epistemic Default Logic
The Journal of Logic, Language and Information, 7, 3 (1998) pp. 341--367.
R.M. van Eijk, F.S. de Boer, W. van der Hoek, and J.-J.Ch Meyer,
A language for modular information-passing agents.
CWI Quarterly, 11:2, 3), pp. 273-297 (1998).
Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek and John-Jules Ch. Meyer,
`A Formal Embedding of AgentSpeak(L) in 3APL',
Advanced Topics in Artificial Intelligence LNAI 1502, Springer, G. Antoniou and J. Slaney (eds.), pp. 155 -- 166 (1998).
Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek and John-Jules Ch. Meyer,
Failure, monitoring and recovery in the agent language 3APL,
AAAI 1998 Fall Symposium on Cognitive Robotics, G. De Giacomo (ed.), pp. 68--75 (1998).
W. van der Hoek, J. Jaspars and E. Thijsse,
`Persistence and Minimality in Epistemic Logic',
Logics in Artificial Intelligence (JELIA '98) , LNAI 1489, Springer, J. Dix, L. Farinas del Cerro and U. Furbach (eds), pp. 62 -- 76 (1998).
R.M. van Eijk, F.S. de Boer, W. van der Hoek and J.-J.Ch. Meyer,
Constructing Translations Between Individual Vocabularies in Multi-Agent Systems,
eigth International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA'98), LNAI 1480, Springer, F. Giunchiglia (ed.), pp. 240--253 (1998).
R.M. van Eijk, F.S. de Boer, W. van der Hoek and J.-J.Ch. Meyer,
`Systems of Communicating Agents',
Proceedings of the 13th biennial European Conference on Artificial Intelligence (ECAI-98), H. Prade (ed.), pp. 293--297 (1998).
K.V. Hindriks, F.S. De Boer, W. van der Hoek and J.-J.Ch Meyer,
`Formal Semantics for an Abstract Agent Programming Language',
Intelligent Agents IV (ATAL), LNAI 1365, Springer, M.P. Sing, A.S. Rao and M. Wooldridge (eds), pp. 215--229 (1998).
J.-J. Ch. Meyer & W. van der Hoek,
Modal Logics for Representing Incoherent Knowledge,
in Handbook of Defeasible Reasoning and Uncertainty Management Systems D.M. Gabbay and Ph. Smets (eds.), Kluwer, Dordrecht, 1998, Vol 2 pp. 37 - 75.

1997

W. van der Hoek,
`Some Considerations on the Logic PFD'
Journal of Applied Non-Classical Logics, 7, 3 (1997) pp. 287-3-7
B. van Linder, W. van der Hoek & J.-J. Ch. Meyer,
Seeing is Believing (and so are hearing and jumping)
Journal of Logic, Language and Information, 6 (1997) pp. 33-61.
B. van Linder, W. van der Hoek & J.-J. Ch. Meyer,
The Dynamics of Default Reasoning
Data and Knowledge Engineering., 21, 3 (1997) pp. 317-346.
C. Witteveen & W. van der Hoek,
`A General Framework for revising non-monotonic theories',
Logic Programming and Non-Monotonic Reasoning, J. Dix et al, LNAI 1265, Springer, Heidelberg, pp. 258--272 (1997).
W. van der Hoek and M. de Rijke,
`Sahlqvist Identities',
Encyclopaedia of Mathematics Supplement Volume I, M. Hazewinkel (ed.), pp 445, Kluwer Acad. Publ. 1997.
W. van der Hoek and M. de Rijke,
`Sahlqvist Theorem',
Encyclopaedia of Mathematics Supplement Volume I, M. Hazewinkel (ed.), pp 445, Kluwer Acad. Publ. 1997.
W. van der Hoek & J.-J. Ch. Meyer,
`A Complete Epistemic Logic for Multiple Agents--Combining Distributed and Common Knowledge',
in Epistemic Logic and the Theory of Games and Decisions M.O.L. Bacharach, L.A. Gerard-Varet, P. Mongin and H.S. Shin (eds.), Kluwer, Dordrecht, 1997, pp. 35 - 68.

1996

W. van der Hoek, J. Jaspars & E. Thijsse,
`Honesty in Partial Modal Logic' Studia Logica., 56, 3 (1996) pp. 323-360.
J.-J.Ch. Meyer & W. van der Hoek
A modal contrastive logic: the logic of but
Annals of Mathematics and Artificial Intelligence, 17, 3,4 (1996) pp. 291-313.
W. van der Hoek,
`Qualitative Modalities'
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems. 4, 1 (1996) pp. 45-61.
C. Witteveen & W. van der Hoek,
`Revision and Updating using a Back-up Semantics',
Proceedings Logics in Artificial Intelligence (JELIA'96) J.J. Alferes, L.M.Pereira and E. Orlowska (eds), LNAI 1126, pp. 388-403 (1996).
B. Wondergem, T. Huibers, W. van der Hoek & C. Witteveen,
`Preferential Semantics for Query By Navigation',
Informatiewetenschap 96 K. van der Meer (ed), Delft, 1996, ISBN 90-9010173-X, pp. 153-168 (1996).
C. Witteveen & W. van der Hoek,
`Updating Nonmonotonic Databases',
Proceedings of the fourth Israel Symposium on Theory of Computing and Systems (ISTCS'96) IEEE Computer Society Press, California, pp. 147-153 (1996).
C. Witteveen & W. van der Hoek,
`Some Postulates for Nonmontonic Theory Revision Applied to Logic Programming',
Extensions of Logic Programming R. Dychkhoff, H. Herre & P Schroeder-Heister (eds), LNAI 1050, pp. 302-318 (1996).
B. van Linder, W. van der Hoek and J.-J.Ch. Meyer,
`Formalising Motivational Attitudes of Agents: On Preferences, Goals and Commitments',
Intelligent Agents Volume II -- Agent Theories, Architectures, and Languages. M. Wooldridge, J.P. Müller & M. Tambe (eds), LNCS 1037, pp. 17--32 (1996).
W. van der Hoek & J.-J. Ch. Meyer,
`Modalities for Reasoning about Knowledge and Uncertainties',
in Partiality, Modality and Nonmonotonicity P. Doherty (ed.), CSLI & FoLLI, 1996, pp. 77 - 110.
C. Witteveen & W. van der Hoek,
`Revision and Updating using a Back-up Semantics',
Proceedings of the eigth Dutch Conference on Artificial Intelligence (NAIC'96) J.-J.Ch. Meyer and L.C. van der Gaag (eds), pp 393-404.
W. van der Hoek, B. van Linder & J.-J.Ch. Meyer,
`Group Knowledge Isn't Always Distributed'
Proceedings of the eigth Dutch Conference on Artificial Intelligence (NAIC'96) J.-J.Ch. Meyer and L.C. van der Gaag (eds), pp 205-212.

1995

J.-J.Ch. Meyer &W. van der Hoek,
Epistemic Logic for Computer Science and Artificial Intelligence, Cambridge Tracts in Theoretical Computer Science 41, Cambridge University Press (1995) ISBN 0 521 46014.
W. van der Hoek & M. de Rijke,
Counting Objects
Journal of Logic and Computation, 5, 3 (1995) pp. 325-345.
J.-J. Ch. Meyer & W. van der Hoek,
`A Default Logic Based on Epistemic States'
Fundamenta Informaticae, 23, 1 (1995) pp. 33-65.
B. van Linder, W. van der Hoek and J.-J.Ch. Meyer,
`Seeing is Believing - and so are Hearing and Jumping',
Proceedings of Italian AI Conference. M. Gori & G. Soda (eds), LNCS 992 (1995), pp. 402--413.
C. Witteveen & W. van der Hoek, `Belief Revision for Multiple Agents',
Proceedings of the First International Workshop on Decentralized Intelligent Multi Agent Systems (DIMAS'95). ISBN 83-86813-10-5, pp. 427-434.
W. van der Hoek, B. van Linder & J.-J.Ch. Meyer, `Modelling Rational Agents',
Proceedings of the First International Workshop on Decentralized Intelligent Multi Agent Systems (DIMAS'95). ISBN 83-86813-10-5, pp. 215-224.
W. van der Hoek, B. van Linder & J.-J.Ch. Meyer, `Modelling Rational Agents',
Proceedings of the First International Workshop on Decentralized Intelligent Multi Agent Systems (DIMAS'95). ISBN 83-86813-10-5, pp. 215-224.
B. van Linder, W. van der Hoek & J.-J. Ch. Meyer,
`The Dynamics of Default Reasoning (Extended Abstract)',
Symbolic and Quantitative Approaches to Reasoning and Uncertainty (Proceedings of ECSQARU'95), (C. Froidevaux and J. Kohlas, eds.) LNAI 861, 1995, pp. 277-284.
W. van der Hoek, B. van Linder & J.-J.Ch. Meyer,
`Group Knowledge Isn't Always Distributed'
Bi-annual Israelian Symposium on the Foundations of AI '95 (M. Koppel & E. Shamir, eds.), 1995, pp. 191-200.
C. Witteveen and W. van der Hoek,
`Revision by Communication (program revision by consulting weaker semantics)'
Logic Programming and Nonmonotonic Reasoning, (V.W. Marek, A. Nerode & M. Truszczynski, eds.), LNAI 928, 1995, pp. 189-202.
W. van der Hoek, J.-J. Ch. Meyer & J. Treur,
`Temporalizing Epistemic Default Logic' (extended abstract),
in Information Systems - Correctness and Reusability (IS-CORE'94) R. Wieringa & R. Feenstra (eds), World Scientific, 1995, pp.173 - 190.
B. van Linder, W. van der Hoek & J.J.Ch. Meyer,
`Actions that make you change your mind'
in Knowledge and Belief in Philosophy and Artificial Intelligence, A. Laux and H. Wansing (eds), Akademie Verlag, (1995) pp. 103-146.

1994

W. van der Hoek, J.-J. Ch. Meyer, & J. Treur,
`Formal Semantics of Temporal Epistemic Reflection' (extended abstract)',
Logic Program Synthesis and Transformation - Meta-Programming in Logic. 4th International Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 1994, (Laurent Fribourg and Franco Turini, eds.) LNCS 883, 1994, pp. 332-352.
W. van der Hoek, J.-J. Ch. Meyer & J. Treur,
`Formal Semantics of Temporal Epistemic Reflection' (extended abstract),
pre-proc. META'94 (4th Int.Workshop on Meta Programming in Logic), Techn. Report TR- 7/94, Univ. di Pisa.
L. Godo, W. van der Hoek, J.-J. Ch. Meyer & C. Sierra,
`Many-Valued Epistemic States. An Application to a Reflective Architecture: MILORD-II' (extended abstract),
Proc. 5th Int. Conf. on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU'94), pp. 950-956.
B. van Linder, W. van der Hoek and J.-J.Ch. Meyer,
`Communicating Rational Agents',
KI-94: Advances in Artificial Intelligence, B. Nebel and L. Drechsler-Fischer (eds), LNCS 861, 1994, pp. 202-213.
W. van der Hoek, B. van Linder and J.-J.Ch. Meyer,
`Unravelling Nondeterminism: On having the ability to choose',
Artificial Intelligence: Methodology, Systems, Applications (AIMSA'94), P. Jorrand and V. Sgurev (eds), 1994, pp. 163-172.
B. van Linder, W. van der Hoek and J.-J.Ch. Meyer,
`Tests as Epistemic Updates',
Proceedings of the 11th European Conference on Artificial Intelligence (ECAI'94), A.G. Cohn (ed), Wiley, Chicester (1994), pp. 331--335.
W. van der Hoek, B. van Linder and J.-J.Ch. Meyer,
`A Logic of Capabilities'
Proceedings of the Third International Symposium on the Logical Foundations of Computer Science (LFCS'94), A. Nerode and Yu. V. Matiyasevich (eds), LNCS 813, 1994, pp. 366-378.
C. Witteveen, W. van der Hoek & H. de Nivelle,
`Revision of Non-Monotonic Theories (Some postuales and an application to logic programming)'
Logics of Artificial Intelligence, C. MacNish, D. Pearce and L.M. Pereira (eds) LNCS 838, 1994, pp. 137 - 151.
W. van der Hoek, J. Jaspars & E. Thijsse
`Honesty in Partial Logic'
proceedings of the fourth international conference on Principles of Knowledge Representation and Reasoning (KR'94), J. Doyle, E. Sandewall, P. Torasso (eds) Morgan Kaufmann, 1994, pp. 583-594.

1993

W. van der Hoek & M. de Rijke,
`Generalized Quantifiers and Modal Logic'
Journal of Logic, Language and Information, 2, 1 (1993) pp. 19-58.
J.-J. Ch. Meyer & W. van der Hoek,
`Counterfactual reasoning by (means of) defaults'
Annals of Mathematics and Artificial Intelligence, 9, III-IV (1993), pp. 345-360.
W. van der Hoek,
Systems for Knowledge and Beliefs
Journal of Logic and Computation, 3, 2 (1993) pp. 173-195.
J.-J.Ch. Meyer & W. van der Hoek,
`A Cumulative Default Logic Based on Epistemic States'
European Conference on Symbolic and Quantitative Approaches to Uncertainty, M. Clarke, R. Kruse, S. Moral (eds), LNCS 747 1993, pp. 265-273.
C. Witteveen & W. van der Hoek,
`Belief Revision in Truth Maintenance'
European Conference on Symbolic and Quantitative Approaches to Uncertainty, M. Clarke, R. Kruse, S. Moral (eds), LNCS 747 1993, pp.380-387.
W. van der Hoek, M. van Hulst & J.-J.Ch. Meyer,
`Towards an Epistemic Approach to Reasoning about Concurrent Programs'
Semantics: Foundations and Applications, J.W. de Bakker, W.-P. de Roever, G. Rozenberg (eds), LNCS 666 (1993), pp 261-287.
W. van der Hoek, J.-J.Ch. Meyer & B. van Linder,
A Logic of Capabilities,
Abstract in: AAAI-Spring Symposium Series, Symposium Reasoning about Mental States: Formal Theories and Applications, pp. 150-160, Stanford, 1993.
W. van der Hoek & M. de Rijke,
Generalized Quantifiers and Modal Logic,
in: Generalized Quantifier Theory and Applications, J. van der Does and J. van Eijck (eds.),
Dutch Network for Language, Logic and Information (1991) pp. 115-142.
J.-J. Ch. Meyer, W. van der Hoek & G.A.W. Vreeswijk,
Epistemic Logic for Computer Science: A Tutorial, Part I,
EATCS bulletin No 44, 242 - 270 (1991).
J.-J. Ch. Meyer, W. van der Hoek & G.A.W. Vreeswijk,
Epistemic Logic for Computer Science: A Tutorial, Part II,
EATCS bulletin No 45, 256 - 287 (1991)

1992

W. van der Hoek & J.-J.Ch. Meyer,
`Making Some Issues of Implicit Knowledge Explicit'
International Journal of Foundations of Computer Science, 3, 2 (1992) pp. 193-224.
W. van der Hoek,
`On the Semantics of Graded Modalities'
Journal of Applied Non-Classical Logics, 2, 1 (1992) pp. 81-123.
W. van der Hoek & J.-J.Ch. Meyer,
`Graded Modalities for Epistemic Logic'
Logical Foundations of Computer Science, A Nerode and M. Taitslin (eds) LNCS 620, Springer, Berlin (1992) pp. 503-514.
W. van der Hoek,
`Some Considerations on the Logic PFD'
Logic Programming, A. Voronkov (ed.), LNCS 592, Springer, Berlin (1992), pp. 474-485.
J.-J.Ch. Meyer & W. van der Hoek,
`A Modal Logic for Nonmonotonic Reasoning'
in Non-Monotonic Reasoning & Partial Semantics, W. van der Hoek, J.-J.Ch. Meyer, Y.H. Tan & C. Witteveen (eds). Ellis Horwood (1992) pp. 37-79.
W. van der Hoek,
Modaliteiten voor het redeneren over kennis en kwantitieiten,
NVKI-Nieuwsbrief (The newsletter of the Dutch AI-community), Vol. 9, Number 5 (1992) pp. 160-162.

1991

W. van der Hoek & J.-J.Ch. Meyer,
`Graded Modalities for Epistemic Logic'
Logique et Analyse, 133-134 (1991) pp. 251-270.
W. van der Hoek & J.-J.Ch. Meyer,
`Aspecten van Impliciete Kennis Expliciet gemaakt'
Proceedings NAIC'91, J. Treur (ed.), Novep, Amsterdam, 55-67.
W. van der Hoek,
`Qualitative Modalities'
Proceedings of the Scandinavian Conference on Artificial Intelligence - 91, B. Mayoh (ed.) IOS Press, Amsterdam (1991), 322 - 327.

1990

J.-J. Ch. Meyer & W. van der Hoek,
`Non-Monotonic Reasoning by Monotonic Means' (extended abstract)
Logics in AI - JELIA '90, J. van Eijck (ed.), LNCS 478, Springer, Berlin (1990), pp. 299 - 411.
W. van der Hoek,
`Systems for Knowledge and Beliefs'
Logics in AI - JELIA '90, J. van Eijck (ed.), LNCS 478, Springer, Berlin (1990), pp. 267 - 281.

1989

W. van der Hoek & J.-J.Ch. Meyer ,
`Possible Logics for Belief'
Logique et Analyse, 127-128 (1989), pp. 177-194.

1988

J.-J.Ch. Meyer &W. van der Hoek,
Epistemic Logic for Computer Science and Artificial Intelligence, Cambridge Tracts in Theoretical Computer Science 41, Cambridge University Press (1995) ISBN 0 521 46014.