dblp.uni-trier.dewww.uni-trier.de

Wiebe van der Hoek Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
158EELars Braubach, Wiebe van der Hoek, Paolo Petta, Alexander Pokahr: Multiagent System Technologies, 7th German Conference, MATES 2009, Hamburg, Germany, September 9-11, 2009. Proceedings Springer 2009
157EEKoen V. Hindriks, Wiebe van der Hoek, M. Birna van Riemsdijk: Agent programming with temporally extended goals. AAMAS (1) 2009: 137-144
156EEThomas Ågotnes, Wiebe van der Hoek, Moshe Tennenholtz, Michael Wooldridge: Power in normative systems. AAMAS (1) 2009: 145-152
155EENicolas Troquard, Wiebe van der Hoek, Michael Wooldridge: A logic of games and propositional control. AAMAS (2) 2009: 961-968
154EEHans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi: Knowing More - From Global to Local Correspondence. IJCAI 2009: 955-960
153EECees Witteveen, Wiebe van der Hoek, Nico Roos: Concurrently Decomposable Constraint Systems. MATES 2009: 153-164
152EENicolas Troquard, Wiebe van der Hoek, Michael Wooldridge: A logic of propositional control for truthful implementations. TARK 2009: 237-246
151EEThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Reasoning about coalitional games. Artif. Intell. 173(1): 45-79 (2009)
150EEThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Completeness and Complexity of Multi-modal CTL. Electr. Notes Theor. Comput. Sci. 231: 259-275 (2009)
149EEThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Logics for Qualitative Coalitional Games. Logic Journal of the IGPL 17(3): 299-321 (2009)
2008
148EEPaul E. Dunne, Wiebe van der Hoek, Sarit Kraus, Michael Wooldridge: Cooperative Boolean games. AAMAS (2) 2008: 1015-1022
147EEThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Quantifying over coalitions in epistemic logic. AAMAS (2) 2008: 665-672
146EEThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Robust normative systems. AAMAS (2) 2008: 747-754
145EEKoen iV. indriks, Wiebe van der Hoek: GOAL Agents Instantiate Intention Logic. JELIA 2008: 232-244
144EENicolas Troquard, Wiebe van der Hoek, Michael Wooldridge: Model Checking Strategic Equilibria. MoChArt 2008: 166-188
143EENivea de Carvalho Ferreira, Michael Fisher, Wiebe van der Hoek: Specifying and reasoning about uncertain agents. Int. J. Approx. Reasoning 49(1): 35-51 (2008)
142EEThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Quantified coalition logic. Synthese 165(2): 269-294 (2008)
2007
141 Jan van Leeuwen, Giuseppe F. Italiano, Wiebe van der Hoek, Christoph Meinel, Harald Sack, Frantisek Plasil, Mária Bieliková: SOFSEM 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings Volume II Institute of Computer Science AS CR, Prague 2007
140 Jan van Leeuwen, Giuseppe F. Italiano, Wiebe van der Hoek, Christoph Meinel, Harald Sack, Frantisek Plasil: SOFSEM 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings Springer 2007
139 Michael Wooldridge, Thomas Ågotnes, Paul E. Dunne, Wiebe van der Hoek: Logic for Automated Mechanism Design - A Progress Report. AAAI 2007: 9-
138EEThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Normative system games. AAMAS 2007: 129
137EEThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Reasoning about judgment and preference aggregation. AAMAS 2007: 85
136EEHans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi: Dynamic Epistemic Logic and Knowledge Puzzles. ICCS 2007: 45-58
135EEThomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael Wooldridge: On the Logic of Normative Systems. IJCAI 2007: 1175-1180
134EEThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Quantified Coalition Logic. IJCAI 2007: 1181-1186
133EEThomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael Wooldridge: On the Logic of Normative Systems. Normative Multi-agent Systems 2007
132EEDirk Walther, Wiebe van der Hoek, Michael Wooldridge: Alternating-time temporal logic with explicit strategies. TARK 2007: 269-278
131EEMichael Fisher, Wiebe van der Hoek: Logics in AI: post-proceedings JELIA06 (Editorial). Ann. Math. Artif. Intell. 50(3-4): 227-229 (2007)
130EEClare Dixon, M. Carmen Fernández Gago, Michael Fisher, Wiebe van der Hoek: Temporal Logics of Knowledge and their Applications in Security. Electr. Notes Theor. Comput. Sci. 186: 27-42 (2007)
129EEFrank S. de Boer, Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer: A verification framework for agent programming with declarative goals. J. Applied Logic 5(2): 277-302 (2007)
128EEWiebe van der Hoek, Wojciech Jamroga, Michael Wooldridge: Towards a theory of intention revision. Synthese 155(2): 265-290 (2007)
127EEWiebe van der Hoek, Mark Roberts, Michael Wooldridge: Social laws in alternating time: effectiveness, feasibility, and synthesis. Synthese 156(1): 1-19 (2007)
2006
126 Michael Fisher, Wiebe van der Hoek, Boris Konev, Alexei Lisitsa: Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings Springer 2006
125EEThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: On the logic of coalitional games. AAMAS 2006: 153-160
124EEThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Temporal qualitative coalitional games. AAMAS 2006: 177-184
123EELuigi Sauro, Jelle Gerbrandy, Wiebe van der Hoek, Michael Wooldridge: Reasoning about action and cooperation. AAMAS 2006: 185-192
122EEWiebe van der Hoek, Alessio Lomuscio, Michael Wooldridge: On the complexity of practical ATL model checking. AAMAS 2006: 201-208
121EEChiara Ghidini, Paolo Giorgini, Wiebe van der Hoek: Preface. Autonomous Agents and Multi-Agent Systems 12(2): 159-161 (2006)
120EEHans P. van Ditmarsch, Wiebe van der Hoek, Ron van der Meyden, Ji Ruan: Model Checking Russian Cards. Electr. Notes Theor. Comput. Sci. 149(2): 105-123 (2006)
119EEWiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael Wooldridge: Preface. Electr. Notes Theor. Comput. Sci. 157(4): 1-2 (2006)
118EESieuwert van Otterloo, Wiebe van der Hoek, Michael Wooldridge: Knowledge Condition Games. Journal of Logic, Language and Information 15(4): 425-452 (2006)
2005
117EEHans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi: Dynamic epistemic logic with assignment. AAMAS 2005: 141-148
116EEWiebe van der Hoek, Wojciech Jamroga, Michael Wooldridge: A logic for strategic reasoning. AAMAS 2005: 157-164
115EEWiebe van der Hoek, Mark Roberts, Michael Wooldridge: Knowledge and social laws. AAMAS 2005: 674-681
114EEWiebe van der Hoek, Michael Wooldridge: On the dynamics of delegation, cooperation, and control: a logical account. AAMAS 2005: 701-708
113EEWojciech Jamroga, Wiebe van der Hoek, Michael Wooldridge: Intentions and Strategies in Game-Like Scenarios. EPIA 2005: 512-523
112EENivea de Carvalho Ferreira, Michael Fisher, Wiebe van der Hoek: Logical Implementation of Uncertain Agents. EPIA 2005: 536-547
111EEFrank 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. Appl. Algebra Eng. Commun. Comput. 16(2-3): 113-150 (2005)
110EEWiebe van der Hoek, Michael Wooldridge: On the logic of cooperation and propositional control. Artif. Intell. 164(1-2): 81-119 (2005)
109EEWiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael Wooldridge: Preface. Electr. Notes Theor. Comput. Sci. 126: 1-2 (2005)
108EEMichael Wooldridge, Wiebe van der Hoek: On obligations and normative ability: Towards a logical analysis of the social contract. J. Applied Logic 3(3-4): 396-420 (2005)
2004
107EESieuwert van Otterloo, Wiebe van der Hoek, Michael Wooldridge: Preferences in Game Logics. AAMAS 2004: 152-159
106EEWiebe van der Hoek: Knowledge, Rationality and Action. AAMAS 2004: 16-23
105EEHans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi: Public Announcements and Belief Expansion. Advances in Modal Logic 2004: 335-346
104EEWojciech Jamroga, Wiebe van der Hoek, Michael Wooldridge: On Obligations and Abilities. DEON 2004: 165-181
103EEPaul E. Dunne, Wiebe van der Hoek: Representation and Complexity in Boolean Games. JELIA 2004: 347-359
102EENivea de Carvalho Ferreira, Michael Fisher, Wiebe van der Hoek: Practical Reasoning for Uncertain Agents. JELIA 2004: 82-94
101EEClare 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
100EEHuib Aldewereld, Wiebe van der Hoek, John-Jules Ch. Meyer: Rational Teams: Logical Aspects of Multi-Agent Systems. Fundam. Inform. 63(2-3): 159-183 (2004)
99EEWojciech Jamroga, Wiebe van der Hoek: Agents that Know How to Play. Fundam. Inform. 63(2-3): 185-219 (2004)
2003
98EEWiebe van der Hoek, Alessio Lomuscio: Ignore at your peril - towards a logic for ignorance. AAMAS 2003: 1148-1149
97EEHans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi: Concurrent dynamic epistemic logic for MAS. AAMAS 2003: 201-208
96EEBirna van Riemsdijk, Wiebe van der Hoek, John-Jules Ch. Meyer: Agent programming in dribble: from beliefs to goals using plans. AAMAS 2003: 393-400
95EERogier 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
94EEWiebe van der Hoek, Alessio Lomuscio: A logic for ignorance. DALT 2003: 97-108
93 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)
92EEPaul 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)
91EEWiebe 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)
90EEWiebe van der Hoek, Michael Wooldridge: Editorial. Logic Journal of the IGPL 11(2): (2003)
89EEWiebe van der Hoek, Michael Wooldridge: Towards a Logic of Rational Agency. Logic Journal of the IGPL 11(2): 135-159 (2003)
88EEJan-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)
87EEWiebe van der Hoek, Michael Wooldridge: Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications. Studia Logica 75(1): 125-157 (2003)
86EEWiebe van der Hoek, Michael Wooldridge: Preface. Studia Logica 75(1): 3-5 (2003)
85 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)
2002
84EEWiebe van der Hoek, Michael Wooldridge: Tractable multiagent planning for epistemic goals. AAMAS 2002: 1167-1174
83EEJan-Willem Roorda, Wiebe van der Hoek, John-Jules Ch. Meyer: Iterated belief change in multi-agent systems. AAMAS 2002: 889-896
82EEMichael Wooldridge, Wiebe van der Hoek: Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications. COORDINATION 2002: 4
81 Paul Harrenstein, Wiebe van der Hoek, John-Jules Ch. Meyer, Cees Witteveen: On Modal Logic Interpretations of Games. ECAI 2002: 28-32
80EEBirna van Riemsdijk, Wiebe van der Hoek, John-Jules Ch. Meyer: Agent Programming in Dribble: From Beliefs to Goals with Plans. FAABS 2002: 294-295
79EEWiebe van der Hoek, Michael Wooldridge: Model Checking Knowledge and Time. SPIN 2002: 95-111
78EEFrank S. de Boer, Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer: Agent Programming with Declarative Goals CoRR cs.AI/0207008: (2002)
77 Wiebe van der Hoek, Cees Witteveen: Note by the Guest Editors. Studia Logica 70(1): 3-4 (2002)
76 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)
2001
75EENesria Agray, Wiebe van der Hoek, Erik P. de Vink: On BAN Logics for Industrial Security Protocols. CEEMAS 2001: 29-36
74EEWieke 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
73EEWiebe van der Hoek: Logical Foundations of Agent-Based Computing. EASSS 2001: 50-73
72EEWieke 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
71EEUllrich 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
70 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)
69EERogier 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)
68EEJohn-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)
67EEGiovanni Adorni, Wiebe van der Hoek: Scanning the issue. Robotics and Autonomous Systems 36(2-3): 57-58 (2001)
66EEFrans 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. Robotics and Autonomous Systems 36(2-3): 59-66 (2001)
2000
65EEKoen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer: Agent Programming with Declarative Goals. ATAL 2000: 228-243
64EERogier 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
63EEFrank 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
62 Wiebe van der Hoek, Cees Witteveen: Classical, General Frameworks for Recovery. ECAI 2000: 33-37
61EEUllrich 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
60EEKoen 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
59 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
58 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
57EEWiebe van der Hoek, Jan Jaspars, Elias Thijsse: A General Approach to Multi-agent Minimal Knowledge. JELIA 2000: 254-268
56EERogier 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
55 Wiebe van der Hoek: Nonmonotonic Reasoning, Grigoris Antoniou. Journal of Logic, Language and Information 9(1): 125-128 (2000)
54 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)
1999
53 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
52 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
51 Wiebe van der Hoek, Jan Jaspars, Elias Thijsse: Persistence and minimality in epistemic logic. Ann. Math. Artif. Intell. 27(1-4): 25-47 (1999)
50EEJohn-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)
49 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)
1998
48EERogier 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
47 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
46 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
45EEKoen 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
44 Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer: Systems of Communicating Agents. ECAI 1998: 293-297
43 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
42EEWiebe van der Hoek, Jan Jaspars, Elias Thijsse: Persistence and Minimality in Epistemic Logic. JELIA 1998: 62-76
41EECees Witteveen, Wiebe van der Hoek: Recovery of (Non)Monotonic Theories. Artif. Intell. 106(1): 139-159 (1998)
40EERogier 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)
39 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)
38 Wiebe van der Hoek: Logic for Applications, Anil Nerode and Richard A. Shore. Journal of Logic, Language and Information 7(2): 228-229 (1998)
37 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)
1997
36 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
35 Cees Witteveen, Wiebe van der Hoek: A General Framework for Revising Non-Monotonic Theories. LPNMR 1997: 258-273
34EEBernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer: The Dynamics of Default Reasoning. Data Knowl. Eng. 21(3): 317-346 (1997)
33 Wiebe van der Hoek: Some Considerations on the Logic PFD~. Journal of Applied Non-Classical Logics 7(3): (1997)
32 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)
1996
31EECees Witteveen, Wiebe van der Hoek: Some postulates for Nonmonotonic Theory Revision Applied to Logic Programming. ELP 1996: 303-318
30 Cees Witteveen, Wiebe van der Hoek: Updating Nonmonotonic Databases. ISTCS 1996: 147-153
29EECees Witteveen, Wiebe van der Hoek: Revising and Updating Using a Back-Up Semantics. JELIA 1996: 388-403
28 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)
27 Wiebe van der Hoek, Jan Jaspars, Elias Thijsse: Honesty in partial logic. Studia Logica 56(3): 323-360 (1996)
1995
26 Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer: Seeing is Believing. AI*IA 1995: 402-413
25 Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer: Formalising Motivational Attitudes of Agents. ATAL 1995: 17-32
24 Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer: The Dynamics of Default Reasoning (Extended Abstract). ECSQARU 1995: 277-284
23 Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer: Actions That Make You Change Your Mind (Extended Abstract). KI 1995: 185-196
22 Cees Witteveen, Wiebe van der Hoek: Revision by Communication. LPNMR 1995: 189-202
21 John-Jules Ch. Meyer, Wiebe van der Hoek: A Default Logic Based on Epistemic States. Fundam. Inform. 23(1): 33-65 (1995)
20 Wiebe van der Hoek, Maarten de Rijke: Counting Objects. J. Log. Comput. 5(3): 325-345 (1995)
1994
19 Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer: Tests as Epistemic Updates. ECAI 1994: 331-335
18 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
17EECees Witteveen, Wiebe van der Hoek, Hans de Nivelle: Revision of Non-Monotonic Theories. JELIA 1994: 137-151
16 Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer: Communicating Rational Agents. KI 1994: 202-213
15 Wiebe van der Hoek, Jan Jaspars, Elias Thijsse: Honesty in Partial Logic. KR 1994: 583-594
14 Wiebe van der Hoek, Bernd van Linder, John-Jules Ch. Meyer: A Logic of Capabilities. LFCS 1994: 366-378
13 Wiebe van der Hoek, John-Jules Ch. Meyer, Jan Treur: Formal Semantics of Temporal Epistemic Reflection. META 1994: 332-352
1993
12 John-Jules Ch. Meyer, Wiebe van der Hoek: A Default Logic Based on Epistemic States. ECSQARU 1993: 265-273
11 Cees Witteveen, Wiebe van der Hoek: Belief Revision by Expansion. ECSQARU 1993: 380-387
10 John-Jules Ch. Meyer, Wiebe van der Hoek: Counterfactual Reasoning by (means of) Defaults. Ann. Math. Artif. Intell. 9(3-4): 345-360 (1993)
9 Wiebe van der Hoek: Sytems for Knowledge and Belief. J. Log. Comput. 3(2): 173-195 (1993)
1992
8 Wiebe van der Hoek, John-Jules Ch. Meyer: Graded Modalities in Epistemic Logic. LFCS 1992: 503-514
7EEWiebe van der Hoek, M. van Hulst, John-Jules Ch. Meyer: Towards an Epistemic Approach to Reasoning about Concurrent Programs. REX Workshop 1992: 261-287
6 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)
5 Wiebe van der Hoek: On the Semantics of Graded Modalities. Journal of Applied Non-Classical Logics 2(1): (1992)
1991
4EEWiebe van der Hoek: Some Considerations on the Logic PfD. RCLP 1991: 474-485
3 Wiebe van der Hoek: Qualitative Modalities. SCAI 1991: 322-327
1990
2EEWiebe van der Hoek: Systems for Knowledge and Beliefs. JELIA 1990: 267-281
1EEJohn-Jules Ch. Meyer, Wiebe van der Hoek: Non-Monotonic Reasoning by Monotonic Means. JELIA 1990: 399-411

