Publications
2023
Simple Axioms for Local Properties
Balbiani, P., van der Hoek, W., & Kuijer, L. B. (2023). Simple Axioms for Local Properties. In ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE (pp. 82-92). doi:10.4204/EPTCS.379.9
2022
Reasoning about general preference relations
Grossi, D., van der Hoek, W., & Kuijer, L. B. (2022). Reasoning about general preference relations. Artificial Intelligence, 313, 103793. doi:10.1016/j.artint.2022.103793
Who Should Be My Friends? Social Balance from the Perspective of Game Theory
van der Hoek, W., Kuijer, L. B., & Wang, Y. N. (2022). Who Should Be My Friends? Social Balance from the Perspective of Game Theory. JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 31(2), 189-211. doi:10.1007/s10849-022-09356-z
2021
5th International Workshop on Strategic Reasoning (SR 2017) Preface
van der Hoek, W., Maubert, B., Murano, A., & Rubin, S. (2021). 5th International Workshop on Strategic Reasoning (SR 2017) Preface. INFORMATION AND COMPUTATION, 276. doi:10.1016/j.ic.2020.104551
2020
Introduction to the special issue on Logic and the Foundations of Game and Decision Theory (LOFT13)
Battigalli, P., Bonanno, G., & van der Hoek, W. (2020). Introduction to the special issue on Logic and the Foundations of Game and Decision Theory (LOFT13). GAMES AND ECONOMIC BEHAVIOR, 123, 207-209. doi:10.1016/j.geb.2020.07.006
The Logic of Gossiping
Van Ditmarsch, H., Van Der Hoek, W., & Kuijer, L. (2020). The Logic of Gossiping. Artificial Intelligence, 286. doi:10.1016/j.artint.2020.103306
Logics of Preference when There Is No Best
Grossi, D., Van der Hoek, W., & Kuijer, L. B. (2020). Logics of Preference when There Is No Best. In KR2020: PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING (pp. 455-464). Retrieved from https://www.webofscience.com/
Logics of Allies and Enemies: A Formal Approach to the Dynamics of Social Balance Theory
Van der Hoek, W., Kuijer, L., & Wang, Y. (2020). Logics of Allies and Enemies: A Formal Approach to the Dynamics of Social Balance Theory. In PROCEEDINGS OF THE TWENTY-NINTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (pp. 210-216). Retrieved from https://www.webofscience.com/
Logics of preference when there is no best
Grossi, D., Van Der Hoek, W., & Kuijer, L. B. (2020). Logics of preference when there is no best. In 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020 Vol. 2 (pp. 454-463).
2019
Program models and semi-public environments
Grossi, D., Van der Hoek, W., Moyzes, C., & Wooldridge, M. (2019). Program models and semi-public environments. JOURNAL OF LOGIC AND COMPUTATION, 29(7), 1071-1097. doi:10.1093/logcom/exv086
Special Issue: 11th Conference on Logic and the Foundations of the Theory of Games and Decisions (LOFT11) Introduction
Agotnes, T., Bonanno, G., & van der Hoek, W. (2019). Special Issue: 11th Conference on Logic and the Foundations of the Theory of Games and Decisions (LOFT11) Introduction. JOURNAL OF LOGIC AND COMPUTATION, 29(7), 1011-1013. doi:10.1093/logcom/exv088
Who should be my friends? Social balance from the perspective of game theory.
Van Der Hoek, W., Kuijer, L. B., & Wang, Y. (2019). Who should be my friends? Social balance from the perspective of game theory.. In International Conference on Logic, Rationality and Interaction. Chongqing, China.
Introduction to the Special Issue on Logic and the Foundations of Game and Decision Theory (LOFT12)
Bonanno, G., van der Hoek, W., & Perea, A. (2019). Introduction to the Special Issue on Logic and the Foundations of Game and Decision Theory (LOFT12). STUDIA LOGICA, 107(3), 451-455. doi:10.1007/s11225-018-9803-y
2018
When Are Two Gossips the Same?
Van Der Hoek, W., Apt, K., & Grossi, D. (2018). When Are Two Gossips the Same?. In LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning Vol. 57 (pp. 36-55). Awassa, Ethopia.
Logic, rationality and interaction (LORI-5): introduction to the special issue
van der Hoek, W., Holiday, W. H., & Wang, W. -F. (2018). Logic, rationality and interaction (LORI-5): introduction to the special issue. SYNTHESE, 195(10), 4201-4204. doi:10.1007/s11229-017-1640-4
Second-order Propositional Modal Logic: Expressiveness and Completeness Results
Belardinelli, F., Van Der Hoek, W., & Kuijer, L. B. (2018). Second-order Propositional Modal Logic: Expressiveness and Completeness Results. Artificial Intelligence, 263, 3-45. doi:10.1016/j.artint.2018.07.004
When Are Two Gossips the Same? Types of Communication in Epistemic Gossip Protocols
Introduction to the Special Section on Logic and the Foundations of Game and Decision Theory (LOFT12)
Bonanno, G., van der Hoek, W., & Perea, A. (2018). Introduction to the Special Section on Logic and the Foundations of Game and Decision Theory (LOFT12). B E JOURNAL OF THEORETICAL ECONOMICS, 18(2). doi:10.1515/bejte-2018-0059
Logic, Rationality and Interaction (LORI-5): Introduction to the Special Issue
van der Hoek, W., Holliday, W. H., & Wang, W. -F. (2018). Logic, Rationality and Interaction (LORI-5): Introduction to the Special Issue. JOURNAL OF LOGIC AND COMPUTATION, 28(2), 265-267. doi:10.1093/logcom/exx037
Arrow Update Synthesis
Arrow update synthesis
van Ditmarsch, H., van der Hoek, W., Kooi, B., & Kuijer, L. B. (2020). Arrow update synthesis. INFORMATION AND COMPUTATION, 275. doi:10.1016/j.ic.2020.104544
Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic
van Ditmarsch, H., van der Hoek, W., & Kooi, B. (2018). Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic. In JAAKKO HINTIKKA ON KNOWLEDGE AND GAME-THEORETICAL SEMANTICS (Vol. 12, pp. 237-262). doi:10.1007/978-3-319-62864-6_9
2017
A Note on Nesting in Dyadic Deontic Logic
Belanyek, A., Grossi, D., & Hoek, W. V. D. (2017). A Note on Nesting in Dyadic Deontic Logic. Retrieved from http://arxiv.org/abs/1710.03481v1
A Note on Nesting in Dyadic Deontic Logic
Fair decomposition of group obligations
Alechina, N., van der Hoek, W., & Logan, B. (2017). Fair decomposition of group obligations. JOURNAL OF LOGIC AND COMPUTATION, 27(7), 2043-2062. doi:10.1093/logcom/exx012
The undecidability of arbitrary arrow update logic
van Ditmarsch, H., van der Hoek, W., & Kuijer, L. (2017). The undecidability of arbitrary arrow update logic. Theoretical Computer Science, 693, 1-12. doi:10.1016/j.tcs.2017.07.018
A Logic for Global and Local Announcements
A Logic for Global and Local Announcements
Belardinelli, F., van Ditmarsch, H., & van der Hoek, W. (2017). A Logic for Global and Local Announcements. In ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE (pp. 28-42). doi:10.4204/EPTCS.251.3
Arbitrary Arrow Update Logic
van Ditmarsch, H., Van Der Hoek, W., Kooi, B., & Kuijer, L. (2017). Arbitrary Arrow Update Logic. Artificial Intelligence, 242, 80-106. doi:10.1016/j.artint.2016.10.003
Non-Determinism and the Dynamics of Knowledge
Grossi, D., Herzig, A., van der Hoek, W., & Moyzes, C. (2017). Non-Determinism and the Dynamics of Knowledge. In PROCEEDINGS OF THE TWENTY-SIXTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (pp. 1053-1059). Retrieved from https://www.webofscience.com/
The Pleasure of Gossip
Attamah, M., van Ditmarsch, H., Grossi, D., & van der Hoek, W. (2017). The Pleasure of Gossip. In Outstanding Contributions to Logic (pp. 145-163). Springer International Publishing. doi:10.1007/978-3-319-47843-2_9
2016
The Undecidability of Arbitrary Arrow Update Logic
The undecidability of arbitrary arrow update logic
van Ditmarsch, H., van der Hoek, W., & Kuijer, L. B. (2017). The undecidability of arbitrary arrow update logic. THEORETICAL COMPUTER SCIENCE, 693, 1-12. doi:10.1016/j.tcs.2017.07.018
Special Issue on Logical Aspects of Multi-Agent Systems Preface
Bulling, N., & van der Hoek, W. (2016). Special Issue on Logical Aspects of Multi-Agent Systems Preface. STUDIA LOGICA, 104(4), 593-595. doi:10.1007/s11225-016-9659-y
Epistemic Protocols for Distributed Gossiping
Apt, K. R., Grossi, D., & van der Hoek, W. (2016). Epistemic Protocols for Distributed Gossiping. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, (215), 51-66. doi:10.4204/EPTCS.215.5
Epistemic Protocols for Distributed Gossiping
Special Issue Logic and the Foundations of Game and Decision Theory (LOFT 2014a)
Agotnes, T., Bonanno, G., & van der Hoek, W. (n.d.). Special Issue Logic and the Foundations of Game and Decision Theory (LOFT 2014a). W. Van Der Hoek, T. Agotnes, & G. Bonanno (Eds.), (Vol. 193, No. Of Pieces: 1, pp. 659-1006). Springer. Retrieved from http://link.springer.com/journal/11229/193/3/page/1
Introduction to the special issue
Agotnes, T., Bonanno, G., & van der Hoek, W. (2016). Introduction to the special issue. SYNTHESE, 193(3), 659-662. doi:10.1007/s11229-016-1017-0
Program models and semi-public environments
Moyzes, C., Grossi, D., van der Hoek, W., & Wooldridge, M. (n.d.). Program models and semi-public environments. Journal of Logic and Computation. doi:10.1093/logcom/exv086
A Semantical Analysis of Second-Order Propositional Modal Logic
Belardinelli, F., & van der Hoek, W. (2016). A Semantical Analysis of Second-Order Propositional Modal Logic. In THIRTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE (pp. 886-892). Retrieved from https://www.webofscience.com/
Fully Arbitrary Public Announcements
Van Ditmarsch, H., Van Der Hoek, W., & Kuijer, L. B. (2016). Fully Arbitrary Public Announcements. In Advances in Modal Logic Vol. 11 (pp. 252-267).
Second-order Propositional Announcement Logic
Belardinelli, F., van Ditmarsch, H., & van der Hoek, W. (2016). Second-order Propositional Announcement Logic. In AAMAS'16: PROCEEDINGS OF THE 2016 INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS & MULTIAGENT SYSTEMS (pp. 635-643). Retrieved from https://www.webofscience.com/
2015
Epistemic Quantified Boolean Logic
Van Der Hoek, W., & Belardinelli, F. (2015). Epistemic Quantified Boolean Logic. In M. Wooldridge, & Q. Jang (Eds.), International Joint Conference on Artificial Intelligence (IJCAI) (pp. 2748-2754). IJCAI. Retrieved from http://www.ijcai.org/Proceedings/15/Papers/389.pdf
Effective Approximations for Multi-Robot Coordination in Spatially Distributed Tasks
Claes, D., Robbel, P., Oliehoek, F., Tuyls, K., Hennes, D., & Van Der Hoek, W. (2015). Effective Approximations for Multi-Robot Coordination in Spatially Distributed Tasks. Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015), 881-890. Retrieved from http://www.aamas2015.com/en/AAMAS_2015_USB/aamas/p881.pdf
An Introduction to Logics of Knowledge and Belief
Ditmarsch, H. V., Halpern, J. Y., Hoek, W. V. D., & Kooi, B. (2015). An Introduction to Logics of Knowledge and Belief. Retrieved from http://arxiv.org/abs/1503.00806v1
An Introduction to Logics of Knowledge and Belief
A Framework for Epistemic Gossip Protocols
Attamah, M., van Ditmarsch, H., Grossi, D., & van der Hoek, W. (2015). A Framework for Epistemic Gossip Protocols. In MULTI-AGENT SYSTEMS (EUMAS 2014) Vol. 8953 (pp. 193-209). doi:10.1007/978-3-319-17130-2_13
Effective Approximations for Multi-Robot Coordination in Spatially Distributed Tasks
Claes, D., Robbel, P., Oliehoek, F. A., Tuyls, K., Hennes, D., & van der Hoek, W. (2015). Effective Approximations for Multi-Robot Coordination in Spatially Distributed Tasks. In PROCEEDINGS OF THE 2015 INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS & MULTIAGENT SYSTEMS (AAMAS'15) (pp. 881-890). Retrieved from https://www.webofscience.com/
Epistemic Quantified Boolean Logic: Expressiveness and Completeness Results
Belardinelli, F., & van der Hoek, W. (2015). Epistemic Quantified Boolean Logic: Expressiveness and Completeness Results. PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2748-2754. Retrieved from https://www.webofscience.com/
Logic, Rationality, and Interaction
van der Hoek, W., Holliday, W. H., & Wang, W. -F. (Eds.) (2015). Logic, Rationality, and Interaction. In . Springer Berlin Heidelberg. doi:10.1007/978-3-662-48561-3
Preface
Van Der Hoek, W., Holliday, W. H., & Wang, W. F. (2015). Preface. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 9394 (pp. V-VI).
2014
On the definability of simulation and bisimulation in epistemic logic
van Ditmarsch, H., Fernandez-Duque, D., & van der Hoek, W. (2014). On the definability of simulation and bisimulation in epistemic logic. In JOURNAL OF LOGIC AND COMPUTATION Vol. 24 (pp. 1209-1227). doi:10.1093/logcom/exs058
Two Themes in Modal Logic
van der Hoek, W. (n.d.). Two Themes in Modal Logic. Electronic Proceedings in Theoretical Computer Science, 146. doi:10.4204/eptcs.146.0.2
INTRODUCTION
BONANNO, G., VAN DITMARSCH, H., VAN DER HOEK, W., & JØRGENSEN, S. (2014). INTRODUCTION. International Game Theory Review, 16(01), 1403001. doi:10.1142/s0219198914030017
Reasoning About the Transfer of Control
Hoek, W. V. D., Walther, D., & Wooldridge, M. (2014). Reasoning About the Transfer of Control. Journal Of Artificial Intelligence Research, Volume 37, pages 437-477, 2010. Retrieved from http://dx.doi.org/10.1613/jair.2901
Reasoning About the Transfer of Control
A Modal Logic for Mixed Strategies
Sack, J., & van der Hoek, W. (2014). A Modal Logic for Mixed Strategies. STUDIA LOGICA, 102(2), 339-360. doi:10.1007/s11225-014-9548-1
Fair Allocation of Group Tasks According to Social Norms
Alechina, N., van der Hoek, W., & Logan, B. (2014). Fair Allocation of Group Tasks According to Social Norms. In Unknown Conference (pp. 19-34). Springer International Publishing. doi:10.1007/978-3-319-09764-0_2
Justified Beliefs by Justified Arguments
Grossi, D., & van der Hoek, W. (2014). Justified Beliefs by Justified Arguments. In FOURTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING (pp. 131-140). Retrieved from https://www.webofscience.com/
Knowledge and Gossip
Attamah, M., van Ditmarsch, H., Grossi, D., & van der Hoek, W. (2014). Knowledge and Gossip. In 21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014) Vol. 263 (pp. 21-+). doi:10.3233/978-1-61499-419-0-21
On the Relative Succinctness of Modal Logics with Union, Intersection and Quantification
van der Hoek, W., & Iliev, P. (2014). On the Relative Succinctness of Modal Logics with Union, Intersection and Quantification. In AAMAS'14: PROCEEDINGS OF THE 2014 INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS & MULTIAGENT SYSTEMS (pp. 341-348). Retrieved from https://www.webofscience.com/
Some exponential lower bounds on formula-size in modal logic
Van Ditmarsch, H., Fan, J., Van Der Hoek, W., & Iliev, P. (2014). Some exponential lower bounds on formula-size in modal logic. In Advances in Modal Logic Vol. 10 (pp. 139-157).
Structures for Epistemic Logic
Bezhanishvili, N., & van der Hoek, W. (2014). Structures for Epistemic Logic. In JOHAN VAN BENTHEM ON LOGIC AND INFORMATION DYNAMICS (Vol. 5, pp. 339-380). doi:10.1007/978-3-319-06025-5_12
2013
Audience-based uncertainty in abstract: Argument games
Grossi, D., & Van Der Hoek, W. (2013). Audience-based uncertainty in abstract: Argument games. In IJCAI International Joint Conference on Artificial Intelligence (pp. 143-149).
Editorial Introduction to the Special Issue LOFT Sevilla
Bonanno, G., van Ditmarsch, H., & van der Hoek, W. (2013). Editorial Introduction to the Special Issue LOFT Sevilla. Journal of Philosophical Logic, 42(6), 795-798. doi:10.1007/s10992-013-9294-2
Verifiable equilibria in Boolean games
Ågotnes, T., Harrenstein, P., Van Der Hoek, W., & Wooldridge, M. (2013). Verifiable equilibria in Boolean games. In IJCAI International Joint Conference on Artificial Intelligence (pp. 689-695).
Boolean Games with Epistemic Goals
Agotnes, T., Harrenstein, P., van der Hoek, W., & Wooldridge, M. (2013). Boolean Games with Epistemic Goals. In LOGIC, RATIONALITY, AND INTERACTION (LORI 2013) Vol. 8196 (pp. 1-14). Retrieved from https://www.webofscience.com/
Reasoning about Choice
van der Hoek, W., Troquard, N., & Wooldridge, M. (2013). Reasoning about Choice. In Unknown Conference (pp. 4-18). Springer Berlin Heidelberg. doi:10.1007/978-3-642-39860-5_2
Introduction to the special issue
Bonanno, G., Herzig, A., van der Hoek, W., & Lang, J. (2013). Introduction to the special issue. International Journal of Game Theory, 42(3), 563-566. doi:10.1007/s00182-013-0387-5
Program equilibrium—a program reasoning approach
van der Hoek, W., Witteveen, C., & Wooldridge, M. (2013). Program equilibrium—a program reasoning approach. International Journal of Game Theory, 42(3), 639-671. doi:10.1007/s00182-011-0314-6
Connecting dynamic epistemic and temporal epistemic logics
van Ditmarsch, H., van der Hoek, W., & Ruan, J. (2013). Connecting dynamic epistemic and temporal epistemic logics. Logic Journal of IGPL, 21(3), 380-403. doi:10.1093/jigpal/jzr038
On the succinctness of some modal logics
French, T., van der Hoek, W., Iliev, P., & Kooi, B. (2013). On the succinctness of some modal logics. Artificial Intelligence, 197, 56-85. doi:10.1016/j.artint.2013.02.003
Building and using social structures
Erriquez, E., Hoek, W. V. D., & Wooldridge, M. (2013). Building and using social structures. ACM Transactions on Intelligent Systems and Technology, 4(2), 1-20. doi:10.1145/2438653.2438660
2012
Introduction chapter
Witteman, C., & van der Hoek, W. (2012). Introduction chapter. Synthese, 189(S1), 1-3. doi:10.1007/s11229-012-0184-x
Local properties in modal logic
van Ditmarsch, H., van der Hoek, W., & Kooi, B. (2012). Local properties in modal logic. Artificial Intelligence, 187-188, 133-155. doi:10.1016/j.artint.2012.04.007
On the Relative Succinctness of Two Extensions by Definitions of Multimodal Logic
van der Hoek, W., Iliev, P., & Kooi, B. (2012). On the Relative Succinctness of Two Extensions by Definitions of Multimodal Logic. In Unknown Conference (pp. 323-333). Springer Berlin Heidelberg. doi:10.1007/978-3-642-30870-3_33
GOAL Agents Instantiate Intention Logic
Hindriks, K. V., van der Hoek, W., & Meyer, J. -J. C. (2012). GOAL Agents Instantiate Intention Logic. Unknown Journal, 196-219. doi:10.1007/978-3-642-29414-3_11
Control and Delegation
van der Hoek, W. (2012). Control and Delegation. In Unknown Conference (pp. 1-2). Springer Berlin Heidelberg. doi:10.1007/978-3-642-29113-5_1
A logic of revelation and concealment
Van Der Hoek, W., Iliev, P., & Wooldridge, M. (2012). A logic of revelation and concealment. In 11th International Conference on Autonomous Agents and Multiagent Systems 2012, AAMAS 2012: Innovative Applications Track Vol. 2 (pp. 888-895).
Conservative social laws
Ågotnes, T., Van Der Hoek, W., & Wooldridge, M. (2012). Conservative social laws. In Frontiers in Artificial Intelligence and Applications Vol. 242 (pp. 49-54). doi:10.3233/978-1-61499-098-7-49
Everything is Knowable – How to Get to Know<i>Whether</i>a Proposition is True
VAN DITMARSCH, H., VAN DER HOEK, W., & ILIEV, P. (2012). Everything is Knowable – How to Get to Know<i>Whether</i>a Proposition is True. Theoria, 78(2), 93-114. doi:10.1111/j.1755-2567.2011.01119.x
Logics for Multiagent Systems
van der Hoek, W., & Wooldridge, M. (2012). Logics for Multiagent Systems. In AI Magazine Vol. 33 (pp. 92-105). Wiley. doi:10.1609/aimag.v33i3.2427
2011
Foreword
Bonanno, G., Herzig, A., van der Hoek, W., & Lang, J. (2011). Foreword. Journal of Applied Non-Classical Logics, 21(3-4), 263-264. doi:10.1080/11663081.2011.9736665
Succinctness of epistemic languages
French, T., Van Der Hoek, W., Iliev, P., & Kooi, B. (2011). Succinctness of epistemic languages. In IJCAI International Joint Conference on Artificial Intelligence (pp. 881-886). doi:10.5591/978-1-57735-516-8/IJCAI11-153
Knowledge and Action in Semi-public Environments
van der Hoek, W., Iliev, P., & Wooldridge, M. (2011). Knowledge and Action in Semi-public Environments. In Unknown Conference (pp. 97-110). Springer Berlin Heidelberg. doi:10.1007/978-3-642-24130-7_7
On the Definability of Simulability and Bisimilarity by Finite Epistemic Models
van Ditmarsch, H., Fernández-Duque, D., & van der Hoek, W. (2011). On the Definability of Simulability and Bisimilarity by Finite Epistemic Models. In Unknown Conference (pp. 74-87). Springer Berlin Heidelberg. doi:10.1007/978-3-642-22359-4_6
Sigma algebras in probabilistic epistemic dynamics
Aceto, L., van der Hoek, W., Ingolfsdottir, A., & Sack, J. (2011). Sigma algebras in probabilistic epistemic dynamics. In Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (pp. 191-199). ACM. doi:10.1145/2000378.2000401
Reasoning about Social Choice Functions
Troquard, N., Hoek, W. V. D., & Wooldridge, M. (2011). Reasoning about Social Choice Functions. Retrieved from http://dx.doi.org/10.1007/s10992-011-9189-z
An abstract framework for reasoning about trust
Erriquez, E., Van Der Hoek, W., & Wooldridge, M. (2011). An abstract framework for reasoning about trust. In 10th International Conference on Autonomous Agents and Multiagent Systems 2011, AAMAS 2011 Vol. 2 (pp. 1019-1020).
Decomposing constraint systems: Equivalences and computational properties
Van Der Hoek, W., Witteveen, C., & Wooldridge, M. (2011). Decomposing constraint systems: Equivalences and computational properties. In 10th International Conference on Autonomous Agents and Multiagent Systems 2011, AAMAS 2011 Vol. 1 (pp. 137-144).
Knowledge and control
Van Der Hoek, W., Troquard, N., & Wooldridge, M. (2011). Knowledge and control. In 10th International Conference on Autonomous Agents and Multiagent Systems 2011, AAMAS 2011 Vol. 2 (pp. 673-680).
On the Logic of Preference and Judgment Aggregation
�gotnes, T., van der Hoek, W., & Wooldridge, M. (2011). On the Logic of Preference and Judgment Aggregation. Autonomous Agents and Multi-Agent Systems, 22(1), 4-30. doi:10.1007/210458-009-9115-8
On the logic of preference and judgment aggregation
Ågotnes, T., van der Hoek, W., & Wooldridge, M. (2011). On the logic of preference and judgment aggregation. Autonomous Agents and Multi-Agent Systems, 22(1), 4-30. doi:10.1007/s10458-009-9115-8
Reasoning about local properties in modal logic
Van Ditmarsch, H., Van Der Hoek, W., & Kooi, B. (2011). Reasoning about local properties in modal logic. In 10th International Conference on Autonomous Agents and Multiagent Systems 2011, AAMAS 2011 Vol. 2 (pp. 665-672).
Reasoning about Social Choice Functions
Troquard, N., van der Hoek, W., & Wooldridge, M. (2011). Reasoning about Social Choice Functions. Journal of Philosophical Logic, 40(4), 473-498. doi:10.1007/210992-011-9189-z
Scientia potentia est
Ågotnes, T., Van Der Hoek, W., & Wooldridge, M. (2011). Scientia potentia est. In 10th International Conference on Autonomous Agents and Multiagent Systems 2011, AAMAS 2011 Vol. 2 (pp. 689-696).
2010
On two perspectives in decomposing constraint systems: Equivalences and computational properties
Witteveen, C., Van Der Hoek, W., & Wooldridge, M. (2010). On two perspectives in decomposing constraint systems: Equivalences and computational properties. In COPLAS 2010 - Proceedings of the Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems (pp. 60-67).
Specification and Verification of Multi-agent Systems
Dastani, M., Hindriks, K. V., & Meyer, J. -J. C. (Eds.) (2010). Specification and Verification of Multi-agent Systems. Springer US. doi:10.1007/978-1-4419-6984-2
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
Bonanno, G., Löwe, B., & Van Der Hoek, W. (2010). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface (Vol. 6006 LNAI).
Robust normative systems and a logic of norm compliance
Agotnes, T., Van der Hoek, W., & Wooldridge, M. (2010). Robust normative systems and a logic of norm compliance. Logic Journal of IGPL, 18(1), 4-30. doi:10.1093/jigpal/jzp070
Introduction
Van Der Hoek, W., Kaminka, G. A., Luck, M., & Sen, S. (2010). Introduction. In Unknown Book (Vol. 1).
2009
Verification of Games in the Game Description Language
Ruan, J., van der Hoek, W., & Wooldridge, M. (2009). Verification of Games in the Game Description Language. Journal of Logic and Computation, 19(6), 1127-1156. doi:10.1093/logcom/exp039
Concurrently Decomposable Constraint Systems
Witteveen, C., van der Hoek, W., & Roos, N. (2009). Concurrently Decomposable Constraint Systems. In Unknown Conference (pp. 153-164). Springer Berlin Heidelberg. doi:10.1007/978-3-642-04143-3_14
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
Braubach, L., Petta, P., Van Der Hoek, W., Pokahr, A., & Lamersdorf, W. (2009). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface (Vol. 5774 LNAI).
A logic of propositional control for truthful implementations
Troquard, N., van der Hoek, W., & Wooldridge, M. (2009). A logic of propositional control for truthful implementations. In Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (pp. 237-246). ACM. doi:10.1145/1562814.1562846
Logics for Qualitative Coalitional Games
Agotnes, T., Van Der Hoek, W., & Wooldridge, M. (2009). Logics for Qualitative Coalitional Games. Logic Journal of IGPL, 17(3), 299-321. doi:10.1093/jigpal/jzp009
Multi-Modal CTL: Completeness, Complexity, and an Application
Ågotnes, T., Van der Hoek, W., Rodríguez-Aguilar, J. A., Sierra, C., & Wooldridge, M. (2009). Multi-Modal CTL: Completeness, Complexity, and an Application. Studia Logica, 92(1), 1-26. doi:10.1007/s11225-009-9184-3
Model Checking Strategic Equilibria
Troquard, N., van der Hoek, W., & Wooldridge, M. (2009). Model Checking Strategic Equilibria. In Unknown Conference (pp. 166-188). Springer Berlin Heidelberg. doi:10.1007/978-3-642-00431-5_11
Completeness and Complexity of Multi-modal CTL
Ågotnes, T., van der Hoek, W., & Wooldridge, M. (2009). Completeness and Complexity of Multi-modal CTL. Electronic Notes in Theoretical Computer Science, 231, 259-275. doi:10.1016/j.entcs.2009.02.040
A Coordination Language for Agents Interacting in Distributed Plan-Execute Cycles
de Vries, W., Meyer, J. J. C. H., de Boer, F. S., & van der Hoek, W. (2009). A Coordination Language for Agents Interacting in Distributed Plan-Execute Cycles. International Journal of Reasoning-based Intelligent Systems (IJRIS), 1(1/2), 4-17.
A Logic of Games and Propositional Control
Troquard, N., van der Hoek, W., & Wooldridge, M. (2009). A Logic of Games and Propositional Control. In K. Decker, J. Sichman, C. Sierra, & C. Casterfanchi (Eds.), Autonomous Agents and Multi Agent Systems (pp. 961-968). Budapest: IFAAMAS. Retrieved from http://www.aamas-conference.org/
A Temporal Logic of Normative Systems
Ågotnes, T., van der Hoek, W., Rodríguez-Aguilar, J. A., Sierra, C., & Wooldridge, M. (2009). A Temporal Logic of Normative Systems. In Towards Mathematical Philosophy (pp. 69-106). Springer Netherlands. doi:10.1007/978-1-4020-9084-4_5
A coordination language for agents interacting in distributed plan-execute cycles
Vries, W. D., Meyer, J. J. C., Boer, F. S. D., & Hoek, W. V. D. (2009). A coordination language for agents interacting in distributed plan-execute cycles. International Journal of Reasoning-based Intelligent Systems, 1(1/2), 4. doi:10.1504/ijris.2009.026713
A logic of games and propositional control
Troquard, N., Van Der Hoek, W., & Wooldridge, M. (2009). A logic of games and propositional control. In Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS Vol. 1 (pp. 726-733).
Agent Programming with Temporally Extended Goals
Hindriks, K., van der Hoek, W., & van Riemsdijk, B. (2009). Agent Programming with Temporally Extended Goals. In K. Decker, J. Sichman, C. Sierra, & C. Castelfranchi (Eds.), Autonomous Agents and Multi Agent Systems (pp. 137-144). Budapest: IFAAMA. Retrieved from http://www.aamas-conference.org/
Agent programming with temporally extended goals
Hindriks, K. V., Van Der Hoek, W., & Van Riemsdijk, M. B. (2009). Agent programming with temporally extended goals. In Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS Vol. 1 (pp. 110-117).
Knowing more - From global to local correspondence
Van Ditmarsch, H., Van Der Hoek, W., & Kooi, B. (2009). Knowing more - From global to local correspondence. In IJCAI International Joint Conference on Artificial Intelligence (pp. 955-960).
Knowing more -- Towards a local correspondence theory
van Ditmarsch, H., van der Hoek, W., & Kooi, B. (2009). Knowing more -- Towards a local correspondence theory. In International Joint Conference on AI (pp. 955-960). Pasadena: AAAI Press.
Power in Normative Systems
Agotnes, T., van der Hoek, W., Tennenholtz, M., & Wooldridge, M. (2009). Power in Normative Systems. In K. Decker, J. Sichman, C. Sierra, & C. Castelfranchi (Eds.), Autonomous Agents and Multi Agent Systems (pp. 145-152). Budapest: IFAAMAS. Retrieved from http://www.aamas-conference.org/
Power in normative systems
Agotnest, T., Van Der Hoek, W., Tennenholtz, M., & Wooldridge, M. (2009). Power in normative systems. In Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS Vol. 1 (pp. 118-125).
Reasoning about coalitional games
Ågotnes, T., van der Hoek, W., & Wooldridge, M. (2009). Reasoning about coalitional games. Artificial Intelligence, 173(1), 45-79. doi:10.1016/j.artint.2008.08.004
Robust Normative Systems
Ågotnes, T., Van Der Hoek, W., & Wooldridge, M. (2009). Robust Normative Systems. In Dagstuhl Seminar Proceedings Vol. 9121.
2008
GOAL Agents Instantiate Intention Logic
Hindriks, K., & van der Hoek, W. (2008). GOAL Agents Instantiate Intention Logic. In Unknown Conference (pp. 232-244). Springer Berlin Heidelberg. doi:10.1007/978-3-540-87803-2_20
Invited talk logics of interaction, coalitions and social choice (extended abstract)
Ågotnes, T., Van Der Hoek, W., & Wooldridge, M. (2008). Invited talk logics of interaction, coalitions and social choice (extended abstract). In AISB 2008 Convention: Communication, Interaction and Social Intelligence - Proceedings of the AISB 2008 Symposium on Logic and the Simulation of Interaction and Reasoning (pp. 1-5).
Quantified coalition logic
Ågotnes, T., van der Hoek, W., & Wooldridge, M. (2008). Quantified coalition logic. Synthese, 165(2), 269-294. doi:10.1007/s11229-008-9363-1
Specifying and reasoning about uncertain agents
Ferreira, N. D. C., Fisher, M., & van der Hoek, W. (2008). Specifying and reasoning about uncertain agents. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 49(1), 35-51. doi:10.1016/j.ijar.2007.08.003
Chapter 24 Multi-Agent Systems
van der Hoek, W., & Wooldridge, M. (2008). Chapter 24 Multi-Agent Systems. Elsevier. doi:10.1016/s1574-6526(07)03024-6
Cooperative Boolean Games
Dunne, P. E., Kraus, S., van der Hoek, W., & Wooldridge, M. (2008). Cooperative Boolean Games. In 7th Int. Conf. on Autonomous Agents and Multiagent Systems (pp. 1015-1022). Estoril: IFAAMAS.
Cooperative boolean hames
Dunne, P. E., Van Der Hoek, W., Kraus, S., & Wooldridge, M. (2008). Cooperative boolean hames. In Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS Vol. 2 (pp. 997-1004).
DYNAMIC EPISTEMIC LOGIC
van Ditmarsch, H., van der Hoek, W., & Kooi, B. (2008). DYNAMIC EPISTEMIC LOGIC. In Synthese Library (Vol. 337, pp. 1-276).
Dynamic Epistemic Logic
van Ditmarsch, H., van der Hoek, W., & Kooi, B. (2008). Dynamic Epistemic Logic. Springer Netherlands. doi:10.1007/978-1-4020-5839-4
GOAL Agents Instantiate Intention Logic
Hindriks, K., & van der Hoek, W. (2008). GOAL Agents Instantiate Intention Logic. In Dagstuhl Seminar Proceedings Vol. 8361.
Multi-Agent Systems
van der Hoek, W., & Wooldridge, M. (2008). Multi-Agent Systems. In F. van Harmelen, V. Lifschitz, & B. Porter (Eds.), Handbook of Knowledge Representation (pp. 887-928). Amsterdam: Elsevier.
Preface
van Ditmarsch, H., van der Hoek, W., & Kooi, B. (2008). Preface (Vol. 337).
Quantified Coalition Logic
Agotnes, A., van der Hoek, W., Wooldridge, W., Van der Hoek, W., & Wooldridge, M. (2008). Quantified Coalition Logic. Synthese, 165(2), 233-258.
Quantifying over Coalitions in Epistemic Logic
�gotnes, T., van der Hoek, W., & Wooldrdige, M. (2008). Quantifying over Coalitions in Epistemic Logic. In L. Padgham, D. Parkes, J. Müller, & S. Parsons (Eds.), International Joint Conference on Autonomous Agents and Multiagent Systems (pp. 665-672). Estoril: IFAAMAS. Retrieved from http://www.ifaamas.org/
Quantifying over coalitions in epistemic logic
Ågotnes, T., Van Der Hoek, W., & Wooldridge, M. (2008). Quantifying over coalitions in epistemic logic. In Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS Vol. 2 (pp. 654-661).
Robust normative systems
Ågotnes, T., Van Der Hoek, W., & Wooldridge, M. (2008). Robust normative systems. In Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS Vol. 2 (pp. 733-740).
Social Laws and Anti-social Behaviour
van der Hoek, W., Roberts, M., & Wooldridge, M. (2008). Social Laws and Anti-social Behaviour. In G. Bonanno, W. van der Hoek, & M. Wooldrdige (Eds.), LOFT Vol. 3 (pp. 119-151). Liverpool: Amsterdam University Press.
2007
20 Modal logic for games and information
van der Hoek, W., & Pauly, M. (2007). 20 Modal logic for games and information. Unknown Journal, 1077-1148. doi:10.1016/s1570-2464(07)80023-1
A logical characterisation of qualitative coalitional games
Dunne, P. E., van der Hoek, W., & Wooldridge, M. (2007). A logical characterisation of qualitative coalitional games. Journal of Applied Non-Classical Logics, 17(4), 477-509. doi:10.3166/jancl.17.477-509
Alternating-time temporal logic with explicit strategies
Walther, D., van der Hoek, W., & Wooldridge, M. (2007). Alternating-time temporal logic with explicit strategies. In Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge - TARK '07 (pp. 269). ACM Press. doi:10.1145/1324249.1324285
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
Van Leeuwen, J., Italiano, G. F., Van Der Hoek, W., Meinel, C., Sack, H., & Plášil, F. (2007). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface (Vol. 4362 LNCS).
On the logic of normative systems
Ag̊otnes, T., Van Der Hoek, W., Rodríguez-Aguilar, J. A., Sierra, C., & Wooldridge, M. (2007). On the logic of normative systems. In IJCAI International Joint Conference on Artificial Intelligence (pp. 1175-1180).
Quantified coalition logic
Ågotnes, T., Van Der Hoek, W., & Wooldridge, M. (2007). Quantified coalition logic. In IJCAI International Joint Conference on Artificial Intelligence (pp. 1181-1186).
The Performance of Option—Trading Software Agents: Initial Results
Baqueiro, O., Van der Hoek, W., & McBurney, P. (2007). The Performance of Option—Trading Software Agents: Initial Results. In Unknown Conference (pp. 113-125). Springer Berlin Heidelberg. doi:10.1007/978-3-540-73135-1_8
Logic for automated mechanism design - A progress report
Wooldridge, M., Agotnes, T., Dunne, P. E., & Van Der Hoek, W. (2007). Logic for automated mechanism design - A progress report. In Proceedings of the National Conference on Artificial Intelligence Vol. 1 (pp. 9-17).
Logics in AI: Post-proceedings JELIA06 (Editorial)
Fisher, M., & van der Hoek, W. (2007). Logics in AI: Post-proceedings JELIA06 (Editorial). In ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE Vol. 50 (pp. 227-229). doi:10.1007/s10472-007-9081-2
Temporal Logics of Knowledge and their Applications in Security
Dixon, C., Fernández Gago, M. -C., Fisher, M., & van der Hoek, W. (2007). Temporal Logics of Knowledge and their Applications in Security. Electronic Notes in Theoretical Computer Science, 186, 27-42. doi:10.1016/j.entcs.2006.11.043
A verification framework for agent programming with declarative goals
de Boer, F. S., Hindriks, K. V., van der Hoek, W., & Meyer, J. -J. C. (2007). A verification framework for agent programming with declarative goals. Journal of Applied Logic, 5(2), 277-302. doi:10.1016/j.jal.2005.12.014
Normative system games
Ågotnes, T., van der Hoek, W., & Wooldridge, M. (2007). Normative system games. In Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems (pp. 1-8). ACM. doi:10.1145/1329125.1329284
Reasoning about judgment and preference aggregation
Ågotnes, T., van der Hoek, W., & Wooldridge, M. (2007). Reasoning about judgment and preference aggregation. In Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems (pp. 1-8). ACM. doi:10.1145/1329125.1329228
Social laws in alternating time: effectiveness, feasibility, and synthesis
van der Hoek, W., Roberts, M., & Wooldridge, M. (2007). Social laws in alternating time: effectiveness, feasibility, and synthesis. Synthese, 156(1), 1-19. doi:10.1007/s11229-006-9072-6
Towards a theory of intention revision
van der Hoek, W., Jamroga, W., & Wooldridge, M. (2007). Towards a theory of intention revision. Synthese, 155(2), 265-290. doi:10.1007/s11229-006-9145-6
A verification framework for agent programming with declarative goals
de Boer, F. S., Hindriks, K. V., van der Hoek W, W., & Meyer, J. J. C. (2007). A verification framework for agent programming with declarative goals. Journal of Applied Logic, 5(2), 277-302.
Completeness and Complexity of Multi-Modal CTL
Agotnes, T., Wooldridge, M., & van der Hoek, W. (2007). Completeness and Complexity of Multi-Modal CTL. In C. Areces, & S. Demri (Eds.), Methods for Modalities (M4M) (pp. 75-90). Paris: ENS.
Dynamic Epistemic Logic and Knowledge Puzzles
van Ditmarsch, H. P., van der Hoek, W., & Kooi, B. P. (2007). Dynamic Epistemic Logic and Knowledge Puzzles. In Unknown Conference (pp. 45-58). Springer Berlin Heidelberg. doi:10.1007/978-3-540-73681-3_4
Logic for Automated Mechanism Design - A Progress Report
Wooldridge, M., Agotnes, T., Dunne, P. E., & van der Hoek, W. (2007). Logic for Automated Mechanism Design - A Progress Report. In Proceedings of the 22nd AAAI Conference on Artificial Intelligence, AAAI 2007 (pp. 9-16).
Model Checking dynamic epistemics in branching time
van Ditmarsch, H., Ruan, J., & van der Hoek, W. (2007). Model Checking dynamic epistemics in branching time. In B. Dunin-Keplicz, & R. Verbrugge (Eds.), Formal Aspects of Autonomous Agents and Multi Agent Systems (pp. 101-116). Durham: Durham University.
Normative Systems Games
�gotnes, T., van der Hoek, W., & Wooldrdige, M. (2007). Normative Systems Games. In M. Huhns, & O. Shehory (Eds.), International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS) (pp. 876-883). Honolulu: ACM. Retrieved from http://portal.acm.org/
On the Logic of Normative Systems?
Ågotnes, T., Van Der Hoek, W., Rodríguez-Aguilar, J. A., Sierra, C., & Wooldridge, M. (2007). On the Logic of Normative Systems?. In Dagstuhl Seminar Proceedings Vol. 7122.
Reasoning about Judgement and Preference Aggregation
�gotnes, T., van der Hoek, W., & Wooldridge, M. (2007). Reasoning about Judgement and Preference Aggregation. In M. Huhns, & O. Shehory (Eds.), International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS)} (pp. 554-561). Honolulu: ACM. Retrieved from http://delivery.acm.org/
SOFSEM 2007: Theory and Practice of Computer Science
van Leeuwen, J., Italiano, G. F., van der Hoek, W., Meinel, W., Sack, C., & Plasil, H. (Eds.) (2007). SOFSEM 2007: Theory and Practice of Computer Science (Vol. 4362). Berlin: Springer. Retrieved from http://www.springer.com/
Strategy Logics and the Game Description Language
van der Hoek, W., Ruan, J., & Wooldrdige, M. (2007). Strategy Logics and the Game Description Language. In J. van Benthem, S. Ju, & F. Veltman (Eds.), Logics for Rationality and Information (LORI) (pp. 259-274). Beijing: College Publications.
2006
Uncertainty, rationality, and agency
Hoek, W. V. D. (2006). Uncertainty, rationality, and agency. doi:10.1007/1-4020-4631-6
Knowledge Condition Games
van Otterloo, S., Van Der Hoek, W., & Wooldridge, M. (2006). Knowledge Condition Games. Journal of Logic, Language and Information, 15(4), 425-452. doi:10.1007/s10849-006-9014-1
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
Fisher, M., Van Der Hoek, W., Konev, B., & Lisitsa, A. (2006). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface (Vol. 4160 LNAI).
Preface
van der Hoek, W., Lomuscio, A., de Vink, E., & Wooldridge, M. (2006). Preface. Electronic Notes in Theoretical Computer Science, 157(4), 1-2. doi:10.1016/j.entcs.2006.02.009
On the complexity of practical ATL model checking
van der Hoek, W., Lomuscio, A., & Wooldridge, M. (2006). On the complexity of practical ATL model checking. In Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems (pp. 201-208). ACM. doi:10.1145/1160633.1160665
On the logic of coalitional games
Ågotnes, T., van der Hoek, W., & Wooldridge, M. (2006). On the logic of coalitional games. In Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems (pp. 153-160). ACM. doi:10.1145/1160633.1160659
Reasoning about action and cooperation
Sauro, L., Gerbrandy, J., van der Hoek, W., & Wooldridge, M. (2006). Reasoning about action and cooperation. In Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems (pp. 185-192). ACM. doi:10.1145/1160633.1160663
Temporal qualitative coalitional games
Ågotnes, T., van der Hoek, W., & Wooldridge, M. (2006). Temporal qualitative coalitional games. In Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems (pp. 177-184). ACM. doi:10.1145/1160633.1160662
Preface
Ghidini, C., Giorgini, P., & van der Hoek, W. (2006). Preface. Autonomous Agents and Multi-Agent Systems, 12(2), 159-161. doi:10.1007/s10458-006-6015-z
Model Checking Russian Cards
van Ditmarsch, H. P., van der Hoek, W., van der Meyden, R., & Ruan, J. (2006). Model Checking Russian Cards. Electronic Notes in Theoretical Computer Science, 149(2), 105-123. doi:10.1016/j.entcs.2005.07.029
EUMAS'04 Special Issue
Ghidini, C., Giorgini, P., & van der Hoek, W. (Eds.) (2006). EUMAS'04 Special Issue. In European Conference on Multi-Agent Systems (EUMAS) Vol. 36 (pp. 97). Berlin: Springer.
Logics in Artificial Intelligence
Fisher, M., van der Hoek, W., Konev, B., & Lisitsa, A. (Eds.) (2006). Logics in Artificial Intelligence. In . Springer Berlin Heidelberg. doi:10.1007/11853886
Logics in Artificial Intelligence
Fisher, M., van der Hoek, W., Konev, B., & Lisitsa, A. (Eds.) (2006). Logics in Artificial Intelligence (Vol. 4160). Berlin: Springer. Retrieved from http://www.springer.com/
Modal Logic for Games and Information
van der Hoek, W., & Pauly, M. (2006). Modal Logic for Games and Information. In J. van Benthem, P. Blackburn, & F. Wolter (Eds.), The Handbook of Modal Logic (pp. 1077-1147). Amsterdam: Elsevier.
Uncertainty, Rationality, and Agency
van der Hoek, W. (2006). Uncertainty, Rationality, and Agency. Springer Netherlands. doi:10.1007/1-4020-4631-6
Verification Within the KARO Agent Theory
Hustadt, U., Dixon, C., Schmidt, R. A., Fisher, M., Meyer, J. -J. C., & van der Hoek, W. (2006). Verification Within the KARO Agent Theory. In NASA Monographs in Systems and Software Engineering (pp. 193-225). Springer London. doi:10.1007/1-84628-271-3_7
2005
A logic for strategic reasoning
Van Der Hoek, W., Jamroga, W., & Wooldridge, M. (2005). A logic for strategic reasoning. In Proceedings of the International Conference on Autonomous Agents (pp. 305-312).
Dynamic epistemic logic with assignment
Van Ditmarsch, H. P., Van Der Hoek, W., & Kooi, B. P. (2005). Dynamic epistemic logic with assignment. In Proceedings of the International Conference on Autonomous Agents (pp. 289-296).
Information, Interaction and Agency
van der Hoek, W. (2005). Information, Interaction and Agency. Springer Netherlands. doi:10.1007/1-4020-4094-6
Intentions and Strategies in Game-Like Scenarios
Jamroga, W., van der Hoek, W., & Wooldridge, M. (2005). Intentions and Strategies in Game-Like Scenarios. In Unknown Conference (pp. 512-523). Springer Berlin Heidelberg. doi:10.1007/11595014_51
Knowledge and social laws
Van Der Hoek, W., Roberts, M., & Wooldridge, M. (2005). Knowledge and social laws. In Proceedings of the International Conference on Autonomous Agents (pp. 811-818).
Logical implementation of uncertain agents
Ferreira, N. D., Fisher, M., & van der Hoek, W. (2005). Logical implementation of uncertain agents. In PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS Vol. 3808 (pp. 536-547). Retrieved from https://www.webofscience.com/
On the dynamics of delegation, cooperation, and control: A logical account
Van Der Hoek, W., & Wooldridge, M. (2005). On the dynamics of delegation, cooperation, and control: A logical account. In Proceedings of the International Conference on Autonomous Agents (pp. 835-842).
On obligations and normative ability: Towards a logical analysis of the social contract
Wooldridge, M., & van der Hoek, W. (2005). On obligations and normative ability: Towards a logical analysis of the social contract. Journal of Applied Logic, 3(3-4), 396-420. doi:10.1016/j.jal.2005.04.006
Process algebra and constraint programming for modeling interactions in MAS
Boer, F. S. D., Vries, W. D., Meyer, J. -J. C., Eijk, R. M. V., & Hoek, W. V. D. (2005). Process algebra and constraint programming for modeling interactions in MAS. Applicable Algebra in Engineering, Communication and Computing, 16(2-3), 113-150. doi:10.1007/s00200-005-0173-0
A logic for strategic reasoning
van der Hoek, W., Jamroga, W., & Wooldridge, M. (2005). A logic for strategic reasoning. In Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems (pp. 157-164). ACM. doi:10.1145/1082473.1082497
Dynamic epistemic logic with assignment
van Ditmarsch, H. P., van der Hoek, W., & Kooi, B. P. (2005). Dynamic epistemic logic with assignment. In Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems (pp. 141-148). ACM. doi:10.1145/1082473.1082495
Knowledge and social laws
van der Hoek, W., Roberts, M., & Wooldridge, M. (2005). Knowledge and social laws. In Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems (pp. 674-681). ACM. doi:10.1145/1082473.1082576
On the logic of cooperation and propositional control
van der Hoek, W., & Wooldridge, M. (2005). On the logic of cooperation and propositional control. Artificial Intelligence, 164(1-2), 81-119. doi:10.1016/j.artint.2005.01.003
Preface
van der Hoek, W., Lomuscio, A., de Vink, E., & Wooldridge, M. (2005). Preface. In Electronic Notes in Theoretical Computer Science Vol. 126 (pp. 1-2). Elsevier BV. doi:10.1016/j.entcs.2004.11.010
'Designing agents for derivatives markets: a preliminary framework'
Baqueiro-Espinosa, O., van der Hoek, W., & McBurney, P. (2005). 'Designing agents for derivatives markets: a preliminary framework'. In S. Parsons, & P. Gmytrasiewicz (Eds.), Game-Theoretic and Decision-Theoretic Agents (GTDT 2005) (pp. 1-14). Edinburgh, Scotland: IJCAI.
Information, Interaction, and Agency
van der Hoek, W. (Ed.) (2005). Information, Interaction, and Agency. Berlin: Springer.
Many-valued epistemic states. An application to a reflective architecture: Milord-II
Godo, L., van der Hoek, W., Meyer, J. -J. C., & Sierra, C. (1995). Many-valued epistemic states. An application to a reflective architecture: Milord-II. Unknown Journal, 440-452. doi:10.1007/bfb0035977
On the Dynamics of Delegation, Cooperation, and Control: A Logical Account
van der Hoek, W., & Wooldridge, M. (2005). 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.), Autonomous Agents and Multi-Agent Systems (AAMAS) (pp. 701-708). New York: ACM Inc.
Playing cards with Hintikka An introduction to dynamic epistemic logic
Ditmarsch, H. P., Van Der Hoek, W., & Kooi, B. P. (n.d.). Playing cards with Hintikka An introduction to dynamic epistemic logic. The Australasian Journal of Logic, 3. doi:10.26686/ajl.v3i0.1776
Public Announcement and Belief Revision
van Ditmarsch, H., van der Hoek, W., & Kooi, B. (2005). Public Announcement and Belief Revision. In R. Schmidt, I. Pratt-Hartmann, M. Reynolds, & R. Schmidt (Eds.), Advances in Modal Logic (Vol. 5, pp. 335-346). London: King's College P.
2004
Agents that know how to play
Jamroga, W., & Van Der Hoek, W. (2004). Agents that know how to play. In Fundamenta Informaticae Vol. 63 (pp. 185-219).
Rational teams: Logical aspects of multi-agent systems
Aldewereld, H., Van Der Hoek, W., & Meyer, J. J. (2004). Rational teams: Logical aspects of multi-agent systems. Fundamenta Informaticae, 63(2-3), 159-183.
Teamwork
Gold, N. (Ed.) (2005). Teamwork. In . Palgrave Macmillan UK. doi:10.1057/9780230523203
MODEL CHECKING A KNOWLEDGE EXCHANGE SCENARIO
OTTERLOO, S. V., DER, W. V., & WOOLDRIDGE, M. (2004). MODEL CHECKING A KNOWLEDGE EXCHANGE SCENARIO. Applied Artificial Intelligence, 18(9-10), 937-952. doi:10.1080/08839510490514832
Knowledge, rationality and action
Van Der Hoek, W. (2004). Knowledge, rationality and action. In Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2004 Vol. 1 (pp. 16-23).
Preferences in Game Logics
Van Otterloo, S., Van Der Hoek, W., & Wooldridge, M. (2004). Preferences in Game Logics. In Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2004 Vol. 1 (pp. 152-159).
A Logic For Ignorance
van der Hoek, W., & Lomuscio, A. (2004). A Logic For Ignorance. Electronic Notes in Theoretical Computer Science, 85(2), 117-133. doi:10.1016/s1571-0661(05)82606-4
Knowledge as Strategic Ability
van Otterloo, S., van der Hoek, W., & Wooldridge, M. (2004). Knowledge as Strategic Ability. Electronic Notes in Theoretical Computer Science, 85(2), 152-175. doi:10.1016/s1571-0661(05)82608-8
Preface
van der Hoek, W., Lomuscio, A., de Vink, E., & Wooldridge, M. (2004). Preface. In Electronic Notes in Theoretical Computer Science Vol. 85 (pp. 81). Elsevier BV. doi:10.1016/s1571-0661(05)82603-9
A Logic for Ignorance
van der Hoek, W., & Lomuscio, A. (2004). A Logic for Ignorance. In Unknown Conference (pp. 97-108). Springer Berlin Heidelberg. doi:10.1007/978-3-540-25932-9_6
Agents that Know How to Play
Jamroga, W., & van der Hoek, W. (2004). Agents that Know How to Play. Fundamenta Informaticae, 63(2,3), 185-219. Retrieved from http://www.iospress.nl/html/01692968.php
Obligations versus abilities of agents via Deontic ATL
Jamroga, W., van der Hoek, W., & Wooldridge, M. (2004). Obligations versus abilities of agents via Deontic ATL. In Deontic Logic in Computer Science Vol. 3065 (pp. 165-182). Madeira: Springer.
On Obligations and Abilities
Jamroga, W., van der Hoek, W., & Wooldridge, M. (2004). On Obligations and Abilities. In Unknown Conference (pp. 165-181). Springer Berlin Heidelberg. doi:10.1007/978-3-540-25927-5_11
Practical reasoning for uncertain agents
Ferreira, N. D., Fisher, M., & van der Hoek, W. (2004). Practical reasoning for uncertain agents. In LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS Vol. 3229 (pp. 82-94). Retrieved from https://www.webofscience.com/
Proceedings LCMAS
van der Hoek, W., Lomuscio, A., de Vink, E., & Wooldridge, M. (Eds.) (2004). Proceedings LCMAS. In Logic and Communication for Multi-Agent Systems (LCMAS) (pp. 134). Amsterdam: Elsevier Science. Retrieved from http://www.win.tue.nl/~evink/entcs-vol85.2-lcmas2003/toc.html
Representation and Complexity in Boolean Games
Dunne, P. E., & van der Hoek, W. (2004). Representation and Complexity in Boolean Games. In Unknown Conference (pp. 347-359). Springer Berlin Heidelberg. doi:10.1007/978-3-540-30227-8_30
Theories of Knowledge and Ignorance
Hoek, W. V. D., Jaspars, J., & Thijsse, E. (n.d.). Theories of Knowledge and Ignorance. In Logic, Epistemology, and the Unity of Science (pp. 381-418). Springer Netherlands. doi:10.1007/978-1-4020-2808-3_19
Using temporal logics of knowledge in the formal verification of security protocols
Dixon, C., Gago, M. C. F., Fisher, M., & van der Hoek, W. (2004). Using temporal logics of knowledge in the formal verification of security protocols. In 11TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS (pp. 148-151). doi:10.1109/TIME.2004.1314432
2003
Agent Programming in Dribble: From Beliefs to Goals Using Plans
Van Riemsdijk, B., Van Der Hoek, W., & Meyer, J. J. C. (2003). Agent Programming in Dribble: From Beliefs to Goals Using Plans. In Proceedings of the Interantional Conference on Autonomous Agents Vol. 2 (pp. 393-400).
Formal semantics of meta-level architectures: Temporal epistemic reflection
Van Der Hoek, W., Meyer, J. -J., & Treur, J. (2003). Formal semantics of meta-level architectures: Temporal epistemic reflection. International Journal of Intelligent Systems, 18(12), 1293-1317. doi:10.1002/int.10139
A Modal Characterization of Nash Equilibrium
Harrenstein, P., Meyer, J. J., Van der Hoek, W., & Witteveen, C. (2003). A Modal Characterization of Nash Equilibrium. Fundamenta Informaticae, 57(2-4), 281-321.
van der Hoek, W., & Wooldridge, M. (2003). Unknown Title. Studia Logica, 75(1), 125-157. doi:10.1023/a:1026185103185
Concurrent dynamic epistemic logic for MAS
van Ditmarsch, H. P., van der Hoek, W., & Kooi, B. P. (2003). Concurrent dynamic epistemic logic for MAS. In Proceedings of the second international joint conference on Autonomous agents and multiagent systems (pp. 201-208). ACM. doi:10.1145/860575.860608
Editorial
van der Hoek, W. (2003). Editorial. Logic Journal of IGPL, 11(2), 133. doi:10.1093/jigpal/11.2.133
Iterated Belief Change in Multi-Agent Systems
Roorda, J. -W. (2003). Iterated Belief Change in Multi-Agent Systems. Logic Journal of IGPL, 11(2), 223-246. doi:10.1093/jigpal/11.2.223
Towards a Logic of Rational Agency
van der Hoek, W. (2003). Towards a Logic of Rational Agency. Logic Journal of IGPL, 11(2), 135-159. doi:10.1093/jigpal/11.2.135
Van Eijk, R. M., De Boer, F. S., Van Der Hoek, W., & Meyer, J. -J. C. (2003). Unknown Title. Autonomous Agents and Multi-Agent Systems, 6(2), 185-219. doi:10.1023/a:1021836202093
A fully abstract model for the exchange of information in multi-agent systems
de Boer, F. S., van Eijk, R. M., van der Hoek, W., & Meyer, J. -J. C. (2003). A fully abstract model for the exchange of information in multi-agent systems. Theoretical Computer Science, 290(3), 1753-1773. doi:10.1016/s0304-3975(02)00078-6
Agent Programming in Dribble: From Beliefs to Goals with Plans
van Riemsdijk, B., van der Hoek, W., & Meyer, J. -J. C. (2003). Agent Programming in Dribble: From Beliefs to Goals with Plans. In Unknown Conference (pp. 294-295). Springer Berlin Heidelberg. doi:10.1007/978-3-540-45133-4_32
Concurrent Dynamic Epistemic Logic
Van Ditmarsch, H. P., Van Der Hoek, W., & Kooi, B. P. (2003). Concurrent Dynamic Epistemic Logic. In Knowledge Contributors (pp. 105-143). Springer Netherlands. doi:10.1007/978-94-007-1001-6_6
Concurrent Dynamic Epistemic Logic for MAS
Van Ditmarsch, H. P., Van der Hoek, W., & Kooi, B. P. (2003). Concurrent Dynamic Epistemic Logic for MAS. In Proceedings of the International Conference on Autonomous Agents Vol. 2 (pp. 201-208). doi:10.1145/860575.860608
Concurrent Epistemic Dynamic Logic for Multi Agent Systems
van Ditmarsch, H., van der Hoek, W., & Kooi, B. (2003). Concurrent Epistemic Dynamic Logic for Multi Agent Systems. In V. Hendricks, K. F. Jorgensen, & S. A. Pederson (Eds.), Knowledge Contributors (pp. 105-143). Dordrecht: Kluwer Academic Publishers.
Description of Game States
van Ditmarsch, H., van der Hoek, W., & Kooi, B. (2003). Description of Game States. In G. Mints, & R. Muskens (Eds.), Games, Logic, and Constructive Sets (pp. 43-58). Stanford: CSLI Publications.
Ignore at your peril - towards a logic for ignorance
van der Hoek, W., & Lomuscio, A. (2003). Ignore at your peril - towards a logic for ignorance. In Proceedings of the second international joint conference on Autonomous agents and multiagent systems - AAMAS '03. ACM Press. doi:10.1145/860722.860839
Logic and the foundations of the theory of games and decisions: introduction
Bonanno, G., & van der Hoek, W. (2003). Logic and the foundations of the theory of games and decisions: introduction. Research in Economics, 57(3), 185-188. doi:10.1016/s1090-9443(03)00033-4
Model checking cooperation, knowledge, and time—a case study
van der Hoek, W., & Wooldridge, M. (2003). Model checking cooperation, knowledge, and time—a case study. Research in Economics, 57(3), 235-265. doi:10.1016/s1090-9443(03)00031-0
Process Algebra for Agent Communication: A General Semantic Approach
van Eijk, R. M., de Boer, F. S., van der Hoek, W., & Meyer, J. -J. C. (2003). Process Algebra for Agent Communication: A General Semantic Approach. In Lecture Notes in Computer Science (pp. 113-128). Springer Berlin Heidelberg. doi:10.1007/978-3-540-44972-0_5
Towards a Logic of Rational Agency
van der Hoek, W., & Wooldridge, M. (2003). Towards a Logic of Rational Agency. Logic Journal of the IGPL, 11(2), 133-158. Retrieved from http://jigpal.oxfordjournals.org/
2002
Practical and theoretical innovations in multi-agent systems research
DINVERNO, M., LUCK, M., & 2001 Contributors, U. K. M. A. S. (2002). Practical and theoretical innovations in multi-agent systems research. In The Knowledge Engineering Review Vol. 17 (pp. 295-301). Cambridge University Press (CUP). doi:10.1017/s0269888902000504
Agent Programming with Declarative Goals
Agent Programming with Declarative Goals
Boer, F. S. D., Hindriks, K. V., Hoek, W. V. D., & Meyer, J. -J. C. (2002). Agent Programming with Declarative Goals. Retrieved from http://arxiv.org/abs/cs/0207008v1
van der Hoek, W., & Witteveen, C. (2002). Unknown Title. Studia Logica, 70(1), 3-4. doi:10.1023/a:1014625723965
A Programming Language for Coordinating Group Actions
de Vries, W., de Boer, F. S., Hindriks, K. V., van der Hoek, W., & Meyer, J. -J. C. (2002). A Programming Language for Coordinating Group Actions. In Unknown Conference (pp. 313-321). Springer Berlin Heidelberg. doi:10.1007/3-540-45941-3_33
Agents Serving Science
van der Hoek, W. (2002). Agents Serving Science. In J. Mey (Ed.), Dealing with the Data Flood--mining data, text and multimedia (pp. 49-63). The Hague: Intl Specialized Book Service Inc, STT/Beweton.
Epistemic Logic: a Survey
van der Hoek, W., & Verbrugge, R. (2002). Epistemic Logic: a Survey. In L. A. Petrosjan, & V. V. Mazalnov (Eds.), Game Theory and Applications (pp. 53-94). New York: Nova Science Publishers.
Iterated belief change in multi-agent systems
Roorda, J. -W., van der Hoek, W., & Meyer, J. -J. (2002). Iterated belief change in multi-agent systems. In Proceedings of the first international joint conference on Autonomous agents and multiagent systems part 2 - AAMAS '02 (pp. 889). ACM Press. doi:10.1145/544862.544949
Model Checking Knowledge and Time
van der Hoek, W., & Wooldridge, M. (2002). Model Checking Knowledge and Time. In Unknown Conference (pp. 95-111). Springer Berlin Heidelberg. doi:10.1007/3-540-46017-9_9
Motivational Attitudes in the Karo Framework
Meyer, J. -J. C., van der Hoek, W., & van Linder, B. (2002). Motivational Attitudes in the Karo Framework. In Agent-Based Defeasible Control in Dynamic Environments (pp. 341-356). Springer Netherlands. doi:10.1007/978-94-017-1741-0_12
Non-Monotonic Reasoning and Partial Semantics
van der Hoek, W., Tan, Y., Witteveen, C., & Meyer, J. J. C. (Eds.) (2002). Non-Monotonic Reasoning and Partial Semantics. Chichester: Ellis Horwood.
On BAN Logics for Industrial Security Protocols
Agray, N., van der Hoek, W., & de Vink, E. (2002). On BAN Logics for Industrial Security Protocols. In Unknown Conference (pp. 29-36). Springer Berlin Heidelberg. doi:10.1007/3-540-45941-3_3
On Modal Logic Interpretations of Games
Harrenstein, B. P., van der Hoek, W., Meyer, J. C., & Witteveen, C. (2002). On Modal Logic Interpretations of Games. In F. van Harmelen (Ed.), European Conference on Artificial Intelligence (ECAI) Vol. 77 (pp. 28-32). Lyon: IOS Press.
Programming the Deliberation Cycle of Cognitive Robots
Dastani, M., de Boer, F., Dignum, F., van der Hoek, W., Kroese, M., & Meyer, J. J. C. (2002). Programming the Deliberation Cycle of Cognitive Robots. In C. Baral, & S. McIlraith (Eds.), Cognitive Robotics (pp. 22-28). Edmonton: AAAI Press.
Seeing is Believing and So are Hearing and Jumping
van der Hoek, W., Meyer, J. -J. C., & van Linder, B. (2002). Seeing is Believing and So are Hearing and Jumping. In Agent-Based Defeasible Control in Dynamic Environments (pp. 309-339). Springer Netherlands. doi:10.1007/978-94-017-1741-0_11
Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications
Wooldridge, M., & van der Hoek, W. (2002). Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications. In Unknown Conference (pp. 4). Springer Berlin Heidelberg. doi:10.1007/3-540-46000-4_3
Tractable multiagent planning for epistemic goals
van der Hoek, W., & Wooldridge, M. (2002). Tractable multiagent planning for epistemic goals. In Proceedings of the first international joint conference on Autonomous agents and multiagent systems part 3 - AAMAS '02 (pp. 1167). ACM Press. doi:10.1145/545056.545095
van der Hoek, W., & Thijsse, E. (2002). Unknown Title. Studia Logica, 72(1), 61-84. doi:10.1023/a:1020578025481
2001
Reasoning about agents in the KARO framework
Hustadt, U., Dixon, C., Schmidt, R. A., Fisher, M., Meyer, J. J., & van der Hoek, W. (2001). Reasoning about agents in the KARO framework. In EIGHTH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS (pp. 206-213). doi:10.1109/TIME.2001.930719
Logic and the Foundations of the Theory of Games and Decisions: Introduction
Bonanno, G., & Van Der Hoek, W. (2001). Logic and the Foundations of the Theory of Games and Decisions: Introduction. Bulletin of Economic Research, 53(4), 215-217. doi:10.1111/1467-8586.00132
Modal Logic with Bounded Quantification over Worlds
Van Eijk, R. M. (2001). Modal Logic with Bounded Quantification over Worlds. Journal of Logic and Computation, 11(5), 701-715. doi:10.1093/logcom/11.5.701
RoboCup European Championship:
Groen, F., van der Hoek, W., Jonker, P., Kröse, B., Spoelder, H., & Stramigioli, S. (2001). RoboCup European Championship:. Robotics and Autonomous Systems, 36(2-3), 59-66. doi:10.1016/s0921-8890(01)00135-x
Multi-agent systems research into the 21st century
D'Inverno, M., & Luck, M. (2001). Multi-agent systems research into the 21st century. In KNOWLEDGE ENGINEERING REVIEW Vol. 16 (pp. 271-275). doi:10.1017/S0269888901000169
On dynamically generated ontology translators in agent communication
Van Eijk, R. M., De Boer, F. S., Van der Hoek, W., & Meyer, J. -J. C. (2001). On dynamically generated ontology translators in agent communication. International Journal of Intelligent Systems, 16(5), 587-607. doi:10.1002/int.1025
On programming KARO agents
Meyer, J. -J. (2001). On programming KARO agents. Logic Journal of IGPL, 9(2), 245-256. doi:10.1093/jigpal/9.2.245
A Programming Logic for Part of the Agent Language 3APL
Hindriks, K. V., de Boer, F. S., van der Hoek, W., & Meyer, J. -J. C. (2001). A Programming Logic for Part of the Agent Language 3APL. In Unknown Conference (pp. 78-89). Springer Berlin Heidelberg. doi:10.1007/3-540-45484-5_6
A Truly Concurrent Model for Interacting Agents
de Vries, W., de Boer, F. S., van der Hoek, W., & Meyer, J. -J. C. (2001). A Truly Concurrent Model for Interacting Agents. In Unknown Conference (pp. 16-30). Springer Berlin Heidelberg. doi:10.1007/3-540-44637-0_2
Boolean Games
Harrenstein, B. P., van der Hoek, W., Meyer, J. J. C., & Witteveen, C. (2001). Boolean Games. In J. van Benthem (Ed.), Theoretical Aspects of Rationality and Knowledge (pp. 287-298). Pisa: Morgan Kaufman.
Formal Semantics of Temporal Reflection
van der Hoek, W., Meyer, J. J. C., & Treur, J. (2001). Formal Semantics of Temporal Reflection. In D. M. Gabbay, & P. Smets (Eds.), Handbook of Defeasible Reasoning and Uncertainty (Vol. 6, pp. 41-63). Dordrecht: Kluwer Academic Publishers.
Generalised Object-Oriented Concepts for Inter-agent Communication
van Eijk, R. M., de Boer, F. S., van der Hoek, W., & Meyer, J. -J. (2001). Generalised Object-Oriented Concepts for Inter-agent Communication. In Unknown Conference (pp. 260-274). Springer Berlin Heidelberg. doi:10.1007/3-540-44631-1_18
How to Recover from (Non-)monotonic Inconsistency
Witteveen, C., & van der Hoek, W. (2001). How to Recover from (Non-)monotonic Inconsistency. In L. Cavedon, P. Blackburn, N. Braisby, & A. Shimojima (Eds.), Logic, Language and Computation (pp. 319-340). Stanford: CSLI Publications.
Logical Foundations of Agent-Based Computing
van der Hoek, W. (2001). Logical Foundations of Agent-Based Computing. In Lecture Notes in Computer Science (pp. 50-73). Springer Berlin Heidelberg. doi:10.1007/3-540-47745-4_3
Scanning the issue
Adorni, G., & van der Hoek, W. (2001). Scanning the issue. Robotics and Autonomous Systems, 36(2-3), 57-58. doi:10.1016/s0921-8890(01)00134-8
Temporalized Epistemic Default Logic
Meyer, J. -J. C., Treur, J., & van der Hoek, W. (2001). Temporalized Epistemic Default Logic. In Dynamics and Management of Reasoning Processes (pp. 177-194). Springer Netherlands. doi:10.1007/978-94-017-1743-4_10
The Dynamics of Default Reasoning
van Linder, B., van der Hoek, W., & Meyer, J. -J. C. (2001). The Dynamics of Default Reasoning. In Dynamics and Management of Reasoning Processes (pp. 125-157). Springer Netherlands. doi:10.1007/978-94-017-1743-4_8
Verification within the KARO Agent Theory
Hustadt, U., Dixon, C., Schmidt, R. A., Fisher, M., Meyer, J. -J., & van der Hoek, W. (2001). Verification within the KARO Agent Theory. In Unknown Conference (pp. 33-47). Springer Berlin Heidelberg. doi:10.1007/3-540-45484-5_3
2000
der van Hoek, W. (2000). Unknown Title. Studia Logica, 66(1), 79-119. doi:10.1023/a:1026796912842
A General Approach to Multi-agent Minimal Knowledge
van der Hoek, W., Jaspars, J., & Thijsse, E. (2000). A General Approach to Multi-agent Minimal Knowledge. In Unknown Conference (pp. 254-268). Springer Berlin Heidelberg. doi:10.1007/3-540-40006-0_18
A Modal Logic for Network Topologies
van Eijk, R. M., de Boer, F. S., van der Hoek, W., & Meyer, J. -J. C. (2000). A Modal Logic for Network Topologies. In Unknown Conference (pp. 269-283). Springer Berlin Heidelberg. doi:10.1007/3-540-40006-0_19
Failure Semantics for the Exchange of Information in Multi-Agent Systems
de Boer, F. S., van Eijk, R. M., van der Hoek, W., & Meyer, J. -J. C. (2000). Failure Semantics for the Exchange of Information in Multi-Agent Systems. In Unknown Conference (pp. 214-228). Springer Berlin Heidelberg. doi:10.1007/3-540-44618-4_17
Formalizing Potential of Agents: The KARO Framework Revisited
van der Hoek, W., Meyer, J. J. C., & Schagen, J. W. (2000). Formalizing Potential of Agents: The KARO Framework Revisited. In M. Faller, S. Kaufman, & M. Pauly (Eds.), Formalizing the Dynamics of Information (pp. 51-67). Stanford: CSLI Publications.
Open Multi-Agent Systems: Agent Communication and Integration
van Eijk, R. M., de Boer, F. S., van der Hoek, W., & Meyer, J. -J. C. (2000). Open Multi-Agent Systems: Agent Communication and Integration. In Unknown Conference (pp. 218-232). Springer Berlin Heidelberg. doi:10.1007/10719619_16
1999
A Default Logic Based on Epistemic States
van der Hoek, W., Meyer, J. J. C. H., & van Linder, B. (1999). A Default Logic Based on Epistemic States. In M. Wooldridge, & A. Rao (Eds.), Foundations of Rational Agency (pp. 133-168). Dordrecht: Kluwer Academic Publishers.
A logical approach to the dynamics of commitments
Meyer, J. -J. C., van der Hoek, W., & van Linder, B. (1999). A logical approach to the dynamics of commitments. Artificial Intelligence, 113(1-2), 1-40. doi:10.1016/s0004-3702(99)00061-2
Continuing research in multi-agent systems
Decker, K., Fisher, M., Luck, M., & Tennenholtz, M. (1999). Continuing research in multi-agent systems. KNOWLEDGE ENGINEERING REVIEW, 14(3), 279-283. doi:10.1017/S026988899900301X
Control Structures of Rule-Based Agent Languages
Hindriks, K. V., de Boer, F. S., Hoek, W. V. D., & Meyer, J. -J. C. (1999). Control Structures of Rule-Based Agent Languages. In Unknown Conference (pp. 381-396). Springer Berlin Heidelberg. doi:10.1007/3-540-49057-4_25
Group knowledge is not always distributed (neither is it always implicit)
van der Hoek, W., van Linder, B., & Meyer, J. -J. (1999). Group knowledge is not always distributed (neither is it always implicit). Mathematical Social Sciences, 38(2), 215-240. doi:10.1016/s0165-4896(99)00013-x
Information-Passing and Belief Revisionin Multi-agent Systems
van Eijk, R. M., de Boer, F. S., van der Hoek, W., & Meyer, J. -J. C. (1999). Information-Passing and Belief Revisionin Multi-agent Systems. In Unknown Conference (pp. 29-45). Springer Berlin Heidelberg. doi:10.1007/3-540-49057-4_3
Interleaved Contractions
van der Hoek, W., & de Rijke, M. (1999). Interleaved Contractions. In L. S. Moss, J. Ginzburg, & M. de Rijke (Eds.), Language and Computation (pp. 106-127). Stanford: CSLI Publications.
van der Hoek, W., Jaspars, J., & Thijsse, E. (1999). Unknown Title. Annals of Mathematics and Artificial Intelligence, 27(1/4), 25-47. doi:10.1023/a:1018967130652
Hindriks, K. V., De Boer, F. S., Van der Hoek, W., & Ch. Meyer, J. -J. (1999). Unknown Title. Autonomous Agents and Multi-Agent Systems, 2(4), 357-401. doi:10.1023/a:1010084620690
1998
Translations of Vocabularies in Systems of Communicating Agents
van Eijk, M., de Boer, F. S., van der Hoek, W., & Meyer, J. -J. C. (1998). Translations of Vocabularies in Systems of Communicating Agents. In Electronic Notes in Theoretical Computer Science Vol. 16 (pp. 23). Elsevier BV. doi:10.1016/s1571-0661(05)80589-4
A Language for Modular Information-Passing Agents
van Eijk, R., de Boer, F., van der Hoek, W., & Meyer, J. J. C. H. (1998). A Language for Modular Information-Passing Agents. CWI Quarterly, 11(2,3), 273-297.
A formal embedding of agentspeak(L) in 3APL
Hindriks, K. V., de Boer, F. S., van der Hoek, W., & Meyer, J. -J. C. (1998). A formal embedding of agentspeak(L) in 3APL. In Unknown Conference (pp. 155-166). Springer Berlin Heidelberg. doi:10.1007/bfb0095049
Constructing translations between individual vocabularies in multi-agent systems
van Eijk, R. M., de Boer, F. S., van der Hoek, W., & Meyer, J. -J. C. (1998). Constructing translations between individual vocabularies in multi-agent systems. In Unknown Conference (pp. 240-253). Springer Berlin Heidelberg. doi:10.1007/bfb0057449
Formal semantics for an abstract agent programming language
Hindriks, K. V., de Boer, F. S., van der Hoek, W., & Meyer, J. -J. C. (1998). Formal semantics for an abstract agent programming language. In Unknown Conference (pp. 215-229). Springer Berlin Heidelberg. doi:10.1007/bfb0026761
Formalizing Abilities and Opportunities of Agents
van Linder, B., van der Hoek, W., & Meyer, J. J. C. (1998). Formalizing Abilities and Opportunities of Agents. Fundamenta Informaticae, 34(1-2), 53-101.
Modal Logics for Representing Incoherent Knowledge
Meyer, J. -J. C., & Van Der Hoek, W. (1998). Modal Logics for Representing Incoherent Knowledge. In Reasoning with Actual and Potential Contradictions (pp. 37-75). Springer Netherlands. doi:10.1007/978-94-017-1739-7_3
Persistence and Minimality in Epistemic Logic
van der Hoek, W., Jaspars, J., & Thijsse, E. (1998). Persistence and Minimality in Epistemic Logic. In Unknown Conference (pp. 62-77). Springer Berlin Heidelberg. doi:10.1007/3-540-49545-2_5
Recovery of (non)monotonic theories
Witteveen, C., & van der Hoek, W. (1998). Recovery of (non)monotonic theories. Artificial Intelligence, 106(1), 139-159. doi:10.1016/s0004-3702(98)00099-x
van der Hoek, W., Meyer, J. -J., & Treur, J. (1998). Unknown Title. Journal of Logic, Language and Information, 7(3), 341-367. doi:10.1023/a:1008264012385
1997
First steps in modal logic
van der Hoek, W. (1997). First steps in modal logic. Artificial Intelligence in Medicine, 9(2), 199-201. doi:10.1016/s0933-3657(96)00371-5
A Complete Epistemic Logic for Multiple Agents
Van der Hoek, W., & Meyer, J. J. (1997). A Complete Epistemic Logic for Multiple Agents. In Theory and Decision Library (pp. 35-68). Springer US. doi:10.1007/978-1-4613-1139-3_2
A Complete Epistemic Logic for Multiple Agents-- Combining Distributed and Common Knowledge
van der Hoek, W., & Meyer, J. C. (1997). A Complete Epistemic Logic for Multiple Agents-- Combining Distributed and Common Knowledge. In M. O. L. Bacharach, L. A. Gerard-Varet, P. Mongin, & H. S. Shin (Eds.), Epistemic Logic and the Theory of Games and Decisions (Vol. 20, pp. 35-68). Dordrecht: Kluwer Academic Publishers.
A general framework for revising nonmonotonic theories
Witteveen, G., & Hoek, W. (1997). A general framework for revising nonmonotonic theories. In Unknown Conference (pp. 258-272). Springer Berlin Heidelberg. doi:10.1007/3-540-63255-7_20
Seeing is Believing (and so are Hearing and Jumping)
van Linde, B., der Hoek, W., & Meyer, J. J. C. (1997). Seeing is Believing (and so are Hearing and Jumping). Journal of Logic, Language and Information, 6(2), 33-61.
Some Considerations of the Logic PFD
van der Hoek, W. (1997). Some Considerations of the Logic PFD. Journal of Applied non-Classical Logic, 7(3), 287-307.
The dynamics of default reasoning
van Linder, B., van der Hoek, W., & Meyer, J. -J. C. (1997). The dynamics of default reasoning. Data & Knowledge Engineering, 21(3), 317-346. doi:10.1016/s0169-023x(96)00021-3
van Linder, B., van der Hoek, W., & Meyer, J. -J. C. (1997). Unknown Title. Journal of Logic, Language and Information, 6(1), 33-61. doi:10.1023/a:1008242530244
1996
A modal contrastive logic: The logic of ‘but’
Ch. Meyer, J. -J., & van der Hoek, W. (1996). A modal contrastive logic: The logic of ‘but’. Annals of Mathematics and Artificial Intelligence, 17(2), 291-313. doi:10.1007/bf02127972
Honesty in partial logic
van der Hoek, W., Jaspars, J., & Thijsse, E. (1996). Honesty in partial logic. Studia Logica, 56(3), 323-360. doi:10.1007/bf00372771
A modal contrastive logic: The logic of 'but'
Meyer, J. J. C., & Van Der Hoek, W. (1996). A modal contrastive logic: The logic of 'but'. Annals of Mathematics and Artificial Intelligence, 17(2), 291-313. doi:10.1007/bf02127972
Formalising motivational attitudes of agents
van Linder, B., van der Hoek, W., & Meyer, J. -J. C. (1996). Formalising motivational attitudes of agents. In Unknown Conference (pp. 17-32). Springer Berlin Heidelberg. doi:10.1007/3540608052_56
Honesty in Partial Modal Logic
van der Hoek, W., Jaspars, J., & Thijsse, E. (1996). Honesty in Partial Modal Logic. Studia Logica, 56(3), 323-360.
Logics in Artificial Intelligence
Alferes, J. J., Pereira, L. M., & Orlowska, E. (Eds.) (1996). Logics in Artificial Intelligence. In . Springer Berlin Heidelberg. doi:10.1007/3-540-61630-6
Modalities for Reasoning about Knowledge and Uncertainties
van der Hoek, W., & Meyer, J. J. C. H. (1996). Modalities for Reasoning about Knowledge and Uncertainties. In P. Doherty (Ed.), Partiality, Modality and Nonmonotonicity (pp. 77-110). Stanford: CSLI Publications.
QUALITATIVE MODALITIES
HOEK, W. V. D. (1996). QUALITATIVE MODALITIES. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 04(01), 45-59. doi:10.1142/s0218488596000044
Revising and updating using a back-up semantics
Witteveen, C., & Hoek, W. (1996). Revising and updating using a back-up semantics. In Lecture Notes in Computer Science (pp. 388-403). Springer Berlin Heidelberg. doi:10.1007/3-540-61630-6_27
Some postulates for nonmonotonic theory revision applied to logic programming
Witteveen, C., & Hoek, W. (1996). Some postulates for nonmonotonic theory revision applied to logic programming. In Lecture Notes in Computer Science (pp. 303-318). Springer Berlin Heidelberg. doi:10.1007/3-540-60983-0_21
1995
Epistemic Logic for AI and Computer Science
Meyer, J. -J. C., & Hoek, W. V. D. (1995). Epistemic Logic for AI and Computer Science. Cambridge University Press. doi:10.1017/cbo9780511569852
A DEFAULT LOGIC BASED ON EPISTEMIC STATES
Ch. Meyer, J. -J., & van der Hoek, W. (1995). A DEFAULT LOGIC BASED ON EPISTEMIC STATES. Fundamenta Informaticae, 23(1), 33-65. doi:10.3233/fi-1995-2312
Actions that Make You Change Your Mind
van Linder, B., Meyer, J. J. C. H., & van der Hoek, W. (1995). Actions that Make You Change Your Mind. In A. Laux, & H. Wansing (Eds.), Knowledge and Belief in Philosophy and AI (pp. 103-146). Berlin: Akademie-Verlag.
Actions that make you change your mind
van Linder, B., van der Hoek, W., & Meyer, J. -J. C. (1995). Actions that make you change your mind. In Unknown Conference (pp. 185-196). Springer Berlin Heidelberg. doi:10.1007/3-540-60343-3_36
Counting Objects
HOEK, W. V. D., & RIJKE, M. D. (1995). Counting Objects. Journal of Logic and Computation, 5(3), 325-345. doi:10.1093/logcom/5.3.325
Revision by communication
Witteveen, C., & van der Hoek, W. (1995). Revision by communication. In Unknown Conference (pp. 189-202). Springer Berlin Heidelberg. doi:10.1007/3-540-59487-6_14
Seeing is believing
van Linder, B., van der Hoek, W., & Meyer, J. -J. C. (1995). Seeing is believing. In Lecture Notes in Computer Science (pp. 402-413). Springer Berlin Heidelberg. doi:10.1007/3-540-60437-5_40
The dynamics of default reasoning
van Linder, B., van der Hoek, W., & Meyer, J. -J. C. (1995). The dynamics of default reasoning. In Lecture Notes in Computer Science (pp. 277-284). Springer Berlin Heidelberg. doi:10.1007/3-540-60112-0_32
1994
A logic of capabilities
van der Hoek, W., van Linder, B., & Meyer, J. -J. C. (1994). A logic of capabilities. In Unknown Conference (pp. 366-378). Springer Berlin Heidelberg. doi:10.1007/3-540-58140-5_34
Communicating rational agents
Linder, B., Hoek, W., & Meyer, J. -J. C. (1994). Communicating rational agents. In Unknown Conference (pp. 202-213). Springer Berlin Heidelberg. doi:10.1007/3-540-58467-6_18
Formal semantics of temporal epistemic reflection
Hoek, W., Meyer, J. -J., & Treur, J. (1994). Formal semantics of temporal epistemic reflection. In Unknown Conference (pp. 332-352). Springer Berlin Heidelberg. doi:10.1007/3-540-58792-6_21
Honesty in Partial Logic
van der Hoek, W., Jaspars, J., & Thijsse, E. (1994). Honesty in Partial Logic. In Principles of Knowledge Representation and Reasoning (pp. 583-594). Elsevier. doi:10.1016/b978-1-4832-1452-8.50149-4
Revision of non-monotonic theories
Witteveen, C., van der Hoek, W., & de Nivelle, H. (1994). Revision of non-monotonic theories. In Unknown Conference (pp. 137-151). Springer Berlin Heidelberg. doi:10.1007/bfb0021969
1993
Systems for Knowledge and Belief
van der HOEK, W. I. E. B. E. (1993). Systems for Knowledge and Belief. Journal of Logic and Computation, 3(2), 173-195. doi:10.1093/logcom/3.2.173
Counterfactual reasoning by (means of) defaults
Meyer, J. -J. C., & van der Hoek, W. (1993). Counterfactual reasoning by (means of) defaults. Annals of Mathematics and Artificial Intelligence, 9(3-4), 345-360. doi:10.1007/bf01530938
Generalized quantifiers and modal logic
Van Der Hoek, W., & De Rijke, M. (1993). Generalized quantifiers and modal logic. Journal of Logic, Language and Information, 2(1), 19-58. doi:10.1007/bf01051767
A Logic of Capabilities
Van Der Hoek, W., Van Under, B., & Meyer, J. J. C. (1993). A Logic of Capabilities. In AAAI Spring Symposium - Technical Report Vol. SS-93-05 (pp. 150-159).
A default logic based on epistemic states
Meyer, J. -J. C., & van der Hoek, W. (1993). A default logic based on epistemic states. In Unknown Conference (pp. 265-273). Springer Berlin Heidelberg. doi:10.1007/bfb0028209
Belief revision by expansion
Witteveen, C., & van der Hoek, W. (1993). Belief revision by expansion. In Unknown Conference (pp. 380-387). Springer Berlin Heidelberg. doi:10.1007/bfb0028224
Towards an epistemic approach to reasoning about concurrent programs
Hoek, W., Hulst, M., & Meyer, J. -J. C. (1993). Towards an epistemic approach to reasoning about concurrent programs. In Unknown Conference (pp. 261-287). Springer Berlin Heidelberg. doi:10.1007/3-540-56596-5_37
1992
MAKING SOME ISSUES OF IMPLICIT KNOWLEDGE EXPLICIT
VAN DER HOEK, W., & MEYER, J. -J. C. (1992). MAKING SOME ISSUES OF IMPLICIT KNOWLEDGE EXPLICIT. International Journal of Foundations of Computer Science, 03(02), 193-223. doi:10.1142/s0129054192000139
Graded modalities in epistemic logic
van der Hoek, W., & Meyer, J. -J. C. (1992). Graded modalities in epistemic logic. In Unknown Conference (pp. 503-514). Springer Berlin Heidelberg. doi:10.1007/bfb0023902
Making Some Issues of Implicit Knowledge Explicit
van der Hoek, W., & Meyer, J. J. C. (1992). Making Some Issues of Implicit Knowledge Explicit. International Journal of Foundations of Computer Science, 3(2), 193-224.
On the Semantics of Graded Modalities
van der Hoek, W. (1992). On the Semantics of Graded Modalities. Journal of Applied non-Classical Logic, 2(1), 81-123.
Some considerations on the logic PFD
van der Hoek, W. (1992). Some considerations on the logic PFD. In Lecture Notes in Computer Science (pp. 474-485). Springer Berlin Heidelberg. doi:10.1007/3-540-55460-2_36
1991
Graded Modalities for Epistemic Logic
van der Hoek, W., & Meyer, J. J. C. (1991). Graded Modalities for Epistemic Logic. Logique et Analyse, 34(133-13), 251-270.
Non-monotonic reasoning by monotonic means
Meyer, J. -J. C., & van der Hoek, W. (1991). Non-monotonic reasoning by monotonic means. In Unknown Conference (pp. 399-411). Springer Berlin Heidelberg. doi:10.1007/bfb0018455
Systems for knowledge and beliefs
van der Hoek, W. (1991). Systems for knowledge and beliefs. In Unknown Conference (pp. 267-281). Springer Berlin Heidelberg. doi:10.1007/bfb0018447
1989
Possible Logics for Belief
van der Hoek, W., & Meyer, J. J. C. (1989). Possible Logics for Belief. Logique et Analyse, 32(127-12), 177-194.