2023
Balbiani, P., van der Hoek, W., & Kuijer, L. B. (2023). Simple Axioms for Local Properties. In ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE (pp. 82-92). doi:10.4204/EPTCS.379.9DOI: 10.4204/EPTCS.379.9
2022
Grossi, D., van der Hoek, W., & Kuijer, L. B. (2022). Reasoning about general preference relations. Artificial Intelligence, 313, 103793. doi:10.1016/j.artint.2022.103793DOI: 10.1016/j.artint.2022.103793
Who Should Be My Friends? Social Balance from the Perspective of Game Theory (Journal article)
van der Hoek, W., Kuijer, L. B., & Wang, Y. N. (2022). Who Should Be My Friends? Social Balance from the Perspective of Game Theory. JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 31(2), 189-211. doi:10.1007/s10849-022-09356-zDOI: 10.1007/s10849-022-09356-z
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.104551DOI: 10.1016/j.ic.2020.104551
2020
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.006DOI: 10.1016/j.geb.2020.07.006
Van Ditmarsch, H., Van Der Hoek, W., & Kuijer, L. (2020). The Logic of Gossiping. Artificial Intelligence, 286. doi:10.1016/j.artint.2020.103306DOI: 10.1016/j.artint.2020.103306
Logics of Preference when There Is No Best (Conference Paper)
Grossi, D., Van der Hoek, W., & Kuijer, L. B. (2020). Logics of Preference when There Is No Best. In KR2020: PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING (pp. 455-464). Retrieved from https://www.webofscience.com/
Van der Hoek, W., Kuijer, L., & Wang, Y. (2020). Logics of Allies and Enemies: A Formal Approach to the Dynamics of Social Balance Theory. In PROCEEDINGS OF THE TWENTY-NINTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (pp. 210-216). Retrieved from https://www.webofscience.com/
Grossi, D., Van Der Hoek, W., & Kuijer, L. B. (2020). Logics of preference when there is no best. In 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020 Vol. 2 (pp. 454-463).
2019
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/exv086DOI: 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/exv088DOI: 10.1093/logcom/exv088
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-yDOI: 10.1007/s11225-018-9803-y
2018
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-4DOI: 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.004DOI: 10.1016/j.artint.2018.07.004
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-0059DOI: 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/exx037DOI: 10.1093/logcom/exx037
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.104544DOI: 10.1016/j.ic.2020.104544
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 (Vol. 12, pp. 237-262). doi:10.1007/978-3-319-62864-6_9DOI: 10.1007/978-3-319-62864-6_9
2017
Belanyek, A., Grossi, D., & Hoek, W. V. D. (2017). A Note on Nesting in Dyadic Deontic Logic. Retrieved from http://arxiv.org/abs/1710.03481v1
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/exx012DOI: 10.1093/logcom/exx012
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.018DOI: 10.1016/j.tcs.2017.07.018
Belardinelli, F., van Ditmarsch, H., & van der Hoek, W. (2017). A Logic for Global and Local Announcements. In ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE (pp. 28-42). doi:10.4204/EPTCS.251.3DOI: 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.003DOI: 10.1016/j.artint.2016.10.003
Grossi, D., Herzig, A., van der Hoek, W., & Moyzes, C. (2017). Non-Determinism and the Dynamics of Knowledge. In PROCEEDINGS OF THE TWENTY-SIXTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (pp. 1053-1059). Retrieved from https://www.webofscience.com/
The Pleasure of Gossip (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_9DOI: 10.1007/978-3-319-47843-2_9
2016
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.018DOI: 10.1016/j.tcs.2017.07.018
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-yDOI: 10.1007/s11225-016-9659-y
Apt, K. R., Grossi, D., & van der Hoek, W. (2016). Epistemic Protocols for Distributed Gossiping. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, (215), 51-66. doi:10.4204/EPTCS.215.5DOI: 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-0DOI: 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/exv086DOI: 10.1093/logcom/exv086
Belardinelli, F., & van der Hoek, W. (2016). A Semantical Analysis of Second-Order Propositional Modal Logic. In THIRTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE (pp. 886-892). Retrieved from https://www.webofscience.com/
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).
Belardinelli, F., van Ditmarsch, H., & van der Hoek, W. (2016). Second-order Propositional Announcement Logic. In AAMAS'16: PROCEEDINGS OF THE 2016 INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS & MULTIAGENT SYSTEMS (pp. 635-643). Retrieved from https://www.webofscience.com/
2015
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
Ditmarsch, H. V., Halpern, J. Y., Hoek, W. V. D., & Kooi, B. (2015). An Introduction to Logics of Knowledge and Belief. Retrieved from http://arxiv.org/abs/1503.00806v1
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_13DOI: 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. (2015). Effective Approximations for Multi-Robot Coordination in Spatially Distributed Tasks. In PROCEEDINGS OF THE 2015 INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS & MULTIAGENT SYSTEMS (AAMAS'15) (pp. 881-890). Retrieved from https://www.webofscience.com/
Belardinelli, F., & van der Hoek, W. (2015). Epistemic Quantified Boolean Logic: Expressiveness and Completeness Results. PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2748-2754. Retrieved from https://www.webofscience.com/
Logic, Rationality, and Interaction (Conference Paper)
van der Hoek, W., Holliday, W. H., & Wang, W. -F. (Eds.) (2015). Logic, Rationality, and Interaction. In . Springer Berlin Heidelberg. doi:10.1007/978-3-662-48561-3DOI: 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/exs058DOI: 10.1093/logcom/exs058
Two Themes in Modal Logic (Journal article)
van der Hoek, W. (n.d.). Two Themes in Modal Logic. Electronic Proceedings in Theoretical Computer Science, 146. doi:10.4204/eptcs.146.0.2DOI: 10.4204/eptcs.146.0.2
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/s0219198914030017DOI: 10.1142/s0219198914030017
Hoek, W. V. D., Walther, D., & Wooldridge, M. (2014). Reasoning About the Transfer of Control. Journal Of Artificial Intelligence Research, Volume 37, pages 437-477, 2010. Retrieved from http://dx.doi.org/10.1613/jair.2901
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-1DOI: 10.1007/s11225-014-9548-1
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_2DOI: 10.1007/978-3-319-09764-0_2
Grossi, D., & van der Hoek, W. (2014). Justified Beliefs by Justified Arguments. In FOURTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING (pp. 131-140). Retrieved from https://www.webofscience.com/
Knowledge and Gossip (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-21DOI: 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. (2014). On the Relative Succinctness of Modal Logics with Union, Intersection and Quantification. In AAMAS'14: PROCEEDINGS OF THE 2014 INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS & MULTIAGENT SYSTEMS (pp. 341-348). Retrieved from https://www.webofscience.com/
Some exponential lower bounds on formula-size in modal logic (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 JOHAN VAN BENTHEM ON LOGIC AND INFORMATION DYNAMICS (Vol. 5, pp. 339-380). doi:10.1007/978-3-319-06025-5_12DOI: 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-2DOI: 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)
Agotnes, T., Harrenstein, P., van der Hoek, W., & Wooldridge, M. (2013). Boolean Games with Epistemic Goals. In LOGIC, RATIONALITY, AND INTERACTION (LORI 2013) Vol. 8196 (pp. 1-14). Retrieved from https://www.webofscience.com/
Reasoning about Choice (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_2DOI: 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-5DOI: 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-6DOI: 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/jzr038DOI: 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.003DOI: 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.2438660DOI: 10.1145/2438653.2438660
2012
Introduction chapter (Journal article)
Witteman, C., & van der Hoek, W. (2012). Introduction chapter. Synthese, 189(S1), 1-3. doi:10.1007/s11229-012-0184-xDOI: 10.1007/s11229-012-0184-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.007DOI: 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_33DOI: 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_11DOI: 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_1DOI: 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-49DOI: 10.3233/978-1-61499-098-7-49
Everything is Knowable – How to Get to Know<i>Whether</i>a Proposition is True (Journal article)
VAN DITMARSCH, H., VAN DER HOEK, W., & ILIEV, P. (2012). Everything is Knowable – How to Get to Know<i>Whether</i>a Proposition is True. Theoria, 78(2), 93-114. doi:10.1111/j.1755-2567.2011.01119.xDOI: 10.1111/j.1755-2567.2011.01119.x
Logics for Multiagent Systems (Conference Paper)
van der Hoek, W., & Wooldridge, M. (2012). Logics for Multiagent Systems. In AI Magazine Vol. 33 (pp. 92-105). Wiley. doi:10.1609/aimag.v33i3.2427DOI: 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.9736665DOI: 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-153DOI: 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_7DOI: 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_6DOI: 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 the 13th Conference on Theoretical Aspects of Rationality and Knowledge. ACM. doi:10.1145/2000378.2000401DOI: 10.1145/2000378.2000401
Troquard, N., Hoek, W. V. D., & Wooldridge, M. (2011). Reasoning about Social Choice Functions. Retrieved from http://dx.doi.org/10.1007/s10992-011-9189-z
An abstract framework for reasoning about trust (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-8DOI: 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-8DOI: 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-zDOI: 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)
Dastani, M., Hindriks, K. V., & Meyer, J. -J. C. (Eds.) (2010). Specification and Verification of Multi-agent Systems. Springer US. doi:10.1007/978-1-4419-6984-2DOI: 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/jzp070DOI: 10.1093/jigpal/jzp070
Introduction (Chapter)
Van Der Hoek, W., Kaminka, G. A., Luck, M., & Sen, S. (2010). Introduction. In Unknown Book (Vol. 1).
2009
Verification of Games in the Game Description Language (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/exp039DOI: 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_14DOI: 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).
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 Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge. ACM. doi:10.1145/1562814.1562846DOI: 10.1145/1562814.1562846
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/jzp009DOI: 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-3DOI: 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_11DOI: 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.040DOI: 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 Temporal Logic of Normative Systems (Chapter)
Ågotnes, T., van der Hoek, W., Rodríguez-Aguilar, J. A., Sierra, C., & Wooldridge, M. (2009). A Temporal Logic of Normative Systems. In Towards Mathematical Philosophy (pp. 69-106). Springer Netherlands. doi:10.1007/978-1-4020-9084-4_5DOI: 10.1007/978-1-4020-9084-4_5
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.026713DOI: 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).
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.004DOI: 10.1016/j.artint.2008.08.004
Robust Normative Systems (Conference Paper)
Ågotnes, T., Van Der Hoek, W., & Wooldridge, M. (2009). Robust Normative Systems. In Dagstuhl Seminar Proceedings Vol. 9121.
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_20DOI: 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-1DOI: 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.003DOI: 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-6DOI: 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).
DYNAMIC EPISTEMIC LOGIC (Chapter)
van Ditmarsch, H., van der Hoek, W., & Kooi, B. (2008). DYNAMIC EPISTEMIC LOGIC. In Synthese Library (Vol. 337, pp. 1-276).
Dynamic Epistemic Logic (Book)
van Ditmarsch, H., van der Hoek, W., & Kooi, B. (2008). Dynamic Epistemic Logic. Springer Netherlands. doi:10.1007/978-1-4020-5839-4DOI: 10.1007/978-1-4020-5839-4
GOAL Agents Instantiate Intention Logic (Conference Paper)
Hindriks, K., & van der Hoek, W. (2008). GOAL Agents Instantiate Intention Logic. In Dagstuhl Seminar Proceedings Vol. 8361.
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.
Preface (Book)
van Ditmarsch, H., van der Hoek, W., & Kooi, B. (2008). Preface (Vol. 337).
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 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-1DOI: 10.1016/s1570-2464(07)80023-1
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. doi:10.3166/jancl.17.477-509DOI: 10.3166/jancl.17.477-509
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.1324285DOI: 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).
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).
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_8DOI: 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-2DOI: 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.043DOI: 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.014DOI: 10.1016/j.jal.2005.12.014
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. ACM. doi:10.1145/1329125.1329284DOI: 10.1145/1329125.1329284
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. ACM. doi:10.1145/1329125.1329228DOI: 10.1145/1329125.1329228
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-6DOI: 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-6DOI: 10.1007/s11229-006-9145-6
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 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_4DOI: 10.1007/978-3-540-73681-3_4
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 22nd AAAI Conference on Artificial Intelligence, AAAI 2007 (pp. 9-16).
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/
On the Logic of Normative Systems? (Conference Paper)
Ågotnes, T., Van Der Hoek, W., Rodríguez-Aguilar, J. A., Sierra, C., & Wooldridge, M. (2007). On the Logic of Normative Systems?. In Dagstuhl Seminar Proceedings Vol. 7122.
Reasoning about Judgement and Preference Aggregation (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
Uncertainty, rationality, and agency (Book)
Hoek, W. V. D. (2006). Uncertainty, rationality, and agency. doi:10.1007/1-4020-4631-6DOI: 10.1007/1-4020-4631-6
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-1DOI: 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.009DOI: 10.1016/j.entcs.2006.02.009
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. ACM. doi:10.1145/1160633.1160665DOI: 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. ACM. doi:10.1145/1160633.1160659DOI: 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. ACM. doi:10.1145/1160633.1160663DOI: 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. ACM. doi:10.1145/1160633.1160662DOI: 10.1145/1160633.1160662
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-zDOI: 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.029DOI: 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 (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)
Fisher, M., van der Hoek, W., Konev, B., & Lisitsa, A. (Eds.) (2006). Logics in Artificial Intelligence. In . Springer Berlin Heidelberg. doi:10.1007/11853886DOI: 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.
Uncertainty, Rationality, and Agency (Book)
van der Hoek, W. (2006). Uncertainty, Rationality, and Agency. Springer Netherlands. doi:10.1007/1-4020-4631-6DOI: 10.1007/1-4020-4631-6
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_7DOI: 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-6DOI: 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_51DOI: 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 https://www.webofscience.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.006DOI: 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-0DOI: 10.1007/s00200-005-0173-0
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. ACM. doi:10.1145/1082473.1082497DOI: 10.1145/1082473.1082497
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 fourth international joint conference on Autonomous agents and multiagent systems. ACM. doi:10.1145/1082473.1082495DOI: 10.1145/1082473.1082495
Knowledge and social laws (Conference Paper)
van der Hoek, W., Roberts, M., & Wooldridge, M. (2005). Knowledge and social laws. In Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems. ACM. doi:10.1145/1082473.1082576DOI: 10.1145/1082473.1082576
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.003DOI: 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.010DOI: 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.
Information, Interaction, and Agency (Book)
van der Hoek, W. (Ed.) (2005). Information, Interaction, and Agency. Berlin: Springer.
Many-valued epistemic states. An application to a reflective architecture: Milord-II (Journal article)
Godo, L., van der Hoek, W., Meyer, J. -J. C., & Sierra, C. (1995). Many-valued epistemic states. An application to a reflective architecture: Milord-II. Unknown Journal, 440-452. doi:10.1007/bfb0035977DOI: 10.1007/bfb0035977
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)
Ditmarsch, H. P., Van Der Hoek, W., & Kooi, B. P. (n.d.). Playing cards with Hintikka An introduction to dynamic epistemic logic. The Australasian Journal of Logic, 3. doi:10.26686/ajl.v3i0.1776DOI: 10.26686/ajl.v3i0.1776
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)
Gold, N. (Ed.) (2005). Teamwork. In . Palgrave Macmillan UK. doi:10.1057/9780230523203DOI: 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/08839510490514832DOI: 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-4DOI: 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-8DOI: 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-9DOI: 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_6DOI: 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_11DOI: 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 https://www.webofscience.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_30DOI: 10.1007/978-3-540-30227-8_30
Theories of Knowledge and Ignorance (Chapter)
Hoek, W. V. D., Jaspars, J., & Thijsse, E. (n.d.). Theories of Knowledge and Ignorance. In Logic, Epistemology, and the Unity of Science (pp. 381-418). Springer Netherlands. doi:10.1007/978-1-4020-2808-3_19DOI: 10.1007/978-1-4020-2808-3_19
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.1314432DOI: 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.10139DOI: 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 der Hoek, W., & Wooldridge, M. (2003). Unknown Title. Studia Logica, 75(1), 125-157. doi:10.1023/a:1026185103185DOI: 10.1023/a:1026185103185
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. ACM. doi:10.1145/860575.860608DOI: 10.1145/860575.860608
Editorial (Journal article)
van der Hoek, W. (2003). Editorial. Logic Journal of IGPL, 11(2), 133. doi:10.1093/jigpal/11.2.133DOI: 10.1093/jigpal/11.2.133
Iterated Belief Change in Multi-Agent Systems (Journal article)
Roorda, J. -W. (2003). Iterated Belief Change in Multi-Agent Systems. Logic Journal of IGPL, 11(2), 223-246. doi:10.1093/jigpal/11.2.223DOI: 10.1093/jigpal/11.2.223
Towards a Logic of Rational Agency (Journal article)
van der Hoek, W. (2003). Towards a Logic of Rational Agency. Logic Journal of IGPL, 11(2), 135-159. doi:10.1093/jigpal/11.2.135DOI: 10.1093/jigpal/11.2.135
(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:1021836202093DOI: 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-6DOI: 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_32DOI: 10.1007/978-3-540-45133-4_32
Concurrent Dynamic Epistemic Logic (Chapter)
Van Ditmarsch, H. P., Van Der Hoek, W., & Kooi, B. P. (2003). Concurrent Dynamic Epistemic Logic. In Knowledge Contributors (pp. 105-143). Springer Netherlands. doi:10.1007/978-94-007-1001-6_6DOI: 10.1007/978-94-007-1001-6_6
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.860608DOI: 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.
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 second international joint conference on Autonomous agents and multiagent systems - AAMAS '03. ACM Press. doi:10.1145/860722.860839DOI: 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-4DOI: 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-0DOI: 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_5DOI: 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/
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/s0269888902000504DOI: 10.1017/s0269888902000504
Boer, F. S. D., Hindriks, K. V., Hoek, W. V. D., & Meyer, J. -J. C. (2002). Agent Programming with Declarative Goals. Retrieved from http://arxiv.org/abs/cs/0207008v1
(Journal article)
van der Hoek, W., & Witteveen, C. (2002). Unknown Title. Studia Logica, 70(1), 3-4. doi:10.1023/a:1014625723965DOI: 10.1023/a:1014625723965
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_33DOI: 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.544949DOI: 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_9DOI: 10.1007/3-540-46017-9_9
Motivational Attitudes in the Karo Framework (Chapter)
Meyer, J. -J. C., van der Hoek, W., & van Linder, B. (2002). Motivational Attitudes in the Karo Framework. In Agent-Based Defeasible Control in Dynamic Environments (pp. 341-356). Springer Netherlands. doi:10.1007/978-94-017-1741-0_12DOI: 10.1007/978-94-017-1741-0_12
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_3DOI: 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.
Seeing is Believing and So are Hearing and Jumping (Chapter)
van der Hoek, W., Meyer, J. -J. C., & van Linder, B. (2002). Seeing is Believing and So are Hearing and Jumping. In Agent-Based Defeasible Control in Dynamic Environments (pp. 309-339). Springer Netherlands. doi:10.1007/978-94-017-1741-0_11DOI: 10.1007/978-94-017-1741-0_11
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_3DOI: 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.545095DOI: 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:1020578025481DOI: 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. (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.930719DOI: 10.1109/TIME.2001.930719
Logic and the Foundations of the Theory of Games and Decisions: Introduction (Journal article)
Bonanno, G., & Van Der Hoek, W. (2001). Logic and the Foundations of the Theory of Games and Decisions: Introduction. Bulletin of Economic Research, 53(4), 215-217. doi:10.1111/1467-8586.00132DOI: 10.1111/1467-8586.00132
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.701DOI: 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-xDOI: 10.1016/s0921-8890(01)00135-x
Multi-agent systems research into the 21st century (Conference Paper)
D'Inverno, M., & Luck, M. (2001). Multi-agent systems research into the 21st century. In KNOWLEDGE ENGINEERING REVIEW Vol. 16 (pp. 271-275). doi:10.1017/S0269888901000169DOI: 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.1025DOI: 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.245DOI: 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_6DOI: 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_2DOI: 10.1007/3-540-44637-0_2
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_18DOI: 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 Multi-Agent Systems and Applications (pp. 50-73). Springer Berlin Heidelberg. doi:10.1007/3-540-47745-4_3DOI: 10.1007/3-540-47745-4_3
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-8DOI: 10.1016/s0921-8890(01)00134-8
Temporalized Epistemic Default Logic (Chapter)
Meyer, J. -J. C., Treur, J., & van der Hoek, W. (2001). Temporalized Epistemic Default Logic. In Dynamics and Management of Reasoning Processes (pp. 177-194). Springer Netherlands. doi:10.1007/978-94-017-1743-4_10DOI: 10.1007/978-94-017-1743-4_10
The Dynamics of Default Reasoning (Chapter)
van Linder, B., van der Hoek, W., & Meyer, J. -J. C. (2001). The Dynamics of Default Reasoning. In Dynamics and Management of Reasoning Processes (pp. 125-157). Springer Netherlands. doi:10.1007/978-94-017-1743-4_8DOI: 10.1007/978-94-017-1743-4_8
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_3DOI: 10.1007/3-540-45484-5_3
2000
(Journal article)
der van Hoek, W. (2000). Unknown Title. Studia Logica, 66(1), 79-119. doi:10.1023/a:1026796912842DOI: 10.1023/a:1026796912842
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_18DOI: 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_19DOI: 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_17DOI: 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.
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_16DOI: 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-2DOI: 10.1016/s0004-3702(99)00061-2
Continuing research in multi-agent systems (Journal article)
Decker, K., Fisher, M., Luck, M., & Tennenholtz, M. (1999). Continuing research in multi-agent systems. KNOWLEDGE ENGINEERING REVIEW, 14(3), 279-283. doi:10.1017/S026988899900301XDOI: 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_25DOI: 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-xDOI: 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_3DOI: 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:1018967130652DOI: 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:1010084620690DOI: 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-4DOI: 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/bfb0095049DOI: 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/bfb0057449DOI: 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/bfb0026761DOI: 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., & Van Der Hoek, W. (1998). Modal Logics for Representing Incoherent Knowledge. In Reasoning with Actual and Potential Contradictions (pp. 37-75). Springer Netherlands. doi:10.1007/978-94-017-1739-7_3DOI: 10.1007/978-94-017-1739-7_3
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_5DOI: 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-xDOI: 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:1008264012385DOI: 10.1023/a:1008264012385
1997
First steps in modal logic (Journal article)
van der Hoek, W. (1997). First steps in modal logic. Artificial Intelligence in Medicine, 9(2), 199-201. doi:10.1016/s0933-3657(96)00371-5DOI: 10.1016/s0933-3657(96)00371-5
A Complete Epistemic Logic for Multiple Agents (Chapter)
Van der Hoek, W., & Meyer, J. J. (1997). A Complete Epistemic Logic for Multiple Agents. In Theory and Decision Library (pp. 35-68). Springer US. doi:10.1007/978-1-4613-1139-3_2DOI: 10.1007/978-1-4613-1139-3_2
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_20DOI: 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-3DOI: 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:1008242530244DOI: 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/bf02127972DOI: 10.1007/bf02127972
Honesty in partial logic (Journal article)
van der Hoek, W., Jaspars, J., & Thijsse, E. (1996). Honesty in partial logic. Studia Logica, 56(3), 323-360. doi:10.1007/bf00372771DOI: 10.1007/bf00372771
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/bf02127972DOI: 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_56DOI: 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)
Alferes, J. J., Pereira, L. M., & Orlowska, E. (Eds.) (1996). Logics in Artificial Intelligence. In . Springer Berlin Heidelberg. doi:10.1007/3-540-61630-6DOI: 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/s0218488596000044DOI: 10.1142/s0218488596000044
Revising and updating using a back-up semantics (Chapter)
Witteveen, C., & Hoek, W. (1996). Revising and updating using a back-up semantics. In Logics in Artificial Intelligence (pp. 388-403). Springer Berlin Heidelberg. doi:10.1007/3-540-61630-6_27DOI: 10.1007/3-540-61630-6_27
Some postulates for nonmonotonic theory revision applied to logic programming (Chapter)
Witteveen, C., & Hoek, W. (1996). Some postulates for nonmonotonic theory revision applied to logic programming. In Extensions of Logic Programming (pp. 303-318). Springer Berlin Heidelberg. doi:10.1007/3-540-60983-0_21DOI: 10.1007/3-540-60983-0_21
1995
Epistemic Logic for AI and Computer Science (Book)
Meyer, J. -J. C., & Hoek, W. V. D. (1995). Epistemic Logic for AI and Computer Science. Cambridge University Press. doi:10.1017/cbo9780511569852DOI: 10.1017/cbo9780511569852
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-2312DOI: 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_36DOI: 10.1007/3-540-60343-3_36
Counting Objects (Journal article)
HOEK, W. V. D., & RIJKE, M. D. (1995). Counting Objects. Journal of Logic and Computation, 5(3), 325-345. doi:10.1093/logcom/5.3.325DOI: 10.1093/logcom/5.3.325
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_14DOI: 10.1007/3-540-59487-6_14
Seeing is believing (Chapter)
van Linder, B., van der Hoek, W., & Meyer, J. -J. C. (1995). Seeing is believing. In Lecture Notes in Computer Science (pp. 402-413). Springer Berlin Heidelberg. doi:10.1007/3-540-60437-5_40DOI: 10.1007/3-540-60437-5_40
The dynamics of default reasoning (Chapter)
van Linder, B., van der Hoek, W., & Meyer, J. -J. C. (1995). The dynamics of default reasoning. In Symbolic and Quantitative Approaches to Reasoning and Uncertainty (pp. 277-284). Springer Berlin Heidelberg. doi:10.1007/3-540-60112-0_32DOI: 10.1007/3-540-60112-0_32
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_34DOI: 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_18DOI: 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_21DOI: 10.1007/3-540-58792-6_21
Honesty in Partial Logic (Chapter)
van der Hoek, W., Jaspars, J., & Thijsse, E. (1994). Honesty in Partial Logic. In Principles of Knowledge Representation and Reasoning (pp. 583-594). Elsevier. doi:10.1016/b978-1-4832-1452-8.50149-4DOI: 10.1016/b978-1-4832-1452-8.50149-4
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/bfb0021969DOI: 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.173DOI: 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/bf01530938DOI: 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/bf01051767DOI: 10.1007/bf01051767
A Logic of Capabilities (Conference Paper)
Van Der Hoek, W., Van Under, B., & Meyer, J. J. C. (1993). A Logic of Capabilities. In AAAI Spring Symposium - Technical Report Vol. SS-93-05 (pp. 150-159).
A default logic based on epistemic states (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/bfb0028209DOI: 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/bfb0028224DOI: 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_37DOI: 10.1007/3-540-56596-5_37
1992
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, 03(02), 193-223. doi:10.1142/s0129054192000139DOI: 10.1142/s0129054192000139
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/bfb0023902DOI: 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.
Some considerations on the logic PFD (Chapter)
van der Hoek, W. (1992). Some considerations on the logic PFD. In Logic Programming (pp. 474-485). Springer Berlin Heidelberg. doi:10.1007/3-540-55460-2_36DOI: 10.1007/3-540-55460-2_36
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/bfb0018455DOI: 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/bfb0018447DOI: 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.