Skip to main content

Publications

What type of publication do you want to show?

2023

2022

Who Should Be My Friends? Social Balance from the Perspective of Game Theory

van der Hoek, W., Kuijer, L. B., & Wang, Y. N. (2022). Who Should Be My Friends? Social Balance from the Perspective of Game Theory. JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 31(2), 189-211. doi:10.1007/s10849-022-09356-z

DOI
10.1007/s10849-022-09356-z
Journal article

2021

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

van der Hoek, W., Maubert, B., Murano, A., & Rubin, S. (2021). 5th International Workshop on Strategic Reasoning (SR 2017) Preface. INFORMATION AND COMPUTATION, 276. doi:10.1016/j.ic.2020.104551

DOI
10.1016/j.ic.2020.104551
Journal article

2020

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

Battigalli, P., Bonanno, G., & van der Hoek, W. (2020). Introduction to the special issue on Logic and the Foundations of Game and Decision Theory (LOFT13). GAMES AND ECONOMIC BEHAVIOR, 123, 207-209. doi:10.1016/j.geb.2020.07.006

DOI
10.1016/j.geb.2020.07.006
Journal article

Logics of Preference when There Is No Best

Grossi, D., Van der Hoek, W., & Kuijer, L. B. (2020). Logics of Preference when There Is No Best. In KR2020: PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING (pp. 455-464). Retrieved from https://www.webofscience.com/

Conference Paper

Logics of preference when there is no best

Grossi, D., Van Der Hoek, W., & Kuijer, L. B. (2020). Logics of preference when there is no best. In 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020 Vol. 2 (pp. 454-463).

Conference Paper

2019

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

Agotnes, T., Bonanno, G., & van der Hoek, W. (2019). Special Issue: 11th Conference on Logic and the Foundations of the Theory of Games and Decisions (LOFT11) Introduction. JOURNAL OF LOGIC AND COMPUTATION, 29(7), 1011-1013. doi:10.1093/logcom/exv088

DOI
10.1093/logcom/exv088
Journal article

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

Bonanno, G., van der Hoek, W., & Perea, A. (2019). Introduction to the Special Issue on Logic and the Foundations of Game and Decision Theory (LOFT12). STUDIA LOGICA, 107(3), 451-455. doi:10.1007/s11225-018-9803-y

DOI
10.1007/s11225-018-9803-y
Journal article

2018

When Are Two Gossips the Same?

Van Der Hoek, W., Apt, K., & Grossi, D. (2018). When Are Two Gossips the Same?. In LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning Vol. 57 (pp. 36-55). Awassa, Ethopia.

Conference Paper

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

van der Hoek, W., Holiday, W. H., & Wang, W. -F. (2018). Logic, rationality and interaction (LORI-5): introduction to the special issue. SYNTHESE, 195(10), 4201-4204. doi:10.1007/s11229-017-1640-4

DOI
10.1007/s11229-017-1640-4
Journal article

Second-order Propositional Modal Logic: Expressiveness and Completeness Results

Belardinelli, F., Van Der Hoek, W., & Kuijer, L. B. (2018). Second-order Propositional Modal Logic: Expressiveness and Completeness Results. Artificial Intelligence, 263, 3-45. doi:10.1016/j.artint.2018.07.004

DOI
10.1016/j.artint.2018.07.004
Journal article

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

van der Hoek, W., Holliday, W. H., & Wang, W. -F. (2018). Logic, Rationality and Interaction (LORI-5): Introduction to the Special Issue. JOURNAL OF LOGIC AND COMPUTATION, 28(2), 265-267. doi:10.1093/logcom/exx037

DOI
10.1093/logcom/exx037
Journal article

Arrow update synthesis

van Ditmarsch, H., van der Hoek, W., Kooi, B., & Kuijer, L. B. (2020). Arrow update synthesis. INFORMATION AND COMPUTATION, 275. doi:10.1016/j.ic.2020.104544

DOI
10.1016/j.ic.2020.104544
Journal article

Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic

van Ditmarsch, H., van der Hoek, W., & Kooi, B. (2018). Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic. In JAAKKO HINTIKKA ON KNOWLEDGE AND GAME-THEORETICAL SEMANTICS (Vol. 12, pp. 237-262). doi:10.1007/978-3-319-62864-6_9

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

2017

Arbitrary Arrow Update Logic

van Ditmarsch, H., Van Der Hoek, W., Kooi, B., & Kuijer, L. (2017). Arbitrary Arrow Update Logic. Artificial Intelligence, 242, 80-106. doi:10.1016/j.artint.2016.10.003

DOI
10.1016/j.artint.2016.10.003
Journal article

Non-Determinism and the Dynamics of Knowledge

Grossi, D., Herzig, A., van der Hoek, W., & Moyzes, C. (2017). Non-Determinism and the Dynamics of Knowledge. In PROCEEDINGS OF THE TWENTY-SIXTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (pp. 1053-1059). Retrieved from https://www.webofscience.com/

Conference Paper

The Pleasure of Gossip

Attamah, M., van Ditmarsch, H., Grossi, D., & van der Hoek, W. (2017). The Pleasure of Gossip. In Outstanding Contributions to Logic (pp. 145-163). Springer International Publishing. doi:10.1007/978-3-319-47843-2_9

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

2016

Special Issue on Logical Aspects of Multi-Agent Systems Preface

Bulling, N., & van der Hoek, W. (2016). Special Issue on Logical Aspects of Multi-Agent Systems Preface. STUDIA LOGICA, 104(4), 593-595. doi:10.1007/s11225-016-9659-y

DOI
10.1007/s11225-016-9659-y
Journal article

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

Agotnes, T., Bonanno, G., & van der Hoek, W. (n.d.). Special Issue Logic and the Foundations of Game and Decision Theory (LOFT 2014a). W. Van Der Hoek, T. Agotnes, & G. Bonanno (Eds.), (Vol. 193, No. Of Pieces: 1, pp. 659-1006). Springer. Retrieved from http://link.springer.com/journal/11229/193/3/page/1

Other

Introduction to the special issue

Agotnes, T., Bonanno, G., & van der Hoek, W. (2016). Introduction to the special issue. SYNTHESE, 193(3), 659-662. doi:10.1007/s11229-016-1017-0

DOI
10.1007/s11229-016-1017-0
Journal article

Program models and semi-public environments

Moyzes, C., Grossi, D., van der Hoek, W., & Wooldridge, M. (n.d.). Program models and semi-public environments. Journal of Logic and Computation. doi:10.1093/logcom/exv086

DOI
10.1093/logcom/exv086
Journal article

Fully Arbitrary Public Announcements

Van Ditmarsch, H., Van Der Hoek, W., & Kuijer, L. B. (2016). Fully Arbitrary Public Announcements. In Advances in Modal Logic Vol. 11 (pp. 252-267).

Conference Paper

Second-order Propositional Announcement Logic

Belardinelli, F., van Ditmarsch, H., & van der Hoek, W. (2016). Second-order Propositional Announcement Logic. In AAMAS'16: PROCEEDINGS OF THE 2016 INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS & MULTIAGENT SYSTEMS (pp. 635-643). Retrieved from https://www.webofscience.com/

Conference Paper

2015

Epistemic Quantified Boolean Logic

Van Der Hoek, W., & Belardinelli, F. (2015). Epistemic Quantified Boolean Logic. In M. Wooldridge, & Q. Jang (Eds.), International Joint Conference on Artificial Intelligence (IJCAI) (pp. 2748-2754). IJCAI. Retrieved from http://www.ijcai.org/Proceedings/15/Papers/389.pdf

Conference Paper

Effective Approximations for Multi-Robot Coordination in Spatially Distributed Tasks

Claes, D., Robbel, P., Oliehoek, F., Tuyls, K., Hennes, D., & Van Der Hoek, W. (2015). Effective Approximations for Multi-Robot Coordination in Spatially Distributed Tasks. Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015), 881-890. Retrieved from http://www.aamas2015.com/en/AAMAS_2015_USB/aamas/p881.pdf

Journal article

A Framework for Epistemic Gossip Protocols

Attamah, M., van Ditmarsch, H., Grossi, D., & van der Hoek, W. (2015). A Framework for Epistemic Gossip Protocols. In MULTI-AGENT SYSTEMS (EUMAS 2014) Vol. 8953 (pp. 193-209). doi:10.1007/978-3-319-17130-2_13

DOI
10.1007/978-3-319-17130-2_13
Conference Paper

Effective Approximations for Multi-Robot Coordination in Spatially Distributed Tasks

Claes, D., Robbel, P., Oliehoek, F. A., Tuyls, K., Hennes, D., & van der Hoek, W. (2015). Effective Approximations for Multi-Robot Coordination in Spatially Distributed Tasks. In PROCEEDINGS OF THE 2015 INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS & MULTIAGENT SYSTEMS (AAMAS'15) (pp. 881-890). Retrieved from https://www.webofscience.com/

Conference Paper

Logic, Rationality, and Interaction

van der Hoek, W., Holliday, W. H., & Wang, W. -F. (Eds.) (2015). Logic, Rationality, and Interaction. In . Springer Berlin Heidelberg. doi:10.1007/978-3-662-48561-3

DOI
10.1007/978-3-662-48561-3
Conference Paper

Preface

Van Der Hoek, W., Holliday, W. H., & Wang, W. F. (2015). Preface. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 9394 (pp. V-VI).

Conference Paper

2014

On the definability of simulation and bisimulation in epistemic logic

van Ditmarsch, H., Fernandez-Duque, D., & van der Hoek, W. (2014). On the definability of simulation and bisimulation in epistemic logic. In JOURNAL OF LOGIC AND COMPUTATION Vol. 24 (pp. 1209-1227). doi:10.1093/logcom/exs058

DOI
10.1093/logcom/exs058
Conference Paper

Two Themes in Modal Logic

van der Hoek, W. (n.d.). Two Themes in Modal Logic. Electronic Proceedings in Theoretical Computer Science, 146. doi:10.4204/eptcs.146.0.2

DOI
10.4204/eptcs.146.0.2
Journal article

INTRODUCTION

BONANNO, G., VAN DITMARSCH, H., VAN DER HOEK, W., & JØRGENSEN, S. (2014). INTRODUCTION. International Game Theory Review, 16(01), 1403001. doi:10.1142/s0219198914030017

DOI
10.1142/s0219198914030017
Journal article

Reasoning About the Transfer of Control

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

Journal article

A Modal Logic for Mixed Strategies

Sack, J., & van der Hoek, W. (2014). A Modal Logic for Mixed Strategies. STUDIA LOGICA, 102(2), 339-360. doi:10.1007/s11225-014-9548-1

DOI
10.1007/s11225-014-9548-1
Journal article

Justified Beliefs by Justified Arguments

Grossi, D., & van der Hoek, W. (2014). Justified Beliefs by Justified Arguments. In FOURTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING (pp. 131-140). Retrieved from https://www.webofscience.com/

Conference Paper

Knowledge and Gossip

Attamah, M., van Ditmarsch, H., Grossi, D., & van der Hoek, W. (2014). Knowledge and Gossip. In 21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014) Vol. 263 (pp. 21-+). doi:10.3233/978-1-61499-419-0-21

DOI
10.3233/978-1-61499-419-0-21
Conference Paper

On the Relative Succinctness of Modal Logics with Union, Intersection and Quantification

van der Hoek, W., & Iliev, P. (2014). On the Relative Succinctness of Modal Logics with Union, Intersection and Quantification. In AAMAS'14: PROCEEDINGS OF THE 2014 INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS & MULTIAGENT SYSTEMS (pp. 341-348). Retrieved from https://www.webofscience.com/

Conference Paper

Some exponential lower bounds on formula-size in modal logic

Van Ditmarsch, H., Fan, J., Van Der Hoek, W., & Iliev, P. (2014). Some exponential lower bounds on formula-size in modal logic. In Advances in Modal Logic Vol. 10 (pp. 139-157).

Conference Paper

Structures for Epistemic Logic

