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

John-Jules Ch. Meyer

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

2009
217EEJamal Bentahar, John-Jules Ch. Meyer, Wei Wan: Model checking communicative agent-based systems. Knowl.-Based Syst. 22(3): 142-159 (2009)
2008
216EENatasha Alechina, Brian Logan, Mehdi Dastani, John-Jules Ch. Meyer: Reasoning about agent execution strategies. AAMAS (3) 2008: 1455-1458
215EEGeert Jonker, Frank Dignum, John-Jules Ch. Meyer: Achieving efficient and equitable collaboration among selfish agents using spender-signed currency. AAMAS (3) 2008: 1581-1584
214EEThomas L. van der Weide, Frank Dignum, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk: Personality-Based Practical Reasoning. ArgMAS 2008: 3-18
213EEMichal P. Sindlar, Mehdi Dastani, Frank Dignum, John-Jules Ch. Meyer: Mental State Abduction of BDI-Based Agents. DALT 2008: 161-178
212EEJamal Bentahar, Mohamed Mbarki, John-Jules Ch. Meyer, Bernard Moulin: Strategic Agent Communication: An Argumentation-Driven Approach. DALT 2008: 233-250
211EEJan Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini: A Deontic Logic for Socially Optimal Norms. DEON 2008: 218-232
210EEBas R. Steunebrink, Mehdi Dastani, John-Jules Ch. Meyer: A Formal Model of Emotions: Integrating Qualitative and Quantitative Aspects. ECAI 2008: 256-260
209EEJan Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini: Organizing Coherent Coalitions. ECAI 2008: 879-880
208EEBob van der Vecht, Frank Dignum, John-Jules Ch. Meyer: Magic Agents: Using Information Relevance to Control Autonomy. ECAI 2008: 889-890
207EEJan Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini: A Logic for Closed-World Interaction. JELIA 2008: 89-99
206 Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer: Reasoning about Agent Deliberation. KR 2008: 16-26
205EEFarhad Arbab, Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer, Nick Tinnermeier: Reo Connectors as Coordination Artifacts in 2APL Systems. PRIMA 2008: 42-53
204EELacramioara Astefanoaei, Mehdi Dastani, John-Jules Ch. Meyer, Frank S. de Boer: A Verification Framework for Normative Multi-Agent Systems. PRIMA 2008: 54-65
203EEJohn-Jules Ch. Meyer: Agent Technology. Wiley Encyclopedia of Computer Science and Engineering 2008
202EELou Goble, John-Jules Ch. Meyer: Editorial. J. Applied Logic 6(2): 133-134 (2008)
201EEDavide Grossi, John-Jules Ch. Meyer, Frank Dignum: The many faces of counts-as: A formal analysis of constitutive rules. J. Applied Logic 6(2): 192-217 (2008)
2007
200 Rafael H. Bordini, Mehdi Dastani, John-Jules Ch. Meyer: Foundations and Practice of Programming Multi-Agent Systems, 25.06. - 30.06.2006 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
199 Bas R. Steunebrink, Mehdi Dastani, John-Jules Ch. Meyer: A Logic of Emotions for Intelligent Agents. AAAI 2007: 142-147
198 Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer: A Logic of Agent Programs. AAAI 2007: 795-800
197EEMehdi Dastani, Dirk Hobo, John-Jules Ch. Meyer: Practical extensions in agent programming languages. AAMAS 2007: 138
196EEMehdi Dastani, M. Birna van Riemsdijk, John-Jules Ch. Meyer: A grounded specification language for agent programs. AAMAS 2007: 147
195EEGeert Jonker, Frank Dignum, John-Jules Ch. Meyer: Achieving cooperation among selfish agents in the air traffic management domain using signed money. AAMAS 2007: 213
194EEHuib Aldewereld, Frank Dignum, John-Jules Ch. Meyer: Designing protocols for agent institutions. AAMAS 2007: 31
193EEDavide Grossi, Frank Dignum, John-Jules Ch. Meyer: A formal road from institutional norms to organizational structures. AAMAS 2007: 89
192EEPaolo Turrini, John-Jules Ch. Meyer, Cristiano Castelfranchi: Rational Agents That Blush. ACII 2007: 314-325
191EEPatrick Doherty, John-Jules Ch. Meyer: Towards a Delegation Framework for Aerial Robotic Mission Scenarios. CIA 2007: 5-26
190EEBob van der Vecht, Frank Dignum, John-Jules Ch. Meyer, Martijn Neef: A Dynamic Coordination Mechanism Using Adjustable Autonomy. COIN 2007: 83-96
189EEJamal Bentahar, John-Jules Ch. Meyer, Bernard Moulin: Securing Agent-Oriented Systems: An Argumentation and Reputation-based Approach. ITNG 2007: 507-515
188EENick A. M. Tinnemeier, Mehdi Dastani, John-Jules Ch. Meyer: Goal Selection Strategies for Rational Agents. LADS 2007: 54-70
187EEDavide Grossi, John-Jules Ch. Meyer, Frank Dignum: On the Logic of Constitutive Rules. Normative Multi-agent Systems 2007
186EEMehdi Dastani, John-Jules Ch. Meyer: A Practical Agent Programming Language. PROMAS 2007: 107-123
185EEHuib Aldewereld, Frank Dignum, John-Jules Ch. Meyer: From Norms to Interaction Patterns: Deriving Protocols for Agent Institutions. PROMAS 2007: 57-72
184 Jamal Bentahar, John-Jules Ch. Meyer: A New Quantitative Trust Model for Negotiating Agents. RCIS 2007: 39-50
183 Jamal Bentahar, John-Jules Ch. Meyer: Model Checking Communicative Agent-Based Systems. SoMeT 2007: 239-265
182EEJohn-Jules Ch. Meyer: Our Quest for the Holy Grail of Agent Verification. TABLEAUX 2007: 2-9
181EEN. L. Vergunst, Bas R. Steunebrink, Mehdi Dastani, F. P. M. Dignum, John-Jules Ch. Meyer: Towards Programming Multimodal Dialogues. Web Intelligence/IAT Workshops 2007: 342-345
180EEJurriaan van Diggelen, Robbert-Jan Beun, Frank Dignum, Rogier M. van Eijk, John-Jules Ch. Meyer: Ontology negotiation in heterogeneous multi-agent systems: The ANEMONE system. Applied Ontology 2(3-4): 267-303 (2007)
179EEJurriaan van Diggelen, Robbert-Jan Beun, Frank Dignum, Rogier M. van Eijk, John-Jules Ch. Meyer: Ontology negotiation: goals, requirements and implementation. IJAOSE 1(1): 63-90 (2007)
178EEJamal Bentahar, John-Jules Ch. Meyer: A New Quantitative Trust Model for Negotiating Agents using Argumentation. IJCSA 4(2): 1-21 (2007)
177EEJamal Bentahar, Francesca Toni, John-Jules Ch. Meyer, Jihad Labban: A security framework for agent-based systems. IJWIS 3(4): 341-362 (2007)
176EEFrank 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)
2006
175 Lou Goble, John-Jules Ch. Meyer: Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings Springer 2006
174EEM. Birna van Riemsdijk, Mehdi Dastani, John-Jules Ch. Meyer, Frank S. de Boer: Goal-oriented modularity in agent programming. AAMAS 2006: 1271-1278
173EEM. Birna van Riemsdijk, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer: Prototyping 3APL in the Maude term rewriting language. AAMAS 2006: 1279-1281
172EEMehdi Dastani, M. Birna van Riemsdijk, John-Jules Ch. Meyer: Goal types in agent programming. AAMAS 2006: 1285-1287
171EEJurriaan van Diggelen, Robbert-Jan Beun, Frank Dignum, Rogier M. van Eijk, John-Jules Ch. Meyer: ANEMONE: an effective minimal ontology negotiation environment. AAMAS 2006: 899-906
170EEM. Birna van Riemsdijk, John-Jules Ch. Meyer: A Compositional Semantics of Plan Revision in Intelligent Agents. AMAST 2006: 353-367
169EEJamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer: A New Model Checking Approach for Verifying Agent Communication Protocols. CCECE 2006: 1586-1590
168EEJamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Yves Lespérance: A New Logical Semantics for Agent Communication. CLIMA VII 2006: 151-170
167EEM. Birna van Riemsdijk, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer: Prototyping 3APL in the Maude Term Rewriting Language. CLIMA VII 2006: 95-114
166EEDavide Grossi, John-Jules Ch. Meyer, Frank Dignum: Counts-as: Classification or Constitution? An Answer Using Modal Logic. DEON 2006: 115-130
165 Mehdi Dastani, John-Jules Ch. Meyer: Programming Agents with Emotions. ECAI 2006: 215-219
164 Mehdi Dastani, M. Birna van Riemsdijk, John-Jules Ch. Meyer: Goal Types in Agent Programming. ECAI 2006: 220-224
163EEJohn-Jules Ch. Meyer: Going beyond BDI: Programming 'BDI+' Agents. EUMAS 2006
162EEMehdi Dastani, John-Jules Ch. Meyer, Rafael H. Bordini: 06261 Abstracts Collection -- Foundations and Practice of Programming Multi-Agent Systems. Foundations and Practice of Programming Multi-Agent Systems 2006
161EEMehdi Dastani, John-Jules Ch. Meyer, Rafael H. Bordini: 06261 Executive Summary -- Foundations and Practice of Programming Multi-Agent Systems. Foundations and Practice of Programming Multi-Agent Systems 2006
160EEKoen V. Hindriks, John-Jules Ch. Meyer: Agent Logics as Program Logics: Grounding KARO. KI 2006: 404-418
159EEJohn-Jules Ch. Meyer: Reasoning about emotional agents. Int. J. Intell. Syst. 21(6): 601-619 (2006)
158EEM. Birna van Riemsdijk, Frank S. de Boer, John-Jules Ch. Meyer: Dynamic Logic for Plan Revision in Agent Programming. J. Log. Comput. 16(3): 375-402 (2006)
157EEDavide Grossi, John-Jules Ch. Meyer, Frank Dignum: Classificatory Aspects of Counts-as: An Analysis in Modal Logic. J. Log. Comput. 16(5): 613-643 (2006)
156EEM. Birna van Riemsdijk, John-Jules Ch. Meyer, Frank S. de Boer: Semantics of plan revision in intelligent agents. Theor. Comput. Sci. 351(2): 240-257 (2006)
2005
155EEHuib Aldewereld, Javier Vázquez-Salceda, Frank Dignum, John-Jules Ch. Meyer: Norm compliance of protocols in electronic institutions. AAMAS 2005: 1291-1292
154EEBirna van Riemsdijk, Mehdi Dastani, John-Jules Ch. Meyer: Semantics of declarative goals in agent programming. AAMAS 2005: 133-140
153EEHuib Aldewereld, Javier Vázquez-Salceda, Frank Dignum, John-Jules Ch. Meyer: Verifying Norm Compliancy of Protocols. AAMAS Workshops 2005: 231-245
152 Geert Jonker, John-Jules Ch. Meyer, Frank Dignum: Efficiency and Fairness in Air Traffic Control. BNAIC 2005: 151-157
151EEDavide Grossi, Frank Dignum, John-Jules Ch. Meyer: Contextual Terminologies. CLIMA VI 2005: 284-302
150EEJamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer: A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication. DALT 2005: 223-244
149EEGeert Jonker, John-Jules Ch. Meyer, Frank Dignum: Towards a Market Mechanism for Airport Traffic Control. EPIA 2005: 500-511
148EEM. Birna van Riemsdijk, Mehdi Dastani, John-Jules Ch. Meyer: Subgoal Semantics in Agent Programming. EPIA 2005: 548-559
147 Davide Grossi, John-Jules Ch. Meyer, Frank Dignum: Modal logic investigations in the Modal logic investigations in the semantics of counts semantics of counts-as as. ICAIL 2005: 1-9
146EEJohn-Jules Ch. Meyer: Programming Cognitive Agents. MATES 2005: 27-34
145EEFernando Koch, John-Jules Ch. Meyer, Frank Dignum, Iyad Rahwan: Programming Deliberative Agents for Mobile Services: The 3APL-M Platform. PROMAS 2005: 222-235
144 Mehdi Dastani, M. Birna van Riemsdijk, John-Jules Ch. Meyer: Programming Multi-Agent Systems in 3APL. Multi-Agent Programming 2005: 39-67
143EEFrank 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)
142EEArjen Hommersom, John-Jules Ch. Meyer, Erik P. de Vink: Toward Reasoning about Security Protocols: A Semantic Approach. Electr. Notes Theor. Comput. Sci. 126: 53-75 (2005)
2004
141 Mark Dermot Ryan, John-Jules Ch. Meyer, Hans-Dieter Ehrich: Objects, Agents, and Features, International Seminar, Dagstuhl Castle, Germany, February 2003, Revised and Invited Papers Springer 2004
140EEHenk-Jan Lebbink, Cilia Witteman, John-Jules Ch. Meyer: A Dialogue Game to Offer an Agreement to Disagree. AAMAS 2004: 1238-1239
139EEJamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Brahim Chaib-draa: A Logical Model for Commitment and Argument Network for Agent Communication. AAMAS 2004: 792-799
138EEMehdi Dastani, Joris Hulstijn, Frank Dignum, John-Jules Ch. Meyer: Issues in Multiagent System Development. AAMAS 2004: 922-929
137EEJurriaan van Diggelen, Robbert-Jan Beun, Frank Dignum, Rogier M. van Eijk, John-Jules Ch. Meyer: Optimal Communication Vocabularies and Heterogeneous Ontologies. AC 2004: 76-90
136EEJohn-Jules Ch. Meyer: Agent-Oriented Programming: Where Do We Stand?. AMAST 2004: 23-26
135EEBirna van Riemsdijk, John-Jules Ch. Meyer, Frank S. de Boer: Semantics of Plan Revision in Intelligent Agents. AMAST 2004: 426-442
134EEMehdi Dastani, Birna van Riemsdijk, Joris Hulstijn, Frank Dignum, John-Jules Ch. Meyer: Enacting and Deacting Roles in Agent Programming. AOSE 2004: 189-204
133EEJamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Brahim Chaib-draa: A Modal Semantics for an Argumentation-Based Pragmatics for Agent Communication. ArgMAS 2004: 44-63
132EEM. Birna van Riemsdijk, Frank S. de Boer, John-Jules Ch. Meyer: Dynamic Logic for Plan Revision in Intelligent Agents. CLIMA V 2004: 16-32
131EEJamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Brahim Chaib-draa: A Computational Model for Conversation Policies for Agent Communication. CLIMA V 2004: 178-195
130EEDavide Grossi, Frank Dignum, John-Jules Ch. Meyer: Contextual Taxonomies. CLIMA V 2004: 33-51
129EEBirna van Riemsdijk, Mehdi Dastani, Frank Dignum, John-Jules Ch. Meyer: Dynamics of Declarative Goals in Agent Programming. DALT 2004: 1-18
128EEDavide Grossi, Frank Dignum, Lambèr M. M. Royakkers, John-Jules Ch. Meyer: Collective Obligations and Agents: Who Gets the Blame? DEON 2004: 129-145
127EEJan Broersen, Frank Dignum, Virginia Dignum, John-Jules Ch. Meyer: Designing a Deontic Logic of Deadlines. DEON 2004: 43-56
126 John-Jules Ch. Meyer: Reasoning about Emotional Agents. ECAI 2004: 129-133
125EEFrank Dignum, Jan Broersen, Virginia Dignum, John-Jules Ch. Meyer: Meeting the Deadline: Why, When and How. FAABS 2004: 30-40
124EEHenk-Jan Lebbink, Cilia Witteman, John-Jules Ch. Meyer: A Dialogue Game to Offer an Agreement to Disagree. PROMAS 2004: 199-223
123EEHuib 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)
2003
122EEBirna van Riemsdijk, Wiebe van der Hoek, John-Jules Ch. Meyer: Agent programming in dribble: from beliefs to goals using plans. AAMAS 2003: 393-400
121EEMehdi Dastani, Frank S. de Boer, Frank Dignum, John-Jules Ch. Meyer: Programming agent deliberation: an approach illustrated using the 3APL language. AAMAS 2003: 97-104
120EEMehdi Dastani, Frank Dignum, John-Jules Ch. Meyer: Autonomy and Agent Deliberation. Agents and Computational Autonomy 2003: 114-127
119EERogier 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
118 John-Jules Ch. Meyer: Intelligent Agents: Issues and Logics. Logics for Emerging Applications of Databases 2003: 131-165
117EEJohn-Jules Ch. Meyer, Mark Dermot Ryan, Hans-Dieter Ehrich: Objects, Agents, and Features: An Introduction. Objects, Agents, and Features 2003: 1-7
116EEFrank S. de Boer, Cees Pierik, Rogier M. van Eijk, John-Jules Ch. Meyer: Coordinating Agents in OO. Objects, Agents, and Features 2003: 8-25
115EEMehdi Dastani, Birna van Riemsdijk, Frank Dignum, John-Jules Ch. Meyer: A Programming Language for Cognitive Agents Goal Directed 3APL. PROMAS 2003: 111-130
114 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)
113EEPaul 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)
112EEWiebe 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)
111EEJan-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)
110 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
109 John-Jules Ch. Meyer, Milind Tambe: Intelligent Agents VIII, 8th International Workshop, ATAL 2001 Seattle, WA, USA, August 1-3, 2001, Revised Papers Springer 2002
108EEVirginia Dignum, John-Jules Ch. Meyer, Hans Weigand: Towards an organizational model for agent societies using contracts. AAMAS 2002: 694-695
107EEJan-Willem Roorda, Wiebe van der Hoek, John-Jules Ch. Meyer: Iterated belief change in multi-agent systems. AAMAS 2002: 889-896
106 Paul Harrenstein, Wiebe van der Hoek, John-Jules Ch. Meyer, Cees Witteveen: On Modal Logic Interpretations of Games. ECAI 2002: 28-32
105EEHans Weigand, Virginia Dignum, John-Jules Ch. Meyer, Frank Dignum: Specification by Refinement and Agreement: Designing Agent Interaction Using Landmarks and Contracts. ESAW 2002: 257-269
104EEJohn-Jules Ch. Meyer: Tools and Education towards Formal Methods Practice. FAABS 2002: 274-279
103EEBirna van Riemsdijk, Wiebe van der Hoek, John-Jules Ch. Meyer: Agent Programming in Dribble: From Beliefs to Goals with Plans. FAABS 2002: 294-295
102EEVirginia Dignum, John-Jules Ch. Meyer, Frank Dignum, Hans Weigand: Formal Specification of Interaction in Agent Societies. FAABS 2002: 37-52
101 Jan Broersen, John-Jules Ch. Meyer, Roel Wieringa: The mutual exclusion problem in reasoning about action and change. NMR 2002: 365-371
100 John-Jules Ch. Meyer: The Logic of Knowledge Bases - Hector J. Levesque, Gerhard Lakemeyer (Eds.), MIT Press, Cambridge, MA, 2000, ISBN 0-262-12232-4. Artificial Intelligence in Medicine 25(1): 89-92 (2002)
99EEFrank S. de Boer, Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer: Agent Programming with Declarative Goals CoRR cs.AI/0207008: (2002)
98 Jan Broersen, Roel Wieringa, John-Jules Ch. Meyer: A Fixed-point Characterization of a Deontic Logic of Regular Action. Fundam. Inform. 49(4): 107-128 (2002)
2001
97EEJohn-Jules Ch. Meyer, Milind Tambe: Introduction. ATAL 2001: 1-5
96EEWieke 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
95EEWieke 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
94EEUllrich 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
93 Jan Broersen, Roel Wieringa, John-Jules Ch. Meyer: A Fixed-point Characterization of a Deontic Logic of Regular Action. Fundam. Inform. 48(2-3): 107-128 (2001)
92 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)
91EERogier 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)
90EEJohn-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)
89EEPaul Spruit, Roel Wieringa, John-Jules Ch. Meyer: Regular database update logics. Theor. Comput. Sci. 254(1-2): 591-661 (2001)
2000
88EEKoen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer: Agent Programming with Declarative Goals. ATAL 2000: 228-243
87EERogier 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
86EEFrank 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
85EEJan Broersen, Roel Wieringa, John-Jules Ch. Meyer: A Semantics for Persistency in Propositional Dynamic Logic. Computational Logic 2000: 912-925
84EEUllrich 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
83EEKoen 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
82 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
81 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
80EERogier 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
79 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
78 John-Jules Ch. Meyer, Pierre-Yves Schobbens: Formal Models of Agents, ESPRIT Project ModelAge Final Workshop, Selected Papers Springer 1999
77 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
76 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
75 John-Jules Ch. Meyer: Keynote Address: Formal and Informal Aspects of Intelligent Agent-based Systems. ISCO 1999: 299-310
74EEJohn-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)
73 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
72EERogier 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
71 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
70 John-Jules Ch. Meyer: Agent Languages and Their Relationship to Other Programming Paradigms. ATAL 1998: 309-316
69 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
68 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
67 Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer: Systems of Communicating Agents. ECAI 1998: 293-297
66 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
65EEJohn-Jules Ch. Meyer, Roel Wieringa, Frank Dignum: The Role of Deontic Logic in the Specification of Information Systems. Logics for Databases and Information Systems 1998: 71-115
64EERogier 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)
63 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)
62 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
61 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
60EEJohn-Jules Ch. Meyer, Pierre-Yves Schobbens: Formal Models of Agents: An Introduction. ModelAge Workshop 1997: 1-7
59EEJohn-Jules Ch. Meyer, Patrick Doherty: Preferential Action Semantics (Preliminary Report). ModelAge Workshop 1997: 187-201
58EEBernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer: The Dynamics of Default Reasoning. Data Knowl. Eng. 21(3): 317-346 (1997)
57 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
56 Frank Dignum, John-Jules Ch. Meyer, Roel Wieringa, Ruurd Kuiper: A Modal Approach to Intentions, Commitments and Obligations: Intention plus Commitment Yields Obligation. DEON 1996: 80-97
55 John-Jules Ch. Meyer, J. C. van Leeuwen: Possible World Semantics for Analogous Reasoning. FAPR 1996: 414-429
54 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)
53 P. d'Altan, John-Jules Ch. Meyer, Roel Wieringa: An Integrated Framework for Ought-to-Be and Ought-to-Do Constraints. Artif. Intell. Law 4(2): 77-111 (1996)
52 Frank Dignum, John-Jules Ch. Meyer, Roel Wieringa: Free Choice and Contextually Permitted Actions. Studia Logica 57(1): 193-220 (1996)
1995
51 Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer: Seeing is Believing. AI*IA 1995: 402-413
50 Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer: Formalising Motivational Attitudes of Agents. ATAL 1995: 17-32
49 Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer: The Dynamics of Default Reasoning (Extended Abstract). ECSQARU 1995: 277-284
48 Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer: Actions That Make You Change Your Mind (Extended Abstract). KI 1995: 185-196
47 John-Jules Ch. Meyer, Wiebe van der Hoek: A Default Logic Based on Epistemic States. Fundam. Inform. 23(1): 33-65 (1995)
46 Paul Spruit, Roel Wieringa, John-Jules Ch. Meyer: Aziomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic Databases. J. Log. Comput. 5(1): 27-70 (1995)
1994
45 Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer: Tests as Epistemic Updates. ECAI 1994: 331-335
44 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
43 Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer: Communicating Rational Agents. KI 1994: 202-213
42 Wiebe van der Hoek, Bernd van Linder, John-Jules Ch. Meyer: A Logic of Capabilities. LFCS 1994: 366-378
41 Wiebe van der Hoek, John-Jules Ch. Meyer, Jan Treur: Formal Semantics of Temporal Epistemic Reflection. META 1994: 332-352
40 M. van Hulst, John-Jules Ch. Meyer: An Epistemic Proof System for Parallel Processes. TARK 1994: 243-254
1993
39 John-Jules Ch. Meyer, Wiebe van der Hoek: A Default Logic Based on Epistemic States. ECSQARU 1993: 265-273
38 Roel Wieringa, John-Jules Ch. Meyer: Actors, Actions, and Initiative in Normative System Specification. Ann. Math. Artif. Intell. 7(1-4): 289-346 (1993)
37 John-Jules Ch. Meyer, Wiebe van der Hoek: Counterfactual Reasoning by (means of) Defaults. Ann. Math. Artif. Intell. 9(3-4): 345-360 (1993)
1992
36 Paul Spruit, Roel Wieringa, John-Jules Ch. Meyer: Dynamic Database Logic: the First-order Case. FMLDO 1992: 103-120
35 Wiebe van der Hoek, John-Jules Ch. Meyer: Graded Modalities in Epistemic Logic. LFCS 1992: 503-514
34 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
33 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)
1991
32 Paul Spruit, John-Jules Ch. Meyer, Roel Wieringa: Discussion Issues for a Working Group on Update Semantics of Logic Databases. FMLDO 1991: 209-210
31 Paul Spruit, John-Jules Ch. Meyer: Declarative Semantics of Passive and Active Updates in Logic Databases. FMLDO 1991: 37-46
30EERoel Wieringa, John-Jules Ch. Meyer: Actor-Oriented Specification of Deontic Integrity Constraints. MFDBS 1991: 89-103
29 John-Jules Ch. Meyer, Roel Wieringa: Actor-Oriented System Specification with Dynamic Logic. TAPSOFT, Vol.2 1991: 337-357
28 Roel Wieringa, Hans Weigand, John-Jules Ch. Meyer, Frank Dignum: The Inheritance of Dynamic and Deontic Integrity Constraints. Ann. Math. Artif. Intell. 3(2-4): 393-428 (1991)
1990
27 John-Jules Ch. Meyer, Wiebe van der Hoek: Non-Monotonic Reasoning by Monotonic Means. JELIA 1990: 399-411
1989
26 John-Jules Ch. Meyer, Erik P. de Vink: Pomset Semantics for True Concurrency with Synchronization and Recursion (Extended Abstract). MFCS 1989: 360-369
25EEJohn-Jules Ch. Meyer, Hans Weigand, Roel Wieringa: A Specification Language for Static, Dynamic and Deontic Integrity Constraints. MFDBS 1989: 347-366
24 John-Jules Ch. Meyer, Ernst-Rüdiger Olderog: Hiding in Stream Semantics of Uniform Concurrency. Acta Inf. 27(5): 381-397 (1989)
23 Roel Wieringa, John-Jules Ch. Meyer, Hans Weigand: Specifying Dynamic and Deontic Integrity Constraints. Data Knowl. Eng. 4: 157-189 (1989)
22 John-Jules Ch. Meyer, Erik P. de Vink: Step Semantics for "True" Concurrency with Recursion. Distributed Computing 3(3): 130-145 (1989)
1988
21 J. W. de Bakker, John-Jules Ch. Meyer: Metric Semantics for Concurrency. BIT 28(3): 504-529 (1988)
20 J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog, Jeffery I. Zucker: Transition Systems, Metric Spaces and Ready Sets in the Semantics of Uniform Concurrency. J. Comput. Syst. Sci. 36(2): 158-224 (1988)
19 John-Jules Ch. Meyer, Erik P. de Vink: Applications of Compactness in the Smyth Powerdomain of Streams. Theor. Comput. Sci. 57: 251-282 (1988)
1987
18 John-Jules Ch. Meyer, Erik P. de Vink: Applications of Compactness in the Smyth Powerdomain of Streams (Extended Abstract). TAPSOFT, Vol.1 1987: 241-255
17 J. W. de Bakker, John-Jules Ch. Meyer: Order and Metric in the Stream Semantics of Elemental Concurrency. Acta Inf. 24(5): 491-511 (1987)
16 John-Jules Ch. Meyer: Process modalities obtained as fixed points (Part one). Bulletin of the EATCS 32: 98-106 (1987)
15 John-Jules Ch. Meyer: Process modalities obtained as fixed points (part 2). Bulletin of the EATCS 33: 71-82 (1987)
14 J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog: Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency. Theor. Comput. Sci. 49: 87-112 (1987)
1986
13 J. W. de Bakker, Joost N. Kok, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog, Jeffery I. Zucker: Contrasting Themes in the Semantics of Imperative Concurrency. Current Trends in Concurrency 1986: 51-122
12 John-Jules Ch. Meyer: Merging Regular Processes by Means of Fixed-Point Theory. Theor. Comput. Sci. 45(2): 193-260 (1986)
1985
11 J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog: Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency. ICALP 1985: 149-157
10 J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog, Jeffery I. Zucker: Transition Systems, Infinitary Languages and the Semantics of Uniform Concurrency STOC 1985: 252-262
1984
9 Jan A. Bergstra, John-Jules Ch. Meyer: On Specifying Sets of Integers. Elektronische Informationsverarbeitung und Kybernetik 20(10/11): 531-541 (1984)
8 J. W. de Bakker, John-Jules Ch. Meyer, Jeffery I. Zucker: On Infinite Computations in Denotational Semantics. Theor. Comput. Sci. 29: 229-230 (1984)
7 J. W. de Bakker, Jan A. Bergstra, Jan Willem Klop, John-Jules Ch. Meyer: Linear Time and Branching Time Semantics for Recursion with Merge. Theor. Comput. Sci. 34: 135-156 (1984)
1983
6 J. W. de Bakker, Jan A. Bergstra, Jan Willem Klop, John-Jules Ch. Meyer: Linear Time and Branching Time Semantics for Recursion with Merge. ICALP 1983: 39-51
5 J. W. de Bakker, John-Jules Ch. Meyer, Jeffery I. Zucker: On Infinite Computations in Denotational Semantics. Theor. Comput. Sci. 26: 53-82 (1983)
1982
4 Jan A. Bergstra, John-Jules Ch. Meyer: A Simple Transfer Lemma for Algebraic Specifications. Inf. Process. Lett. 14(2): 80-85 (1982)
3 Jan A. Bergstra, John-Jules Ch. Meyer: On the Elimination of Iteration Quantifiers in a Fragment of Algorithmic Logic. Theor. Comput. Sci. 21: 269-279 (1982)
1981
2 J. W. de Bakker, Jan Willem Klop, John-Jules Ch. Meyer: Correctness of Programs with Function Procedures. Logic of Programs 1981: 94-112
1 Jan A. Bergstra, John-Jules Ch. Meyer: On the quantifier-free fragment of 'Logic of effective definitions'. Fundam. Inform. 4(4): 935-956 (1981)

