Professor Wiebe Van Der Hoek

Professor Faculty of Science and Engineering

Publications

2021

5th International Workshop on Strategic Reasoning (SR 2017) Preface (Journal article)

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

DOI: 10.1016/j.ic.2020.104551

2020

Arrow update synthesis (Journal article)

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

DOI: 10.1016/j.ic.2020.104544

Introduction to the special issue on Logic and the Foundations of Game and Decision Theory (LOFT13) (Journal article)

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

DOI: 10.1016/j.geb.2020.07.006

The Logic of Gossiping (Journal article)

Van Ditmarsch, H., Van Der Hoek, W., & Kuijer, L. (2020). The Logic of Gossiping. Artificial Intelligence, 286. doi:10.1016/j.artint.2020.103306

DOI: 10.1016/j.artint.2020.103306

Logics of allies and enemies: A formal approach to the dynamics of social balance theory (Conference Paper)

van der Hoek, W., Kuijer, L., & Wáng, Y. (2020). Logics of allies and enemies: A formal approach to the dynamics of social balance theory. In IJCAI International Joint Conference on Artificial Intelligence Vol. 2021-January (pp. 210-216).

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

Special Issue: 11th Conference on Logic and the Foundations of the Theory of Games and Decisions (LOFT11) Introduction (Journal article)

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

DOI: 10.1093/logcom/exv088

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.

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

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.

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

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

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

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, 693, 1-12. 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

Arbitrary Arrow Update Logic (Journal article)

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

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 Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence Organization. doi:10.24963/ijcai.2017/146

DOI: 10.24963/ijcai.2017/146

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

2016

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

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

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

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

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/

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

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/

2015

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

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/

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/

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

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

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

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

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

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

2012

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

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

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

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

Introduction (Chapter)

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

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

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

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

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

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

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

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

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.

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

2008

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

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

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.

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

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

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

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

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

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

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

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

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

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

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

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

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.

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

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 Unknown Conference (pp. 45-58). Springer Berlin Heidelberg. doi:10.1007/978-3-540-73681-3_4

DOI: 10.1007/978-3-540-73681-3_4

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/

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.

2006

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

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

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

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

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.

Logics in Artificial Intelligence (Conference Paper)

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

DOI: 10.1007/11853886

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/

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.

Uncertainty, Rationality, and Agency (Book)

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

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

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

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

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

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

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

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.

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

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/

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.

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

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.

Teamwork (Chapter)

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

DOI: 10.1057/9780230523203

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

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

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

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

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

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

DOI: 10.1007/978-3-540-25932-9_6

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

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 Unknown Conference (pp. 165-181). Springer Berlin Heidelberg. doi:10.1007/978-3-540-25927-5_11

DOI: 10.1007/978-3-540-25927-5_11

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

Representation and Complexity in Boolean Games (Conference Paper)

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

DOI: 10.1007/978-3-540-30227-8_30

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

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

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.