Bezhanishvili, N., & van der Hoek, W. (2014). Structures for Epistemic Logic. In JOHAN VAN BENTHEM ON LOGIC AND INFORMATION DYNAMICS (Vol. 5, pp. 339-380). doi:10.1007/978-3-319-06025-5_12

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

2013

Audience-based uncertainty in abstract: Argument games

Grossi, D., & Van Der Hoek, W. (2013). Audience-based uncertainty in abstract: Argument games. In IJCAI International Joint Conference on Artificial Intelligence (pp. 143-149).

Conference Paper

Editorial Introduction to the Special Issue LOFT Sevilla

Bonanno, G., van Ditmarsch, H., & van der Hoek, W. (2013). Editorial Introduction to the Special Issue LOFT Sevilla. Journal of Philosophical Logic, 42(6), 795-798. doi:10.1007/s10992-013-9294-2

DOI
10.1007/s10992-013-9294-2
Journal article

Verifiable equilibria in Boolean games

Ågotnes, T., Harrenstein, P., Van Der Hoek, W., & Wooldridge, M. (2013). Verifiable equilibria in Boolean games. In IJCAI International Joint Conference on Artificial Intelligence (pp. 689-695).

Conference Paper

Boolean Games with Epistemic Goals

Agotnes, T., Harrenstein, P., van der Hoek, W., & Wooldridge, M. (2013). Boolean Games with Epistemic Goals. In LOGIC, RATIONALITY, AND INTERACTION (LORI 2013) Vol. 8196 (pp. 1-14). Retrieved from https://www.webofscience.com/

Conference Paper

Reasoning about Choice

van der Hoek, W., Troquard, N., & Wooldridge, M. (2013). Reasoning about Choice. In Unknown Conference (pp. 4-18). Springer Berlin Heidelberg. doi:10.1007/978-3-642-39860-5_2

DOI
10.1007/978-3-642-39860-5_2
Conference Paper

Introduction to the special issue

Bonanno, G., Herzig, A., van der Hoek, W., & Lang, J. (2013). Introduction to the special issue. International Journal of Game Theory, 42(3), 563-566. doi:10.1007/s00182-013-0387-5

DOI
10.1007/s00182-013-0387-5
Journal article

Program equilibrium—a program reasoning approach

van der Hoek, W., Witteveen, C., & Wooldridge, M. (2013). Program equilibrium—a program reasoning approach. International Journal of Game Theory, 42(3), 639-671. doi:10.1007/s00182-011-0314-6

DOI
10.1007/s00182-011-0314-6
Journal article

Connecting dynamic epistemic and temporal epistemic logics

van Ditmarsch, H., van der Hoek, W., & Ruan, J. (2013). Connecting dynamic epistemic and temporal epistemic logics. Logic Journal of IGPL, 21(3), 380-403. doi:10.1093/jigpal/jzr038

DOI
10.1093/jigpal/jzr038
Journal article

On the succinctness of some modal logics

French, T., van der Hoek, W., Iliev, P., & Kooi, B. (2013). On the succinctness of some modal logics. Artificial Intelligence, 197, 56-85. doi:10.1016/j.artint.2013.02.003

DOI
10.1016/j.artint.2013.02.003
Journal article

Building and using social structures

Erriquez, E., Hoek, W. V. D., & Wooldridge, M. (2013). Building and using social structures. ACM Transactions on Intelligent Systems and Technology, 4(2), 1-20. doi:10.1145/2438653.2438660

DOI
10.1145/2438653.2438660
Journal article

2012

Introduction chapter

Witteman, C., & van der Hoek, W. (2012). Introduction chapter. Synthese, 189(S1), 1-3. doi:10.1007/s11229-012-0184-x

DOI
10.1007/s11229-012-0184-x
Journal article

Local properties in modal logic

van Ditmarsch, H., van der Hoek, W., & Kooi, B. (2012). Local properties in modal logic. Artificial Intelligence, 187-188, 133-155. doi:10.1016/j.artint.2012.04.007

DOI
10.1016/j.artint.2012.04.007
Journal article

On the Relative Succinctness of Two Extensions by Definitions of Multimodal Logic

van der Hoek, W., Iliev, P., & Kooi, B. (2012). On the Relative Succinctness of Two Extensions by Definitions of Multimodal Logic. In Unknown Conference (pp. 323-333). Springer Berlin Heidelberg. doi:10.1007/978-3-642-30870-3_33

DOI
10.1007/978-3-642-30870-3_33
Conference Paper

GOAL Agents Instantiate Intention Logic

Hindriks, K. V., van der Hoek, W., & Meyer, J. -J. C. (2012). GOAL Agents Instantiate Intention Logic. Unknown Journal, 196-219. doi:10.1007/978-3-642-29414-3_11

DOI
10.1007/978-3-642-29414-3_11
Journal article

Control and Delegation

van der Hoek, W. (2012). Control and Delegation. In Unknown Conference (pp. 1-2). Springer Berlin Heidelberg. doi:10.1007/978-3-642-29113-5_1

DOI
10.1007/978-3-642-29113-5_1
Conference Paper

A logic of revelation and concealment

Van Der Hoek, W., Iliev, P., & Wooldridge, M. (2012). A logic of revelation and concealment. In 11th International Conference on Autonomous Agents and Multiagent Systems 2012, AAMAS 2012: Innovative Applications Track Vol. 2 (pp. 888-895).

Conference Paper

Conservative social laws

Ågotnes, T., Van Der Hoek, W., & Wooldridge, M. (2012). Conservative social laws. In Frontiers in Artificial Intelligence and Applications Vol. 242 (pp. 49-54). doi:10.3233/978-1-61499-098-7-49

DOI
10.3233/978-1-61499-098-7-49
Conference Paper

Everything is Knowable – How to Get to Know<i>Whether</i>a Proposition is True

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

DOI
10.1111/j.1755-2567.2011.01119.x
Journal article

Logics for Multiagent Systems

van der Hoek, W., & Wooldridge, M. (2012). Logics for Multiagent Systems. In AI Magazine Vol. 33 (pp. 92-105). Wiley. doi:10.1609/aimag.v33i3.2427

DOI
10.1609/aimag.v33i3.2427
Conference Paper

2011

Foreword

Bonanno, G., Herzig, A., van der Hoek, W., & Lang, J. (2011). Foreword. Journal of Applied Non-Classical Logics, 21(3-4), 263-264. doi:10.1080/11663081.2011.9736665

DOI
10.1080/11663081.2011.9736665
Journal article

Succinctness of epistemic languages

French, T., Van Der Hoek, W., Iliev, P., & Kooi, B. (2011). Succinctness of epistemic languages. In IJCAI International Joint Conference on Artificial Intelligence (pp. 881-886). doi:10.5591/978-1-57735-516-8/IJCAI11-153

DOI
10.5591/978-1-57735-516-8/IJCAI11-153
Conference Paper

Knowledge and Action in Semi-public Environments

van der Hoek, W., Iliev, P., & Wooldridge, M. (2011). Knowledge and Action in Semi-public Environments. In Unknown Conference (pp. 97-110). Springer Berlin Heidelberg. doi:10.1007/978-3-642-24130-7_7

DOI
10.1007/978-3-642-24130-7_7
Conference Paper

On the Definability of Simulability and Bisimilarity by Finite Epistemic Models

van Ditmarsch, H., Fernández-Duque, D., & van der Hoek, W. (2011). On the Definability of Simulability and Bisimilarity by Finite Epistemic Models. In Unknown Conference (pp. 74-87). Springer Berlin Heidelberg. doi:10.1007/978-3-642-22359-4_6

DOI
10.1007/978-3-642-22359-4_6
Conference Paper

Sigma algebras in probabilistic epistemic dynamics

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

DOI
10.1145/2000378.2000401
Conference Paper

Reasoning about Social Choice Functions

Troquard, N., Hoek, W. V. D., & Wooldridge, M. (2011). Reasoning about Social Choice Functions. Retrieved from http://dx.doi.org/10.1007/s10992-011-9189-z

Journal article

An abstract framework for reasoning about trust

Erriquez, E., Van Der Hoek, W., & Wooldridge, M. (2011). An abstract framework for reasoning about trust. In 10th International Conference on Autonomous Agents and Multiagent Systems 2011, AAMAS 2011 Vol. 2 (pp. 1019-1020).

Conference Paper

Decomposing constraint systems: Equivalences and computational properties

Van Der Hoek, W., Witteveen, C., & Wooldridge, M. (2011). Decomposing constraint systems: Equivalences and computational properties. In 10th International Conference on Autonomous Agents and Multiagent Systems 2011, AAMAS 2011 Vol. 1 (pp. 137-144).

Conference Paper

Knowledge and control

Van Der Hoek, W., Troquard, N., & Wooldridge, M. (2011). Knowledge and control. In 10th International Conference on Autonomous Agents and Multiagent Systems 2011, AAMAS 2011 Vol. 2 (pp. 673-680).

Conference Paper

On the Logic of Preference and Judgment Aggregation

�gotnes, T., van der Hoek, W., & Wooldridge, M. (2011). On the Logic of Preference and Judgment Aggregation. Autonomous Agents and Multi-Agent Systems, 22(1), 4-30. doi:10.1007/210458-009-9115-8

DOI
10.1007/210458-009-9115-8
Journal article

On the logic of preference and judgment aggregation

Ågotnes, T., van der Hoek, W., & Wooldridge, M. (2011). On the logic of preference and judgment aggregation. Autonomous Agents and Multi-Agent Systems, 22(1), 4-30. doi:10.1007/s10458-009-9115-8

DOI
10.1007/s10458-009-9115-8
Journal article

Reasoning about local properties in modal logic

Van Ditmarsch, H., Van Der Hoek, W., & Kooi, B. (2011). Reasoning about local properties in modal logic. In 10th International Conference on Autonomous Agents and Multiagent Systems 2011, AAMAS 2011 Vol. 2 (pp. 665-672).

Conference Paper

Reasoning about Social Choice Functions

Troquard, N., van der Hoek, W., & Wooldridge, M. (2011). Reasoning about Social Choice Functions. Journal of Philosophical Logic, 40(4), 473-498. doi:10.1007/210992-011-9189-z

DOI
10.1007/210992-011-9189-z
Journal article

Scientia potentia est

Ågotnes, T., Van Der Hoek, W., & Wooldridge, M. (2011). Scientia potentia est. In 10th International Conference on Autonomous Agents and Multiagent Systems 2011, AAMAS 2011 Vol. 2 (pp. 689-696).

Conference Paper

2010

On two perspectives in decomposing constraint systems: Equivalences and computational properties

Witteveen, C., Van Der Hoek, W., & Wooldridge, M. (2010). On two perspectives in decomposing constraint systems: Equivalences and computational properties. In COPLAS 2010 - Proceedings of the Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems (pp. 60-67).

Conference Paper

Specification and Verification of Multi-agent Systems

Dastani, M., Hindriks, K. V., & Meyer, J. -J. C. (Eds.) (2010). Specification and Verification of Multi-agent Systems. Springer US. doi:10.1007/978-1-4419-6984-2

DOI
10.1007/978-1-4419-6984-2
Book

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

Bonanno, G., Löwe, B., & Van Der Hoek, W. (2010). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface (Vol. 6006 LNAI).

Book

Robust normative systems and a logic of norm compliance

Agotnes, T., Van der Hoek, W., & Wooldridge, M. (2010). Robust normative systems and a logic of norm compliance. Logic Journal of IGPL, 18(1), 4-30. doi:10.1093/jigpal/jzp070

DOI
10.1093/jigpal/jzp070
Journal article

Introduction

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

Chapter

2009

Verification of Games in the Game Description Language

Ruan, J., van der Hoek, W., & Wooldridge, M. (2009). Verification of Games in the Game Description Language. Journal of Logic and Computation, 19(6), 1127-1156. doi:10.1093/logcom/exp039

DOI
10.1093/logcom/exp039
Journal article

Concurrently Decomposable Constraint Systems

Witteveen, C., van der Hoek, W., & Roos, N. (2009). Concurrently Decomposable Constraint Systems. In Unknown Conference (pp. 153-164). Springer Berlin Heidelberg. doi:10.1007/978-3-642-04143-3_14