Coauthor Index

1Huib Aldewereld [123] [153] [155] [185] [194]
2Natasha Alechina [198] [206] [216]
3Farhad Arbab [205]
4Lacramioara Astefanoaei [204] [205]
5J. W. de Bakker (Jaco de Bakker) [2] [5] [6] [7] [8] [10] [11] [13] [14] [17] [20] [21]
6Jamal Bentahar [131] [133] [139] [150] [168] [169] [177] [178] [183] [184] [189] [212] [217]
7Jan A. Bergstra [1] [3] [4] [6] [7] [9]
8Robbert-Jan Beun [137] [171] [179] [180]
9Frank S. de Boer [61] [64] [66] [67] [68] [69] [71] [72] [73] [76] [77] [80] [81] [82] [83] [86] [87] [88] [90] [91] [92] [95] [96] [99] [110] [114] [116] [119] [121] [132] [135] [143] [156] [158] [167] [173] [174] [176] [204] [205]
10Rafael H. Bordini [161] [162] [200]
11Jan Broersen [85] [93] [98] [101] [125] [127] [207] [209] [211]
12Cristiano Castelfranchi [192]
13Brahim Chaib-draa [131] [133] [139]
14Mehdi Dastani [115] [120] [121] [129] [134] [138] [144] [148] [154] [161] [162] [164] [165] [167] [172] [173] [174] [181] [186] [188] [196] [197] [198] [199] [200] [204] [205] [206] [210] [213] [216]
15Jurriaan van Diggelen [137] [171] [179] [180]
16Frank Dignum (F. P. M. Dignum) [28] [52] [56] [65] [102] [105] [115] [120] [121] [125] [127] [128] [129] [130] [134] [137] [138] [145] [147] [149] [151] [152] [153] [155] [157] [166] [171] [179] [180] [181] [185] [187] [190] [193] [194] [195] [201] [208] [213] [214] [215]
17Virginia Dignum [102] [105] [108] [125] [127]
18Clare Dixon [84] [94]
19Patrick Doherty [59] [191]
20Hans-Dieter Ehrich [117] [141]
21Rogier M. van Eijk [64] [66] [67] [71] [72] [76] [77] [80] [81] [86] [87] [90] [91] [92] [110] [114] [116] [119] [137] [143] [171] [179] [180]
22Michael Fisher [84] [94]
23Lou Goble [175] [202]
24Lluis Godo [44]
25Davide Grossi [128] [130] [147] [151] [157] [166] [187] [193] [201]
26Paul Harrenstein [106] [113]
27Koen V. Hindriks [61] [68] [69] [73] [82] [83] [88] [90] [96] [99] [160] [176]
28Dirk Hobo [197]
29Wiebe van der Hoek [27] [33] [34] [35] [37] [39] [41] [42] [43] [44] [45] [47] [48] [49] [50] [51] [54] [57] [58] [61] [62] [63] [64] [66] [67] [68] [69] [71] [72] [73] [74] [76] [77] [79] [80] [81] [82] [83] [84] [86] [87] [88] [90] [91] [92] [94] [95] [96] [99] [103] [106] [107] [110] [111] [112] [113] [114] [119] [122] [123] [143] [176]
30Arjen Hommersom [142]
31M. van Hulst [34] [40]
32Joris Hulstijn [134] [138]
33Ullrich Hustadt [84] [94]
34Geert Jonker [149] [152] [195] [215]
35Jan Willem Klop [2] [6] [7]
36Fernando Koch [145]
37Joost N. Kok [13]
38Ruurd Kuiper [56]
39Jihad Labban [177]
40Henk-Jan Lebbink [124] [140]
41J. C. van Leeuwen [55]
42Yves Lespérance [168]
43Bernd van Linder [42] [43] [45] [48] [49] [50] [51] [57] [58] [63] [74] [79]
44Brian Logan [198] [206] [216]
45Rosja Mastop [207] [209] [211]
46Mohamed Mbarki [212]
47Bernard Moulin [131] [133] [139] [150] [168] [169] [189] [212]
48Martijn Neef [190]
49Ernst-Rüdiger Olderog [10] [11] [13] [14] [20] [24]
50Cees Pierik [116]
51Henry Prakken [214]
52Iyad Rahwan [145]
53M. Birna van Riemsdijk (Birna van Riemsdijk) [103] [115] [122] [129] [132] [134] [135] [144] [148] [154] [156] [158] [164] [167] [170] [172] [173] [174] [196]
54Jan-Willem Roorda [107] [111]
55Lambèr M. M. Royakkers [128]
56Mark Ryan (Mark Dermot Ryan) [117] [141]
57Renate A. Schmidt [84] [94]
58Pierre-Yves Schobbens [60] [78]
59Carles Sierra [44]
60Michal P. Sindlar [213]
61Paul Spruit [31] [32] [36] [46] [89]
62Bas R. Steunebrink [181] [199] [210]
63Milind Tambe [97] [109]
64Nick A. M. Tinnemeier [188]
65Nick Tinnermeier [205]
66Francesca Toni [177]
67Jan Treur [41] [62] [112]
68Paolo Turrini [192] [207] [209] [211]
69Javier Vázquez-Salceda [153] [155]
70Bob van der Vecht [190] [208]
71N. L. Vergunst [181]
72Erik P. de Vink [18] [19] [22] [26] [142]
73Gerard Vreeswijk [214]
74Wieke de Vries [95] [96] [143]
75Wei Wan [217]
76Thomas L. van der Weide [214]
77Hans Weigand [23] [25] [28] [102] [105] [108]
78Roel Wieringa [23] [25] [28] [29] [30] [32] [36] [38] [46] [52] [53] [56] [65] [85] [89] [93] [98] [101]
79Cilia Witteman (C. L. M. Witteman) [124] [140]
80Cees Witteveen [106] [113]
81Jeffery I. Zucker [5] [8] [10] [13] [20]
82P. d'Altan [53]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)