Prof Wiebe Van Der Hoek

Professor Faculty of Science and Engineering

    Publications

    2019

    Program models and semi-public environments (Journal article)

    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

    DOI: 10.1093/logcom/exv086

    Who should be my friends? Social balance from the perspective of game theory. (Conference Paper)

    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.

    2018

    When Are Two Gossips the Same? (Conference Paper)

    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.

    Second-order propositional modal logic: Expressiveness and completeness results (Journal article)

    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

    DOI: 10.1016/j.artint.2018.07.004

    Introduction to the Special Issue on Logic and the Foundations of Game and Decision Theory (LOFT12) (Journal article)

    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

    DOI: 10.1007/s11225-018-9803-y

    Introduction to the Special Section on Logic and the Foundations of Game and Decision Theory (LOFT12) (Journal article)

    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

    DOI: 10.1515/bejte-2018-0059

    Logic, Rationality and Interaction (LORI-5): Introduction to the Special Issue (Journal article)

    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

    DOI: 10.1093/logcom/exx037

    Arrow Update Synthesis (Journal article)

    Ditmarsch, H. V., Hoek, W. V. D., Kooi, B., & Kuijer, L. B. (n.d.). Arrow Update Synthesis. Retrieved from http://arxiv.org/abs/1802.00914v3

    Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic (Chapter)

    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 (pp. 237-262). Springer International Publishing. doi:10.1007/978-3-319-62864-6_9

    DOI: 10.1007/978-3-319-62864-6_9

    2017

    Logic, rationality and interaction (LORI-5): introduction to the special issue (Journal article)

    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

    DOI: 10.1007/s11229-017-1640-4

    A Note on Nesting in Dyadic Deontic Logic (Journal article)

    Belanyek, A., Grossi, D., & Hoek, W. V. D. (n.d.). A Note on Nesting in Dyadic Deontic Logic. Retrieved from http://arxiv.org/abs/1710.03481v1

    Fair decomposition of group obligations (Journal article)

    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

    DOI: 10.1093/logcom/exx012

    The undecidability of arbitrary arrow update logic (Journal article)

    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

    DOI: 10.1016/j.tcs.2017.07.018

    The undecidability of arbitrary arrow update logic (Journal article)

    van Ditmarsch, H., van der Hoek, W., & Kuijer, L. (2017). The undecidability of arbitrary arrow update logic. Theoretical Computer Science. doi:10.1016/j.tcs.2017.07.018

    DOI: 10.1016/j.tcs.2017.07.018

    A Logic for Global and Local Announcements (Conference Paper)

    Belardinelli, F., Ditmarsch, H. V., & Hoek, W. V. D. (n.d.). A Logic for Global and Local Announcements. In EPTCS 251, 2017, pp. 28-42. doi:10.4204/EPTCS.251.3

    DOI: 10.4204/EPTCS.251.3

    The Pleasure of Gossip (Chapter)

    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

    DOI: 10.1007/978-3-319-47843-2_9

    Arbitrary arrow update logic (Journal article)

    van Ditmarsch, H., van der Hoek, W., Kooi, B., & Kuijer, L. B. (2017). Arbitrary arrow update logic. ARTIFICIAL INTELLIGENCE, 242, 80-106. doi:10.1016/j.artint.2016.10.003

    DOI: 10.1016/j.artint.2016.10.003

    Non-determinism and the dynamics of knowledge (Conference Paper)

    Grossi, D., Herzig, A., Van Der Hoek, W., & Moyzes, C. (2017). Non-determinism and the dynamics of knowledge. In IJCAI International Joint Conference on Artificial Intelligence (pp. 1053-1059).

    2016

    Second-order Propositional Announcement Logic (Conference Paper)

    Belardinelli, F., van Ditmarsch, H., van der Hoek, W., & Machinery, A. C. (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 http://gateway.webofknowledge.com/

    Special Issue Logic and the Foundations of Game and Decision Theory (LOFT 2014a) (Other)

    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 (Journal article)

    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

    DOI: 10.1007/s11229-016-1017-0

    Special Issue on Logical Aspects of Multi-Agent Systems Preface (Journal article)

    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

    DOI: 10.1007/s11225-016-9659-y

    A Semantical Analysis of Second-Order Propositional Modal Logic (Conference Paper)

    Belardinelli, F., van der Hoek, W., & AAAI. (2016). A Semantical Analysis of Second-Order Propositional Modal Logic. In THIRTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE (pp. 886-892). Retrieved from http://gateway.webofknowledge.com/

    Program models and semi-public environments (Journal article)

    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

    DOI: 10.1093/logcom/exv086

    Fully Arbitrary Public Announcements (Conference Paper)

    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).

    2015

    Epistemic Quantified Boolean Logic: Expressiveness and Completeness Results (Journal article)

    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 http://gateway.webofknowledge.com/

    Epistemic Quantified Boolean Logic (Conference Paper)

    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 (Journal article)

    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

    Epistemic Protocols for Distributed Gossiping (Journal article)

    Apt, K. R., Grossi, D., & Hoek, W. V. D. (n.d.). Epistemic Protocols for Distributed Gossiping. EPTCS 215, 2016, pp. 51-66. doi:10.4204/EPTCS.215.5

    DOI: 10.4204/EPTCS.215.5

    An Introduction to Logics of Knowledge and Belief (Journal article)

    Ditmarsch, H. V., Halpern, J. Y., Hoek, W. V. D., & Kooi, B. (n.d.). An Introduction to Logics of Knowledge and Belief. Retrieved from http://arxiv.org/abs/1503.00806v1

    A Framework for Epistemic Gossip Protocols (Conference Paper)

    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

    DOI: 10.1007/978-3-319-17130-2_13

    Effective Approximations for Multi-Robot Coordination in Spatially Distributed Tasks (Conference Paper)

    Claes, D., Robbel, P., Oliehoek, F. A., Tuyls, K., Hennes, D., van der Hoek, W., & ACM. (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 http://gateway.webofknowledge.com/

    Logic, Rationality, and Interaction (Conference Paper)

    Logic, Rationality, and Interaction (2015). Springer Berlin Heidelberg. doi:10.1007/978-3-662-48561-3

    DOI: 10.1007/978-3-662-48561-3

    Preface (Conference Paper)

    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 (Conference Paper)

    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

    DOI: 10.1093/logcom/exs058

    Justified beliefs by justified arguments (Conference Paper)

    Grossi, D., & Van Der Hoek, W. (2014). Justified beliefs by justified arguments. In Proc. Int. Workshop Tempor. Represent. Reason. (pp. 131-140).

    INTRODUCTION (Journal article)

    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

    DOI: 10.1142/s0219198914030017

    A Modal Logic for Mixed Strategies (Journal article)

    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

    DOI: 10.1007/s11225-014-9548-1

    Fair Allocation of Group Tasks According to Social Norms (Conference Paper)

    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

    DOI: 10.1007/978-3-319-09764-0_2

    Knowledge and Gossip (Conference Paper)

    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

    DOI: 10.3233/978-1-61499-419-0-21

    On the Relative Succinctness of Modal Logics with Union, Intersection and Quantification (Conference Paper)

    van der Hoek, W., Iliev, P., & Machinery, A. C. (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 http://gateway.webofknowledge.com/

    Some exponential lower bounds on formula-size in modal logic (Conference Paper)

    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 (Chapter)

    Bezhanishvili, N., & van der Hoek, W. (2014). Structures for Epistemic Logic. In Outstanding Contributions to Logic (pp. 339-380). Springer International Publishing. doi:10.1007/978-3-319-06025-5_12

    DOI: 10.1007/978-3-319-06025-5_12

    2013

    Audience-based uncertainty in abstract: Argument games (Conference Paper)

    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 (Journal article)

    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

    DOI: 10.1007/s10992-013-9294-2

    Verifiable equilibria in Boolean games (Conference Paper)

    Å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 (Conference Paper)

    Ågotnes, T., Harrenstein, P., van der Hoek, W., & Wooldridge, M. (2013). Boolean Games with Epistemic Goals. In Unknown Conference (pp. 1-14). Springer Berlin Heidelberg. doi:10.1007/978-3-642-40948-6_1

    DOI: 10.1007/978-3-642-40948-6_1

    Reasoning about Choice (Conference Paper)

    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

    DOI: 10.1007/978-3-642-39860-5_2

    Introduction to the special issue (Journal article)

    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

    DOI: 10.1007/s00182-013-0387-5

    Program equilibrium—a program reasoning approach (Journal article)

    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

    DOI: 10.1007/s00182-011-0314-6

    Connecting dynamic epistemic and temporal epistemic logics (Journal article)

    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

    DOI: 10.1093/jigpal/jzr038

    Building and using social structures (Journal article)

    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

    DOI: 10.1145/2438653.2438660

    Introduction (Chapter)

    Van Der Hoek, W., Kaminka, G. A., Luck, M., & Sen, S. (2010). Introduction. In Unknown Book (Vol. 1).

    On the succinctness of some modal logics (Journal article)

    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

    DOI: 10.1016/j.artint.2013.02.003

    2012

    On the Relative Succinctness of Two Extensions by Definitions of Multimodal Logic (Conference Paper)

    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

    DOI: 10.1007/978-3-642-30870-3_33

    GOAL Agents Instantiate Intention Logic (Journal article)

    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

    DOI: 10.1007/978-3-642-29414-3_11

    Control and Delegation (Conference Paper)

    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

    DOI: 10.1007/978-3-642-29113-5_1

    A logic of revelation and concealment (Conference Paper)

    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 (Conference Paper)

    Å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

    DOI: 10.3233/978-1-61499-098-7-49

    Everything is Knowable - How to Get to Know Whether a Proposition is True (Journal article)

    VAN DITMARSCH, H., VAN DER HOEK, W., & ILIEV, P. (2012). Everything is Knowable - How to Get to Know Whether a Proposition is True. Theoria, 78(2), 93-114. doi:10.1111/j.1755-2567.2011.01119.x

    DOI: 10.1111/j.1755-2567.2011.01119.x

    Local properties in modal logic (Journal article)

    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

    DOI: 10.1016/j.artint.2012.04.007

    Logics for Multiagent Systems (Conference Paper)

    Van der Hoek, W., & Wooldridge, M. (n.d.). Logics for Multiagent Systems. In AI Magazine Vol. 33 (pp. 92). Association for the Advancement of Artificial Intelligence (AAAI). doi:10.1609/aimag.v33i3.2427

    DOI: 10.1609/aimag.v33i3.2427

    2011

    Foreword (Journal article)

    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

    DOI: 10.1080/11663081.2011.9736665

    Succinctness of epistemic languages (Conference Paper)

    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

    DOI: 10.5591/978-1-57735-516-8/IJCAI11-153

    Knowledge and Action in Semi-public Environments (Conference Paper)

    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

    DOI: 10.1007/978-3-642-24130-7_7

    On the Definability of Simulability and Bisimilarity by Finite Epistemic Models (Conference Paper)

    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

    DOI: 10.1007/978-3-642-22359-4_6

    Sigma algebras in probabilistic epistemic dynamics (Conference Paper)

    Aceto, L., van der Hoek, W., Ingolfsdottir, A., & Sack, J. (2011). Sigma algebras in probabilistic epistemic dynamics. In Proceedings of hte 13th Conference on Theoretical Aspects of Rationality and Knowledge - TARK XIII. ACM Press. doi:10.1145/2000378.2000401

    DOI: 10.1145/2000378.2000401

    Reasoning about Social Choice Functions (Journal article)

    Troquard, N., Hoek, W. V. D., & Wooldridge, M. (n.d.). Reasoning about Social Choice Functions. doi:10.1007/s10992-011-9189-z

    DOI: 10.1007/s10992-011-9189-z

    An abstract framework for reasoning about trust (Conference Paper)

    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 (Conference Paper)

    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 (Conference Paper)

    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 (Journal article)

    �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

    DOI: 10.1007/210458-009-9115-8

    On the logic of preference and judgment aggregation (Journal article)

    Å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

    DOI: 10.1007/s10458-009-9115-8

    Reasoning about local properties in modal logic (Conference Paper)

    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 (Journal article)

    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

    DOI: 10.1007/210992-011-9189-z

    Scientia potentia est (Conference Paper)

    Å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 (Conference Paper)

    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 (Book)

    Specification and Verification of Multi-agent Systems (2010). . Springer US. doi:10.1007/978-1-4419-6984-2

    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 (Book)

    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).

    Reasoning About the Transfer of Control (Journal article)

    Hoek, W. V. D., Walther, D., & Wooldridge, M. (n.d.). Reasoning About the Transfer of Control. Journal Of Artificial Intelligence Research, Volume 37, pages 437-477, 2010. doi:10.1613/jair.2901

    DOI: 10.1613/jair.2901

    2009

    Knowing more - From global to local correspondence (Conference Paper)

    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).

    Concurrently Decomposable Constraint Systems (Conference Paper)

    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

    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 (Book)

    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).

    Completeness and Complexity of Multi-modal CTL (Journal article)

    Å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

    DOI: 10.1016/j.entcs.2009.02.040

    A Coordination Language for Agents Interacting in Distributed Plan-Execute Cycles (Journal article)

    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 (Conference Paper)

    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 coordination language for agents interacting in distributed plan-execute cycles (Journal article)

    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

    DOI: 10.1504/ijris.2009.026713

    A logic of games and propositional control (Conference Paper)

    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).

    A logic of propositional control for truthful implementations (Conference Paper)

    Troquard, N., van der Hoek, W., & Wooldridge, M. (2009). A logic of propositional control for truthful implementations. In A. Heifetz (Ed.), Theoretical Aspects of Rationality and Knowledge (TARK) (pp. 237-246). Stanford, USA: ACM.

    Agent Programming with Temporally Extended Goals (Conference Paper)

    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 (Conference Paper)

    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 -- Towards a local correspondence theory (Conference Paper)

    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.

    Logics for Qualitative Coalitional Games (Journal article)

    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

    DOI: 10.1093/jigpal/jzp009

    Model Checking Strategic Equilibria (Conference Paper)

    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

    DOI: 10.1007/978-3-642-00431-5_11

    Multi-Modal CTL: Completeness, Complexity, and an Application (Journal article)

    Å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

    DOI: 10.1007/s11225-009-9184-3

    Power in Normative Systems (Conference Paper)

    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 (Conference Paper)

    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 (Journal article)

    Å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

    DOI: 10.1016/j.artint.2008.08.004

    Robust normative systems and a logic of norm compliance (Journal article)

    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

    DOI: 10.1093/jigpal/jzp070

    Verification of Games in the Game Description Language (Journal article)

    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

    DOI: 10.1093/logcom/exp039

    2008

    Invited talk logics of interaction, coalitions and social choice (extended abstract) (Conference Paper)

    Å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 (Journal article)

    Ågotnes, T., van der Hoek, W., & Wooldridge, M. (2008). Quantified coalition logic. Synthese, 165(2), 269-294. doi:10.1007/s11229-008-9363-1

    DOI: 10.1007/s11229-008-9363-1

    Specifying and reasoning about uncertain agents (Journal article)

    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

    DOI: 10.1016/j.ijar.2007.08.003

    Chapter 24 Multi-Agent Systems (Book)

    van der Hoek, W., & Wooldridge, M. (2008). Chapter 24 Multi-Agent Systems. Elsevier. doi:10.1016/s1574-6526(07)03024-6

    DOI: 10.1016/s1574-6526(07)03024-6

    A Temporal Logic of Normative Systems (Chapter)

    �gotnes, T., van der Hoek, W., Rodíguez-Aguilar, J., Sierra, C., & Wooldrdige, M. (2008). A Temporal Logic of Normative Systems. In Towards Mathematical Philosophy (Vol. 28, pp. 69-106). Berlin: Springer.

    Cooperative Boolean Games (Conference Paper)

    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 (Conference Paper)

    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).

    GOAL Agents Instantiate Intention Logic (Conference Paper)

    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

    DOI: 10.1007/978-3-540-87803-2_20

    Multi-Agent Systems (Chapter)

    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.

    Quantified Coalition Logic (Journal article)

    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 (Conference Paper)

    �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 (Conference Paper)

    Å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 (Conference Paper)

    �gotnes, T., van der Hoek, W., & Wooldridge, M. (2008). Robust Normative Systems. In AAMAS (pp. 747-754). Estoril: IFAAMAS. Retrieved from http://www.ifaamas.org/

    Robust normative systems (Conference Paper)

    Å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 (Conference Paper)

    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

    Dynamic epistemic logic and knowledge puzzles (Conference Paper)

    Van Ditmarsch, H. P., Van Der Hoek, W., & Kooi, B. P. (2007). Dynamic epistemic logic and knowledge puzzles. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 4604 LNAI (pp. 45-58).

    20 Modal logic for games and information (Journal article)

    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

    DOI: 10.1016/s1570-2464(07)80023-1

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface (Book)

    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).

    Normative system games (Conference Paper)

    Å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 - AAMAS '07. ACM Press. doi:10.1145/1329125.1329284

    DOI: 10.1145/1329125.1329284

    On the logic of normative systems (Conference Paper)

    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 (Conference Paper)

    Ågotnes, T., Van Der Hoek, W., & Wooldridge, M. (2007). Quantified coalition logic. In IJCAI International Joint Conference on Artificial Intelligence (pp. 1181-1186).

    Reasoning about judgment and preference aggregation (Conference Paper)

    Å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 - AAMAS '07. ACM Press. doi:10.1145/1329125.1329228

    DOI: 10.1145/1329125.1329228

    Logic for automated mechanism design - A progress report (Conference Paper)

    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) (Conference Paper)

    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

    DOI: 10.1007/s10472-007-9081-2

    A logical characterisation of qualitative coalitional games (Journal article)

    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.

    A verification framework for agent programming with declarative goals (Journal article)

    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.

    Alternating-time temporal logic with explicit strategies (Conference Paper)

    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. ACM Press. doi:10.1145/1324249.1324285

    DOI: 10.1145/1324249.1324285

    Completeness and Complexity of Multi-Modal CTL (Conference Paper)

    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 (Book)

    van Ditmarsch, H. P., van der Hoek, W., & Kooi, B. P. (2007). Dynamic Epistemic Logic (Vol. 337). V. Hendricks, & J. Symons (Eds.), Berlin: Springer. Retrieved from http://www.springer.com/west/home/computer/general?SGWID=4-155-22-173713777-0

    Model Checking dynamic epistemics in branching time (Conference Paper)

    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 (Conference Paper)

    �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/

    Reasoning about Judgement and Preference Aggregation (Conference Paper)

    �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 (Book)

    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/

    Social laws in alternating time: effectiveness, feasibility, and synthesis (Journal article)

    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

    DOI: 10.1007/s11229-006-9072-6

    Strategy Logics and the Game Description Language (Conference Paper)

    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.

    Temporal Logics of Knowledge and their Applications in Security (Journal article)

    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

    DOI: 10.1016/j.entcs.2006.11.043

    The Performance of Option—Trading Software Agents: Initial Results (Conference Paper)

    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

    DOI: 10.1007/978-3-540-73135-1_8

    Towards a theory of intention revision (Journal article)

    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

    DOI: 10.1007/s11229-006-9145-6

    2006

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface (Book)

    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 (Journal article)

    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

    DOI: 10.1016/j.entcs.2006.02.009

    Preface (Journal article)

    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

    DOI: 10.1007/s10458-006-6015-z

    A verification framework for agent programming with declarative goals (Journal article)

    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

    DOI: 10.1016/j.jal.2005.12.014

    EUMAS'04 Special Issue (Conference Paper)

    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.

    Knowledge Condition Games (Journal article)

    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

    DOI: 10.1007/s10849-006-9014-1

    Logics in Artificial Intelligence (Book)

    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/

    Logics in Artificial Intelligence (Conference Paper)

    Logics in Artificial Intelligence (2006). Springer Berlin Heidelberg. doi:10.1007/11853886

    DOI: 10.1007/11853886

    Modal Logic for Games and Information (Chapter)

    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.

    Model Checking Russian Cards (Journal article)

    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

    DOI: 10.1016/j.entcs.2005.07.029

    On the complexity of practical ATL model checking (Conference Paper)

    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 - AAMAS '06. ACM Press. doi:10.1145/1160633.1160665

    DOI: 10.1145/1160633.1160665

    On the logic of coalitional games (Conference Paper)

    Å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 - AAMAS '06. ACM Press. doi:10.1145/1160633.1160659

    DOI: 10.1145/1160633.1160659

    Reasoning about action and cooperation (Conference Paper)

    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 - AAMAS '06. ACM Press. doi:10.1145/1160633.1160663

    DOI: 10.1145/1160633.1160663

    Temporal qualitative coalitional games (Conference Paper)

    Å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 - AAMAS '06. ACM Press. doi:10.1145/1160633.1160662

    DOI: 10.1145/1160633.1160662

    Uncertainty, Rationality, and Agency (Book)

    van der Hoek, W. (Ed.) (2006). Uncertainty, Rationality, and Agency. Dordrecht: Springer.

    2005

    A logic for strategic reasoning (Conference Paper)

    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 (Conference Paper)

    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 (Book)

    van der Hoek, W. (2005). Information, Interaction and Agency. Springer Netherlands. doi:10.1007/1-4020-4094-6

    DOI: 10.1007/1-4020-4094-6

    Knowledge and social laws (Conference Paper)

    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 (Conference Paper)

    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 http://gateway.webofknowledge.com/

    On the dynamics of delegation, cooperation, and control: A logical account (Conference Paper)

    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).

    Preface (Conference Paper)

    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

    DOI: 10.1016/j.entcs.2004.11.010

    'Designing agents for derivatives markets: a preliminary framework' (Conference Paper)

    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.

    A logic for strategic reasoning (Conference Paper)

    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 - AAMAS '05. ACM Press. doi:10.1145/1082473.1082497

    DOI: 10.1145/1082473.1082497

    Dynamic Epistemic Logic with Assignment (Conference Paper)

    van Ditmarsch, H., van der Hoek, W., & Kooi, B. (2005). Dynamic Epistemic Logic with Assignment. In F. Dignum, V. Dignum, S. Koenig, S. Kraus, M. P. Singh, & M. Wooldridge (Eds.), Autonomous Agents and Multi-Agent Systems (AAMAS) (pp. 141-148). New York: ACN Inc.

    Information, Interaction, and Agency (Book)

    van der Hoek, W. (Ed.) (2005). Information, Interaction, and Agency. Berlin: Springer.

    Intentions and Strategies in Game-Like Scenarios (Conference Paper)

    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

    DOI: 10.1007/11595014_51

    Knowledge and Social Laws (Conference Paper)

    van der Hoek, W., Roberts, M., & Wooldridge, M. (2005). Knowledge and Social Laws. In F. Dignum, V. Dignum, S. Koenig, S. Kraus, M. P. Singh, & M. Wooldridge (Eds.), Autonomous Agents and Multi-Agent Systems (AAMAS) (pp. 674-681). New York: ACM Inc.

    Many-valued epistemic states. An application to a reflectfve architecture: Milord-II (Journal article)

    Godo, L., Van Der Hoek, W., Ch. Meyer, J. J., & Sierra, C. (2005). Many-valued epistemic states. An application to a reflectfve architecture: Milord-II. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 945, 440-452.

    On obligations and normative ability: Towards a logical analysis of the social contract (Journal article)

    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

    DOI: 10.1016/j.jal.2005.04.006

    On the Dynamics of Delegation, Cooperation, and Control: A Logical Account (Conference Paper)

    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.

    On the logic of cooperation and propositional control (Journal article)

    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

    DOI: 10.1016/j.artint.2005.01.003

    Playing Cards with Hintikka: An introduction to dynamic epistemic logic (Journal article)

    van Ditmarsch, H. P., Kooi, B. P., & van der Hoek, W. (2005). Playing Cards with Hintikka: An introduction to dynamic epistemic logic. The Australasian Journal of Logic, 3, 108-134. Retrieved from http://www.philosophy.unimelb.edu.au/ajl/

    Process algebra and constraint programming for modeling interactions in MAS (Journal article)

    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

    DOI: 10.1007/s00200-005-0173-0

    Public Announcement and Belief Revision (Chapter)

    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.

    Verification Within the KARO Agent Theory (Chapter)

    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

    DOI: 10.1007/1-84628-271-3_7

    2004

    Agents that know how to play (Conference Paper)

    Jamroga, W., & Van Der Hoek, W. (2004). Agents that know how to play. In Fundamenta Informaticae Vol. 63 (pp. 185-219).

    Knowledge, rationality and action (Conference Paper)

    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 (Conference Paper)

    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).

    Preface (Conference Paper)

    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

    DOI: 10.1016/s1571-0661(05)82603-9

    A Logic For Ignorance (Journal article)

    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

    DOI: 10.1016/s1571-0661(05)82606-4

    A logic for ignorance (Conference Paper)

    Van Der Hoek, W., & Lomuscio, A. (2004). A logic for ignorance. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 2990 (pp. 97-108).

    Agents that Know How to Play (Journal article)

    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

    Knowledge as Strategic Ability (Journal article)

    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

    DOI: 10.1016/s1571-0661(05)82608-8

    MODEL CHECKING A KNOWLEDGE EXCHANGE SCENARIO (Journal article)

    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

    DOI: 10.1080/08839510490514832

    Obligations versus abilities of agents via Deontic ATL (Conference Paper)

    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 (Conference Paper)

    Jamroga, W., Van Der Hoek, W., & Wooldridge, M. (2004). On obligations and abilities. In Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) Vol. 3065 (pp. 165-181).

    Practical reasoning for uncertain agents (Conference Paper)

    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 http://gateway.webofknowledge.com/

    Proceedings LCMAS (Conference Paper)

    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

    Rational teams: Logical aspects of multi-agent systems (Journal article)

    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.

    Representation and complexity in Boolean games (Conference Paper)

    Dunne, P. E., & Van Der Hoek, W. (2004). Representation and complexity in Boolean games. In Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) Vol. 3229 (pp. 347-359).

    Teamwork (Chapter)

    Teamwork (2005). Palgrave Macmillan UK. doi:10.1057/9780230523203

    DOI: 10.1057/9780230523203

    Theories of Knowledge and Ignorance (Chapter)

    van der Hoek, W., Jaspars, J., & Thijsse, E. (2004). Theories of Knowledge and Ignorance. In J. P. van Bendegem (Ed.), Logic, Epistemology and the Unity of Science (pp. 381-418). Dordrecht: Kluwer Academic Publishers.

    Using temporal logics of knowledge in the formal verification of security protocols (Conference Paper)

    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

    DOI: 10.1109/TIME.2004.1314432

    2003

    Agent Programming in Dribble: From Beliefs to Goals Using Plans (Conference Paper)

    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).

    Concurrent Dynamic Epistemic Logic for MAS (Conference Paper)

    Van Ditmarsch, H. P., Van der Hoek, W., & Kooi, B. P. (2003). Concurrent Dynamic Epistemic Logic for MAS. In Proceedings of the Interantional Conference on Autonomous Agents Vol. 2 (pp. 201-208).

    Ignore at Your Peril - Towards a Logic for Ignorance (Conference Paper)

    Van der Hoek, W., & Lomuscio, A. (2003). Ignore at Your Peril - Towards a Logic for Ignorance. In Proceedings of the Interantional Conference on Autonomous Agents Vol. 2 (pp. 1148-1149).

    A Modal Characterization of Nash Equilibrium (Journal article)

    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.

    A fully abstract model for the exchange of information in multi-agent systems (Journal article)

    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

    DOI: 10.1016/s0304-3975(02)00078-6

    Agent programming in dribble: From beliefs to goals with plans (Conference Paper)

    Van Riemsdijk, B., Van Der Hoek, W., & Meyer, J. J. C. (2003). Agent programming in dribble: From beliefs to goals with plans. In Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) Vol. 2699 (pp. 294-295).

    Concurrent Epistemic Dynamic Logic for Multi Agent Systems (Chapter)

    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.

    Concurrent dynamic epistemic logic for MAS (Conference Paper)

    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 - AAMAS '03. ACM Press. doi:10.1145/860575.860608

    DOI: 10.1145/860575.860608

    Description of Game States (Chapter)

    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.

    Formal semantics of meta-level architectures: Temporal epistemic reflection (Journal article)

    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

    DOI: 10.1002/int.10139

    Logic and the foundations of the theory of games and decisions: introduction (Journal article)

    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

    DOI: 10.1016/s1090-9443(03)00033-4

    Model checking cooperation, knowledge, and time—a case study (Journal article)

    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

    DOI: 10.1016/s1090-9443(03)00031-0

    Process algebra for agent communication: A general semantic approach (Chapter)

    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 Unknown Book (Vol. 2650, pp. 113-128).

    Towards a Logic of Rational Agency (Journal article)

    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/

    (Journal article)

    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

    DOI: 10.1023/a:1021836202093

    (Journal article)

    van der Hoek, W., & Wooldridge, M. (2003). Unknown Title. Studia Logica, 75(1), 125-157. doi:10.1023/a:1026185103185

    DOI: 10.1023/a:1026185103185

    2002

    Practical and theoretical innovations in multi-agent systems research (Conference Paper)

    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

    DOI: 10.1017/s0269888902000504

    Agent Programming with Declarative Goals (Journal article)

    Boer, F. S. D., Hindriks, K. V., Hoek, W. V. D., & Meyer, J. -J. C. (n.d.). Agent Programming with Declarative Goals. Retrieved from http://arxiv.org/abs/cs/0207008v1

    A programming language for coordinating group actions (Conference Paper)

    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 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 2296 (pp. 313-321).

    Agents Serving Science (Chapter)

    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 (Chapter)

    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 (Conference Paper)

    Roorda, J. W., Van der Hoek, W., & Meyer, J. J. (2002). Iterated belief change in multi-agent systems. In Proceedings of the International Conference on Autonomous Agents (pp. 889-896).

    Model checking knowledge and time (Conference Paper)

    Van Der Hoek, W., & Wooldridge, M. (2002). Model checking knowledge and time. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 2318 LNCS (pp. 95-111).

    Non-Monotonic Reasoning and Partial Semantics (Book)

    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 (Conference Paper)

    Agray, N., van der Hoek, W., & de Vink, E. (2002). On BAN logics for industrial security protocols. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 2296 (pp. 29).

    On Modal Logic Interpretations of Games (Conference Paper)

    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 (Conference Paper)

    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.

    Time, knowledge, and cooperation: Alternating-time temporal epistemic logic and its applications (Conference Paper)

    Wooldridge, M., & van der Hoek, W. (2002). Time, knowledge, and cooperation: Alternating-time temporal epistemic logic and its applications. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 2315 (pp. 4).

    Tractable multiagent planning for epistemic goals (Conference Paper)

    Van der Hoek, W., & Wooldridge, M. (2002). Tractable multiagent planning for epistemic goals. In Proceedings of the International Conference on Autonomous Agents (pp. 1167-1174).

    (Journal article)

    van der Hoek, W., & Thijsse, E. (2002). Unknown Title. Studia Logica, 72(1), 61-84. doi:10.1023/a:1020578025481

    DOI: 10.1023/a:1020578025481

    2001

    Generalised object-oriented concepts for inter-agent communication (Conference Paper)

    Van Eijk, R. M., De Boer, F. S., Van Der Hoek, W., & Meyer, J. J. C. (2001). Generalised object-oriented concepts for inter-agent communication. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 1986 LNAI (pp. 260-274).

    RoboCup European Championship: (Journal article)

    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

    DOI: 10.1016/s0921-8890(01)00135-x

    Multi-agent systems research into the 21st century (Conference Paper)

    D'Inverno, M., Luck, M., & Contributors, U. K. M. A. S. . (2001). Multi-agent systems research into the 21st century. In KNOWLEDGE ENGINEERING REVIEW Vol. 16 (pp. 271-275). doi:10.1017/S0269888901000169

    DOI: 10.1017/S0269888901000169

    A programming logic for part of the agent language 3APL (Conference Paper)

    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 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 1871 (pp. 78-89).

    A truly concurrent model for interacting agents (Conference Paper)

    de Vries, W., de Boer, F. S., van der Hoek, W., & Meyer, J. J. C. (2001). A truly concurrent model for interacting agents. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 2132 (pp. 16-30).

    Boolean Games (Conference Paper)

    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 (Chapter)

    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.

    How to Recover from (Non-)monotonic Inconsistency (Chapter)

    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 (Chapter)

    van der Hoek, W. (2001). Logical Foundations of Agent-Based Computing. In M. Luck, V. Marik, O. Stepankova, & R. Trappl (Eds.), Multi-Agent Systems and Applications (Vol. 2086, pp. 50-73). Berlin: Springer.

    Modal Logic with Bounded Quantification over Worlds (Journal article)

    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

    DOI: 10.1093/logcom/11.5.701

    On dynamically generated ontology translators in agent communication (Journal article)

    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

    DOI: 10.1002/int.1025

    On programming KARO agents (Journal article)

    Meyer, J. -J. (2001). On programming KARO agents. Logic Journal of IGPL, 9(2), 245-256. doi:10.1093/jigpal/9.2.245

    DOI: 10.1093/jigpal/9.2.245

    Reasoning about agents in the KARO framework (Conference Paper)

    Hustadt, U., Dixon, C., Schmidt, R. A., Fisher, M., Meyer, J. J., van der Hoek, W., . . . SOCIETY, I. C. (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

    DOI: 10.1109/TIME.2001.930719

    Scanning the issue (Journal article)

    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

    DOI: 10.1016/s0921-8890(01)00134-8

    Temporal Epistemic Default Logic (Chapter)

    van der Hoek, W., Meyer, J. J. C., & Treur, J. (2001). Temporal Epistemic Default Logic. In D. M. Gabbay, & P. Smets (Eds.), Handbook of Defeasible Reasoning and Uncertainty (pp. 177-194). Dordrecht: Kluwer Academic Publishers.

    The Dynamics of Default Reasoning (Chapter)

    van Linder, B., van der Hoek, W., & Meyer, J. J. C. (2001). The Dynamics of Default Reasoning. In D. M. Gabbay, & P. Smets (Eds.), Handbook of Defeasible Reasoning and Uncertainty (pp. 125-157). Dordrecht: Kluwer Academic Publishers.

    Verification within the KARO Agent Theory (Conference Paper)

    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

    DOI: 10.1007/3-540-45484-5_3

    2000

    Failure semantics for the exchange of information in multi-agent systems (Conference Paper)

    De Boer, F. S., Van Eijk, R. M., Van Der Hoek, W., & Ch. Meyer, J. J. (2000). Failure semantics for the exchange of information in multi-agent systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 1877 LNCS (pp. 214-228).

    A general approach to multi-agent minimal knowledge (Conference Paper)

    Van Der Hoek, W., Jaspars, J., & Thijsse, E. (2000). A general approach to multi-agent minimal knowledge. In Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) Vol. 1919 (pp. 254-268).

    A modal logic for network topologies (Conference Paper)

    Van Eijk, R. M., De Boer, F. S., Van Der Hoek, W., & Meyer, J. J. C. (2000). A modal logic for network topologies. In Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) Vol. 1919 (pp. 269-283).

    Formalizing Potential of Agents: The KARO Framework Revisited (Chapter)

    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.

    On Agents that Have the Ability to Choose (Journal article)

    van der Hoek, W., Meyer, J. J. C. H., & van Linder, B. (2000). On Agents that Have the Ability to Choose. Studia Logica, 66(1), 79-119. Retrieved from http://www.springerlink.com/

    Open multi-agent systems: Agent communication and integration (Conference Paper)

    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 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 1757 (pp. 218-232).

    1999

    A Default Logic Based on Epistemic States (Chapter)

    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 (Journal article)

    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

    DOI: 10.1016/s0004-3702(99)00061-2

    Continuing research in multi-agent systems (Journal article)

    Decker, K., Fisher, M., Luck, M., Tennenholtz, M., & UKMAS'98. (1999). Continuing research in multi-agent systems. KNOWLEDGE ENGINEERING REVIEW, 14(3), 279-283. doi:10.1017/S026988899900301X

    DOI: 10.1017/S026988899900301X

    Control structures of rule-based agent languages (Conference Paper)

    Hindriks, K. V., de Boer, F. S., van der Hoek, W., & Meyer, J. J. C. (1999). Control structures of rule-based agent languages. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 1555 (pp. 381-396).

    Group knowledge is not always distributed (neither is it always implicit) (Journal article)

    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

    DOI: 10.1016/s0165-4896(99)00013-x

    Information-passing and belief revision in multi-agent systems (Conference Paper)

    van Eijk, R. M., de Boer, F. S., van der Hoek, W., & Meyer, J. J. C. (1999). Information-passing and belief revision in multi-agent systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 1555 (pp. 29-45).

    Interleaved Contractions (Chapter)

    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.

    Persistence and minimality in epistemic logic (Journal article)

    Van Der Hoek, W., Jaspars, J., & Thijsse, E. (1999). Persistence and minimality in epistemic logic. Annals of Mathematics and Artificial Intelligence, 27(1-4), 25-47.

    (Journal article)

    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

    DOI: 10.1023/a:1010084620690

    1998

    Constructing translations between individual vocabularies in multi-agent systems (Conference Paper)

    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 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 1480 LNAI (pp. 240-253).

    Translations of Vocabularies in Systems of Communicating Agents (Conference Paper)

    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

    DOI: 10.1016/s1571-0661(05)80589-4

    A Language for Modular Information-Passing Agents (Journal article)

    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 (Conference Paper)

    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 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 1502 (pp. 155-166).

    Formal semantics for an abstract agent programming language (Conference Paper)

    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 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 1365 (pp. 215-229).

    Formalizing Abilities and Opportunities of Agents (Journal article)

    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 (Chapter)

    Meyer, J. J. C. H., & van der Hoek, W. (1998). Modal Logics for Representing Incoherent Knowledge. In D. M. Gabbay, & P. Smets (Eds.), Handbook of Defeasible Reasoning and Uncertainty (Vol. 2, pp. 37-75). Dordrecht: Kluwer Academic Publishers.

    Persistence and minimality in epistemic logic (Conference Paper)

    van der Hoek, W., Jaspars, J., & Thijsse, E. (1998). Persistence and minimality in epistemic logic. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 1489 (pp. 62-77).

    Recovery of (non)monotonic theories (Journal article)

    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

    DOI: 10.1016/s0004-3702(98)00099-x

    (Journal article)

    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

    DOI: 10.1023/a:1008264012385

    1997

    A Complete Epistemic Logic for Multiple Agents-- Combining Distributed and Common Knowledge (Chapter)

    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 (Conference Paper)

    Witteveen, C., & van der Hoek, W. (1997). A general framework for revising nonmonotonic theories. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 1265 (pp. 258-272).

    Seeing is Believing (and so are Hearing and Jumping) (Journal article)

    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 (Journal article)

    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 (Journal article)

    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

    DOI: 10.1016/s0169-023x(96)00021-3

    (Journal article)

    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

    DOI: 10.1023/a:1008242530244

    1996

    A modal contrastive logic: The logic of 'but' (Journal article)

    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.

    A modal contrastive logic: The logic of ‘but’ (Journal article)

    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

    DOI: 10.1007/bf02127972

    Formalising motivational attitudes of agents (Conference Paper)

    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

    DOI: 10.1007/3540608052_56

    Honesty in Partial Modal Logic (Journal article)

    van der Hoek, W., Jaspars, J., & Thijsse, E. (1996). Honesty in Partial Modal Logic. Studia Logica, 56(3), 323-360.

    Logics in Artificial Intelligence (Conference Paper)

    Logics in Artificial Intelligence (1996). Springer Berlin Heidelberg. doi:10.1007/3-540-61630-6

    DOI: 10.1007/3-540-61630-6

    Modalities for Reasoning about Knowledge and Uncertainties (Chapter)

    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 (Journal article)

    Van Der Hoek, W. (1996). Qualitative modalities. International Journal of Uncertainty, Fuzziness and Knowlege-Based Systems, 4(1), 45-59.

    1995

    A DEFAULT LOGIC BASED ON EPISTEMIC STATES (Journal article)

    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

    DOI: 10.3233/fi-1995-2312

    Actions that Make You Change Your Mind (Chapter)

    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 (Conference Paper)

    van Linder, B., van der Hoek, W., & Meyer, J. J. C. (1995). Actions that make you change your mind. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 981 (pp. 185-196).

    Counting Objects (Journal article)

    van der Hoek, W., & de Rijke, M. (1995). Counting Objects. Journal of Logic and Computation, 5(3), 325-345.

    Epistemic Logic for AI and Computer Science (Book)

    Meyer, J. -J. C., & van der Hoek, W. (1995). Epistemic Logic for AI and Computer Science (Vol. 41). C. J. van Rijsbergen (Ed.), Cambridge: Cambridge University Press.

    Revision by communication: Program revision by consulting weaker semantics (Conference Paper)

    Witteveen, C., & van der Hoek, W. (1995). Revision by communication: Program revision by consulting weaker semantics. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 928 (pp. 189-202).

    1994

    A logic of capabilities (Conference Paper)

    van der Hoek, W., van Linder, B., & Meyer, J. J. C. (1994). A logic of capabilities. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 813 LNCS (pp. 366-378).

    Communicating rational agents (Conference Paper)

    van Linder, B., van der Hoek, W., & Meyer, J. J. C. (1994). Communicating rational agents. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 861 LNAI (pp. 202-213).

    Formal semantics of temporal epistemic reflection (Conference Paper)

    Van Der Hoek, W., Meyer, J. J., & Treur, J. (1994). Formal semantics of temporal epistemic reflection. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 883 LNCS (pp. 332-352).

    Revision of non-monotonic theories: Some postulates and an application to logic programming (Conference Paper)

    Witteveen, C., van der Hoek, W., & de Nivelle, H. (1994). Revision of non-monotonic theories: Some postulates and an application to logic programming. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 838 LNAI (pp. 137-151).

    1993

    A default logic based on epistemic states (Conference Paper)

    Meyer, J. J. C., & van der Hoek, W. (1993). A default logic based on epistemic states. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 747 LNCS (pp. 265-273).

    Belief revision by expansion (Conference Paper)

    Witteveen, C., & van der Hoek, W. (1993). Belief revision by expansion. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 747 LNCS (pp. 380-387).

    Counterfactual reasoning by (means of) defaults (Journal article)

    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

    DOI: 10.1007/bf01530938

    Generalized quantifiers and modal logic (Journal article)

    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

    DOI: 10.1007/bf01051767

    Systems for Knowledge and Belief (Journal article)

    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

    DOI: 10.1093/logcom/3.2.173

    Towards an epistemic approach to reasoning about concurrent programs (Conference Paper)

    Van Der Hoek, W., Van Hulst, M., & Meyer, J. J. C. (1993). Towards an epistemic approach to reasoning about concurrent programs. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 666 LNCS (pp. 261-287).

    1992

    Graded modalities in epistemic logic (Conference Paper)

    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

    DOI: 10.1007/bfb0023902

    Making Some Issues of Implicit Knowledge Explicit (Journal article)

    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 (Journal article)

    van der Hoek, W. (1992). On the Semantics of Graded Modalities. Journal of Applied non-Classical Logic, 2(1), 81-123.

    1991

    Graded Modalities for Epistemic Logic (Journal article)

    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 (Conference Paper)

    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

    DOI: 10.1007/bfb0018455

    Systems for knowledge and beliefs (Conference Paper)

    Van Der Hoek, W. (1991). Systems for knowledge and beliefs. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 478 LNAI (pp. 267-281).

    1989

    Possible Logics for Belief (Journal article)

    van der Hoek, W., & Meyer, J. J. C. (1989). Possible Logics for Belief. Logique et Analyse, 32(127-12), 177-194.