DOI
10.1007/978-3-642-04143-3_14
Conference Paper

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

Braubach, L., Petta, P., Van Der Hoek, W., Pokahr, A., & Lamersdorf, W. (2009). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface (Vol. 5774 LNAI).

Book

A logic of propositional control for truthful implementations

Troquard, N., van der Hoek, W., & Wooldridge, M. (2009). A logic of propositional control for truthful implementations. In Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (pp. 237-246). ACM. doi:10.1145/1562814.1562846

DOI
10.1145/1562814.1562846
Conference Paper

Logics for Qualitative Coalitional Games

Agotnes, T., Van Der Hoek, W., & Wooldridge, M. (2009). Logics for Qualitative Coalitional Games. Logic Journal of IGPL, 17(3), 299-321. doi:10.1093/jigpal/jzp009

DOI
10.1093/jigpal/jzp009
Journal article

Multi-Modal CTL: Completeness, Complexity, and an Application

Ågotnes, T., Van der Hoek, W., Rodríguez-Aguilar, J. A., Sierra, C., & Wooldridge, M. (2009). Multi-Modal CTL: Completeness, Complexity, and an Application. Studia Logica, 92(1), 1-26. doi:10.1007/s11225-009-9184-3

DOI
10.1007/s11225-009-9184-3
Journal article

Model Checking Strategic Equilibria

Troquard, N., van der Hoek, W., & Wooldridge, M. (2009). Model Checking Strategic Equilibria. In Unknown Conference (pp. 166-188). Springer Berlin Heidelberg. doi:10.1007/978-3-642-00431-5_11

DOI
10.1007/978-3-642-00431-5_11
Conference Paper

Completeness and Complexity of Multi-modal CTL

Ågotnes, T., van der Hoek, W., & Wooldridge, M. (2009). Completeness and Complexity of Multi-modal CTL. Electronic Notes in Theoretical Computer Science, 231, 259-275. doi:10.1016/j.entcs.2009.02.040

DOI
10.1016/j.entcs.2009.02.040
Journal article

A Coordination Language for Agents Interacting in Distributed Plan-Execute Cycles

de Vries, W., Meyer, J. J. C. H., de Boer, F. S., & van der Hoek, W. (2009). A Coordination Language for Agents Interacting in Distributed Plan-Execute Cycles. International Journal of Reasoning-based Intelligent Systems (IJRIS), 1(1/2), 4-17.

Journal article

A Logic of Games and Propositional Control

Troquard, N., van der Hoek, W., & Wooldridge, M. (2009). A Logic of Games and Propositional Control. In K. Decker, J. Sichman, C. Sierra, & C. Casterfanchi (Eds.), Autonomous Agents and Multi Agent Systems (pp. 961-968). Budapest: IFAAMAS. Retrieved from http://www.aamas-conference.org/

Conference Paper

A Temporal Logic of Normative Systems

Ågotnes, T., van der Hoek, W., Rodríguez-Aguilar, J. A., Sierra, C., & Wooldridge, M. (2009). A Temporal Logic of Normative Systems. In Towards Mathematical Philosophy (pp. 69-106). Springer Netherlands. doi:10.1007/978-1-4020-9084-4_5

DOI
10.1007/978-1-4020-9084-4_5
Chapter

A coordination language for agents interacting in distributed plan-execute cycles

Vries, W. D., Meyer, J. J. C., Boer, F. S. D., & Hoek, W. V. D. (2009). A coordination language for agents interacting in distributed plan-execute cycles. International Journal of Reasoning-based Intelligent Systems, 1(1/2), 4. doi:10.1504/ijris.2009.026713

DOI
10.1504/ijris.2009.026713
Journal article

A logic of games and propositional control

Troquard, N., Van Der Hoek, W., & Wooldridge, M. (2009). A logic of games and propositional control. In Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS Vol. 1 (pp. 726-733).

Conference Paper

Agent Programming with Temporally Extended Goals

Hindriks, K., van der Hoek, W., & van Riemsdijk, B. (2009). Agent Programming with Temporally Extended Goals. In K. Decker, J. Sichman, C. Sierra, & C. Castelfranchi (Eds.), Autonomous Agents and Multi Agent Systems (pp. 137-144). Budapest: IFAAMA. Retrieved from http://www.aamas-conference.org/

Conference Paper

Agent programming with temporally extended goals

Hindriks, K. V., Van Der Hoek, W., & Van Riemsdijk, M. B. (2009). Agent programming with temporally extended goals. In Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS Vol. 1 (pp. 110-117).

Conference Paper

Knowing more - From global to local correspondence

Van Ditmarsch, H., Van Der Hoek, W., & Kooi, B. (2009). Knowing more - From global to local correspondence. In IJCAI International Joint Conference on Artificial Intelligence (pp. 955-960).

Conference Paper

Knowing more -- Towards a local correspondence theory

van Ditmarsch, H., van der Hoek, W., & Kooi, B. (2009). Knowing more -- Towards a local correspondence theory. In International Joint Conference on AI (pp. 955-960). Pasadena: AAAI Press.

Conference Paper

Power in Normative Systems

Agotnes, T., van der Hoek, W., Tennenholtz, M., & Wooldridge, M. (2009). Power in Normative Systems. In K. Decker, J. Sichman, C. Sierra, & C. Castelfranchi (Eds.), Autonomous Agents and Multi Agent Systems (pp. 145-152). Budapest: IFAAMAS. Retrieved from http://www.aamas-conference.org/

Conference Paper

Power in normative systems

Agotnest, T., Van Der Hoek, W., Tennenholtz, M., & Wooldridge, M. (2009). Power in normative systems. In Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS Vol. 1 (pp. 118-125).

Conference Paper

Reasoning about coalitional games

Ågotnes, T., van der Hoek, W., & Wooldridge, M. (2009). Reasoning about coalitional games. Artificial Intelligence, 173(1), 45-79. doi:10.1016/j.artint.2008.08.004

DOI
10.1016/j.artint.2008.08.004
Journal article

Robust Normative Systems

Ågotnes, T., Van Der Hoek, W., & Wooldridge, M. (2009). Robust Normative Systems. In Dagstuhl Seminar Proceedings Vol. 9121.

Conference Paper

2008

GOAL Agents Instantiate Intention Logic

Hindriks, K., & van der Hoek, W. (2008). GOAL Agents Instantiate Intention Logic. In Unknown Conference (pp. 232-244). Springer Berlin Heidelberg. doi:10.1007/978-3-540-87803-2_20

DOI
10.1007/978-3-540-87803-2_20
Conference Paper

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

Ågotnes, T., Van Der Hoek, W., & Wooldridge, M. (2008). Invited talk logics of interaction, coalitions and social choice (extended abstract). In AISB 2008 Convention: Communication, Interaction and Social Intelligence - Proceedings of the AISB 2008 Symposium on Logic and the Simulation of Interaction and Reasoning (pp. 1-5).

Conference Paper

Quantified coalition logic

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

DOI
10.1007/s11229-008-9363-1
Journal article

Specifying and reasoning about uncertain agents

Ferreira, N. D. C., Fisher, M., & van der Hoek, W. (2008). Specifying and reasoning about uncertain agents. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 49(1), 35-51. doi:10.1016/j.ijar.2007.08.003

DOI
10.1016/j.ijar.2007.08.003
Journal article

Chapter 24 Multi-Agent Systems

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

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

Cooperative Boolean Games

Dunne, P. E., Kraus, S., van der Hoek, W., & Wooldridge, M. (2008). Cooperative Boolean Games. In 7th Int. Conf. on Autonomous Agents and Multiagent Systems (pp. 1015-1022). Estoril: IFAAMAS.

Conference Paper

Cooperative boolean hames

Dunne, P. E., Van Der Hoek, W., Kraus, S., & Wooldridge, M. (2008). Cooperative boolean hames. In Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS Vol. 2 (pp. 997-1004).

Conference Paper

DYNAMIC EPISTEMIC LOGIC

van Ditmarsch, H., van der Hoek, W., & Kooi, B. (2008). DYNAMIC EPISTEMIC LOGIC. In Synthese Library (Vol. 337, pp. 1-276).

Chapter

Dynamic Epistemic Logic

van Ditmarsch, H., van der Hoek, W., & Kooi, B. (2008). Dynamic Epistemic Logic. Springer Netherlands. doi:10.1007/978-1-4020-5839-4

DOI
10.1007/978-1-4020-5839-4
Book

GOAL Agents Instantiate Intention Logic

Hindriks, K., & van der Hoek, W. (2008). GOAL Agents Instantiate Intention Logic. In Dagstuhl Seminar Proceedings Vol. 8361.

Conference Paper

Multi-Agent Systems

van der Hoek, W., & Wooldridge, M. (2008). Multi-Agent Systems. In F. van Harmelen, V. Lifschitz, & B. Porter (Eds.), Handbook of Knowledge Representation (pp. 887-928). Amsterdam: Elsevier.

Chapter

Preface

van Ditmarsch, H., van der Hoek, W., & Kooi, B. (2008). Preface (Vol. 337).

Book

Quantified Coalition Logic

Agotnes, A., van der Hoek, W., Wooldridge, W., Van der Hoek, W., & Wooldridge, M. (2008). Quantified Coalition Logic. Synthese, 165(2), 233-258.

Journal article

Quantifying over Coalitions in Epistemic Logic

�gotnes, T., van der Hoek, W., & Wooldrdige, M. (2008). Quantifying over Coalitions in Epistemic Logic. In L. Padgham, D. Parkes, J. Müller, & S. Parsons (Eds.), International Joint Conference on Autonomous Agents and Multiagent Systems (pp. 665-672). Estoril: IFAAMAS. Retrieved from http://www.ifaamas.org/

Conference Paper

Quantifying over coalitions in epistemic logic

Ågotnes, T., Van Der Hoek, W., & Wooldridge, M. (2008). Quantifying over coalitions in epistemic logic. In Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS Vol. 2 (pp. 654-661).

Conference Paper

Robust normative systems

Ågotnes, T., Van Der Hoek, W., & Wooldridge, M. (2008). Robust normative systems. In Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS Vol. 2 (pp. 733-740).

Conference Paper

Social Laws and Anti-social Behaviour

van der Hoek, W., Roberts, M., & Wooldridge, M. (2008). Social Laws and Anti-social Behaviour. In G. Bonanno, W. van der Hoek, & M. Wooldrdige (Eds.), LOFT Vol. 3 (pp. 119-151). Liverpool: Amsterdam University Press.

Conference Paper

2007

20 Modal logic for games and information

van der Hoek, W., & Pauly, M. (2007). 20 Modal logic for games and information. Unknown Journal, 1077-1148. doi:10.1016/s1570-2464(07)80023-1

DOI
10.1016/s1570-2464(07)80023-1
Journal article

A logical characterisation of qualitative coalitional games

Dunne, P. E., van der Hoek, W., & Wooldridge, M. (2007). A logical characterisation of qualitative coalitional games. Journal of Applied Non-Classical Logics, 17(4), 477-509. doi:10.3166/jancl.17.477-509

DOI
10.3166/jancl.17.477-509
Journal article

Alternating-time temporal logic with explicit strategies

Walther, D., van der Hoek, W., & Wooldridge, M. (2007). Alternating-time temporal logic with explicit strategies. In Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge - TARK '07 (pp. 269). ACM Press. doi:10.1145/1324249.1324285

DOI
10.1145/1324249.1324285
Conference Paper

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

Van Leeuwen, J., Italiano, G. F., Van Der Hoek, W., Meinel, C., Sack, H., & Plášil, F. (2007). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface (Vol. 4362 LNCS).

Book

On the logic of normative systems

Ag̊otnes, T., Van Der Hoek, W., Rodríguez-Aguilar, J. A., Sierra, C., & Wooldridge, M. (2007). On the logic of normative systems. In IJCAI International Joint Conference on Artificial Intelligence (pp. 1175-1180).

Conference Paper

Quantified coalition logic

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

Conference Paper

The Performance of Option—Trading Software Agents: Initial Results

