Wiebe
van der Hoek - Publications
If you have any problems accessing
documents, let me know.
[
2014 |
2013|
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 ]
2014
·
H. van Ditmarsch, J. Fan, . Van Der Hoek and P. Iliev,
Some Exponential Lower Bounds on Formula-size in Modal Logic
Accepted for AiML2014.
·
N. Alechina, W. van der Hoek and B. Logan,
Fair allocation of group tasks according to social norms.
Accepted for CLIMA2014.
·
W. van der Hoek and P. Iliev,
On the Relative Succinctness of Modal Logics with Union, Intersection and Quantification.
In A. Lomuscio and P. Scerri (eds), Proceedings of the 13th
International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014),
Paris, France pp. 341 -- 348.
·
M. Attamah, H. van Ditmarsch, D. Grossi, and Wiebe Van der Hoek,
Knowledge and Gossip.
Accepted for ECAI 2014.
·
D. Grossi and Wiebe Van der Hoek,
Justified Beliefs by Justified Arguments.
Accepted for KR 2014.
·
N.
Bezhanishvili and W. van der Hoek
Structures for epistemic logic. In A. Baltag and S. Smets (Eds.) Johan van Benthem on Logical and Informational Dynamics, Outstanding Contributions to Logic, Springer, pp. 339 — 381, 2014.
·
J.
Sack and W. van der Hoek,
A Modal Logic for Mixed Strategies,
To appear in Studia Logica, 102:2, pp. 339 -- 360 (2014).
2013
·
T.
Ågotnes, P. Harrenstein, W. van der Hoek, and M. Wooldridge.
Boolean Games with Epistemic Goals.
In D. Grossi, O. Roy, and H Huang (eds), Proceedings of the Fourth
International Workshop on Logic, Rationality, and Interaction (LORI 2013),
Hangzhou, China, October 2013. LNCS 8196, pp. 1 - 14.
·
T.
Ågotnes, P. Harrenstein, W. van der Hoek, and M. Wooldridge
Verifiable Equilibria in Boolean Games.
In: Proceedings IJCAI2013, pp. 689--695, 2013.
·
D.
Grossie and W. van der Hoek
Audience-Based Uncertainty in Abstract Argument Games.
In: Proceedings IJCAI2013, pp. 143--149, 2013.
·
Van
Ditmarsch, H., Van Der Hoek, W., Ruan, J.
Connecting
dynamic epistemic and temporal epistemic logics
(2013) Logic Journal of the IGPL, 21 (3) pp. 380-403.
·
E.
Erriquez, W. van der Hoek and M. Wooldridge
Building and using social structures: A case
study using the agent ART testbed. In ACM Transactions on Intelligent
Systems and Technology (TIST), Vol. 4:2, pp. 1--20, 2013.
·
W. van
der Hoek and M. Wooldridge,
Logics for Multiagent Systems. In G. Weiss (ed.), Multiagent Systems,
pp. 761--811, MIT Press, 2013.
·
T.
French, W. van der Hoek, P. Iliev, and B. Kooi,
On the Succinctness of Some Modal Logics,
Artificial Intelligence, 197 (2013), pp. 56 -- 85.
2012
·
E.
Erriquez, W. van der Hoek, and Michael Wooldridge,
A formal analysis of trust and distrust relationships in Shakespeare's Othello.
In F. Paglieri, L. Tummolini, R. Falcone and M. Miceli (eds), The goals of
cognition: Essays in honour of Cristiano Castelfranchi, pp. 457 -- 478,
College Publications, London.
·
H. van
Ditmarsch, D. Ferná ndez-Duque,
On the Definability of Simulation
and Bisimulation in Epistemic Logic.
The Journal of Logic and Computation.
·
W. van
der Hoek, P. Iliev and B. Kooi,
On the Relative Succinctness of Two Extensions by Definitions of Multimodal
Logic.
In S. Barry Cooper, A. Dawar, and B. Löwe (eds), How the World Computes -
Turing Centenary Conference and 8th Conference on Computability in Europe
(CiE), LNCS 7318, 2012, pp. 323 -- 333.
·
T.
Ågotnes, W. van der Hoek, and M. Wooldridge.
Conservative Social Laws.
Luc de Raedt et al., Proc. of the 20th European Conference on Artificial
Intelligence (ECAI 2012), Montpellier, France, pp. 49 -- 54, 2012.
·
K.V.
Hindriks, W. van der Hoek, and J.-J. Ch. Meyer.
GOAL Agents Instantiate Intention Logic.
In: Logic Programs, Norms and Action (Sergot Festschrift), A. Artikis, R.
Craven, N.K. Cicekli, B. Sadighi, and K. Stathis (eds), LNAI 7360, Springer, Heidelberg,
2012, pp. 196-219.
·
H. van
Ditmarsch, W. van der Hoek and B. Kooi,
Local Properties in Modal Logic.
Artificial Intelligence, pp. 133--155, 2012, DOI
10.1016/j.artint.2012.04.007
·
W. van
der Hoek, P. Iliev, and M. Wooldridge,
A Logic of Revelation and Concealment.
In Conitzer, Winikoff, Padgham and van der Hoek (eds), Proc. 11th AAMAS, pp.
1115--1122, 2012.
·
P.
Iliev and W. van der Hoek,
Public Announcements are Exponentially More Succinct than "Everybody
Knows" and "Somebody Knows".
Accepted for LAMAS 2012.
·
W. van der Hoek, N. Troquard, and M. Wooldrdige,
Reasoning about Choice
In Proceedings of the Second International Conference on Agreement Technologies (AT-2013), Beijing, China, August 2013.
·
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
To appear in AI Magazine.
2011
·
W. van
der Hoek, P. Iliev, and M. Wooldridge,
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.
Theoria, 78:2, pp. 93--114, 2012.
·
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,
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 -- From
Global to Local Correspondence 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.