The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Wiebe van der Hoek: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    Operational Semantics for Agent Communication Languages. [Citation Graph (0, 0)][DBLP]
    Issues in Agent Communication, 2000, pp:80-95 [Conf]
  2. Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    Semantics of Communicating Agents Based on Deduction and Abduction. [Citation Graph (0, 0)][DBLP]
    Issues in Agent Communication, 2000, pp:63-79 [Conf]
  3. Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer
    Seeing is Believing. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1995, pp:402-413 [Conf]
  4. Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi
    Public Announcements and Belief Expansion. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2004, pp:335-346 [Conf]
  5. Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    Constructing Translations Between Individual Vocabularies in Multi-Agent Systems. [Citation Graph (0, 0)][DBLP]
    AIMSA, 1998, pp:240-253 [Conf]
  6. Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge
    On the logic of coalitional games. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2006, pp:153-160 [Conf]
  7. Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge
    Temporal qualitative coalitional games. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2006, pp:177-184 [Conf]
  8. Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi
    Concurrent dynamic epistemic logic for MAS. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2003, pp:201-208 [Conf]
  9. Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi
    Dynamic epistemic logic with assignment. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2005, pp:141-148 [Conf]
  10. Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    Generalised Object-Oriented Concepts for Inter-agent Communication. [Citation Graph (0, 0)][DBLP]
    ATAL, 2000, pp:260-274 [Conf]
  11. Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    Process Algebra for Agent Communication: A General Semantic Approach. [Citation Graph (0, 0)][DBLP]
    Communication in Multiagent Systems, 2003, pp:113-128 [Conf]
  12. Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    Information-Passing and Belief Revision in Multi-Agent Systems. [Citation Graph (0, 0)][DBLP]
    ATAL, 1998, pp:29-45 [Conf]
  13. Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    Open Multi-agent Systems: Agent Communication and Integration. [Citation Graph (0, 0)][DBLP]
    ATAL, 1999, pp:218-232 [Conf]
  14. Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    Agent Programming with Declarative Goals. [Citation Graph (0, 0)][DBLP]
    ATAL, 2000, pp:228-243 [Conf]
  15. Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    Formal Semantics for an Abstract Agent Programming Language. [Citation Graph (0, 0)][DBLP]
    ATAL, 1997, pp:215-229 [Conf]
  16. Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    Control Structures of Rule-Based Agent Languages. [Citation Graph (0, 0)][DBLP]
    ATAL, 1998, pp:381-396 [Conf]
  17. Wiebe van der Hoek
    Knowledge, Rationality and Action. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2004, pp:16-23 [Conf]
  18. Wiebe van der Hoek, Wojciech Jamroga, Michael Wooldridge
    A logic for strategic reasoning. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2005, pp:157-164 [Conf]
  19. Wiebe van der Hoek, Alessio Lomuscio
    Ignore at your peril - towards a logic for ignorance. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2003, pp:1148-1149 [Conf]
  20. Wiebe van der Hoek, Alessio Lomuscio, Michael Wooldridge
    On the complexity of practical ATL model checking. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2006, pp:201-208 [Conf]
  21. Wiebe van der Hoek, Mark Roberts, Michael Wooldridge
    Knowledge and social laws. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2005, pp:674-681 [Conf]
  22. Wiebe van der Hoek, Michael Wooldridge
    Tractable multiagent planning for epistemic goals. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2002, pp:1167-1174 [Conf]
  23. Wiebe van der Hoek, Michael Wooldridge
    On the dynamics of delegation, cooperation, and control: a logical account. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2005, pp:701-708 [Conf]
  24. Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer
    Formalising Motivational Attitudes of Agents. [Citation Graph (0, 0)][DBLP]
    ATAL, 1995, pp:17-32 [Conf]
  25. Sieuwert van Otterloo, Wiebe van der Hoek, Michael Wooldridge
    Preferences in Game Logics. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2004, pp:152-159 [Conf]
  26. Birna van Riemsdijk, Wiebe van der Hoek, John-Jules Ch. Meyer
    Agent programming in dribble: from beliefs to goals using plans. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2003, pp:393-400 [Conf]
  27. Jan-Willem Roorda, Wiebe van der Hoek, John-Jules Ch. Meyer
    Iterated belief change in multi-agent systems. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2002, pp:889-896 [Conf]
  28. Luigi Sauro, Jelle Gerbrandy, Wiebe van der Hoek, Michael Wooldridge
    Reasoning about action and cooperation. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2006, pp:185-192 [Conf]
  29. Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    A Formal Embedding of AgentSpeak(L) in 3APL. [Citation Graph (0, 0)][DBLP]
    Australian Joint Conference on Artificial Intelligence, 1998, pp:155-166 [Conf]
  30. Nesria Agray, Wiebe van der Hoek, Erik P. de Vink
    On BAN Logics for Industrial Security Protocols. [Citation Graph (0, 0)][DBLP]
    CEEMAS, 2001, pp:29-36 [Conf]
  31. Wieke de Vries, Frank S. de Boer, Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer
    A Programming Language for Coordinating Group Actions. [Citation Graph (0, 0)][DBLP]
    CEEMAS, 2001, pp:313-321 [Conf]
  32. Frank S. de Boer, Rogier M. van Eijk, Wiebe van der Hoek, John-Jules Ch. Meyer
    Failure Semantics for the Exchange of Information in Multi-Agent Systems. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2000, pp:214-228 [Conf]
  33. Michael Wooldridge, Wiebe van der Hoek
    Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2002, pp:4- [Conf]
  34. Wiebe van der Hoek, Alessio Lomuscio
    A logic for ignorance. [Citation Graph (0, 0)][DBLP]
    DALT, 2003, pp:97-108 [Conf]
  35. Wojciech Jamroga, Wiebe van der Hoek, Michael Wooldridge
    On Obligations and Abilities. [Citation Graph (0, 0)][DBLP]
    DEON, 2004, pp:165-181 [Conf]
  36. Wiebe van der Hoek
    Logical Foundations of Agent-Based Computing. [Citation Graph (0, 0)][DBLP]
    EASSS, 2001, pp:50-73 [Conf]
  37. Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    Systems of Communicating Agents. [Citation Graph (0, 0)][DBLP]
    ECAI, 1998, pp:293-297 [Conf]
  38. Paul Harrenstein, Wiebe van der Hoek, John-Jules Ch. Meyer, Cees Witteveen
    On Modal Logic Interpretations of Games. [Citation Graph (0, 0)][DBLP]
    ECAI, 2002, pp:28-32 [Conf]
  39. Wiebe van der Hoek, Cees Witteveen
    Classical, General Frameworks for Recovery. [Citation Graph (0, 0)][DBLP]
    ECAI, 2000, pp:33-37 [Conf]
  40. Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer
    Tests as Epistemic Updates. [Citation Graph (0, 0)][DBLP]
    ECAI, 1994, pp:331-335 [Conf]
  41. Frank S. de Boer, Rogier M. van Eijk, Wiebe van der Hoek, John-Jules Ch. Meyer
    Failure Semantics for the Exchange of Information in Multi-agent Systems. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 1999, pp:265- [Conf]
  42. Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer
    The Dynamics of Default Reasoning (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    ECSQARU, 1995, pp:277-284 [Conf]
  43. John-Jules Ch. Meyer, Wiebe van der Hoek
    A Default Logic Based on Epistemic States. [Citation Graph (0, 0)][DBLP]
    ECSQARU, 1993, pp:265-273 [Conf]
  44. Cees Witteveen, Wiebe van der Hoek
    Belief Revision by Expansion. [Citation Graph (0, 0)][DBLP]
    ECSQARU, 1993, pp:380-387 [Conf]
  45. Cees Witteveen, Wiebe van der Hoek
    Some postulates for Nonmonotonic Theory Revision Applied to Logic Programming. [Citation Graph (0, 0)][DBLP]
    ELP, 1996, pp:303-318 [Conf]
  46. Nivea de C. Ferreira, Michael Fisher, Wiebe van der Hoek
    Logical Implementation of Uncertain Agents. [Citation Graph (0, 0)][DBLP]
    EPIA, 2005, pp:536-547 [Conf]
  47. Wojciech Jamroga, Wiebe van der Hoek, Michael Wooldridge
    Intentions and Strategies in Game-Like Scenarios. [Citation Graph (0, 0)][DBLP]
    EPIA, 2005, pp:512-523 [Conf]
  48. Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    A Programming Logic for Part of the Agent Language 3APL. [Citation Graph (0, 0)][DBLP]
    FAABS, 2000, pp:78-89 [Conf]
  49. Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher, John-Jules Ch. Meyer, Wiebe van der Hoek
    Verification within the KARO Agent Theory. [Citation Graph (0, 0)][DBLP]
    FAABS, 2000, pp:33-47 [Conf]
  50. Birna van Riemsdijk, Wiebe van der Hoek, John-Jules Ch. Meyer
    Agent Programming in Dribble: From Beliefs to Goals with Plans. [Citation Graph (0, 0)][DBLP]
    FAABS, 2002, pp:294-295 [Conf]
  51. Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    Information-Passing and Belief Revision in Multi-Agent Systems. [Citation Graph (0, 0)][DBLP]
    ICMAS, 1998, pp:473-474 [Conf]
  52. Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge
    Quantified Coalition Logic. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2007, pp:1181-1186 [Conf]
  53. Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael Wooldridge
    On the Logic of Normative Systems. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2007, pp:1175-1180 [Conf]
  54. Lluis Godo, Wiebe van der Hoek, John-Jules Ch. Meyer, Carles Sierra
    Many-Valued Epistemic States: An Application to a Reflexive Architecture: Milord-II. [Citation Graph (0, 0)][DBLP]
    IPMU, 1994, pp:440-452 [Conf]
  55. Cees Witteveen, Wiebe van der Hoek
    Updating Nonmonotonic Databases. [Citation Graph (0, 0)][DBLP]
    ISTCS, 1996, pp:147-153 [Conf]
  56. Paul E. Dunne, Wiebe van der Hoek
    Representation and Complexity in Boolean Games. [Citation Graph (0, 0)][DBLP]
    JELIA, 2004, pp:347-359 [Conf]
  57. Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    A Modal Logic for Network Topologies. [Citation Graph (0, 0)][DBLP]
    JELIA, 2000, pp:269-283 [Conf]
  58. Nivea de C. Ferreira, Michael Fisher, Wiebe van der Hoek
    Practical Reasoning for Uncertain Agents. [Citation Graph (0, 0)][DBLP]
    JELIA, 2004, pp:82-94 [Conf]
  59. John-Jules Ch. Meyer, Wiebe van der Hoek
    Non-Monotonic Reasoning by Monotonic Means. [Citation Graph (0, 0)][DBLP]
    JELIA, 1990, pp:399-411 [Conf]
  60. Wiebe van der Hoek
    Systems for Knowledge and Beliefs. [Citation Graph (0, 0)][DBLP]
    JELIA, 1990, pp:267-281 [Conf]
  61. Wiebe van der Hoek, Jan Jaspars, Elias Thijsse
    A General Approach to Multi-agent Minimal Knowledge. [Citation Graph (0, 0)][DBLP]
    JELIA, 2000, pp:254-268 [Conf]
  62. Wiebe van der Hoek, Jan Jaspars, Elias Thijsse
    Persistence and Minimality in Epistemic Logic. [Citation Graph (0, 0)][DBLP]
    JELIA, 1998, pp:62-76 [Conf]
  63. Cees Witteveen, Wiebe van der Hoek
    Revising and Updating Using a Back-Up Semantics. [Citation Graph (0, 0)][DBLP]
    JELIA, 1996, pp:388-403 [Conf]
  64. Cees Witteveen, Wiebe van der Hoek, Hans de Nivelle
    Revision of Non-Monotonic Theories. [Citation Graph (0, 0)][DBLP]
    JELIA, 1994, pp:137-151 [Conf]
  65. Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer
    Communicating Rational Agents. [Citation Graph (0, 0)][DBLP]
    KI, 1994, pp:202-213 [Conf]
  66. Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer
    Actions That Make You Change Your Mind (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    KI, 1995, pp:185-196 [Conf]
  67. Wiebe van der Hoek, Jan Jaspars, Elias Thijsse
    Honesty in Partial Logic. [Citation Graph (0, 0)][DBLP]
    KR, 1994, pp:583-594 [Conf]
  68. Wiebe van der Hoek, Bernd van Linder, John-Jules Ch. Meyer
    A Logic of Capabilities. [Citation Graph (0, 0)][DBLP]
    LFCS, 1994, pp:366-378 [Conf]
  69. Wiebe van der Hoek, John-Jules Ch. Meyer
    Graded Modalities in Epistemic Logic. [Citation Graph (0, 0)][DBLP]
    LFCS, 1992, pp:503-514 [Conf]
  70. Wiebe van der Hoek, John-Jules Ch. Meyer, Jan Treur
    Formal Semantics of Temporal Epistemic Reflection. [Citation Graph (0, 0)][DBLP]
    META, 1994, pp:332-352 [Conf]
  71. Wiebe van der Hoek
    Some Considerations on the Logic PfD. [Citation Graph (0, 0)][DBLP]
    RCLP, 1991, pp:474-485 [Conf]
  72. Cees Witteveen, Wiebe van der Hoek
    Revision by Communication. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1995, pp:189-202 [Conf]
  73. Cees Witteveen, Wiebe van der Hoek
    A General Framework for Revising Non-Monotonic Theories. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1997, pp:258-273 [Conf]
  74. Wieke de Vries, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    A Truly Concurrent Model for Interacting Agents. [Citation Graph (0, 0)][DBLP]
    PRIMA, 2001, pp:16-30 [Conf]
  75. Wiebe van der Hoek, M. van Hulst, John-Jules Ch. Meyer
    Towards an Epistemic Approach to Reasoning about Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1992, pp:261-287 [Conf]
  76. Wiebe van der Hoek
    Qualitative Modalities. [Citation Graph (0, 0)][DBLP]
    SCAI, 1991, pp:322-327 [Conf]
  77. Wiebe van der Hoek, Michael Wooldridge
    Model Checking Knowledge and Time. [Citation Graph (0, 0)][DBLP]
    SPIN, 2002, pp:95-111 [Conf]
  78. Clare Dixon, M. Carmen Fernández Gago, Michael Fisher, Wiebe van der Hoek
    Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols. [Citation Graph (0, 0)][DBLP]
    TIME, 2004, pp:148-151 [Conf]
  79. Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher, John-Jules Ch. Meyer, Wiebe van der Hoek
    Reasoning about agents in the KARO framework. [Citation Graph (0, 0)][DBLP]
    TIME, 2001, pp:206-213 [Conf]
  80. Frank S. de Boer, Wieke de Vries, John-Jules Ch. Meyer, Rogier M. van Eijk, Wiebe van der Hoek
    Process algebra and constraint programming for modeling interactions in MAS. [Citation Graph (0, 0)][DBLP]
    Appl. Algebra Eng. Commun. Comput., 2005, v:16, n:2-3, pp:113-150 [Journal]
  81. Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    A Verification Framework for Agent Communication. [Citation Graph (0, 0)][DBLP]
    Autonomous Agents and Multi-Agent Systems, 2003, v:6, n:2, pp:185-219 [Journal]
  82. Chiara Ghidini, Paolo Giorgini, Wiebe van der Hoek
    Preface. [Citation Graph (0, 0)][DBLP]
    Autonomous Agents and Multi-Agent Systems, 2006, v:12, n:2, pp:159-161 [Journal]
  83. Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    Agent Programming in 3APL. [Citation Graph (0, 0)][DBLP]
    Autonomous Agents and Multi-Agent Systems, 1999, v:2, n:4, pp:357-401 [Journal]
  84. Wiebe van der Hoek, Michael Wooldridge
    On the logic of cooperation and propositional control. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2005, v:164, n:1-2, pp:81-119 [Journal]
  85. John-Jules Ch. Meyer, Wiebe van der Hoek, Bernd van Linder
    A Logical Approach to the Dynamics of Commitments. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1999, v:113, n:1-2, pp:1-40 [Journal]
  86. Cees Witteveen, Wiebe van der Hoek
    Recovery of (Non)Monotonic Theories. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1998, v:106, n:1, pp:139-159 [Journal]
  87. Wiebe van der Hoek, Jan Jaspars, Elias Thijsse
    Persistence and minimality in epistemic logic. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1999, v:27, n:1-4, pp:25-47 [Journal]
  88. John-Jules Ch. Meyer, Wiebe van der Hoek
    Counterfactual Reasoning by (means of) Defaults. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1993, v:9, n:3-4, pp:345-360 [Journal]
  89. John-Jules Ch. Meyer, Wiebe van der Hoek
    A Modal Contrastive Logic: The Logic of `but'. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1996, v:17, n:3-4, pp:291-313 [Journal]
  90. Frank S. de Boer, Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer
    Agent Programming with Declarative Goals [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  91. Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer
    The Dynamics of Default Reasoning. [Citation Graph (0, 0)][DBLP]
    Data Knowl. Eng., 1997, v:21, n:3, pp:317-346 [Journal]
  92. Hans P. van Ditmarsch, Wiebe van der Hoek, Ron van der Meyden, Ji Ruan
    Model Checking Russian Cards. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:149, n:2, pp:105-123 [Journal]
  93. Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    Translations of Vocabularies in Systems of Communicating Agents. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:16, n:1, pp:- [Journal]
  94. Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael Wooldridge
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:126, n:, pp:1-2 [Journal]
  95. Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael Wooldridge
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:157, n:4, pp:1-2 [Journal]
  96. Huib Aldewereld, Wiebe van der Hoek, John-Jules Ch. Meyer
    Rational Teams: Logical Aspects of Multi-Agent Systems. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2004, v:63, n:2-3, pp:159-183 [Journal]
  97. Paul Harrenstein, Wiebe van der Hoek, John-Jules Ch. Meyer, Cees Witteveen
    A Modal Characterization of Nash Equilibrium. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2003, v:57, n:2-4, pp:281-321 [Journal]
  98. Wojciech Jamroga, Wiebe van der Hoek
    Agents that Know How to Play. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2004, v:63, n:2-3, pp:185-219 [Journal]
  99. Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer
    Formalising Abilities and Opportunities of Agents. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1998, v:34, n:1-2, pp:53-101 [Journal]
  100. John-Jules Ch. Meyer, Wiebe van der Hoek
    A Default Logic Based on Epistemic States. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1995, v:23, n:1, pp:33-65 [Journal]
  101. Wiebe van der Hoek, Michael Wooldridge
    Editorial. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2003, v:11, n:2, pp:- [Journal]
  102. Wiebe van der Hoek, Michael Wooldridge
    Towards a Logic of Rational Agency. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2003, v:11, n:2, pp:135-159 [Journal]
  103. John-Jules Ch. Meyer, Frank S. de Boer, Rogier M. van Eijk, Koen V. Hindriks, Wiebe van der Hoek
    On Programming KARO Agents. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2001, v:9, n:2, pp:- [Journal]
  104. Jan-Willem Roorda, Wiebe van der Hoek, John-Jules Ch. Meyer
    Iterated Belief Change in Multi-Agent Systems. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2003, v:11, n:2, pp:223-246 [Journal]
  105. Wiebe van der Hoek, John-Jules Ch. Meyer
    Making Some Issues of Implicit Knowledge Explicit. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 1992, v:3, n:2, pp:193-223 [Journal]
  106. Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    On dynamically generated ontology translators in agent communication. [Citation Graph (0, 0)][DBLP]
    Int. J. Intell. Syst., 2001, v:16, n:5, pp:587-607 [Journal]
  107. Wiebe van der Hoek, John-Jules Ch. Meyer, Jan Treur
    Formal semantics of meta-level architectures: Temporal epistemic reflection. [Citation Graph (0, 0)][DBLP]
    Int. J. Intell. Syst., 2003, v:18, n:12, pp:1293-1317 [Journal]
  108. Wiebe van der Hoek
    On the Semantics of Graded Modalities. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 1992, v:2, n:1, pp:- [Journal]
  109. Wiebe van der Hoek
    Some Considerations on the Logic PFD~. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 1997, v:7, n:3, pp:- [Journal]
  110. Frank S. de Boer, Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer
    A verification framework for agent programming with declarative goals. [Citation Graph (0, 0)][DBLP]
    J. Applied Logic, 2007, v:5, n:2, pp:277-302 [Journal]
  111. Michael Wooldridge, Wiebe van der Hoek
    On obligations and normative ability: Towards a logical analysis of the social contract. [Citation Graph (0, 0)][DBLP]
    J. Applied Logic, 2005, v:3, n:3-4, pp:396-420 [Journal]
  112. Wiebe van der Hoek
    Nonmonotonic Reasoning, Grigoris Antoniou. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 2000, v:9, n:1, pp:125-128 [Journal]
  113. Wiebe van der Hoek
    Logic for Applications, Anil Nerode and Richard A. Shore. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 1998, v:7, n:2, pp:228-229 [Journal]
  114. Wiebe van der Hoek, John-Jules Ch. Meyer, Jan Treur
    Temporalizing Epistemic Default Logic. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 1998, v:7, n:3, pp:341-367 [Journal]
  115. Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer
    Seeing Is Believing. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 1997, v:6, n:1, pp:33-61 [Journal]
  116. Sieuwert van Otterloo, Wiebe van der Hoek, Michael Wooldridge
    Knowledge Condition Games. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 2006, v:15, n:4, pp:425-452 [Journal]
  117. Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    Modal Logic with Bounded Quantification over Worlds. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2001, v:11, n:5, pp:701-715 [Journal]
  118. Wiebe van der Hoek
    Sytems for Knowledge and Belief. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1993, v:3, n:2, pp:173-195 [Journal]
  119. Wiebe van der Hoek, Maarten de Rijke
    Counting Objects. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1995, v:5, n:3, pp:325-345 [Journal]
  120. Giovanni Adorni, Wiebe van der Hoek
    Scanning the issue. [Citation Graph (0, 0)][DBLP]
    Robotics and Autonomous Systems, 2001, v:36, n:2-3, pp:57-58 [Journal]
  121. Frans C. A. Groen, Wiebe van der Hoek, Pieter P. Jonker, Ben J. A. Kröse, Hans J. W. Spoelder, Stefano Stramigioli
    RoboCup European Championship: Report of the Amsterdam 2000 event. [Citation Graph (0, 0)][DBLP]
    Robotics and Autonomous Systems, 2001, v:36, n:2-3, pp:59-66 [Journal]
  122. Wiebe van der Hoek, Jan Jaspars, Elias Thijsse
    Honesty in partial logic. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1996, v:56, n:3, pp:323-360 [Journal]
  123. Wiebe van der Hoek, Bernd van Linder, John-Jules Ch. Meyer
    On Agents That Have the Ability to Choose. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2000, v:66, n:1, pp:79-119 [Journal]
  124. Wiebe van der Hoek, Elias Thijsse
    A General Approach to Multi-Agent Minimal Knowledge: With Tools and Samples. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2002, v:72, n:1, pp:61-84 [Journal]
  125. Wiebe van der Hoek, Cees Witteveen
    Note by the Guest Editors. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2002, v:70, n:1, pp:3-4 [Journal]
  126. Wiebe van der Hoek, Michael Wooldridge
    Preface. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2003, v:75, n:1, pp:3-5 [Journal]
  127. Wiebe van der Hoek, Michael Wooldridge
    Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2003, v:75, n:1, pp:125-157 [Journal]
  128. Frank S. de Boer, Rogier M. van Eijk, Wiebe van der Hoek, John-Jules Ch. Meyer
    A fully abstract model for the exchange of information in multi-agent systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:290, n:3, pp:1753-1773 [Journal]
  129. Michael Wooldridge, Thomas Ågotnes, Paul E. Dunne, Wiebe van der Hoek
    Logic for Automated Mechanism Design - A Progress Report. [Citation Graph (0, 0)][DBLP]
    AAAI, 2007, pp:9-0 [Conf]
  130. Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael Wooldridge
    On the Logic of Normative Systems. [Citation Graph (0, 0)][DBLP]
    Normative Multi-agent Systems, 2007, pp:- [Conf]
  131. Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi
    Dynamic Epistemic Logic and Knowledge Puzzles. [Citation Graph (0, 0)][DBLP]
    ICCS, 2007, pp:45-58 [Conf]
  132. Michael Fisher, Wiebe van der Hoek
    Logics in AI: post-proceedings JELIA06 (Editorial). [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2007, v:50, n:3-4, pp:227-229 [Journal]
  133. Clare Dixon, M. Carmen Fernández Gago, Michael Fisher, Wiebe van der Hoek
    Temporal Logics of Knowledge and their Applications in Security. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:186, n:, pp:27-42 [Journal]

  134. Normative system games. [Citation Graph (, )][DBLP]


  135. Reasoning about judgment and preference aggregation. [Citation Graph (, )][DBLP]


  136. Robust normative systems. [Citation Graph (, )][DBLP]


  137. Cooperative Boolean games. [Citation Graph (, )][DBLP]


  138. Quantifying over coalitions in epistemic logic. [Citation Graph (, )][DBLP]


  139. Agent programming with temporally extended goals. [Citation Graph (, )][DBLP]


  140. Power in normative systems. [Citation Graph (, )][DBLP]


  141. A logic of games and propositional control. [Citation Graph (, )][DBLP]


  142. Knowing More - From Global to Local Correspondence. [Citation Graph (, )][DBLP]


  143. GOAL Agents Instantiate Intention Logic. [Citation Graph (, )][DBLP]


  144. Concurrently Decomposable Constraint Systems. [Citation Graph (, )][DBLP]


  145. Alternating-time temporal logic with explicit strategies. [Citation Graph (, )][DBLP]


  146. A logic of propositional control for truthful implementations. [Citation Graph (, )][DBLP]


  147. Model Checking Strategic Equilibria. [Citation Graph (, )][DBLP]


  148. Reasoning about coalitional games. [Citation Graph (, )][DBLP]


  149. Completeness and Complexity of Multi-modal CTL. [Citation Graph (, )][DBLP]


Search in 0.010secs, Finished in 0.018secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002