Baqueiro, O., Van der Hoek, W., & McBurney, P. (2007). The Performance of Option—Trading Software Agents: Initial Results. In Unknown Conference (pp. 113-125). Springer Berlin Heidelberg. doi:10.1007/978-3-540-73135-1_8

DOI
10.1007/978-3-540-73135-1_8
Conference Paper

Logic for automated mechanism design - A progress report

Wooldridge, M., Agotnes, T., Dunne, P. E., & Van Der Hoek, W. (2007). Logic for automated mechanism design - A progress report. In Proceedings of the National Conference on Artificial Intelligence Vol. 1 (pp. 9-17).

Conference Paper

Logics in AI: Post-proceedings JELIA06 (Editorial)

Fisher, M., & van der Hoek, W. (2007). Logics in AI: Post-proceedings JELIA06 (Editorial). In ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE Vol. 50 (pp. 227-229). doi:10.1007/s10472-007-9081-2

DOI
10.1007/s10472-007-9081-2
Conference Paper

Temporal Logics of Knowledge and their Applications in Security

Dixon, C., Fernández Gago, M. -C., Fisher, M., & van der Hoek, W. (2007). Temporal Logics of Knowledge and their Applications in Security. Electronic Notes in Theoretical Computer Science, 186, 27-42. doi:10.1016/j.entcs.2006.11.043

DOI
10.1016/j.entcs.2006.11.043
Journal article

A verification framework for agent programming with declarative goals

de Boer, F. S., Hindriks, K. V., van der Hoek, W., & Meyer, J. -J. C. (2007). A verification framework for agent programming with declarative goals. Journal of Applied Logic, 5(2), 277-302. doi:10.1016/j.jal.2005.12.014

DOI
10.1016/j.jal.2005.12.014
Journal article

Normative system games

Ågotnes, T., van der Hoek, W., & Wooldridge, M. (2007). Normative system games. In Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems (pp. 1-8). ACM. doi:10.1145/1329125.1329284

DOI
10.1145/1329125.1329284
Conference Paper

Reasoning about judgment and preference aggregation

Ågotnes, T., van der Hoek, W., & Wooldridge, M. (2007). Reasoning about judgment and preference aggregation. In Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems Vol. 1 (pp. 1-8). ACM. doi:10.1145/1329125.1329228

DOI
10.1145/1329125.1329228
Conference Paper

Social laws in alternating time: effectiveness, feasibility, and synthesis

van der Hoek, W., Roberts, M., & Wooldridge, M. (2007). Social laws in alternating time: effectiveness, feasibility, and synthesis. Synthese, 156(1), 1-19. doi:10.1007/s11229-006-9072-6

DOI
10.1007/s11229-006-9072-6
Journal article

Towards a theory of intention revision

van der Hoek, W., Jamroga, W., & Wooldridge, M. (2007). Towards a theory of intention revision. Synthese, 155(2), 265-290. doi:10.1007/s11229-006-9145-6

DOI
10.1007/s11229-006-9145-6
Journal article

A verification framework for agent programming with declarative goals

de Boer, F. S., Hindriks, K. V., van der Hoek W, W., & Meyer, J. J. C. (2007). A verification framework for agent programming with declarative goals. Journal of Applied Logic, 5(2), 277-302.

Journal article

Completeness and Complexity of Multi-Modal CTL

Agotnes, T., Wooldridge, M., & van der Hoek, W. (2007). Completeness and Complexity of Multi-Modal CTL. In C. Areces, & S. Demri (Eds.), Methods for Modalities (M4M) (pp. 75-90). Paris: ENS.

Conference Paper

Dynamic Epistemic Logic and Knowledge Puzzles

van Ditmarsch, H. P., van der Hoek, W., & Kooi, B. P. (2007). Dynamic Epistemic Logic and Knowledge Puzzles. In Unknown Conference (pp. 45-58). Springer Berlin Heidelberg. doi:10.1007/978-3-540-73681-3_4

DOI
10.1007/978-3-540-73681-3_4
Conference Paper

Logic for Automated Mechanism Design - A Progress Report

Wooldridge, M., Agotnes, T., Dunne, P. E., & van der Hoek, W. (2007). Logic for Automated Mechanism Design - A Progress Report. In Proceedings of the 22nd AAAI Conference on Artificial Intelligence, AAAI 2007 (pp. 9-16).

Conference Paper

Model Checking dynamic epistemics in branching time

van Ditmarsch, H., Ruan, J., & van der Hoek, W. (2007). Model Checking dynamic epistemics in branching time. In B. Dunin-Keplicz, & R. Verbrugge (Eds.), Formal Aspects of Autonomous Agents and Multi Agent Systems (pp. 101-116). Durham: Durham University.

Conference Paper

Normative Systems Games

�gotnes, T., van der Hoek, W., & Wooldrdige, M. (2007). Normative Systems Games. In M. Huhns, & O. Shehory (Eds.), International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS) (pp. 876-883). Honolulu: ACM. Retrieved from http://portal.acm.org/

Conference Paper

On the Logic of Normative Systems?

Ågotnes, T., Van Der Hoek, W., Rodríguez-Aguilar, J. A., Sierra, C., & Wooldridge, M. (2007). On the Logic of Normative Systems?. In Dagstuhl Seminar Proceedings Vol. 7122.

Conference Paper

Reasoning about Judgement and Preference Aggregation

�gotnes, T., van der Hoek, W., & Wooldridge, M. (2007). Reasoning about Judgement and Preference Aggregation. In M. Huhns, & O. Shehory (Eds.), International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS)} (pp. 554-561). Honolulu: ACM. Retrieved from http://delivery.acm.org/

Conference Paper

SOFSEM 2007: Theory and Practice of Computer Science

van Leeuwen, J., Italiano, G. F., van der Hoek, W., Meinel, W., Sack, C., & Plasil, H. (Eds.) (2007). SOFSEM 2007: Theory and Practice of Computer Science (Vol. 4362). Berlin: Springer. Retrieved from http://www.springer.com/

Book

Strategy Logics and the Game Description Language

van der Hoek, W., Ruan, J., & Wooldrdige, M. (2007). Strategy Logics and the Game Description Language. In J. van Benthem, S. Ju, & F. Veltman (Eds.), Logics for Rationality and Information (LORI) (pp. 259-274). Beijing: College Publications.

Conference Paper

2006

Uncertainty, rationality, and agency

Hoek, W. V. D. (2006). Uncertainty, rationality, and agency. doi:10.1007/1-4020-4631-6

DOI
10.1007/1-4020-4631-6
Book

Knowledge Condition Games

van Otterloo, S., Van Der Hoek, W., & Wooldridge, M. (2006). Knowledge Condition Games. Journal of Logic, Language and Information, 15(4), 425-452. doi:10.1007/s10849-006-9014-1

DOI
10.1007/s10849-006-9014-1
Journal article

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

Fisher, M., Van Der Hoek, W., Konev, B., & Lisitsa, A. (2006). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface (Vol. 4160 LNAI).

Book

Preface

van der Hoek, W., Lomuscio, A., de Vink, E., & Wooldridge, M. (2006). Preface. Electronic Notes in Theoretical Computer Science, 157(4), 1-2. doi:10.1016/j.entcs.2006.02.009

DOI
10.1016/j.entcs.2006.02.009
Journal article

On the complexity of practical ATL model checking

van der Hoek, W., Lomuscio, A., & Wooldridge, M. (2006). On the complexity of practical ATL model checking. In Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems (pp. 201-208). ACM. doi:10.1145/1160633.1160665

DOI
10.1145/1160633.1160665
Conference Paper

On the logic of coalitional games

Ågotnes, T., van der Hoek, W., & Wooldridge, M. (2006). On the logic of coalitional games. In Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems (pp. 153-160). ACM. doi:10.1145/1160633.1160659

DOI
10.1145/1160633.1160659
Conference Paper

Reasoning about action and cooperation

Sauro, L., Gerbrandy, J., van der Hoek, W., & Wooldridge, M. (2006). Reasoning about action and cooperation. In Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems Vol. 13 (pp. 185-192). ACM. doi:10.1145/1160633.1160663

DOI
10.1145/1160633.1160663
Conference Paper

Temporal qualitative coalitional games

Ågotnes, T., van der Hoek, W., & Wooldridge, M. (2006). Temporal qualitative coalitional games. In Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems (pp. 177-184). ACM. doi:10.1145/1160633.1160662

DOI
10.1145/1160633.1160662
Conference Paper

Preface

Ghidini, C., Giorgini, P., & van der Hoek, W. (2006). Preface. Autonomous Agents and Multi-Agent Systems, 12(2), 159-161. doi:10.1007/s10458-006-6015-z

DOI
10.1007/s10458-006-6015-z
Journal article

Model Checking Russian Cards

van Ditmarsch, H. P., van der Hoek, W., van der Meyden, R., & Ruan, J. (2006). Model Checking Russian Cards. Electronic Notes in Theoretical Computer Science, 149(2), 105-123. doi:10.1016/j.entcs.2005.07.029

DOI
10.1016/j.entcs.2005.07.029
Journal article

EUMAS'04 Special Issue

Ghidini, C., Giorgini, P., & van der Hoek, W. (Eds.) (2006). EUMAS'04 Special Issue. In European Conference on Multi-Agent Systems (EUMAS) Vol. 36 (pp. 97). Berlin: Springer.

Conference Paper

Logics in Artificial Intelligence

Fisher, M., van der Hoek, W., Konev, B., & Lisitsa, A. (Eds.) (2006). Logics in Artificial Intelligence (Vol. 4160). Berlin: Springer. Retrieved from http://www.springer.com/

Book

Logics in Artificial Intelligence

Fisher, M., van der Hoek, W., Konev, B., & Lisitsa, A. (Eds.) (2006). Logics in Artificial Intelligence. In . Springer Berlin Heidelberg. doi:10.1007/11853886

DOI
10.1007/11853886
Conference Paper

Modal Logic for Games and Information

van der Hoek, W., & Pauly, M. (2006). Modal Logic for Games and Information. In J. van Benthem, P. Blackburn, & F. Wolter (Eds.), The Handbook of Modal Logic (pp. 1077-1147). Amsterdam: Elsevier.

Chapter

Uncertainty, Rationality, and Agency

van der Hoek, W. (2006). Uncertainty, Rationality, and Agency. Springer Netherlands. doi:10.1007/1-4020-4631-6

DOI
10.1007/1-4020-4631-6
Book

Verification Within the KARO Agent Theory

Hustadt, U., Dixon, C., Schmidt, R. A., Fisher, M., Meyer, J. -J. C., & van der Hoek, W. (2006). Verification Within the KARO Agent Theory. In NASA Monographs in Systems and Software Engineering (pp. 193-225). Springer London. doi:10.1007/1-84628-271-3_7

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

2005

A logic for strategic reasoning

Van Der Hoek, W., Jamroga, W., & Wooldridge, M. (2005). A logic for strategic reasoning. In Proceedings of the International Conference on Autonomous Agents (pp. 305-312).

Conference Paper

Dynamic epistemic logic with assignment

Van Ditmarsch, H. P., Van Der Hoek, W., & Kooi, B. P. (2005). Dynamic epistemic logic with assignment. In Proceedings of the International Conference on Autonomous Agents (pp. 289-296).

Conference Paper

Information, Interaction and Agency

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

DOI
10.1007/1-4020-4094-6
Book

Intentions and Strategies in Game-Like Scenarios

Jamroga, W., van der Hoek, W., & Wooldridge, M. (2005). Intentions and Strategies in Game-Like Scenarios. In Unknown Conference (pp. 512-523). Springer Berlin Heidelberg. doi:10.1007/11595014_51

DOI
10.1007/11595014_51
Conference Paper

Knowledge and social laws

Van Der Hoek, W., Roberts, M., & Wooldridge, M. (2005). Knowledge and social laws. In Proceedings of the International Conference on Autonomous Agents (pp. 811-818).

Conference Paper

Logical implementation of uncertain agents

Ferreira, N. D., Fisher, M., & van der Hoek, W. (2005). Logical implementation of uncertain agents. In PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS Vol. 3808 (pp. 536-547). Retrieved from https://www.webofscience.com/