(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

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 Unknown Conference (pp. 294-295). Springer Berlin Heidelberg. doi:10.1007/978-3-540-45133-4_32

DOI: 10.1007/978-3-540-45133-4_32

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 International Conference on Autonomous Agents Vol. 2 (pp. 201-208). doi:10.1145/860575.860608

DOI: 10.1145/860575.860608

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.

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 International Conference on Autonomous Agents Vol. 2 (pp. 1148-1149). doi:10.1145/860722.860839

DOI: 10.1145/860722.860839

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 Communication in Multiagent Systems (pp. 113-128). Springer Berlin Heidelberg. doi:10.1007/978-3-540-44972-0_5

DOI: 10.1007/978-3-540-44972-0_5

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

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 Unknown Conference (pp. 313-321). Springer Berlin Heidelberg. doi:10.1007/3-540-45941-3_33

DOI: 10.1007/3-540-45941-3_33

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 first international joint conference on Autonomous agents and multiagent systems part 2 - AAMAS '02. ACM Press. doi:10.1145/544862.544949

DOI: 10.1145/544862.544949

Model Checking Knowledge and Time (Conference Paper)

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

DOI: 10.1007/3-540-46017-9_9

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 Unknown Conference (pp. 29-36). Springer Berlin Heidelberg. doi:10.1007/3-540-45941-3_3

DOI: 10.1007/3-540-45941-3_3

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 Unknown Conference (pp. 4). Springer Berlin Heidelberg. doi:10.1007/3-540-46000-4_3

DOI: 10.1007/3-540-46000-4_3

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 first international joint conference on Autonomous agents and multiagent systems part 3 - AAMAS '02. ACM Press. doi:10.1145/545056.545095

DOI: 10.1145/545056.545095

(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

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

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

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

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

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 Unknown Conference (pp. 78-89). Springer Berlin Heidelberg. doi:10.1007/3-540-45484-5_6

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

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 Unknown Conference (pp. 16-30). Springer Berlin Heidelberg. doi:10.1007/3-540-44637-0_2

DOI: 10.1007/3-540-44637-0_2

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

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.

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

DOI: 10.1007/3-540-44631-1_18

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.

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

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 Unknown Conference (pp. 254-268). Springer Berlin Heidelberg. doi:10.1007/3-540-40006-0_18

DOI: 10.1007/3-540-40006-0_18

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 Unknown Conference (pp. 269-283). Springer Berlin Heidelberg. doi:10.1007/3-540-40006-0_19

DOI: 10.1007/3-540-40006-0_19

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., & 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

DOI: 10.1007/3-540-44618-4_17

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 Unknown Conference (pp. 218-232). Springer Berlin Heidelberg. doi:10.1007/10719619_16

DOI: 10.1007/10719619_16

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

DOI: 10.1007/3-540-49057-4_25

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 Revisionin 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 Revisionin Multi-agent Systems. In Unknown Conference (pp. 29-45). Springer Berlin Heidelberg. doi:10.1007/3-540-49057-4_3

DOI: 10.1007/3-540-49057-4_3

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.

(Journal article)

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

DOI: 10.1023/a:1018967130652

(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

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 Unknown Conference (pp. 155-166). Springer Berlin Heidelberg. doi:10.1007/bfb0095049

DOI: 10.1007/bfb0095049

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 Unknown Conference (pp. 240-253). Springer Berlin Heidelberg. doi:10.1007/bfb0057449

DOI: 10.1007/bfb0057449

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 Unknown Conference (pp. 215-229). Springer Berlin Heidelberg. doi:10.1007/bfb0026761

DOI: 10.1007/bfb0026761

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 Unknown Conference (pp. 62-77). Springer Berlin Heidelberg. doi:10.1007/3-540-49545-2_5

DOI: 10.1007/3-540-49545-2_5

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, 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

DOI: 10.1007/3-540-63255-7_20

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)

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

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

HOEK, W. V. D. (1996). QUALITATIVE MODALITIES. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 04(01), 45-59. doi:10.1142/s0218488596000044

DOI: 10.1142/s0218488596000044

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 Unknown Conference (pp. 185-196). Springer Berlin Heidelberg. doi:10.1007/3-540-60343-3_36

DOI: 10.1007/3-540-60343-3_36

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

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

DOI: 10.1007/3-540-59487-6_14

1994

A logic of capabilities (Conference Paper)

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

DOI: 10.1007/3-540-58140-5_34

Communicating rational agents (Conference Paper)

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

DOI: 10.1007/3-540-58467-6_18

Formal semantics of temporal epistemic reflection (Conference Paper)

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

DOI: 10.1007/3-540-58792-6_21

Revision of non-monotonic theories (Conference Paper)

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

DOI: 10.1007/bfb0021969

1993

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

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

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 Unknown Conference (pp. 265-273). Springer Berlin Heidelberg. doi:10.1007/bfb0028209

DOI: 10.1007/bfb0028209

Belief revision by expansion (Conference Paper)

Witteveen, C., & van der Hoek, W. (1993). Belief revision by expansion. In Unknown Conference (pp. 380-387). Springer Berlin Heidelberg. doi:10.1007/bfb0028224

DOI: 10.1007/bfb0028224

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

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

DOI: 10.1007/3-540-56596-5_37

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 Unknown Conference (pp. 267-281). Springer Berlin Heidelberg. doi:10.1007/bfb0018447

DOI: 10.1007/bfb0018447

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.