Coauthor Index

1Giovanni Adorni [67]
2Thomas Ågotnes [124] [125] [133] [134] [135] [137] [138] [139] [142] [146] [147] [149] [150] [151] [156]
3Nesria Agray [75]
4Huib Aldewereld [100]
5Mária Bieliková [141]
6Frank S. de Boer [36] [40] [43] [44] [45] [46] [47] [48] [49] [52] [53] [56] [58] [59] [60] [63] [64] [65] [68] [69] [70] [72] [74] [78] [85] [93] [95] [111] [129]
7Lars Braubach [158]
8Hans P. van Ditmarsch [97] [105] [117] [120] [136] [154]
9Clare Dixon [61] [71] [101] [130]
10Paul E. Dunne (Paul E. S. Dunne) [103] [139] [148]
11Rogier M. van Eijk [40] [43] [44] [47] [48] [52] [53] [56] [58] [63] [64] [68] [69] [70] [85] [93] [95] [111]
12Nivea de Carvalho Ferreira [102] [112] [143]
13Michael Fisher [61] [71] [101] [102] [112] [126] [130] [131] [143]
14M. Carmen Fernández Gago [101] [130]
15Jelle Gerbrandy [123]
16Chiara Ghidini [121]
17Paolo Giorgini [121]
18Lluis Godo [18]
19Frans C. A. Groen [66]
20Paul Harrenstein [81] [92]
21Koen V. Hindriks [36] [45] [46] [49] [59] [60] [65] [68] [74] [78] [129] [157]
22M. van Hulst [7]
23Ullrich Hustadt [61] [71]
24Giuseppe F. Italiano [140] [141]
25Wojciech Jamroga [99] [104] [113] [116] [128]
26Jan Jaspars [15] [27] [42] [51] [57]
27Pieter P. Jonker (Pieter Jonker) [66]
28Boris Konev [126]
29Barteld P. Kooi [97] [105] [117] [136] [154]
30Sarit Kraus [148]
31Ben J. A. Kröse [66]
32Jan van Leeuwen [140] [141]
33Bernd van Linder [14] [16] [19] [23] [24] [25] [26] [32] [34] [39] [50] [54]
34Alexei Lisitsa [126]
35Alessio Lomuscio [94] [98] [109] [119] [122]
36Christoph Meinel [140] [141]
37Ron van der Meyden [120]
38John-Jules Ch. Meyer [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] [68] [69] [70] [71] [72] [74] [78] [80] [81] [83] [85] [88] [91] [92] [93] [95] [96] [100] [111] [129]
39Hans de Nivelle [17]
40Sieuwert van Otterloo [107] [118]
41Paolo Petta [158]
42Frantisek Plasil [140] [141]
43Alexander Pokahr [158]
44M. Birna van Riemsdijk (Birna van Riemsdijk) [80] [96] [157]
45Maarten de Rijke [20]
46Mark Roberts [115] [127]
47Juan A. Rodríguez-Aguilar [133] [135]
48Jan-Willem Roorda [83] [88]
49Nico Roos [153]
50Ji Ruan [120]
51Harald Sack [140] [141]
52Luigi Sauro [123]
53Renate A. Schmidt [61] [71]
54Carles Sierra [18] [133] [135]
55Hans J. W. Spoelder [66]
56Stefano Stramigioli [66]
57Moshe Tennenholtz [156]
58Elias Thijsse [15] [27] [42] [51] [57] [76]
59Jan Treur [13] [37] [91]
60Nicolas Troquard [144] [152] [155]
61Erik P. de Vink [75] [109] [119]
62Wieke de Vries [72] [74] [111]
63Dirk Walther [132]
64Cees Witteveen [11] [17] [22] [29] [30] [31] [35] [41] [62] [77] [81] [92] [153]
65Michael Wooldridge (Michael J. Wooldridge) [79] [82] [84] [86] [87] [89] [90] [104] [107] [108] [109] [110] [113] [114] [115] [116] [118] [119] [122] [123] [124] [125] [127] [128] [132] [133] [134] [135] [137] [138] [139] [142] [144] [146] [147] [148] [149] [150] [151] [152] [155] [156]
66Koen iV. indriks [145]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)