Conference Paper

On the dynamics of delegation, cooperation, and control: A logical account

Van Der Hoek, W., & Wooldridge, M. (2005). On the dynamics of delegation, cooperation, and control: A logical account. In Proceedings of the International Conference on Autonomous Agents (pp. 835-842).

Conference Paper

On obligations and normative ability: Towards a logical analysis of the social contract

Wooldridge, M., & van der Hoek, W. (2005). On obligations and normative ability: Towards a logical analysis of the social contract. Journal of Applied Logic, 3(3-4), 396-420. doi:10.1016/j.jal.2005.04.006

DOI
10.1016/j.jal.2005.04.006
Journal article

Process algebra and constraint programming for modeling interactions in MAS

Boer, F. S. D., Vries, W. D., Meyer, J. -J. C., Eijk, R. M. V., & Hoek, W. V. D. (2005). Process algebra and constraint programming for modeling interactions in MAS. Applicable Algebra in Engineering, Communication and Computing, 16(2-3), 113-150. doi:10.1007/s00200-005-0173-0

DOI
10.1007/s00200-005-0173-0
Journal article

A logic for strategic reasoning

van der Hoek, W., Jamroga, W., & Wooldridge, M. (2005). A logic for strategic reasoning. In Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems (pp. 157-164). ACM. doi:10.1145/1082473.1082497

DOI
10.1145/1082473.1082497
Conference Paper

Dynamic epistemic logic with assignment

van Ditmarsch, H. P., van der Hoek, W., & Kooi, B. P. (2005). Dynamic epistemic logic with assignment. In Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems Vol. 30 (pp. 141-148). ACM. doi:10.1145/1082473.1082495

DOI
10.1145/1082473.1082495
Conference Paper

Knowledge and social laws

van der Hoek, W., Roberts, M., & Wooldridge, M. (2005). Knowledge and social laws. In Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems Vol. 14 (pp. 674-681). ACM. doi:10.1145/1082473.1082576

DOI
10.1145/1082473.1082576
Conference Paper

On the logic of cooperation and propositional control

van der Hoek, W., & Wooldridge, M. (2005). On the logic of cooperation and propositional control. Artificial Intelligence, 164(1-2), 81-119. doi:10.1016/j.artint.2005.01.003

DOI
10.1016/j.artint.2005.01.003
Journal article

Preface

van der Hoek, W., Lomuscio, A., de Vink, E., & Wooldridge, M. (2005). Preface. In Electronic Notes in Theoretical Computer Science Vol. 126 (pp. 1-2). Elsevier BV. doi:10.1016/j.entcs.2004.11.010

DOI
10.1016/j.entcs.2004.11.010
Conference Paper

'Designing agents for derivatives markets: a preliminary framework'

Baqueiro-Espinosa, O., van der Hoek, W., & McBurney, P. (2005). 'Designing agents for derivatives markets: a preliminary framework'. In S. Parsons, & P. Gmytrasiewicz (Eds.), Game-Theoretic and Decision-Theoretic Agents (GTDT 2005) (pp. 1-14). Edinburgh, Scotland: IJCAI.

Conference Paper

Information, Interaction, and Agency

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

Book

Many-valued epistemic states. An application to a reflective architecture: Milord-II

Godo, L., van der Hoek, W., Meyer, J. -J. C., & Sierra, C. (1995). Many-valued epistemic states. An application to a reflective architecture: Milord-II. Unknown Journal, 440-452. doi:10.1007/bfb0035977

DOI
10.1007/bfb0035977
Journal article

On the Dynamics of Delegation, Cooperation, and Control: A Logical Account

van der Hoek, W., & Wooldridge, M. (2005). On the Dynamics of Delegation, Cooperation, and Control: A Logical Account. In F. Dignum, V. Dignum, S. Koenig, S. Kraus, M. P. Singh, & M. Wooldridge (Eds.), Autonomous Agents and Multi-Agent Systems (AAMAS) (pp. 701-708). New York: ACM Inc.

Conference Paper

Playing cards with Hintikka An introduction to dynamic epistemic logic

Ditmarsch, H. P., Van Der Hoek, W., & Kooi, B. P. (n.d.). Playing cards with Hintikka An introduction to dynamic epistemic logic. The Australasian Journal of Logic, 3. doi:10.26686/ajl.v3i0.1776

DOI
10.26686/ajl.v3i0.1776
Journal article

Public Announcement and Belief Revision

van Ditmarsch, H., van der Hoek, W., & Kooi, B. (2005). Public Announcement and Belief Revision. In R. Schmidt, I. Pratt-Hartmann, M. Reynolds, & R. Schmidt (Eds.), Advances in Modal Logic (Vol. 5, pp. 335-346). London: King's College P.

Chapter

2004

Agents that know how to play

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

Conference Paper

Rational teams: Logical aspects of multi-agent systems

Aldewereld, H., Van Der Hoek, W., & Meyer, J. J. (2004). Rational teams: Logical aspects of multi-agent systems. Fundamenta Informaticae, 63(2-3), 159-183.

Journal article

Teamwork

Gold, N. (Ed.) (2005). Teamwork. In . Palgrave Macmillan UK. doi:10.1057/9780230523203

DOI
10.1057/9780230523203
Chapter

MODEL CHECKING A KNOWLEDGE EXCHANGE SCENARIO

OTTERLOO, S. V., DER, W. V., & WOOLDRIDGE, M. (2004). MODEL CHECKING A KNOWLEDGE EXCHANGE SCENARIO. Applied Artificial Intelligence, 18(9-10), 937-952. doi:10.1080/08839510490514832

DOI
10.1080/08839510490514832
Journal article

Knowledge, rationality and action

Van Der Hoek, W. (2004). Knowledge, rationality and action. In Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2004 Vol. 1 (pp. 16-23).

Conference Paper

Preferences in Game Logics

Van Otterloo, S., Van Der Hoek, W., & Wooldridge, M. (2004). Preferences in Game Logics. In Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2004 Vol. 1 (pp. 152-159).

Conference Paper

A Logic For Ignorance

van der Hoek, W., & Lomuscio, A. (2004). A Logic For Ignorance. Electronic Notes in Theoretical Computer Science, 85(2), 117-133. doi:10.1016/s1571-0661(05)82606-4

DOI
10.1016/s1571-0661(05)82606-4
Journal article

Knowledge as Strategic Ability

van Otterloo, S., van der Hoek, W., & Wooldridge, M. (2004). Knowledge as Strategic Ability. Electronic Notes in Theoretical Computer Science, 85(2), 152-175. doi:10.1016/s1571-0661(05)82608-8

DOI
10.1016/s1571-0661(05)82608-8
Journal article

Preface

van der Hoek, W., Lomuscio, A., de Vink, E., & Wooldridge, M. (2004). Preface. In Electronic Notes in Theoretical Computer Science Vol. 85 (pp. 81). Elsevier BV. doi:10.1016/s1571-0661(05)82603-9

DOI
10.1016/s1571-0661(05)82603-9
Conference Paper

A Logic for Ignorance

van der Hoek, W., & Lomuscio, A. (2004). A Logic for Ignorance. In Unknown Conference (pp. 97-108). Springer Berlin Heidelberg. doi:10.1007/978-3-540-25932-9_6

DOI
10.1007/978-3-540-25932-9_6
Conference Paper

Agents that Know How to Play

Jamroga, W., & van der Hoek, W. (2004). Agents that Know How to Play. Fundamenta Informaticae, 63(2,3), 185-219. Retrieved from http://www.iospress.nl/html/01692968.php

Journal article

Obligations versus abilities of agents via Deontic ATL

Jamroga, W., van der Hoek, W., & Wooldridge, M. (2004). Obligations versus abilities of agents via Deontic ATL. In Deontic Logic in Computer Science Vol. 3065 (pp. 165-182). Madeira: Springer.

Conference Paper

On Obligations and Abilities

Jamroga, W., van der Hoek, W., & Wooldridge, M. (2004). On Obligations and Abilities. In Unknown Conference (pp. 165-181). Springer Berlin Heidelberg. doi:10.1007/978-3-540-25927-5_11

DOI
10.1007/978-3-540-25927-5_11
Conference Paper

Practical reasoning for uncertain agents

Ferreira, N. D., Fisher, M., & van der Hoek, W. (2004). Practical reasoning for uncertain agents. In LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS Vol. 3229 (pp. 82-94). Retrieved from https://www.webofscience.com/

Conference Paper

Proceedings LCMAS

van der Hoek, W., Lomuscio, A., de Vink, E., & Wooldridge, M. (Eds.) (2004). Proceedings LCMAS. In Logic and Communication for Multi-Agent Systems (LCMAS) (pp. 134). Amsterdam: Elsevier Science. Retrieved from http://www.win.tue.nl/~evink/entcs-vol85.2-lcmas2003/toc.html

Conference Paper

Representation and Complexity in Boolean Games

Dunne, P. E., & van der Hoek, W. (2004). Representation and Complexity in Boolean Games. In Unknown Conference (pp. 347-359). Springer Berlin Heidelberg. doi:10.1007/978-3-540-30227-8_30

DOI
10.1007/978-3-540-30227-8_30
Conference Paper

Theories of Knowledge and Ignorance

Hoek, W. V. D., Jaspars, J., & Thijsse, E. (n.d.). Theories of Knowledge and Ignorance. In Logic, Epistemology, and the Unity of Science (pp. 381-418). Springer Netherlands. doi:10.1007/978-1-4020-2808-3_19

DOI
10.1007/978-1-4020-2808-3_19
Chapter

Using temporal logics of knowledge in the formal verification of security protocols

Dixon, C., Gago, M. C. F., Fisher, M., & van der Hoek, W. (2004). Using temporal logics of knowledge in the formal verification of security protocols. In 11TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS (pp. 148-151). doi:10.1109/TIME.2004.1314432

DOI
10.1109/TIME.2004.1314432
Conference Paper

2003

Agent Programming in Dribble: From Beliefs to Goals Using Plans

Van Riemsdijk, B., Van Der Hoek, W., & Meyer, J. J. C. (2003). Agent Programming in Dribble: From Beliefs to Goals Using Plans. In Proceedings of the Interantional Conference on Autonomous Agents Vol. 2 (pp. 393-400).

Conference Paper

Formal semantics of meta-level architectures: Temporal epistemic reflection

Van Der Hoek, W., Meyer, J. -J., & Treur, J. (2003). Formal semantics of meta-level architectures: Temporal epistemic reflection. International Journal of Intelligent Systems, 18(12), 1293-1317. doi:10.1002/int.10139

DOI
10.1002/int.10139
Journal article

A Modal Characterization of Nash Equilibrium

Harrenstein, P., Meyer, J. J., Van der Hoek, W., & Witteveen, C. (2003). A Modal Characterization of Nash Equilibrium. Fundamenta Informaticae, 57(2-4), 281-321.

Journal article

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

DOI
10.1023/a:1026185103185
Journal article

Concurrent dynamic epistemic logic for MAS

van Ditmarsch, H. P., van der Hoek, W., & Kooi, B. P. (2003). Concurrent dynamic epistemic logic for MAS. In Proceedings of the second international joint conference on Autonomous agents and multiagent systems (pp. 201-208). ACM. doi:10.1145/860575.860608

DOI
10.1145/860575.860608
Conference Paper

Editorial

van der Hoek, W. (2003). Editorial. Logic Journal of IGPL, 11(2), 133. doi:10.1093/jigpal/11.2.133

DOI
10.1093/jigpal/11.2.133
Journal article

Iterated Belief Change in Multi-Agent Systems

Roorda, J. -W. (2003). Iterated Belief Change in Multi-Agent Systems. Logic Journal of IGPL, 11(2), 223-246. doi:10.1093/jigpal/11.2.223

DOI
10.1093/jigpal/11.2.223
Journal article

Towards a Logic of Rational Agency

van der Hoek, W. (2003). Towards a Logic of Rational Agency. Logic Journal of IGPL, 11(2), 135-159. doi:10.1093/jigpal/11.2.135

DOI
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:1021836202093

DOI
10.1023/a:1021836202093
Journal article

