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

Wiebe van der Hoek Home Page Coauthor index pubzone.org

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

DBLP keys2012
187Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWiebe van der Hoek, Petar Iliev, Barteld P. Kooi: On the Relative Succinctness of Two Extensions by Definitions of Multimodal Logic. CiE 2012: 323-333
186Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKoen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer: GOAL Agents Instantiate Intention Logic. Logic Programs, Norms and Action 2012: 196-219
185Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi: Local properties in modal logic. Artif. Intell. 187: 133-155 (2012)
2011
184Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElisabetta Erriquez, Wiebe van der Hoek, Michael Wooldridge: An abstract framework for reasoning about trust. AAMAS 2011: 1085-1086
183Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWiebe van der Hoek, Cees Witteveen, Michael Wooldridge: Decomposing constraint systems: equivalences and computational properties. AAMAS 2011: 149-156
182Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi: Reasoning about local properties in modal logic. AAMAS 2011: 711-718
181Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWiebe van der Hoek, Nicolas Troquard, Michael Wooldridge: Knowledge and control. AAMAS 2011: 719-726
180Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Scientia potentia est. AAMAS 2011: 735-742
179Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans P. van Ditmarsch, David Fernández Duque, Wiebe van der Hoek: On the Definability of Simulability and Bisimilarity by Finite Epistemic Models. CLIMA 2011: 74-87
178Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWiebe van der Hoek: Control and Delegation. DALT 2011: 1-2
177Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTim French, Wiebe van der Hoek, Petar Iliev, Barteld P. Kooi: Succinctness of Epistemic Languages. IJCAI 2011: 881-886
176Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWiebe van der Hoek, Petar Iliev, Michael Wooldridge: Knowledge and Action in Semi-public Environments. LORI 2011: 97-110
175Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Wiebe van der Hoek, Anna Ingólfsdóttir, Joshua Sack: Sigma algebras in probabilistic epistemic dynamics. TARK 2011: 191-199
174Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: On the logic of preference and judgment aggregation. Autonomous Agents and Multi-Agent Systems 22(1): 4-30 (2011)
173Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicolas Troquard, Wiebe van der Hoek, Michael Wooldridge: Reasoning about Social Choice Functions CoRR abs/1102.3341: (2011)
172Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicolas Troquard, Wiebe van der Hoek, Michael Wooldridge: Reasoning About Social Choice Functions. J. Philosophical Logic 40(4): 473-498 (2011)
171Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiacomo Bonanno, Andreas Herzig, Jérôme Lang, Wiebe van der Hoek: Foreword. Journal of Applied Non-Classical Logics 21(3-4): 263-264 (2011)
2010
170no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWiebe van der Hoek, Gal A. Kaminka, Yves Lespérance, Michael Luck, Sandip Sen: 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3 IFAAMAS 2010
169Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiacomo Bonanno, Benedikt Löwe, Wiebe van der Hoek: Logic and the Foundations of Game and Decision Theory - LOFT 8, 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers Springer 2010
168Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWiebe van der Hoek: Reasoning about Normative Systems. JURIX 2010: 3
167Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWiebe van der Hoek, Dirk Walther, Michael Wooldridge: Reasoning About the Transfer of Control. J. Artif. Intell. Res. (JAIR) 37: 437-477 (2010)
166Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Robust normative systems and a logic of norm compliance. Logic Journal of the IGPL 18(1): 4-30 (2010)
2009
165Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLars 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
164Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKoen V. Hindriks, Wiebe van der Hoek, M. Birna van Riemsdijk: Agent programming with temporally extended goals. AAMAS (1) 2009: 137-144
163Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ågotnes, Wiebe van der Hoek, Moshe Tennenholtz, Michael Wooldridge: Power in normative systems. AAMAS (1) 2009: 145-152
162Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicolas Troquard, Wiebe van der Hoek, Michael Wooldridge: A logic of games and propositional control. AAMAS (2) 2009: 961-968
161Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi: Knowing More - From Global to Local Correspondence. IJCAI 2009: 955-960
160Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCees Witteveen, Wiebe van der Hoek, Nico Roos: Concurrently Decomposable Constraint Systems. MATES 2009: 153-164
159Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicolas Troquard, Wiebe van der Hoek, Michael Wooldridge: A logic of propositional control for truthful implementations. TARK 2009: 237-246
158Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Reasoning about coalitional games. Artif. Intell. 173(1): 45-79 (2009)
157Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Completeness and Complexity of Multi-modal CTL. Electr. Notes Theor. Comput. Sci. 231: 259-275 (2009)
156Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJi Ruan, Wiebe van der Hoek, Michael Wooldridge: Verification of Games in the Game Description Language. J. Log. Comput. 19(6): 1127-1156 (2009)
155Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Logics for Qualitative Coalitional Games. Logic Journal of the IGPL 17(3): 299-321 (2009)
154Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael Wooldridge: Multi-Modal CTL: Completeness, Complexity, and an Application. Studia Logica 92(1): 1-26 (2009)
2008
153Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul E. Dunne, Wiebe van der Hoek, Sarit Kraus, Michael Wooldridge: Cooperative Boolean games. AAMAS (2) 2008: 1015-1022
152Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Quantifying over coalitions in epistemic logic. AAMAS (2) 2008: 665-672
151Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Robust normative systems. AAMAS (2) 2008: 747-754
150Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKoen iV. indriks, Wiebe van der Hoek: GOAL Agents Instantiate Intention Logic. JELIA 2008: 232-244
149Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicolas Troquard, Wiebe van der Hoek, Michael Wooldridge: Model Checking Strategic Equilibria. MoChArt 2008: 166-188
148Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNivea de Carvalho Ferreira, Michael Fisher, Wiebe van der Hoek: Specifying and reasoning about uncertain agents. Int. J. Approx. Reasoning 49(1): 35-51 (2008)
147Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Quantified coalition logic. Synthese 165(2): 269-294 (2008)
2007
146no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan 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
145no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan 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
144no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Wooldridge, Thomas Ågotnes, Paul E. Dunne, Wiebe van der Hoek: Logic for Automated Mechanism Design - A Progress Report. AAAI 2007: 9-
143Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Normative system games. AAMAS 2007: 129
142Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Reasoning about judgment and preference aggregation. AAMAS 2007: 85
141Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi: Dynamic Epistemic Logic and Knowledge Puzzles. ICCS 2007: 45-58
140Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael Wooldridge: On the Logic of Normative Systems. IJCAI 2007: 1175-1180
139Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Quantified Coalition Logic. IJCAI 2007: 1181-1186
138Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Å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
137Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk Walther, Wiebe van der Hoek, Michael Wooldridge: Alternating-time temporal logic with explicit strategies. TARK 2007: 269-278
136Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Fisher, Wiebe van der Hoek: Logics in AI: post-proceedings JELIA06 (Editorial). Ann. Math. Artif. Intell. 50(3-4): 227-229 (2007)
135Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClare 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)
134Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank 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)
133Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul E. Dunne, Wiebe van der Hoek, Michael Wooldridge: A logical characterisation of qualitative coalitional games. Journal of Applied Non-Classical Logics 17(4): 477-509 (2007)
132Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWiebe van der Hoek, Wojciech Jamroga, Michael Wooldridge: Towards a theory of intention revision. Synthese 155(2): 265-290 (2007)
131Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWiebe van der Hoek, Mark Roberts, Michael Wooldridge: Social laws in alternating time: effectiveness, feasibility, and synthesis. Synthese 156(1): 1-19 (2007)
2006
130no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWiebe van der Hoek: Uncertainty, rationality, and agency. Kluwer 2006: I-X
129no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael 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
128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: On the logic of coalitional games. AAMAS 2006: 153-160
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Temporal qualitative coalitional games. AAMAS 2006: 177-184
126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuigi Sauro, Jelle Gerbrandy, Wiebe van der Hoek, Michael Wooldridge: Reasoning about action and cooperation. AAMAS 2006: 185-192
125Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWiebe van der Hoek, Alessio Lomuscio, Michael Wooldridge: On the complexity of practical ATL model checking. AAMAS 2006: 201-208
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChiara Ghidini, Paolo Giorgini, Wiebe van der Hoek: Preface. Autonomous Agents and Multi-Agent Systems 12(2): 159-161 (2006)
123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans 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)
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael Wooldridge: Preface. Electr. Notes Theor. Comput. Sci. 157(4): 1-2 (2006)
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSieuwert van Otterloo, Wiebe van der Hoek, Michael Wooldridge: Knowledge Condition Games. Journal of Logic, Language and Information 15(4): 425-452 (2006)
2005
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi: Dynamic epistemic logic with assignment. AAMAS 2005: 141-148
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWiebe van der Hoek, Wojciech Jamroga, Michael Wooldridge: A logic for strategic reasoning. AAMAS 2005: 157-164
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWiebe van der Hoek, Mark Roberts, Michael Wooldridge: Knowledge and social laws. AAMAS 2005: 674-681
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWiebe van der Hoek, Michael Wooldridge: On the dynamics of delegation, cooperation, and control: a logical account. AAMAS 2005: 701-708
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWojciech Jamroga, Wiebe van der Hoek, Michael Wooldridge: Intentions and Strategies in Game-Like Scenarios. EPIA 2005: 512-523
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNivea de Carvalho Ferreira, Michael Fisher, Wiebe van der Hoek: Logical Implementation of Uncertain Agents. EPIA 2005: 536-547
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank 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)
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWiebe van der Hoek, Michael Wooldridge: On the logic of cooperation and propositional control. Artif. Intell. 164(1-2): 81-119 (2005)
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael Wooldridge: Preface. Electr. Notes Theor. Comput. Sci. 126: 1-2 (2005)
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael 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
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSieuwert van Otterloo, Wiebe van der Hoek, Michael Wooldridge: Preferences in Game Logics. AAMAS 2004: 152-159
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWiebe van der Hoek: Knowledge, Rationality and Action. AAMAS 2004: 16-23
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi: Public Announcements and Belief Expansion. Advances in Modal Logic 2004: 335-346
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWojciech Jamroga, Wiebe van der Hoek, Michael Wooldridge: On Obligations and Abilities. DEON 2004: 165-181
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul E. Dunne, Wiebe van der Hoek: Representation and Complexity in Boolean Games. JELIA 2004: 347-359
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNivea de Carvalho Ferreira, Michael Fisher, Wiebe van der Hoek: Practical Reasoning for Uncertain Agents. JELIA 2004: 82-94
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClare 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
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWiebe van der Hoek, Alessio Lomuscio: A Logic For Ignorance. Electr. Notes Theor. Comput. Sci. 85(2): 117-133 (2004)
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSieuwert van Otterloo, Wiebe van der Hoek, Michael Wooldridge: Knowledge as Strategic Ability. Electr. Notes Theor. Comput. Sci. 85(2): 152-175 (2004)
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael Wooldridge: Preface: Volume 85, Issue 2. Electr. Notes Theor. Comput. Sci. 85(2): 81 (2004)
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHuib 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)
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWojciech Jamroga, Wiebe van der Hoek: Agents that Know How to Play. Fundam. Inform. 63(2-3): 185-219 (2004)
2003
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWiebe van der Hoek, Alessio Lomuscio: Ignore at your peril - towards a logic for ignorance. AAMAS 2003: 1148-1149
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi: Concurrent dynamic epistemic logic for MAS. AAMAS 2003: 201-208
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBirna van Riemsdijk, Wiebe van der Hoek, John-Jules Ch. Meyer: Agent programming in dribble: from beliefs to goals using plans. AAMAS 2003: 393-400
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRogier 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
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWiebe van der Hoek, Alessio Lomuscio: A logic for ignorance. DALT 2003: 97-108
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRogier 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)
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul 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)
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWiebe 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)
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWiebe van der Hoek, Michael Wooldridge: Editorial. Logic Journal of the IGPL 11(2): 133 (2003)
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWiebe van der Hoek, Michael Wooldridge: Towards a Logic of Rational Agency. Logic Journal of the IGPL 11(2): 135-159 (2003)
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan-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)
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWiebe van der Hoek, Michael Wooldridge: Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications. Studia Logica 75(1): 125-157 (2003)
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWiebe van der Hoek, Michael Wooldridge: Preface. Studia Logica 75(1): 3-5 (2003)
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank 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
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWiebe van der Hoek, Michael Wooldridge: Tractable multiagent planning for epistemic goals. AAMAS 2002: 1167-1174
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan-Willem Roorda, Wiebe van der Hoek, John-Jules Ch. Meyer: Iterated belief change in multi-agent systems. AAMAS 2002: 889-896
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Wooldridge, Wiebe van der Hoek: Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications. COORDINATION 2002: 4
81no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Harrenstein, Wiebe van der Hoek, John-Jules Ch. Meyer, Cees Witteveen: On Modal Logic Interpretations of Games. ECAI 2002: 28-32
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBirna van Riemsdijk, Wiebe van der Hoek, John-Jules Ch. Meyer: Agent Programming in Dribble: From Beliefs to Goals with Plans. FAABS 2002: 294-295
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWiebe van der Hoek, Michael Wooldridge: Model Checking Knowledge and Time. SPIN 2002: 95-111
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer: Agent Programming with Declarative Goals CoRR cs.AI/0207008: (2002)
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWiebe van der Hoek, Cees Witteveen: Note by the Guest Editors. Studia Logica 70(1): 3-4 (2002)
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWiebe 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
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNesria Agray, Wiebe van der Hoek, Erik P. de Vink: On BAN Logics for Industrial Security Protocols. CEEMAS 2001: 29-36
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWieke 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
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWiebe van der Hoek: Logical Foundations of Agent-Based Computing. EASSS 2001: 50-73
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWieke 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
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUllrich 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
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRogier 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)
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRogier 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)
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn-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): 245-256 (2001)
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiovanni Adorni, Wiebe van der Hoek: Scanning the issue. Robotics and Autonomous Systems 36(2-3): 57-58 (2001)
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrans 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
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKoen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer: Agent Programming with Declarative Goals. ATAL 2000: 228-243
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRogier 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
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank 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
62no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWiebe van der Hoek, Cees Witteveen: Classical, General Frameworks for Recovery. ECAI 2000: 33-37
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUllrich 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
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKoen 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
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKoen 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
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRogier 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
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWiebe van der Hoek, Jan Jaspars, Elias Thijsse: A General Approach to Multi-agent Minimal Knowledge. JELIA 2000: 254-268
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRogier 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
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWiebe van der Hoek: Nonmonotonic Reasoning, Grigoris Antoniou. Journal of Logic, Language and Information 9(1): 125-128 (2000)
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWiebe 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
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRogier 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
52no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank 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
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWiebe van der Hoek, Jan Jaspars, Elias Thijsse: Persistence and minimality in epistemic logic. Ann. Math. Artif. Intell. 27(1-4): 25-47 (1999)
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn-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)
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKoen 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
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRogier 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
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRogier 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
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKoen 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
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKoen 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
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer: Systems of Communicating Agents. ECAI 1998: 293-297
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRogier 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
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWiebe van der Hoek, Jan Jaspars, Elias Thijsse: Persistence and Minimality in Epistemic Logic. JELIA 1998: 62-76
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCees Witteveen, Wiebe van der Hoek: Recovery of (Non)Monotonic Theories. Artif. Intell. 106(1): 139-159 (1998)
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRogier 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): 23 (1998)
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer: Formalising Abilities and Opportunities of Agents. Fundam. Inform. 34(1-2): 53-101 (1998)
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWiebe van der Hoek: Logic for Applications, Anil Nerode and Richard A. Shore. Journal of Logic, Language and Information 7(2): 228-229 (1998)
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWiebe 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
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKoen 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
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCees Witteveen, Wiebe van der Hoek: A General Framework for Revising Non-Monotonic Theories. LPNMR 1997: 258-273
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer: The Dynamics of Default Reasoning. Data Knowl. Eng. 21(3): 317-346 (1997)
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWiebe van der Hoek: Some Considerations on the Logic PFD~. Journal of Applied Non-Classical Logics 7(3): (1997)
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd 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
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCees Witteveen, Wiebe van der Hoek: Some postulates for Nonmonotonic Theory Revision Applied to Logic Programming. ELP 1996: 303-318
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCees Witteveen, Wiebe van der Hoek: Updating Nonmonotonic Databases. ISTCS 1996: 147-153
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCees Witteveen, Wiebe van der Hoek: Revising and Updating Using a Back-Up Semantics. JELIA 1996: 388-403
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn-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)
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWiebe van der Hoek, Jan Jaspars, Elias Thijsse: Honesty in partial logic. Studia Logica 56(3): 323-360 (1996)
1995
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer: Seeing is Believing. AI*IA 1995: 402-413
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer: Formalising Motivational Attitudes of Agents. ATAL 1995: 17-32
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer: The Dynamics of Default Reasoning (Extended Abstract). ECSQARU 1995: 277-284
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer: Actions That Make You Change Your Mind (Extended Abstract). KI 1995: 185-196
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCees Witteveen, Wiebe van der Hoek: Revision by Communication. LPNMR 1995: 189-202
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn-Jules Ch. Meyer, Wiebe van der Hoek: A Default Logic Based on Epistemic States. Fundam. Inform. 23(1): 33-65 (1995)
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWiebe van der Hoek, Maarten de Rijke: Counting Objects. J. Log. Comput. 5(3): 325-345 (1995)
1994
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer: Tests as Epistemic Updates. ECAI 1994: 331-335
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLluis 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
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCees Witteveen, Wiebe van der Hoek, Hans de Nivelle: Revision of Non-Monotonic Theories. JELIA 1994: 137-151
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer: Communicating Rational Agents. KI 1994: 202-213
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWiebe van der Hoek, Jan Jaspars, Elias Thijsse: Honesty in Partial Logic. KR 1994: 583-594
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWiebe van der Hoek, Bernd van Linder, John-Jules Ch. Meyer: A Logic of Capabilities. LFCS 1994: 366-378
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWiebe van der Hoek, John-Jules Ch. Meyer, Jan Treur: Formal Semantics of Temporal Epistemic Reflection. META 1994: 332-352
1993
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn-Jules Ch. Meyer, Wiebe van der Hoek: A Default Logic Based on Epistemic States. ECSQARU 1993: 265-273
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCees Witteveen, Wiebe van der Hoek: Belief Revision by Expansion. ECSQARU 1993: 380-387
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn-Jules Ch. Meyer, Wiebe van der Hoek: Counterfactual Reasoning by (means of) Defaults. Ann. Math. Artif. Intell. 9(3-4): 345-360 (1993)
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWiebe van der Hoek: Sytems for Knowledge and Belief. J. Log. Comput. 3(2): 173-195 (1993)
1992
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWiebe van der Hoek, John-Jules Ch. Meyer: Graded Modalities in Epistemic Logic. LFCS 1992: 503-514
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWiebe van der Hoek, M. van Hulst, John-Jules Ch. Meyer: Towards an Epistemic Approach to Reasoning about Concurrent Programs. REX Workshop 1992: 261-287
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWiebe van der Hoek, John-Jules Ch. Meyer: Making Some Issues of Implicit Knowledge Explicit. Int. J. Found. Comput. Sci. 3(2): 193-223 (1992)
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWiebe van der Hoek: On the Semantics of Graded Modalities. Journal of Applied Non-Classical Logics 2(1): (1992)
1991
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWiebe van der Hoek: Some Considerations on the Logic PfD. RCLP 1991: 474-485
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWiebe van der Hoek: Qualitative Modalities. SCAI 1991: 322-327
1990
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWiebe van der Hoek: Systems for Knowledge and Beliefs. JELIA 1990: 267-281
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn-Jules Ch. Meyer, Wiebe van der Hoek: Non-Monotonic Reasoning by Monotonic Means. JELIA 1990: 399-411

Coauthor Index

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

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page