| |
      |
                                          |
Note: Links lead to the DBLP on the Web. Wiebe van der Hoek Wiebe van der Hoek, Michael Wooldridge : On the logic of cooperation and propositional control. Artif. Intell. 164 (1-2): 81-119 (2005) Wiebe van der Hoek, Alessio Lomuscio , Erik P. de Vink , Mike Wooldridge : Preface. Electr. Notes Theor. Comput. Sci. 126 : 1-2 (2005) Sieuwert van Otterloo , Wiebe van der Hoek, Michael Wooldridge : Preferences in Game Logics. AAMAS 2004 : 152-159 Wiebe van der Hoek: Knowledge, Rationality and Action. AAMAS 2004 : 16-23 Wojciech Jamroga , Wiebe van der Hoek, Michael Wooldridge : On Obligations and Abilities. DEON 2004 : 165-181 Paul E. Dunne , Wiebe van der Hoek: Representation and Complexity in Boolean Games. JELIA 2004 : 347-359 Nivea de C. Ferreira , Michael Fisher , Wiebe van der Hoek: Practical Reasoning for Uncertain Agents. JELIA 2004 : 82-94 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. TIME 2004 : 148-151 Wiebe van der Hoek, Alessio Lomuscio : Ignore at your peril - towards a logic for ignorance. AAMAS 2003 : 1148-1149 Hans P. van Ditmarsch , Wiebe van der Hoek, Barteld P. Kooi : Concurrent dynamic epistemic logic for MAS. AAMAS 2003 : 201-208 Birna van Riemsdijk , Wiebe van der Hoek, John-Jules Ch. Meyer : Agent programming in dribble: from beliefs to goals using plans. AAMAS 2003 : 393-400 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. Communication in Multiagent Systems 2003 : 113-128 Wiebe van der Hoek, Alessio Lomuscio : A logic for ignorance. DALT 2003 : 97-108 Rogier M. van Eijk , Frank S. de Boer , Wiebe van der Hoek, John-Jules Ch. Meyer : A Verification Framework for Agent Communication. Autonomous Agents and Multi-Agent Systems 6 (2): 185-219 (2003) Paul Harrenstein , Wiebe van der Hoek, John-Jules Ch. Meyer , Cees Witteveen : A Modal Characterization of Nash Equilibrium. Fundam. Inform. 57 (2-4): 281-321 (2003) Wiebe van der Hoek, John-Jules Ch. Meyer , Jan Treur : Formal semantics of meta-level architectures: Temporal epistemic reflection. Int. J. Intell. Syst. 18 (12): 1293-1317 (2003) Wiebe van der Hoek, Michael Wooldridge : Editorial. Logic Journal of the IGPL 11 (2): (2003) Wiebe van der Hoek, Michael Wooldridge : Towards a Logic of Rational Agency. Logic Journal of the IGPL 11 (2): 135-159 (2003) Jan-Willem Roorda , Wiebe van der Hoek, John-Jules Ch. Meyer : Iterated Belief Change in Multi-Agent Systems. Logic Journal of the IGPL 11 (2): 223-246 (2003) Wiebe van der Hoek, Michael Wooldridge : Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications. Studia Logica 75 (1): 125-157 (2003) Wiebe van der Hoek, Michael Wooldridge : Preface. Studia Logica 75 (1): 3-5 (2003) 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. Theor. Comput. Sci. 290 (3): 1753-1773 (2003) Wiebe van der Hoek, Michael Wooldridge : Tractable multiagent planning for epistemic goals. AAMAS 2002 : 1167-1174 Jan-Willem Roorda , Wiebe van der Hoek, John-Jules Ch. Meyer : Iterated belief change in multi-agent systems. AAMAS 2002 : 889-896 Michael Wooldridge , Wiebe van der Hoek: Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications. COORDINATION 2002 : 4 Paul Harrenstein , Wiebe van der Hoek, John-Jules Ch. Meyer , Cees Witteveen : On Modal Logic Interpretations of Games. ECAI 2002 : 28-32 Birna van Riemsdijk , Wiebe van der Hoek, John-Jules Ch. Meyer : Agent Programming in Dribble: From Beliefs to Goals with Plans. FAABS 2002 : 294-295 Wiebe van der Hoek, Michael Wooldridge : Model Checking Knowledge and Time. SPIN 2002 : 95-111 Frank S. de Boer , Koen V. Hindriks , Wiebe van der Hoek, John-Jules Ch. Meyer : Agent Programming with Declarative Goals CoRR cs.AI/0207008 : (2002) Wiebe van der Hoek, Cees Witteveen : Note by the Guest Editors. Studia Logica 70 (1): 3-4 (2002) Wiebe van der Hoek, Elias Thijsse : A General Approach to Multi-Agent Minimal Knowledge: With Tools and Samples. Studia Logica 72 (1): 61-84 (2002) Nesria Agray , Wiebe van der Hoek, Erik P. de Vink : On BAN Logics for Industrial Security Protocols. CEEMAS 2001 : 29-36 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. CEEMAS 2001 : 313-321 Wiebe van der Hoek: Logical Foundations of Agent-Based Computing. EASSS 2001 : 50-73 Wieke de Vries , Frank S. de Boer , Wiebe van der Hoek, John-Jules Ch. Meyer : A Truly Concurrent Model for Interacting Agents. PRIMA 2001 : 16-30 Ullrich Hustadt , Clare Dixon , Renate A. Schmidt , Michael Fisher , John-Jules Ch. Meyer , Wiebe van der Hoek: Reasoning about agents in the KARO framework. TIME 2001 : 206-213 Rogier M. van Eijk , Frank S. de Boer , Wiebe van der Hoek, John-Jules Ch. Meyer : On dynamically generated ontology translators in agent communication. Int. J. Intell. Syst. 16 (5): 587-607 (2001) Rogier M. van Eijk , Frank S. de Boer , Wiebe van der Hoek, John-Jules Ch. Meyer : Modal Logic with Bounded Quantification over Worlds. J. Log. Comput. 11 (5): 701-715 (2001) John-Jules Ch. Meyer , Frank S. de Boer , Rogier M. van Eijk , Koen V. Hindriks , Wiebe van der Hoek: On Programming KARO Agents. Logic Journal of the IGPL 9 (2): (2001) Koen V. Hindriks , Frank S. de Boer , Wiebe van der Hoek, John-Jules Ch. Meyer : Agent Programming with Declarative Goals. ATAL 2000 : 228-243 Rogier M. van Eijk , Frank S. de Boer , Wiebe van der Hoek, John-Jules Ch. Meyer : Generalised Object-Oriented Concepts for Inter-agent Communication. ATAL 2000 : 260-274 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. CONCUR 2000 : 214-228 Wiebe van der Hoek, Cees Witteveen : Classical, General Frameworks for Recovery. ECAI 2000 : 33-37 Ullrich Hustadt , Clare Dixon , Renate A. Schmidt , Michael Fisher , John-Jules Ch. Meyer , Wiebe van der Hoek: Verification within the KARO Agent Theory. FAABS 2000 : 33-47 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. FAABS 2000 : 78-89 Koen V. Hindriks , Frank S. de Boer , Wiebe van der Hoek, John-Jules Ch. Meyer : Semantics of Communicating Agents Based on Deduction and Abduction. Issues in Agent Communication 2000 : 63-79 Rogier M. van Eijk , Frank S. de Boer , Wiebe van der Hoek, John-Jules Ch. Meyer : Operational Semantics for Agent Communication Languages. Issues in Agent Communication 2000 : 80-95 Wiebe van der Hoek, Jan Jaspars , Elias Thijsse : A General Approach to Multi-agent Minimal Knowledge. JELIA 2000 : 254-268 Rogier M. van Eijk , Frank S. de Boer , Wiebe van der Hoek, John-Jules Ch. Meyer : A Modal Logic for Network Topologies. JELIA 2000 : 269-283 Wiebe van der Hoek: Nonmonotonic Reasoning, Grigoris Antoniou. Journal of Logic, Language and Information 9 (1): 125-128 (2000) Wiebe van der Hoek, Bernd van Linder , John-Jules Ch. Meyer : On Agents That Have the Ability to Choose. Studia Logica 66 (1): 79-119 (2000) Rogier M. van Eijk , Frank S. de Boer , Wiebe van der Hoek, John-Jules Ch. Meyer : Open Multi-agent Systems: Agent Communication and Integration. ATAL 1999 : 218-232 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. ECOOP Workshops 1999 : 265 Wiebe van der Hoek, Jan Jaspars , Elias Thijsse : Persistence and minimality in epistemic logic. Ann. Math. Artif. Intell. 27 (1-4): 25-47 (1999) John-Jules Ch. Meyer , Wiebe van der Hoek, Bernd van Linder : A Logical Approach to the Dynamics of Commitments. Artif. Intell. 113 (1-2): 1-40 (1999) Koen V. Hindriks , Frank S. de Boer , Wiebe van der Hoek, John-Jules Ch. Meyer : Agent Programming in 3APL. Autonomous Agents and Multi-Agent Systems 2 (4): 357-401 (1999) 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. AIMSA 1998 : 240-253 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. ATAL 1998 : 29-45 Koen V. Hindriks , Frank S. de Boer , Wiebe van der Hoek, John-Jules Ch. Meyer : Control Structures of Rule-Based Agent Languages. ATAL 1998 : 381-396 Koen V. Hindriks , Frank S. de Boer , Wiebe van der Hoek, John-Jules Ch. Meyer : A Formal Embedding of AgentSpeak(L) in 3APL. Australian Joint Conference on Artificial Intelligence 1998 : 155-166 Rogier M. van Eijk , Frank S. de Boer , Wiebe van der Hoek, John-Jules Ch. Meyer : Systems of Communicating Agents. ECAI 1998 : 293-297 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. ICMAS 1998 : 473-474 Wiebe van der Hoek, Jan Jaspars , Elias Thijsse : Persistence and Minimality in Epistemic Logic. JELIA 1998 : 62-76 Cees Witteveen , Wiebe van der Hoek: Recovery of (Non)Monotonic Theories. Artif. Intell. 106 (1): 139-159 (1998) Rogier M. van Eijk , Frank S. de Boer , Wiebe van der Hoek, John-Jules Ch. Meyer : Translations of Vocabularies in Systems of Communicating Agents. Electr. Notes Theor. Comput. Sci. 16 (1): (1998) Bernd van Linder , Wiebe van der Hoek, John-Jules Ch. Meyer : Formalising Abilities and Opportunities of Agents. Fundam. Inform. 34 (1-2): 53-101 (1998) Wiebe van der Hoek: Logic for Applications, Anil Nerode and Richard A. Shore. Journal of Logic, Language and Information 7 (2): 228-229 (1998) Wiebe van der Hoek, John-Jules Ch. Meyer , Jan Treur : Temporalizing Epistemic Default Logic. Journal of Logic, Language and Information 7 (3): 341-367 (1998) Koen V. Hindriks , Frank S. de Boer , Wiebe van der Hoek, John-Jules Ch. Meyer : Formal Semantics for an Abstract Agent Programming Language. ATAL 1997 : 215-229 Cees Witteveen , Wiebe van der Hoek: A General Framework for Revising Non-Monotonic Theories. LPNMR 1997 : 258-273 Bernd van Linder , Wiebe van der Hoek, John-Jules Ch. Meyer : The Dynamics of Default Reasoning. Data Knowl. Eng. 21 (3): 317-346 (1997) Wiebe van der Hoek: Some Considerations on the Logic PFD~. Journal of Applied Non-Classical Logics 7 (3): (1997) Bernd van Linder , Wiebe van der Hoek, John-Jules Ch. Meyer : Seeing Is Believing. Journal of Logic, Language and Information 6 (1): 33-61 (1997) Cees Witteveen , Wiebe van der Hoek: Some postulates for Nonmonotonic Theory Revision Applied to Logic Programming. ELP 1996 : 303-318 Cees Witteveen , Wiebe van der Hoek: Updating Nonmonotonic Databases. ISTCS 1996 : 147-153 Cees Witteveen , Wiebe van der Hoek: Revising and Updating Using a Back-Up Semantics. JELIA 1996 : 388-403 John-Jules Ch. Meyer , Wiebe van der Hoek: A Modal Contrastive Logic: The Logic of `but'. Ann. Math. Artif. Intell. 17 (3-4): 291-313 (1996) Wiebe van der Hoek, Jan Jaspars , Elias Thijsse : Honesty in partial logic. Studia Logica 56 (3): 323-360 (1996) Bernd van Linder , Wiebe van der Hoek, John-Jules Ch. Meyer : Seeing is Believing. AI*IA 1995 : 402-413 Bernd van Linder , Wiebe van der Hoek, John-Jules Ch. Meyer : Formalising Motivational Attitudes of Agents. ATAL 1995 : 17-32 Bernd van Linder , Wiebe van der Hoek, John-Jules Ch. Meyer : The Dynamics of Default Reasoning (Extended Abstract). ECSQARU 1995 : 277-284 Bernd van Linder , Wiebe van der Hoek, John-Jules Ch. Meyer : Actions That Make You Change Your Mind (Extended Abstract). KI 1995 : 185-196 Cees Witteveen , Wiebe van der Hoek: Revision by Communication. LPNMR 1995 : 189-202 John-Jules Ch. Meyer , Wiebe van der Hoek: A Default Logic Based on Epistemic States. Fundam. Inform. 23 (1): 33-65 (1995) Wiebe van der Hoek, Maarten de Rijke : Counting Objects. J. Log. Comput. 5 (3): 325-345 (1995) Bernd van Linder , Wiebe van der Hoek, John-Jules Ch. Meyer : Tests as Epistemic Updates. ECAI 1994 : 331-335 Lluis Godo , Wiebe van der Hoek, John-Jules Ch. Meyer , Carles Sierra : Many-Valued Epistemic States: An Application to a Reflexive Architecture: Milord-II. IPMU 1994 : 440-452 Cees Witteveen , Wiebe van der Hoek, Hans de Nivelle : Revision of Non-Monotonic Theories. JELIA 1994 : 137-151 Bernd van Linder , Wiebe van der Hoek, John-Jules Ch. Meyer : Communicating Rational Agents. KI 1994 : 202-213 Wiebe van der Hoek, Jan Jaspars , Elias Thijsse : Honesty in Partial Logic. KR 1994 : 583-594 Wiebe van der Hoek, Bernd van Linder , John-Jules Ch. Meyer : A Logic of Capabilities. LFCS 1994 : 366-378 Wiebe van der Hoek, John-Jules Ch. Meyer , Jan Treur : Formal Semantics of Temporal Epistemic Reflection. META 1994 : 332-352 John-Jules Ch. Meyer , Wiebe van der Hoek: A Default Logic Based on Epistemic States. ECSQARU 1993 : 265-273 Cees Witteveen , Wiebe van der Hoek: Belief Revision by Expansion. ECSQARU 1993 : 380-387 John-Jules Ch. Meyer , Wiebe van der Hoek: Counterfactual Reasoning by (means of) Defaults. Ann. Math. Artif. Intell. 9 (3-4): 345-360 (1993) Wiebe van der Hoek: Sytems for Knowledge and Belief. J. Log. Comput. 3 (2): 173-195 (1993) Wiebe van der Hoek, John-Jules Ch. Meyer : Graded Modalities in Epistemic Logic. LFCS 1992 : 503-514 Wiebe van der Hoek, M. van Hulst , John-Jules Ch. Meyer : Towards an Epistemic Approach to Reasoning about Concurrent Programs. REX Workshop 1992 : 261-287 Wiebe van der Hoek, John-Jules Ch. Meyer : Making Some Issues of Implicit Knowledge Explicit. Int. J. Found. Comput. Sci. 3 (2): 193-223 (1992) Wiebe van der Hoek: On the Semantics of Graded Modalities. Journal of Applied Non-Classical Logics 2 (1): (1992) Wiebe van der Hoek: Some Considerations on the Logic PfD. RCLP 1991 : 474-485 Wiebe van der Hoek: Qualitative Modalities. SCAI 1991 : 322-327 Wiebe van der Hoek: Systems for Knowledge and Beliefs. JELIA 1990 : 267-281 John-Jules Ch. Meyer , Wiebe van der Hoek: Non-Monotonic Reasoning by Monotonic Means. JELIA 1990 : 399-411 1 [ 73 ] 2 [ 36 ] [ 40 ] [ 43 ] [ 44 ] [ 45 ] [ 46 ] [ 47 ] [ 48 ] [ 49 ] [ 52 ] [ 53 ] [ 56 ] [ 58 ] [ 59 ] [ 60 ] [ 63 ] [ 64 ] [ 65 ] [ 66 ] [ 67 ] [ 68 ] [ 70 ] [ 72 ] [ 76 ] [ 83 ] [ 91 ] [ 93 ] 3 [ 95 ] 4 [ 61 ] [ 69 ] [ 97 ] 5 [ 99 ] 6 [ 40 ] [ 43 ] [ 44 ] [ 47 ] [ 48 ] [ 52 ] [ 53 ] [ 56 ] [ 58 ] [ 63 ] [ 64 ] [ 66 ] [ 67 ] [ 68 ] [ 83 ] [ 91 ] [ 93 ] 7 [ 98 ] 8 [ 61 ] [ 69 ] [ 97 ] [ 98 ] 9 [ 97 ] 10 [ 18 ] 11 [ 79 ] [ 90 ] 12 [ 36 ] [ 45 ] [ 46 ] [ 49 ] [ 59 ] [ 60 ] [ 65 ] [ 66 ] [ 72 ] [ 76 ] 13 [ 7 ] 14 [ 61 ] [ 69 ] 15 [ 100 ] 16 [ 15 ] [ 27 ] [ 42 ] [ 51 ] [ 57 ] 17 [ 95 ] 18 [ 14 ] [ 16 ] [ 19 ] [ 23 ] [ 24 ] [ 25 ] [ 26 ] [ 32 ] [ 34 ] [ 39 ] [ 50 ] [ 54 ] 19 [ 92 ] [ 96 ] [ 103 ] 20 [ 1 ] [ 6 ] [ 7 ] [ 8 ] [ 10 ] [ 12 ] [ 13 ] [ 14 ] [ 16 ] [ 18 ] [ 19 ] [ 21 ] [ 23 ] [ 24 ] [ 25 ] [ 26 ] [ 28 ] [ 32 ] [ 34 ] [ 36 ] [ 37 ] [ 39 ] [ 40 ] [ 43 ] [ 44 ] [ 45 ] [ 46 ] [ 47 ] [ 48 ] [ 49 ] [ 50 ] [ 52 ] [ 53 ] [ 54 ] [ 56 ] [ 58 ] [ 59 ] [ 60 ] [ 61 ] [ 63 ] [ 64 ] [ 65 ] [ 66 ] [ 67 ] [ 68 ] [ 69 ] [ 70 ] [ 72 ] [ 76 ] [ 78 ] [ 79 ] [ 81 ] [ 83 ] [ 86 ] [ 89 ] [ 90 ] [ 91 ] [ 93 ] [ 94 ] 21 [ 17 ] 22 [ 102 ] 23 [ 78 ] [ 94 ] 24 [ 20 ] 25 [ 81 ] [ 86 ] 26 [ 61 ] [ 69 ] 27 [ 18 ] 28 [ 15 ] [ 27 ] [ 42 ] [ 51 ] [ 57 ] [ 74 ] 29 [ 13 ] [ 37 ] [ 89 ] 30 [ 73 ] [ 103 ] 31 [ 70 ] [ 72 ] 32 [ 11 ] [ 17 ] [ 22 ] [ 29 ] [ 30 ] [ 31 ] [ 35 ] [ 41 ] [ 62 ] [ 75 ] [ 79 ] [ 90 ] 33 [ 77 ] [ 80 ] [ 82 ] [ 84 ] [ 85 ] [ 87 ] [ 88 ] [ 100 ] [ 102 ] [ 104 ] 34 [ 103 ]  ©2005 Association for Computing Machinery |