A fully abstract model for the exchange of information in multi-agent systems

de Boer, F. S., van Eijk, R. M., van der Hoek, W., & Meyer, J. -J. C. (2003). A fully abstract model for the exchange of information in multi-agent systems. Theoretical Computer Science, 290(3), 1753-1773. doi:10.1016/s0304-3975(02)00078-6

DOI
10.1016/s0304-3975(02)00078-6
Journal article

Agent Programming in Dribble: From Beliefs to Goals with Plans

van Riemsdijk, B., van der Hoek, W., & Meyer, J. -J. C. (2003). Agent Programming in Dribble: From Beliefs to Goals with Plans. In Unknown Conference (pp. 294-295). Springer Berlin Heidelberg. doi:10.1007/978-3-540-45133-4_32

DOI
10.1007/978-3-540-45133-4_32
Conference Paper

Concurrent Dynamic Epistemic Logic

Van Ditmarsch, H. P., Van Der Hoek, W., & Kooi, B. P. (2003). Concurrent Dynamic Epistemic Logic. In Knowledge Contributors (pp. 105-143). Springer Netherlands. doi:10.1007/978-94-007-1001-6_6

DOI
10.1007/978-94-007-1001-6_6
Chapter

Concurrent Dynamic Epistemic Logic for MAS

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

DOI
10.1145/860575.860608
Conference Paper

Concurrent Epistemic Dynamic Logic for Multi Agent Systems

van Ditmarsch, H., van der Hoek, W., & Kooi, B. (2003). Concurrent Epistemic Dynamic Logic for Multi Agent Systems. In V. Hendricks, K. F. Jorgensen, & S. A. Pederson (Eds.), Knowledge Contributors (pp. 105-143). Dordrecht: Kluwer Academic Publishers.

Chapter

Description of Game States

van Ditmarsch, H., van der Hoek, W., & Kooi, B. (2003). Description of Game States. In G. Mints, & R. Muskens (Eds.), Games, Logic, and Constructive Sets (pp. 43-58). Stanford: CSLI Publications.

Chapter

Ignore at your peril - towards a logic for ignorance

van der Hoek, W., & Lomuscio, A. (2003). Ignore at your peril - towards a logic for ignorance. In Proceedings of the second international joint conference on Autonomous agents and multiagent systems - AAMAS '03. ACM Press. doi:10.1145/860722.860839

DOI
10.1145/860722.860839
Conference Paper

Logic and the foundations of the theory of games and decisions: introduction

Bonanno, G., & van der Hoek, W. (2003). Logic and the foundations of the theory of games and decisions: introduction. Research in Economics, 57(3), 185-188. doi:10.1016/s1090-9443(03)00033-4

DOI
10.1016/s1090-9443(03)00033-4
Journal article

Model checking cooperation, knowledge, and time—a case study

van der Hoek, W., & Wooldridge, M. (2003). Model checking cooperation, knowledge, and time—a case study. Research in Economics, 57(3), 235-265. doi:10.1016/s1090-9443(03)00031-0

DOI
10.1016/s1090-9443(03)00031-0
Journal article

Process Algebra for Agent Communication: A General Semantic Approach

van Eijk, R. M., de Boer, F. S., van der Hoek, W., & Meyer, J. -J. C. (2003). Process Algebra for Agent Communication: A General Semantic Approach. In Lecture Notes in Computer Science (pp. 113-128). Springer Berlin Heidelberg. doi:10.1007/978-3-540-44972-0_5

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

Towards a Logic of Rational Agency

van der Hoek, W., & Wooldridge, M. (2003). Towards a Logic of Rational Agency. Logic Journal of the IGPL, 11(2), 133-158. Retrieved from http://jigpal.oxfordjournals.org/

Journal article

2002

Practical and theoretical innovations in multi-agent systems research

DINVERNO, M., LUCK, M., & 2001 Contributors, U. K. M. A. S. (2002). Practical and theoretical innovations in multi-agent systems research. In The Knowledge Engineering Review Vol. 17 (pp. 295-301). Cambridge University Press (CUP). doi:10.1017/s0269888902000504

DOI
10.1017/s0269888902000504
Conference Paper

Agent Programming with Declarative Goals

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

Journal article

van der Hoek, W., & Witteveen, C. (2002). Unknown Title. Studia Logica, 70(1), 3-4. doi:10.1023/a:1014625723965

DOI
10.1023/a:1014625723965
Journal article

A Programming Language for Coordinating Group Actions

de Vries, W., de Boer, F. S., Hindriks, K. V., van der Hoek, W., & Meyer, J. -J. C. (2002). A Programming Language for Coordinating Group Actions. In Unknown Conference (pp. 313-321). Springer Berlin Heidelberg. doi:10.1007/3-540-45941-3_33

DOI
10.1007/3-540-45941-3_33
Conference Paper

Agents Serving Science

van der Hoek, W. (2002). Agents Serving Science. In J. Mey (Ed.), Dealing with the Data Flood--mining data, text and multimedia (pp. 49-63). The Hague: Intl Specialized Book Service Inc, STT/Beweton.

Chapter

Epistemic Logic: a Survey

van der Hoek, W., & Verbrugge, R. (2002). Epistemic Logic: a Survey. In L. A. Petrosjan, & V. V. Mazalnov (Eds.), Game Theory and Applications (pp. 53-94). New York: Nova Science Publishers.

Chapter

Iterated belief change in multi-agent systems

Roorda, J. -W., van der Hoek, W., & Meyer, J. -J. (2002). Iterated belief change in multi-agent systems. In Proceedings of the first international joint conference on Autonomous agents and multiagent systems part 2 - AAMAS '02 (pp. 889). ACM Press. doi:10.1145/544862.544949

DOI
10.1145/544862.544949
Conference Paper

Model Checking Knowledge and Time

van der Hoek, W., & Wooldridge, M. (2002). Model Checking Knowledge and Time. In Unknown Conference (pp. 95-111). Springer Berlin Heidelberg. doi:10.1007/3-540-46017-9_9

DOI
10.1007/3-540-46017-9_9
Conference Paper

Motivational Attitudes in the Karo Framework

Meyer, J. -J. C., van der Hoek, W., & van Linder, B. (2002). Motivational Attitudes in the Karo Framework. In Agent-Based Defeasible Control in Dynamic Environments (pp. 341-356). Springer Netherlands. doi:10.1007/978-94-017-1741-0_12

DOI
10.1007/978-94-017-1741-0_12
Chapter

Non-Monotonic Reasoning and Partial Semantics

van der Hoek, W., Tan, Y., Witteveen, C., & Meyer, J. J. C. (Eds.) (2002). Non-Monotonic Reasoning and Partial Semantics. Chichester: Ellis Horwood.

Book

On BAN Logics for Industrial Security Protocols

Agray, N., van der Hoek, W., & de Vink, E. (2002). On BAN Logics for Industrial Security Protocols. In Unknown Conference (pp. 29-36). Springer Berlin Heidelberg. doi:10.1007/3-540-45941-3_3

DOI
10.1007/3-540-45941-3_3
Conference Paper

On Modal Logic Interpretations of Games

Harrenstein, B. P., van der Hoek, W., Meyer, J. C., & Witteveen, C. (2002). On Modal Logic Interpretations of Games. In F. van Harmelen (Ed.), European Conference on Artificial Intelligence (ECAI) Vol. 77 (pp. 28-32). Lyon: IOS Press.

Conference Paper

Programming the Deliberation Cycle of Cognitive Robots

Dastani, M., de Boer, F., Dignum, F., van der Hoek, W., Kroese, M., & Meyer, J. J. C. (2002). Programming the Deliberation Cycle of Cognitive Robots. In C. Baral, & S. McIlraith (Eds.), Cognitive Robotics (pp. 22-28). Edmonton: AAAI Press.

Conference Paper

Seeing is Believing and So are Hearing and Jumping

van der Hoek, W., Meyer, J. -J. C., & van Linder, B. (2002). Seeing is Believing and So are Hearing and Jumping. In Agent-Based Defeasible Control in Dynamic Environments (pp. 309-339). Springer Netherlands. doi:10.1007/978-94-017-1741-0_11

DOI
10.1007/978-94-017-1741-0_11
Chapter

Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications

Wooldridge, M., & van der Hoek, W. (2002). Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications. In Unknown Conference (pp. 4). Springer Berlin Heidelberg. doi:10.1007/3-540-46000-4_3

DOI
10.1007/3-540-46000-4_3
Conference Paper

Tractable multiagent planning for epistemic goals

van der Hoek, W., & Wooldridge, M. (2002). Tractable multiagent planning for epistemic goals. In Proceedings of the first international joint conference on Autonomous agents and multiagent systems part 3 - AAMAS '02 (pp. 1167). ACM Press. doi:10.1145/545056.545095

DOI
10.1145/545056.545095
Conference Paper

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

DOI
10.1023/a:1020578025481
Journal article

2001

Reasoning about agents in the KARO framework

Hustadt, U., Dixon, C., Schmidt, R. A., Fisher, M., Meyer, J. J., & van der Hoek, W. (2001). Reasoning about agents in the KARO framework. In EIGHTH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS (pp. 206-213). doi:10.1109/TIME.2001.930719

DOI
10.1109/TIME.2001.930719
Conference Paper

Logic and the Foundations of the Theory of Games and Decisions: Introduction

Bonanno, G., & Van Der Hoek, W. (2001). Logic and the Foundations of the Theory of Games and Decisions: Introduction. Bulletin of Economic Research, 53(4), 215-217. doi:10.1111/1467-8586.00132

DOI
10.1111/1467-8586.00132
Journal article

Modal Logic with Bounded Quantification over Worlds

Van Eijk, R. M. (2001). Modal Logic with Bounded Quantification over Worlds. Journal of Logic and Computation, 11(5), 701-715. doi:10.1093/logcom/11.5.701

DOI
10.1093/logcom/11.5.701
Journal article

RoboCup European Championship:

Groen, F., van der Hoek, W., Jonker, P., Kröse, B., Spoelder, H., & Stramigioli, S. (2001). RoboCup European Championship:. Robotics and Autonomous Systems, 36(2-3), 59-66. doi:10.1016/s0921-8890(01)00135-x

DOI
10.1016/s0921-8890(01)00135-x
Journal article

Multi-agent systems research into the 21st century

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

DOI
10.1017/S0269888901000169
Conference Paper

On dynamically generated ontology translators in agent communication

Van Eijk, R. M., De Boer, F. S., Van der Hoek, W., & Meyer, J. -J. C. (2001). On dynamically generated ontology translators in agent communication. International Journal of Intelligent Systems, 16(5), 587-607. doi:10.1002/int.1025

DOI
10.1002/int.1025
Journal article

On programming KARO agents

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

DOI
10.1093/jigpal/9.2.245
Journal article

A Programming Logic for Part of the Agent Language 3APL

Hindriks, K. V., de Boer, F. S., van der Hoek, W., & Meyer, J. -J. C. (2001). A Programming Logic for Part of the Agent Language 3APL. In Unknown Conference (pp. 78-89). Springer Berlin Heidelberg. doi:10.1007/3-540-45484-5_6

DOI
10.1007/3-540-45484-5_6
Conference Paper

A Truly Concurrent Model for Interacting Agents

de Vries, W., de Boer, F. S., van der Hoek, W., & Meyer, J. -J. C. (2001). A Truly Concurrent Model for Interacting Agents. In Unknown Conference (pp. 16-30). Springer Berlin Heidelberg. doi:10.1007/3-540-44637-0_2

DOI
10.1007/3-540-44637-0_2
Conference Paper

Boolean Games

Harrenstein, B. P., van der Hoek, W., Meyer, J. J. C., & Witteveen, C. (2001). Boolean Games. In J. van Benthem (Ed.), Theoretical Aspects of Rationality and Knowledge (pp. 287-298). Pisa: Morgan Kaufman.

Conference Paper

Formal Semantics of Temporal Reflection

van der Hoek, W., Meyer, J. J. C., & Treur, J. (2001). Formal Semantics of Temporal Reflection. In D. M. Gabbay, & P. Smets (Eds.), Handbook of Defeasible Reasoning and Uncertainty (Vol. 6, pp. 41-63). Dordrecht: Kluwer Academic Publishers.

