| |
 |      |
                                            |
Note: Links lead to the DBLP on the Web. Wiebe van der Hoek 66 Wiebe van der Hoek, Michael Wooldridge : Tractable multiagent planning for epistemic goals. AAMAS 2002 : 1167-1174 65 Jan-Willem Roorda , Wiebe van der Hoek, John-Jules Ch. Meyer : Iterated belief change in multi-agent systems. AAMAS 2002 : 889-896 64 Michael Wooldridge , Wiebe van der Hoek: Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications. COORDINATION 2002 : 4 63 Wiebe van der Hoek, Michael Wooldridge : Model Checking Knowledge and Time. SPIN 2002 : 95-111 62 Nesria Agray , Wiebe van der Hoek, Erik P. de Vink : On BAN Logics for Industrial Security Protocols. CEEMAS 2001 : 29-36 61 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 60 Wiebe van der Hoek: Logical Foundations of Agent-Based Computing. EASSS 2001 : 50-73 59 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 58 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 57 Koen V. Hindriks , Frank S. de Boer , Wiebe van der Hoek, John-Jules Ch. Meyer : Agent Programming with Declarative Goals. ATAL 2000 : 228-243 56 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 55 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 54 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 53 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 52 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 51 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 50 Wiebe van der Hoek, Jan Jaspars , Elias Thijsse : A General Approach to Multi-agent Minimal Knowledge. JELIA 2000 : 254-268 49 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 48 Wiebe van der Hoek: Nonmonotonic Reasoning, Grigoris Antoniou. Journal of Logic, Language and Information 9 (1): 125-128 (2000) 47 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 46 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 45 Wiebe van der Hoek, Jan Jaspars , Elias Thijsse : Persistence and minimality in epistemic logic. Annals of Mathematics and Artificial Intelligence 27 (1-4): 25-47 (1999) 44 John-Jules Ch. Meyer , Wiebe van der Hoek, Bernd van Linder : A Logical Approach to the Dynamics of Commitments. Artificial Intelligence 113 (1-2): 1-40 (1999) 43 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) 42 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 41 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 40 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 39 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 38 Rogier M. van Eijk , Frank S. de Boer , Wiebe van der Hoek, John-Jules Ch. Meyer : Systems of Communicating Agents. ECAI 1998 : 293-297 37 Wiebe van der Hoek, Jan Jaspars , Elias Thijsse : Persistence and Minimality in Epistemic Logic. JELIA 1998 : 62-76 36 Cees Witteveen , Wiebe van der Hoek: Recovery of (Non)Monotonic Theories. Artificial Intelligence 106 (1): 139-159 (1998) 35 Bernd van Linder , Wiebe van der Hoek, John-Jules Ch. Meyer : Formalising Abilities and Opportunities of Agents. Fundamenta Informaticae 34 (1-2): 53-101 (1998) 34 Wiebe van der Hoek: Logic for Applications, Anil Nerode and Richard A. Shore. Journal of Logic, Language and Information 7 (2): 228-229 (1998) 33 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) 32 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 31 Cees Witteveen , Wiebe van der Hoek: A General Framework for Revising Non-Monotonic Theories. LPNMR 1997 : 258-273 30 Bernd van Linder , Wiebe van der Hoek, John-Jules Ch. Meyer : The Dynamics of Default Reasoning. DKE 21 (3): 317-346 (1997) 29 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) 28 Cees Witteveen , Wiebe van der Hoek: Some postulates for Nonmonotonic Theory Revision Applied to Logic Programming. ELP 1996 : 303-318 27 Cees Witteveen , Wiebe van der Hoek: Updating Nonmonotonic Databases. ISTCS 1996 : 147-153 26 Cees Witteveen , Wiebe van der Hoek: Revising and Updating Using a Back-Up Semantics. JELIA 1996 : 388-403 25 John-Jules Ch. Meyer , Wiebe van der Hoek: A Modal Contrastive Logic: The Logic of `but'. Annals of Mathematics and Artificial Intelligence 17 (3-4): 291-313 (1996) 24 Bernd van Linder , Wiebe van der Hoek, John-Jules Ch. Meyer : Seeing is Believing. AI*IA 1995 : 402-413 23 Bernd van Linder , Wiebe van der Hoek, John-Jules Ch. Meyer : Formalising Motivational Attitudes of Agents. ATAL 1995 : 17-32 22 Bernd van Linder , Wiebe van der Hoek, John-Jules Ch. Meyer : The Dynamics of Default Reasoning (Extended Abstract). ECSQARU 1995 : 277-284 21 Bernd van Linder , Wiebe van der Hoek, John-Jules Ch. Meyer : Actions That Make You Change Your Mind (Extended Abstract). KI 1995 : 185-196 20 Cees Witteveen , Wiebe van der Hoek: Revision by Communication. LPNMR 1995 : 189-202 19 John-Jules Ch. Meyer , Wiebe van der Hoek: A Default Logic Based on Epistemic States. Fundamenta Informaticae 23 (1): 33-65 (1995) 18 Wiebe van der Hoek, Maarten de Rijke : Counting Objects. Journal of Logic and Computation 5 (3): 325-345 (1995) 17 Bernd van Linder , Wiebe van der Hoek, John-Jules Ch. Meyer : Tests as Epistemic Updates. ECAI 1994 : 331-335 16 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 15 Cees Witteveen , Wiebe van der Hoek, Hans de Nivelle : Revision of Non-Monotonic Theories. JELIA 1994 : 137-151 14 Bernd van Linder , Wiebe van der Hoek, John-Jules Ch. Meyer : Communicating Rational Agents. KI 1994 : 202-213 13 Wiebe van der Hoek, Jan Jaspars , Elias Thijsse : Honesty in Partial Logic. KR 1994 : 583-594 12 Wiebe van der Hoek, Bernd van Linder , John-Jules Ch. Meyer : A Logic of Capabilities. LFCS 1994 : 366-378 11 Wiebe van der Hoek, John-Jules Ch. Meyer , Jan Treur : Formal Semantics of Temporal Epistemic Reflection. META 1994 : 332-352 10 John-Jules Ch. Meyer , Wiebe van der Hoek: A Default Logic Based on Epistemic States. ECSQARU 1993 : 265-273 9 Cees Witteveen , Wiebe van der Hoek: Belief Revision by Expansion. ECSQARU 1993 : 380-387 8 Wiebe van der Hoek: Sytems for Knowledge and Belief. Journal of Logic and Computation 3 (2): 173-195 (1993) 7 Wiebe van der Hoek, John-Jules Ch. Meyer : Graded Modalities in Epistemic Logic. LFCS 1992 : 503-514 6 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 5 Wiebe van der Hoek, John-Jules Ch. Meyer : Making Some Issues of Implicit Knowledge Explicit. International Journal of Foundations of Computer Science 3 (2): 193-223 (1992) 4 Wiebe van der Hoek: Some Considerations on the Logic PfD. RCLP 1991 : 474-485 3 Wiebe van der Hoek: Qualitative Modalities. SCAI 1991 : 322-327 2 Wiebe van der Hoek: Systems for Knowledge and Beliefs. JELIA 1990 : 267-281 1 John-Jules Ch. Meyer , Wiebe van der Hoek: Non-Monotonic Reasoning by Monotonic Means. JELIA 1990 : 399-411  DiSC'02 © 2003 Association for Computing Machinery |
