Wiebe van der Hoek - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Wiebe van der Hoek' as author, editor, or advisor:

9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3Wiebe van der Hoek, Gal A. Kaminka, Yves Lespérance, Michael Luck, Sandip Sen, editors, IFAAMAS, 2010.
Concurrently Decomposable Constraint SystemsCees Witteveen, Wiebe van der Hoek, Nico Roos. MATES 2009: 153-164 [doi]
Reasoning about local properties in modal logicHans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi. atal 2011: 711-718 [doi]
Introduction to the Special Issue on Logic and the Foundations of Game and Decision Theory (LOFT12)Giacomo Bonanno, Wiebe van der Hoek, Andrés Perea. sLogica, 107(3):451-455, 2019. [doi]
A General Approach to Multi-agent Minimal KnowledgeWiebe van der Hoek, Jan Jaspars, Elias Thijsse. jelia 2000: 254-268 [doi]
Structures for Epistemic LogicNick Bezhanishvili, Wiebe van der Hoek. In Alexandru Baltag, Sonja Smets, editors, Johan van Benthem on Logic and Information Dynamics. pages 339-380, Springer, 2014. [doi]
A Temporal Logic of Normative SystemsThomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael J. Wooldridge. In David Makinson, Jacek Malinowski, Heinrich Wansing, editors, Towards Mathematical Philosophy. Volume 28 of Trends in logic, pages 69-106, Springer, 2009. [doi]
Local properties in modal logicHans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi. ai, 187:133-155, 2012. [doi]
Special Issue on Logical Aspects of Multi-Agent SystemsNils Bulling, Wiebe van der Hoek. sLogica, 104(4):593-595, 2016. [doi]
Reasoning About Social Choice FunctionsNicolas Troquard, Wiebe van der Hoek, Michael Wooldridge. jphil, 40(4):473-498, 2011. [doi]
IntroductionGiacomo Bonanno, Hans P. van Ditmarsch, Wiebe van der Hoek, Steffen Jørgensen. igtr, 16(1), 2014. [doi]
Boolean Games with Epistemic GoalsThomas Ågotnes, Paul Harrenstein, Wiebe van der Hoek, Michael Wooldridge. ifip3-5 2013: 1-14 [doi]
Operational Semantics for Agent Communication LanguagesRogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer. agentCL 2000: 80-95
Logic, rationality and interaction (LORI-5): introduction to the special issueWiebe van der Hoek, Wesley H. Holliday, Wen-Fang Wang. synthese, 195(10):4201-4204, 2018. [doi]
Knowledge, Rationality and ActionWiebe van der Hoek. atal 2004: 16-23 [doi]
Fully Arbitrary Public AnnouncementsHans van Ditmarsch, Wiebe van der Hoek, Louwe B. Kuijer. aiml 2016: 252-267 [doi]
On the Semantics of Graded ModalitiesWiebe van der Hoek. jancl, 2(1), 1992.
Preface: Volume 85, Issue 2Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael Wooldridge. ENTCS, 85(2):81, 2004. [doi]
Connecting dynamic epistemic and temporal epistemic logicsHans P. van Ditmarsch, Wiebe van der Hoek, Ji Ruan. igpl, 21(3):380-403, 2013. [doi]
Knowledge and social lawsWiebe van der Hoek, Mark Roberts, Michael Wooldridge. atal 2005: 674-681 [doi]
Knowledge and Action in Semi-public EnvironmentsWiebe van der Hoek, Petar Iliev, Michael Wooldridge. ifip3-5 2011: 97-110 [doi]
Editorial Logic, Rationality and Interaction (LORI-5): Introduction to the Special IssueWiebe van der Hoek, Wesley H. Holliday, Wen-Fang Wang. logcom, 28(2):265-267, 2018. [doi]
Robust Normative SystemsThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge. Dagstuhl 2009: [doi]
Proceedings of the 2nd International Workshop on Logic and Communication in Multi-Agent Systems, LCMAS 2004, Nancy, France, August 16-20, 2004Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge, editors, Volume 126 of Electronic Notes in Theoretical Computer Science, Elsevier, 1005. [doi]
Reasoning about ChoiceWiebe van der Hoek, Nicolas Troquard, Michael Wooldridge. at 2013: 4-18 [doi]
Reasoning about Normative SystemsWiebe van der Hoek. jurix 2010: 3 [doi]
Knowledge as Strategic AbilitySieuwert van Otterloo, Wiebe van der Hoek, Michael Wooldridge. ENTCS, 85(2):152-175, 2004. [doi]
Proceedings of the Third International Workshop on Logic and Communication in Multi-Agent Systems, LCMAS 2005, Edinburgh, Scotland, UK, August 1, 2005Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge, editors, Volume 157 of Electronic Notes in Theoretical Computer Science, Elsevier, 2006. [doi]
Knowing More - From Global to Local CorrespondenceHans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi. IJCAI 2009: 955-960 [doi]
Knowledge and controlWiebe van der Hoek, Nicolas Troquard, Michael Wooldridge. atal 2011: 719-726 [doi]
Formal semantics of meta-level architectures: Temporal epistemic reflectionWiebe van der Hoek, John-Jules Ch. Meyer, Jan Treur. ijis, 18(12):1293-1317, 2003. [doi]
Process Algebra for Agent Communication: A General Semantic ApproachRogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer. atal 2003: 113-128 [doi]
PrefaceWiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael Wooldridge. ENTCS, 157(4):1-2, 2006. [doi]
Control and DelegationWiebe van der Hoek. icaart 2013:
Audience-Based Uncertainty in Abstract Argument GamesDavide Grossi, Wiebe van der Hoek. IJCAI 2013: 143-149 [doi]
Sytems for Knowledge and BeliefWiebe van der Hoek. logcom, 3(2):173-195, 1993.
Cooperative Boolean gamesPaul E. Dunne, Wiebe van der Hoek, Sarit Kraus, Michael Wooldridge. atal 2008: 1015-1022 [doi]
Logical Implementation of Uncertain AgentsNivea de Carvalho Ferreira, Michael Fisher, Wiebe van der Hoek. epia 2005: 536-547 [doi]
On the definability of simulation and bisimulation in epistemic logicHans P. van Ditmarsch, David Fernández Duque, Wiebe van der Hoek. logcom, 24(6):1209-1227, 2014. [doi]
PrefaceWiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael Wooldridge. ENTCS, 126:1-2, 2005. [doi]
A coordination language for agents interacting in distributed plan-execute cyclesWieke de Vries, John-Jules Ch. Meyer, Frank S. de Boer, Wiebe van der Hoek. ijris, 1(1/2):4-17, 2009. [doi]
Theories of Knowledge and IgnoranceWiebe van der Hoek, Jan Jaspars, Elias Thijsse. In Shahid Rahman, John Symons, Dov M. Gabbay, Jean Paul Van Bendegem, editors, Logic, Epistemology, and the Unity of Science. Volume 1 of Logic, Epistemology, and the Unity of Science, pages 381-418, Springer, 2004. [doi]
Decomposing constraint systems: equivalences and computational propertiesWiebe van der Hoek, Cees Witteveen, Michael Wooldridge. atal 2011: 149-156 [doi]
Persistence and Minimality in Epistemic LogicWiebe van der Hoek, Jan Jaspars, Elias Thijsse. jelia 1998: 62-76 [doi]
Formalising Abilities and Opportunities of AgentsBernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer. FUIN, 34(1-2):53-101, 1998.
Reasoning About the Transfer of ControlWiebe van der Hoek, Dirk Walther, Michael Wooldridge. jair, 37:437-477, 2010. [doi]
A Framework for Epistemic Gossip ProtocolsMaduka Attamah, Hans van Ditmarsch, Davide Grossi, Wiebe van der Hoek. eumas 2015: 193-209 [doi]
Verifiable Equilibria in Boolean GamesThomas Ågotnes, Paul Harrenstein, Wiebe van der Hoek, Michael Wooldridge. IJCAI 2013: 689-695 [doi]
On the Logic of Normative SystemsThomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael Wooldridge. Dagstuhl 2007: [doi]
A Programming Logic for Part of the Agent Language 3APLKoen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer. faabs 2001: 78-89 [doi]
On the relative succinctness of modal logics with union, intersection and quantificationWiebe van der Hoek, Petar Iliev. atal 2014: 341-348 [doi]
Towards an Epistemic Approach to Reasoning about Concurrent ProgramsWiebe van der Hoek, M. van Hulst, John-Jules Ch. Meyer. rex 1993: 261-287
On the complexity of practical ATL model checkingWiebe van der Hoek, Alessio Lomuscio, Michael Wooldridge. atal 2006: 201-208 [doi]
Arrow update synthesisHans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi, Louwe B. Kuijer. iandc, 275:104544, 2020. [doi]
Introduction to the special issue on Logic and the Foundations of Game and Decision Theory (LOFT13)Pierpaolo Battigalli, Giacomo Bonanno, Wiebe van der Hoek. geb, 123:207-209, 2020. [doi]
Generalized quantifiers and modal logicWiebe van der Hoek, Maarten de Rijke. jolli, 2(1):19-58, 1993. [doi]
On the Relative Succinctness of Two Extensions by Definitions of Multimodal LogicWiebe van der Hoek, Petar Iliev, Barteld P. Kooi. CiE 2012: 323-333 [doi]
Erratum to: Introduction chapterCilia Witteman, Wiebe van der Hoek. synthese, 189(Supplement-1):185, 2012. [doi]
ForewordGiacomo Bonanno, Andreas Herzig, Jérôme Lang, Wiebe van der Hoek. jancl, 21(3-4):263-264, 2011. [doi]
Logic, Rationality, and Interaction - 5th International Workshop, LORI 2015 Taipei, Taiwan, October 28-31, 2015, ProceedingsWiebe van der Hoek, Wesley H. Holliday, Wen-Fang Wang, editors, Volume 9394 of Lecture Notes in Computer Science, Springer, 2015. [doi]
A logical characterisation of qualitative coalitional gamesPaul E. Dunne, Wiebe van der Hoek, Michael Wooldridge. jancl, 17(4):477-509, 2007. [doi]
Introduction chapterCilia Witteman, Wiebe van der Hoek. synthese, 189(Supplement-1):1-3, 2012. [doi]
1st International Workshop on Logic and Communication in Multi-Agent Systems, LCMAS 2003, Eindhoven, The Netherlands, June 29, 2003Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge, editors, Volume 85 of Electronic Notes in Theoretical Computer Science, Elsevier, 2004. [doi]
Program equilibrium - a program reasoning approachWiebe van der Hoek, Cees Witteveen, Michael Wooldridge. ijgt, 42(3):639-671, 2013. [doi]
Second-order propositional modal logic: Expressiveness and completeness resultsFrancesco Belardinelli, Wiebe van der Hoek, Louwe B. Kuijer. ai, 263:3-45, 2018. [doi]
Translations of Vocabularies in Systems of Communicating AgentsRogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer. ENTCS, 16(1):23, 1998. [doi]
Conservative Social LawsThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge. ecai 2012: 49-54 [doi]
Some Considerations on the Logic PFD~Wiebe van der Hoek. jancl, 7(3), 1997.
Who Should Be My Friends? Social Balance from the Perspective of Game TheoryWiebe van der Hoek, Louwe B. Kuijer, Yì N. Wáng. jolli, 31(2):189-211, 2022. [doi]
Fair decomposition of group obligationsNatasha Alechina, Wiebe van der Hoek, Brian Logan. logcom, 27(7):2043-2062, 2017. [doi]
Control and DelegationWiebe van der Hoek. dalt 2012: 1-2 [doi]
Belief Revision by ExpansionCees Witteveen, Wiebe van der Hoek. ecsqaru 1993: 380-387
GOAL Agents Instantiate Intention LogicKoen iV. indriks, Wiebe van der Hoek. jelia 2008: 232-244 [doi]
Succinctness of Epistemic LanguagesTim French, Wiebe van der Hoek, Petar Iliev, Barteld P. Kooi. IJCAI 2011: 881-886 [doi]
Verification within the KARO Agent TheoryUllrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher, John-Jules Ch. Meyer, Wiebe van der Hoek. faabs 2001: 33-47 [doi]
Modal logic for games and informationWiebe van der Hoek, Marc Pauly. In Patrick Blackburn, J. F. A. K. van Benthem, Frank Wolter, editors, Handbook of Modal Logic. Volume 3 of Studies in logic and practical reasoning, pages 1077-1148, North-Holland, 2007. [doi]
Logics for Qualitative Coalitional GamesThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge. igpl, 17(3):299-321, 2009. [doi]
Scientia potentia estThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge. atal 2011: 735-742 [doi]
Systems of Communicating AgentsRogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer. ecai 1998: 293-297
Sigma algebras in probabilistic epistemic dynamicsLuca Aceto, Wiebe van der Hoek, Anna Ingólfsdóttir, Joshua Sack. tark 2011: 191-199 [doi]
On the succinctness of some modal logicsTim French, Wiebe van der Hoek, Petar Iliev, Barteld P. Kooi. ai, 197:56-85, 2013. [doi]
Model Checking Knowledge and TimeWiebe van der Hoek, Michael Wooldridge. spin 2002: 95-111 [doi]
A Modal Logic for Network TopologiesRogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer. jelia 2000: 269-283 [doi]
Revision by CommunicationCees Witteveen, Wiebe van der Hoek. lpnmr 1995: 189-202
Qualitative ModalitiesWiebe van der Hoek. scai 1991: 322-327
An abstract framework for reasoning about trustElisabetta Erriquez, Wiebe van der Hoek, Michael Wooldridge. atal 2011: 1085-1086 [doi]
Representation and Complexity in Boolean GamesPaul E. Dunne, Wiebe van der Hoek. jelia 2004: 347-359 [doi]
Logics of Allies and Enemies: A Formal Approach to the Dynamics of Social Balance TheoryWiebe van der Hoek, Louwe B. Kuijer, Yì N. Wáng. IJCAI 2020: 210-216 [doi]
Ignore at your peril - towards a logic for ignoranceWiebe van der Hoek, Alessio Lomuscio. atal 2003: 1148-1149 [doi]
Fair Allocation of Group Tasks According to Social NormsNatasha Alechina, Wiebe van der Hoek, Brian Logan. clima 2014: 19-34 [doi]
Logics of Preference when There Is No BestDavide Grossi, Wiebe van der Hoek, Louwe B. Kuijer. kr 2020: 455-464 [doi]
Open Multi-agent Systems: Agent Communication and IntegrationRogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer. atal 2000: 218-232
Multiagent System Technologies, 7th German Conference, MATES 2009, Hamburg, Germany, September 9-11, 2009. ProceedingsLars Braubach, Wiebe van der Hoek, Paolo Petta, Alexander Pokahr, editors, Volume 5774 of Lecture Notes in Computer Science, Springer, 2009. [doi]
Logic and the Foundations of Game and Decision Theory - LOFT 8, 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected PapersGiacomo Bonanno, Benedikt Löwe, Wiebe van der Hoek, editors, Volume 6006 of Lecture Notes in Computer Science, Springer, 2010. [doi]
Uncertainty, rationality, and agencyWiebe van der Hoek. Kluwer, 2006.
GOAL Agents Instantiate Intention LogicKoen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer. BIRTHDAY 2012: 196-219 [doi]
Verification of Games in the Game Description LanguageJi Ruan, Wiebe van der Hoek, Michael Wooldridge. logcom, 19(6):1127-1156, 2009. [doi]
Agent Programming in 3APLKoen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer. AAMAS, 2(4):357-401, 1999.
A logic of revelation and concealmentWiebe van der Hoek, Petar Iliev, Michael Wooldridge. atal 2012: 1115-1122 [doi]
Program models and semi-public environmentsDavide Grossi, Wiebe van der Hoek, Christos Moyzes, Michael J. Wooldridge. logcom, 29(7):1071-1097, 2019. [doi]
Epistemic logic for AI and computer scienceJohn-Jules Charles Meyer, Wiebe van der Hoek. Volume 41 of Cambridge tracts in theoretical computer science, Cambridge University Press, 1995.
Temporal Logics of Knowledge and their Applications in SecurityClare Dixon, M. Carmen Fernández Gago, Michael Fisher, Wiebe van der Hoek. ENTCS, 186:27-42, 2007. [doi]
Multi-Modal CTL: Completeness, Complexity, and an ApplicationThomas Ã…gotnes, Wiebe van der Hoek, Juan A. RodrÃguez-Aguilar, Carles Sierra, Michael Wooldridge. sLogica, 92(1):1-26, 2009. [doi]
Introduction to the special issueThomas Ågotnes, Giacomo Bonanno, Wiebe van der Hoek. logcom, 29(7):1011-1013, 2019. [doi]
On the dynamics of delegation, cooperation, and control: a logical accountWiebe van der Hoek, Michael Wooldridge. atal 2005: 701-708 [doi]
On the logic of preference and judgment aggregationThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge. AAMAS, 22(1):4-30, 2011. [doi]
PrefaceWiebe van der Hoek, Bastien Maubert, Aniello Murano, Sasha Rubin. iandc, 276:104551, 2021. [doi]
Knowledge and GossipMaduka Attamah, Hans P. van Ditmarsch, Davide Grossi, Wiebe van der Hoek. ecai 2014: 21-26 [doi]
Quantified coalition logicThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge. synthese, 165(2):269-294, 2008. [doi]
GOAL Agents Instantiate Intention LogicKoen V. Hindriks, Wiebe van der Hoek. Dagstuhl 2008: [doi]
Systems for Knowledge and BeliefsWiebe van der Hoek. jelia 1991: 267-281
Introduction to the special issueGiacomo Bonanno, Andreas Herzig, Wiebe van der Hoek, Jérôme Lang. ijgt, 42(3):563-566, 2013. [doi]
Using Temporal Logics of Knowledge in the Formal Verification of Security ProtocolsClare Dixon, M. Carmen Fernández Gago, Michael Fisher, Wiebe van der Hoek. time 2004: 148-151 [doi]
Many-Valued Epistemic States: An Application to a Reflexive Architecture: Milord-IILluis Godo, Wiebe van der Hoek, John-Jules Ch. Meyer, Carles Sierra. ipmu 1995: 440-452
Agent programming in dribble: from beliefs to goals using plansBirna van Riemsdijk, Wiebe van der Hoek, John-Jules Ch. Meyer. atal 2003: 393-400 [doi]
EditorialWiebe van der Hoek. synthese, 139(2):5-8, 2004. [doi]
The logic of gossipingHans van Ditmarsch, Wiebe van der Hoek, Louwe B. Kuijer. ai, 286:103306, 2020. [doi]
Honesty in Partial LogicWiebe van der Hoek, Jan Jaspars, Elias Thijsse. kr 1994: 583-594
Editorial Introduction to the Special Issue LOFT SevillaGiacomo Bonanno, Hans P. van Ditmarsch, Wiebe van der Hoek. jphil, 42(6):795-798, 2013. [doi]
Logics for Multiagent SystemsWiebe van der Hoek, Michael Wooldridge. aim, 33(3):92-105, 2012. [doi]
Completeness and Complexity of Multi-modal CTLThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge. ENTCS, 231:259-275, 2009. [doi]
International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, Valencia, Spain, June 4-8, 2012 (3 Volumes)Wiebe van der Hoek, Lin Padgham, Vincent Conitzer, Michael Winikoff, editors, IFAAMAS, 2012. [doi]
Tractable multiagent planning for epistemic goalsWiebe van der Hoek, Michael Wooldridge. atal 2002: 1167-1174 [doi]
The undecidability of arbitrary arrow update logicHans van Ditmarsch, Wiebe van der Hoek, Louwe B. Kuijer. TCS, 693:1-12, 2017. [doi]
Some Exponential Lower Bounds on Formula-size in Modal LogicHans P. van Ditmarsch, Jie Fan, Wiebe van der Hoek, Petar Iliev. aiml 2014: 139-157 [doi]
A logic for strategic reasoningWiebe van der Hoek, Wojciech Jamroga, Michael Wooldridge. atal 2005: 157-164 [doi]
Information-Passing and Belief Revision in Multi-Agent SystemsRogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer. icmas 1998: 473-474
Non-Determinism and the Dynamics of KnowledgeDavide Grossi, Andreas Herzig, Wiebe van der Hoek, Christos Moyzes. IJCAI 2017: 1053-1059 [doi]
Qualitative ModalitiesWiebe van der Hoek. ijufks, 4(1):45-60, 1996. [doi]
Epistemic Quantified Boolean Logic: Expressiveness and Completeness ResultsFrancesco Belardinelli, Wiebe van der Hoek. IJCAI 2015: 2748-2754 [doi]
Justified Beliefs by Justified ArgumentsDavide Grossi, Wiebe van der Hoek. kr 2014: [doi]
Logical Foundations of Agent-Based ComputingWiebe van der Hoek. easss 2001: 50-73 [doi]
Updating Nonmonotonic DatabasesCees Witteveen, Wiebe van der Hoek. istcs 1996: 147-153
Robust normative systems and a logic of norm complianceThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge. igpl, 18(1):4-30, 2010. [doi]
Classical, General Frameworks for RecoveryWiebe van der Hoek, Cees Witteveen. ecai 2000: 33-37
Building and using social structures: A case study using the agent ART testbedElisabetta Erriquez, Wiebe van der Hoek, Michael Wooldridge. tist, 4(2):25, 2013. [doi]
A Logic For IgnoranceWiebe van der Hoek, Alessio Lomuscio. ENTCS, 85(2):117-133, 2004. [doi]
A logic of propositional control for truthful implementationsNicolas Troquard, Wiebe van der Hoek, Michael Wooldridge. tark 2009: 237-246 [doi]
Who Should Be My Friends? - Social Balance from the Perspective of Game TheoryWiebe van der Hoek, Louwe B. Kuijer, Yì N. Wáng. ifip3-5 2019: 370-384 [doi]
Effective Approximations for Multi-Robot Coordination in Spatially Distributed TasksDaniel Claes, Philipp Robbel, Frans A. Oliehoek, Karl Tuyls, Daniel Hennes, Wiebe van der Hoek. atal 2015: 881-890 [doi]
A Verification Framework for Agent CommunicationRogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer. AAMAS, 6(2):185-219, 2003.
A General Framework for Revising Non-Monotonic TheoriesCees Witteveen, Wiebe van der Hoek. lpnmr 1997: 258-273
Specifying and reasoning about uncertain agentsNivea de Carvalho Ferreira, Michael Fisher, Wiebe van der Hoek. ijar, 49(1):35-51, 2008. [doi]
Second-order Propositional Announcement LogicFrancesco Belardinelli, Hans van Ditmarsch, Wiebe van der Hoek. atal 2016: 635-643 [doi]
A Modal Logic for Mixed StrategiesJoshua Sack, Wiebe van der Hoek. sLogica, 102(2):339-360, 2014. [doi]
Reasoning about general preference relationsDavide Grossi, Wiebe van der Hoek, Louwe B. Kuijer. ai, 313:103793, 2022. [doi]
9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), Toronto, Canada, May 10-14, 2010, Volume 1Wiebe van der Hoek, Gal A. Kaminka, Yves Lespérance, Michael Luck, Sandip Sen, editors, IFAAMAS, 2010.
A Semantical Analysis of Second-Order Propositional Modal LogicFrancesco Belardinelli, Wiebe van der Hoek. AAAI 2016: 886-892 [doi]
On the Definability of Simulability and Bisimilarity by Finite Epistemic ModelsHans P. van Ditmarsch, David Fernández Duque, Wiebe van der Hoek. clima 2011: 74-87 [doi]
Some postulates for Nonmonotonic Theory Revision Applied to Logic ProgrammingCees Witteveen, Wiebe van der Hoek. elp 1996: 303-318
When Are Two Gossips the Same?Krzysztof R. Apt, Davide Grossi, Wiebe van der Hoek. lpar 2018: 36-55 [doi]
Generalised Object-Oriented Concepts for Inter-agent CommunicationRogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer. atal 2001: 260-274 [doi]
Making Some Issues of Implicit Knowledge ExplicitWiebe van der Hoek, John-Jules Ch. Meyer. ijfcs, 3(2):193-223, 1992.
Information-Passing and Belief Revision in Multi-Agent SystemsRogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer. atal 1999: 29-45
Arbitrary arrow update logicHans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi, Louwe B. Kuijer. ai, 242:80-106, 2017. [doi]
Introduction to the special issueThomas Ågotnes, Giacomo Bonanno, Wiebe van der Hoek. synthese, 193(3):659-662, 2016. [doi]
A verification framework for agent programming with declarative goalsFrank S. de Boer, Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer. japll, 5(2):277-302, 2007. [doi]
Revising and Updating Using a Back-Up SemanticsCees Witteveen, Wiebe van der Hoek. jelia 1996: 388-403
Practical Reasoning for Uncertain AgentsNivea de Carvalho Ferreira, Michael Fisher, Wiebe van der Hoek. jelia 2004: 82-94 [doi]

All Publications

Filter by Year

Filter by Type

Filter by Topic

Filter by Venue

Filter by Co-author

Filter by Top terms

Download

External Links

Profile Name

Statistics

Aliases

Researchr

Wiebe van der Hoek's Profile

Unidentified Publications