Chapter

Generalised Object-Oriented Concepts for Inter-agent Communication

van Eijk, R. M., de Boer, F. S., van der Hoek, W., & Meyer, J. -J. (2001). Generalised Object-Oriented Concepts for Inter-agent Communication. In Unknown Conference (pp. 260-274). Springer Berlin Heidelberg. doi:10.1007/3-540-44631-1_18

DOI
10.1007/3-540-44631-1_18
Conference Paper

How to Recover from (Non-)monotonic Inconsistency

Witteveen, C., & van der Hoek, W. (2001). How to Recover from (Non-)monotonic Inconsistency. In L. Cavedon, P. Blackburn, N. Braisby, & A. Shimojima (Eds.), Logic, Language and Computation (pp. 319-340). Stanford: CSLI Publications.

Chapter

Logical Foundations of Agent-Based Computing

van der Hoek, W. (2001). Logical Foundations of Agent-Based Computing. In Lecture Notes in Computer Science (pp. 50-73). Springer Berlin Heidelberg. doi:10.1007/3-540-47745-4_3

DOI
10.1007/3-540-47745-4_3
Chapter

Scanning the issue

Adorni, G., & van der Hoek, W. (2001). Scanning the issue. Robotics and Autonomous Systems, 36(2-3), 57-58. doi:10.1016/s0921-8890(01)00134-8

DOI
10.1016/s0921-8890(01)00134-8
Journal article

Temporalized Epistemic Default Logic

Meyer, J. -J. C., Treur, J., & van der Hoek, W. (2001). Temporalized Epistemic Default Logic. In Dynamics and Management of Reasoning Processes (pp. 177-194). Springer Netherlands. doi:10.1007/978-94-017-1743-4_10

DOI
10.1007/978-94-017-1743-4_10
Chapter

The Dynamics of Default Reasoning

van Linder, B., van der Hoek, W., & Meyer, J. -J. C. (2001). The Dynamics of Default Reasoning. In Dynamics and Management of Reasoning Processes (pp. 125-157). Springer Netherlands. doi:10.1007/978-94-017-1743-4_8

DOI
10.1007/978-94-017-1743-4_8
Chapter

Verification within the KARO Agent Theory

Hustadt, U., Dixon, C., Schmidt, R. A., Fisher, M., Meyer, J. -J., & van der Hoek, W. (2001). Verification within the KARO Agent Theory. In Unknown Conference (pp. 33-47). Springer Berlin Heidelberg. doi:10.1007/3-540-45484-5_3

DOI
10.1007/3-540-45484-5_3
Conference Paper

2000

der van Hoek, W. (2000). Unknown Title. Studia Logica, 66(1), 79-119. doi:10.1023/a:1026796912842

DOI
10.1023/a:1026796912842
Journal article

A General Approach to Multi-agent Minimal Knowledge

van der Hoek, W., Jaspars, J., & Thijsse, E. (2000). A General Approach to Multi-agent Minimal Knowledge. In Unknown Conference (pp. 254-268). Springer Berlin Heidelberg. doi:10.1007/3-540-40006-0_18

DOI
10.1007/3-540-40006-0_18
Conference Paper

A Modal Logic for Network Topologies

van Eijk, R. M., de Boer, F. S., van der Hoek, W., & Meyer, J. -J. C. (2000). A Modal Logic for Network Topologies. In Unknown Conference (pp. 269-283). Springer Berlin Heidelberg. doi:10.1007/3-540-40006-0_19

DOI
10.1007/3-540-40006-0_19
Conference Paper

Failure Semantics for the Exchange of Information in Multi-Agent Systems

de Boer, F. S., van Eijk, R. M., van der Hoek, W., & Meyer, J. -J. C. (2000). Failure Semantics for the Exchange of Information in Multi-Agent Systems. In Unknown Conference (pp. 214-228). Springer Berlin Heidelberg. doi:10.1007/3-540-44618-4_17

DOI
10.1007/3-540-44618-4_17
Conference Paper

Formalizing Potential of Agents: The KARO Framework Revisited

van der Hoek, W., Meyer, J. J. C., & Schagen, J. W. (2000). Formalizing Potential of Agents: The KARO Framework Revisited. In M. Faller, S. Kaufman, & M. Pauly (Eds.), Formalizing the Dynamics of Information (pp. 51-67). Stanford: CSLI Publications.

Chapter

Open Multi-Agent Systems: Agent Communication and Integration

van Eijk, R. M., de Boer, F. S., van der Hoek, W., & Meyer, J. -J. C. (2000). Open Multi-Agent Systems: Agent Communication and Integration. In Unknown Conference (pp. 218-232). Springer Berlin Heidelberg. doi:10.1007/10719619_16

DOI
10.1007/10719619_16
Conference Paper

1999

A Default Logic Based on Epistemic States

van der Hoek, W., Meyer, J. J. C. H., & van Linder, B. (1999). A Default Logic Based on Epistemic States. In M. Wooldridge, & A. Rao (Eds.), Foundations of Rational Agency (pp. 133-168). Dordrecht: Kluwer Academic Publishers.

Chapter

A logical approach to the dynamics of commitments

Meyer, J. -J. C., van der Hoek, W., & van Linder, B. (1999). A logical approach to the dynamics of commitments. Artificial Intelligence, 113(1-2), 1-40. doi:10.1016/s0004-3702(99)00061-2

DOI
10.1016/s0004-3702(99)00061-2
Journal article

Continuing research in multi-agent systems

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

DOI
10.1017/S026988899900301X
Journal article

Control Structures of Rule-Based Agent Languages

Hindriks, K. V., de Boer, F. S., Hoek, W. V. D., & Meyer, J. -J. C. (1999). Control Structures of Rule-Based Agent Languages. In Unknown Conference (pp. 381-396). Springer Berlin Heidelberg. doi:10.1007/3-540-49057-4_25

DOI
10.1007/3-540-49057-4_25
Conference Paper

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

van der Hoek, W., van Linder, B., & Meyer, J. -J. (1999). Group knowledge is not always distributed (neither is it always implicit). Mathematical Social Sciences, 38(2), 215-240. doi:10.1016/s0165-4896(99)00013-x

DOI
10.1016/s0165-4896(99)00013-x
Journal article

Information-Passing and Belief Revisionin Multi-agent Systems

van Eijk, R. M., de Boer, F. S., van der Hoek, W., & Meyer, J. -J. C. (1999). Information-Passing and Belief Revisionin Multi-agent Systems. In Unknown Conference (pp. 29-45). Springer Berlin Heidelberg. doi:10.1007/3-540-49057-4_3

DOI
10.1007/3-540-49057-4_3
Conference Paper

Interleaved Contractions

van der Hoek, W., & de Rijke, M. (1999). Interleaved Contractions. In L. S. Moss, J. Ginzburg, & M. de Rijke (Eds.), Language and Computation (pp. 106-127). Stanford: CSLI Publications.

Chapter

van der Hoek, W., Jaspars, J., & Thijsse, E. (1999). Unknown Title. Annals of Mathematics and Artificial Intelligence, 27(1/4), 25-47. doi:10.1023/a:1018967130652

DOI
10.1023/a:1018967130652
Journal article

Hindriks, K. V., De Boer, F. S., Van der Hoek, W., & Ch. Meyer, J. -J. (1999). Unknown Title. Autonomous Agents and Multi-Agent Systems, 2(4), 357-401. doi:10.1023/a:1010084620690

DOI
10.1023/a:1010084620690
Journal article

1998

Translations of Vocabularies in Systems of Communicating Agents

van Eijk, M., de Boer, F. S., van der Hoek, W., & Meyer, J. -J. C. (1998). Translations of Vocabularies in Systems of Communicating Agents. In Electronic Notes in Theoretical Computer Science Vol. 16 (pp. 23). Elsevier BV. doi:10.1016/s1571-0661(05)80589-4

DOI
10.1016/s1571-0661(05)80589-4
Conference Paper

A Language for Modular Information-Passing Agents

van Eijk, R., de Boer, F., van der Hoek, W., & Meyer, J. J. C. H. (1998). A Language for Modular Information-Passing Agents. CWI Quarterly, 11(2,3), 273-297.

Journal article

A formal embedding of agentspeak(L) in 3APL

Hindriks, K. V., de Boer, F. S., van der Hoek, W., & Meyer, J. -J. C. (1998). A formal embedding of agentspeak(L) in 3APL. In Unknown Conference (pp. 155-166). Springer Berlin Heidelberg. doi:10.1007/bfb0095049

DOI
10.1007/bfb0095049
Conference Paper

Constructing translations between individual vocabularies in multi-agent systems

van Eijk, R. M., de Boer, F. S., van der Hoek, W., & Meyer, J. -J. C. (1998). Constructing translations between individual vocabularies in multi-agent systems. In Unknown Conference (pp. 240-253). Springer Berlin Heidelberg. doi:10.1007/bfb0057449

DOI
10.1007/bfb0057449
Conference Paper

Formal semantics for an abstract agent programming language

Hindriks, K. V., de Boer, F. S., van der Hoek, W., & Meyer, J. -J. C. (1998). Formal semantics for an abstract agent programming language. In Unknown Conference (pp. 215-229). Springer Berlin Heidelberg. doi:10.1007/bfb0026761

DOI
10.1007/bfb0026761
Conference Paper

Formalizing Abilities and Opportunities of Agents

van Linder, B., van der Hoek, W., & Meyer, J. J. C. (1998). Formalizing Abilities and Opportunities of Agents. Fundamenta Informaticae, 34(1-2), 53-101.

Journal article

Modal Logics for Representing Incoherent Knowledge

Meyer, J. -J. C., & Van Der Hoek, W. (1998). Modal Logics for Representing Incoherent Knowledge. In Reasoning with Actual and Potential Contradictions (pp. 37-75). Springer Netherlands. doi:10.1007/978-94-017-1739-7_3

DOI
10.1007/978-94-017-1739-7_3
Chapter

Persistence and Minimality in Epistemic Logic

van der Hoek, W., Jaspars, J., & Thijsse, E. (1998). Persistence and Minimality in Epistemic Logic. In Unknown Conference (pp. 62-77). Springer Berlin Heidelberg. doi:10.1007/3-540-49545-2_5

DOI
10.1007/3-540-49545-2_5
Conference Paper

Recovery of (non)monotonic theories

Witteveen, C., & van der Hoek, W. (1998). Recovery of (non)monotonic theories. Artificial Intelligence, 106(1), 139-159. doi:10.1016/s0004-3702(98)00099-x

DOI
10.1016/s0004-3702(98)00099-x
Journal article

van der Hoek, W., Meyer, J. -J., & Treur, J. (1998). Unknown Title. Journal of Logic, Language and Information, 7(3), 341-367. doi:10.1023/a:1008264012385

DOI
10.1023/a:1008264012385
Journal article

1997

First steps in modal logic

van der Hoek, W. (1997). First steps in modal logic. Artificial Intelligence in Medicine, 9(2), 199-201. doi:10.1016/s0933-3657(96)00371-5

DOI
10.1016/s0933-3657(96)00371-5
Journal article

A Complete Epistemic Logic for Multiple Agents

Van der Hoek, W., & Meyer, J. J. (1997). A Complete Epistemic Logic for Multiple Agents. In Theory and Decision Library (pp. 35-68). Springer US. doi:10.1007/978-1-4613-1139-3_2

DOI
10.1007/978-1-4613-1139-3_2
Chapter

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

van der Hoek, W., & Meyer, J. C. (1997). A Complete Epistemic Logic for Multiple Agents-- Combining Distributed and Common Knowledge. In M. O. L. Bacharach, L. A. Gerard-Varet, P. Mongin, & H. S. Shin (Eds.), Epistemic Logic and the Theory of Games and Decisions (Vol. 20, pp. 35-68). Dordrecht: Kluwer Academic Publishers.

Chapter

A general framework for revising nonmonotonic theories

Witteveen, G., & Hoek, W. (1997). A general framework for revising nonmonotonic theories. In Unknown Conference (pp. 258-272). Springer Berlin Heidelberg. doi:10.1007/3-540-63255-7_20

DOI
10.1007/3-540-63255-7_20
Conference Paper

Seeing is Believing (and so are Hearing and Jumping)

van Linde, B., der Hoek, W., & Meyer, J. J. C. (1997). Seeing is Believing (and so are Hearing and Jumping). Journal of Logic, Language and Information, 6(2), 33-61.

Journal article

Some Considerations of the Logic PFD

van der Hoek, W. (1997). Some Considerations of the Logic PFD. Journal of Applied non-Classical Logic, 7(3), 287-307.

Journal article

The dynamics of default reasoning

van Linder, B., van der Hoek, W., & Meyer, J. -J. C. (1997). The dynamics of default reasoning. Data &amp; Knowledge Engineering, 21(3), 317-346. doi:10.1016/s0169-023x(96)00021-3

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

van Linder, B., van der Hoek, W., & Meyer, J. -J. C. (1997). Unknown Title. Journal of Logic, Language and Information, 6(1), 33-61. doi:10.1023/a:1008242530244

DOI
10.1023/a:1008242530244
Journal article

1996

A modal contrastive logic: The logic of ‘but’

Ch. Meyer, J. -J., & van der Hoek, W. (1996). A modal contrastive logic: The logic of ‘but’. Annals of Mathematics and Artificial Intelligence, 17(2), 291-313. doi:10.1007/bf02127972

DOI
10.1007/bf02127972
Journal article

Honesty in partial logic

van der Hoek, W., Jaspars, J., & Thijsse, E. (1996). Honesty in partial logic. Studia Logica, 56(3), 323-360. doi:10.1007/bf00372771

DOI
10.1007/bf00372771
Journal article

A modal contrastive logic: The logic of 'but'

Meyer, J. J. C., & Van Der Hoek, W. (1996). A modal contrastive logic: The logic of 'but'. Annals of Mathematics and Artificial Intelligence, 17(2), 291-313. doi:10.1007/bf02127972

DOI
10.1007/bf02127972
Journal article

Formalising motivational attitudes of agents

van Linder, B., van der Hoek, W., & Meyer, J. -J. C. (1996). Formalising motivational attitudes of agents. In Unknown Conference (pp. 17-32). Springer Berlin Heidelberg. doi:10.1007/3540608052_56

DOI
10.1007/3540608052_56
Conference Paper

Honesty in Partial Modal Logic

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

Journal article

Logics in Artificial Intelligence

Alferes, J. J., Pereira, L. M., & Orlowska, E. (Eds.) (1996). Logics in Artificial Intelligence. In . Springer Berlin Heidelberg. doi:10.1007/3-540-61630-6

DOI
10.1007/3-540-61630-6
Conference Paper

Modalities for Reasoning about Knowledge and Uncertainties

van der Hoek, W., & Meyer, J. J. C. H. (1996). Modalities for Reasoning about Knowledge and Uncertainties. In P. Doherty (Ed.), Partiality, Modality and Nonmonotonicity (pp. 77-110). Stanford: CSLI Publications.

Chapter

QUALITATIVE MODALITIES

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

DOI
10.1142/s0218488596000044
Journal article

Revising and updating using a back-up semantics

Witteveen, C., & Hoek, W. (1996). Revising and updating using a back-up semantics. In Lecture Notes in Computer Science (pp. 388-403). Springer Berlin Heidelberg. doi:10.1007/3-540-61630-6_27

DOI
10.1007/3-540-61630-6_27
Chapter

Some postulates for nonmonotonic theory revision applied to logic programming

Witteveen, C., & Hoek, W. (1996). Some postulates for nonmonotonic theory revision applied to logic programming. In Lecture Notes in Computer Science (pp. 303-318). Springer Berlin Heidelberg. doi:10.1007/3-540-60983-0_21

DOI
10.1007/3-540-60983-0_21
Chapter

1995

Epistemic Logic for AI and Computer Science

Meyer, J. -J. C., & Hoek, W. V. D. (1995). Epistemic Logic for AI and Computer Science. Cambridge University Press. doi:10.1017/cbo9780511569852

DOI
10.1017/cbo9780511569852
Book

A DEFAULT LOGIC BASED ON EPISTEMIC STATES

Ch. Meyer, J. -J., & van der Hoek, W. (1995). A DEFAULT LOGIC BASED ON EPISTEMIC STATES. Fundamenta Informaticae, 23(1), 33-65. doi:10.3233/fi-1995-2312

DOI
10.3233/fi-1995-2312
Journal article

Actions that Make You Change Your Mind

van Linder, B., Meyer, J. J. C. H., & van der Hoek, W. (1995). Actions that Make You Change Your Mind. In A. Laux, & H. Wansing (Eds.), Knowledge and Belief in Philosophy and AI (pp. 103-146). Berlin: Akademie-Verlag.

Chapter

Actions that make you change your mind

van Linder, B., van der Hoek, W., & Meyer, J. -J. C. (1995). Actions that make you change your mind. In Unknown Conference (pp. 185-196). Springer Berlin Heidelberg. doi:10.1007/3-540-60343-3_36

DOI
10.1007/3-540-60343-3_36
Conference Paper

Counting Objects

HOEK, W. V. D., & RIJKE, M. D. (1995). Counting Objects. Journal of Logic and Computation, 5(3), 325-345. doi:10.1093/logcom/5.3.325

DOI
10.1093/logcom/5.3.325
Journal article

Revision by communication

Witteveen, C., & van der Hoek, W. (1995). Revision by communication. In Unknown Conference (pp. 189-202). Springer Berlin Heidelberg. doi:10.1007/3-540-59487-6_14

DOI
10.1007/3-540-59487-6_14
Conference Paper

Seeing is believing

van Linder, B., van der Hoek, W., & Meyer, J. -J. C. (1995). Seeing is believing. In Lecture Notes in Computer Science (pp. 402-413). Springer Berlin Heidelberg. doi:10.1007/3-540-60437-5_40

DOI
10.1007/3-540-60437-5_40
Chapter

The dynamics of default reasoning

van Linder, B., van der Hoek, W., & Meyer, J. -J. C. (1995). The dynamics of default reasoning. In Lecture Notes in Computer Science (pp. 277-284). Springer Berlin Heidelberg. doi:10.1007/3-540-60112-0_32

DOI
10.1007/3-540-60112-0_32
Chapter

1994

A logic of capabilities

van der Hoek, W., van Linder, B., & Meyer, J. -J. C. (1994). A logic of capabilities. In Unknown Conference (pp. 366-378). Springer Berlin Heidelberg. doi:10.1007/3-540-58140-5_34

DOI
10.1007/3-540-58140-5_34
Conference Paper

Communicating rational agents

Linder, B., Hoek, W., & Meyer, J. -J. C. (1994). Communicating rational agents. In Unknown Conference (pp. 202-213). Springer Berlin Heidelberg. doi:10.1007/3-540-58467-6_18

DOI
10.1007/3-540-58467-6_18
Conference Paper

Formal semantics of temporal epistemic reflection

Hoek, W., Meyer, J. -J., & Treur, J. (1994). Formal semantics of temporal epistemic reflection. In Unknown Conference (pp. 332-352). Springer Berlin Heidelberg. doi:10.1007/3-540-58792-6_21

DOI
10.1007/3-540-58792-6_21
Conference Paper

Honesty in Partial Logic

van der Hoek, W., Jaspars, J., & Thijsse, E. (1994). Honesty in Partial Logic. In Principles of Knowledge Representation and Reasoning (pp. 583-594). Elsevier. doi:10.1016/b978-1-4832-1452-8.50149-4

DOI
10.1016/b978-1-4832-1452-8.50149-4
Chapter

Revision of non-monotonic theories

Witteveen, C., van der Hoek, W., & de Nivelle, H. (1994). Revision of non-monotonic theories. In Unknown Conference (pp. 137-151). Springer Berlin Heidelberg. doi:10.1007/bfb0021969

DOI
10.1007/bfb0021969
Conference Paper

1993

Systems for Knowledge and Belief

van der HOEK, W. I. E. B. E. (1993). Systems for Knowledge and Belief. Journal of Logic and Computation, 3(2), 173-195. doi:10.1093/logcom/3.2.173

DOI
10.1093/logcom/3.2.173
Journal article

Counterfactual reasoning by (means of) defaults

Meyer, J. -J. C., & van der Hoek, W. (1993). Counterfactual reasoning by (means of) defaults. Annals of Mathematics and Artificial Intelligence, 9(3-4), 345-360. doi:10.1007/bf01530938

DOI
10.1007/bf01530938
Journal article

Generalized quantifiers and modal logic

Van Der Hoek, W., & De Rijke, M. (1993). Generalized quantifiers and modal logic. Journal of Logic, Language and Information, 2(1), 19-58. doi:10.1007/bf01051767

DOI
10.1007/bf01051767
Journal article

A Logic of Capabilities

Van Der Hoek, W., Van Under, B., & Meyer, J. J. C. (1993). A Logic of Capabilities. In AAAI Spring Symposium - Technical Report Vol. SS-93-05 (pp. 150-159).

Conference Paper

A default logic based on epistemic states

Meyer, J. -J. C., & van der Hoek, W. (1993). A default logic based on epistemic states. In Unknown Conference (pp. 265-273). Springer Berlin Heidelberg. doi:10.1007/bfb0028209

DOI
10.1007/bfb0028209
Conference Paper

Belief revision by expansion

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

DOI
10.1007/bfb0028224
Conference Paper

Towards an epistemic approach to reasoning about concurrent programs

Hoek, W., Hulst, M., & Meyer, J. -J. C. (1993). Towards an epistemic approach to reasoning about concurrent programs. In Unknown Conference (pp. 261-287). Springer Berlin Heidelberg. doi:10.1007/3-540-56596-5_37

DOI
10.1007/3-540-56596-5_37
Conference Paper

1992

MAKING SOME ISSUES OF IMPLICIT KNOWLEDGE EXPLICIT

VAN DER HOEK, W., & MEYER, J. -J. C. (1992). MAKING SOME ISSUES OF IMPLICIT KNOWLEDGE EXPLICIT. International Journal of Foundations of Computer Science, 03(02), 193-223. doi:10.1142/s0129054192000139

DOI
10.1142/s0129054192000139
Journal article

Graded modalities in epistemic logic

van der Hoek, W., & Meyer, J. -J. C. (1992). Graded modalities in epistemic logic. In Unknown Conference (pp. 503-514). Springer Berlin Heidelberg. doi:10.1007/bfb0023902

DOI
10.1007/bfb0023902
Conference Paper

Making Some Issues of Implicit Knowledge Explicit

van der Hoek, W., & Meyer, J. J. C. (1992). Making Some Issues of Implicit Knowledge Explicit. International Journal of Foundations of Computer Science, 3(2), 193-224.

Journal article

On the Semantics of Graded Modalities

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

Journal article

Some considerations on the logic PFD

van der Hoek, W. (1992). Some considerations on the logic PFD. In Lecture Notes in Computer Science (pp. 474-485). Springer Berlin Heidelberg. doi:10.1007/3-540-55460-2_36

DOI
10.1007/3-540-55460-2_36
Chapter

1991

Graded Modalities for Epistemic Logic

van der Hoek, W., & Meyer, J. J. C. (1991). Graded Modalities for Epistemic Logic. Logique et Analyse, 34(133-13), 251-270.

Journal article

Non-monotonic reasoning by monotonic means

Meyer, J. -J. C., & van der Hoek, W. (1991). Non-monotonic reasoning by monotonic means. In Unknown Conference (pp. 399-411). Springer Berlin Heidelberg. doi:10.1007/bfb0018455

DOI
10.1007/bfb0018455
Conference Paper

Systems for knowledge and beliefs

van der Hoek, W. (1991). Systems for knowledge and beliefs. In Unknown Conference (pp. 267-281). Springer Berlin Heidelberg. doi:10.1007/bfb0018447

DOI
10.1007/bfb0018447
Conference Paper

1989

Possible Logics for Belief

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

Journal article