John-Jules Ch. Meyer Home Page Coauthor index DBLP Vis pubzone.org

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

DBLP keys2009
242Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn-Jules Ch. Meyer, Jan Broersen: Knowledge Representation for Agents and Multi-Agent Systems, First International Workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008, Revised Selected Papers Springer 2009
241Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNick A. M. Tinnemeier, Mehdi Dastani, John-Jules Ch. Meyer: Roles and norms for programming agent organizations. AAMAS (1) 2009: 121-128
240Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaaike Harbers, Karel van den Bosch, John-Jules Ch. Meyer: A methodology for developing self-explaining agents for virtual training. AAMAS (2) 2009: 1129-1130
239Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichal P. Sindlar, Mehdi Dastani, Frank Dignum, John-Jules Ch. Meyer: Explaining and Predicting the Behavior of BDI-Based Agents in Role-Playing Games. DALT 2009: 174-191
238Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBas R. Steunebrink, Mehdi Dastani, John-Jules Ch. Meyer: A Formal Model of Emotion-Based Action Tendency for Intelligent Agents. EPIA 2009: 174-186
237Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNick A. M. Tinnemeier, Mehdi Dastani, John-Jules Ch. Meyer, Leendert W. N. van der Torre: Programming Normative Artifacts with Declarative Obligations and Prohibitions. IAT 2009: 145-152
236Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaaike Harbers, Karel van den Bosch, John-Jules Ch. Meyer: Modeling Agents with a Theory of Mind. IAT 2009: 217-224
235Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBob van der Vecht, Frank Dignum, John-Jules Ch. Meyer: Autonomy and Coordination: Controlling External Influences on Decision Making. IAT 2009: 92-95
234Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaaike Harbers, Karel van den Bosch, John-Jules Ch. Meyer: A Study into Preferred Explanations of Virtual Agent Behavior. IVA 2009: 132-145
233Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichal P. Sindlar, Mehdi Dastani, John-Jules Ch. Meyer: BDI-Based Development of Virtual Characters with a Theory of Mind. IVA 2009: 34-41
232Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmiliano Lorini, Mehdi Dastani, Hans P. van Ditmarsch, Andreas Herzig, John-Jules Ch. Meyer: Intentions and Assignments. LORI 2009: 198-211
231Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Turrini, Jan Broersen, Rosja Mastop, John-Jules Ch. Meyer: An Update Operator for Strategic Ability. LORI 2009: 292-301
230Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaaike Harbers, Karel van den Bosch, John-Jules Ch. Meyer: A Methodology for Developing Self-Explaining Agents for Virtual Training. MALLOW 2009
229Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWillem-Paul Brinkman, Joost Broekens, Catholijn M. Jonker, John-Jules Ch. Meyer: Getting a Grip on Emotions in Negotiations: The Possibilities of ICT. Web Intelligence/IAT Workshops 2009: 345-348
228Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini: Strategic Ability Update: A Modal Logic Account. Web Intelligence/IAT Workshops 2009: 470-473
227Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLM. Birna van Riemsdijk, Mehdi Dastani, John-Jules Ch. Meyer: Goals in conflict: semantic foundations of goals in agent programming. Autonomous Agents and Multi-Agent Systems 18(3): 471-500 (2009)
226Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKoen V. Hindriks, John-Jules Ch. Meyer: Toward a programming theory for rational agents. Autonomous Agents and Multi-Agent Systems 19(1): 4-29 (2009)
225Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLacramioara Astefanoaei, Mehdi Dastani, John-Jules Ch. Meyer, Frank S. de Boer: On the Semantics and Verification of Normative Multi-Agent Systems. J. UCS 15(13): 2629-2652 (2009)
224Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJamal Bentahar, John-Jules Ch. Meyer, Wei Wan: Model checking communicative agent-based systems. Knowl.-Based Syst. 22(3): 142-159 (2009)
2008
223Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNatasha Alechina, Brian Logan, Mehdi Dastani, John-Jules Ch. Meyer: Reasoning about agent execution strategies. AAMAS (3) 2008: 1455-1458
222Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeert Jonker, Frank Dignum, John-Jules Ch. Meyer: Achieving efficient and equitable collaboration among selfish agents using spender-signed currency. AAMAS (3) 2008: 1581-1584
221Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas L. van der Weide, Frank Dignum, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk: Personality-Based Practical Reasoning. ArgMAS 2008: 3-18
220Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBob van der Vecht, Frank Dignum, John-Jules Ch. Meyer, Virginia Dignum: Organizations and Autonomous Agents: Bottom-Up Dynamics of Coordination Mechanisms. COIN@AAMAS&AAAI 2008: 17-32
219Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichal P. Sindlar, Mehdi Dastani, Frank Dignum, John-Jules Ch. Meyer: Mental State Abduction of BDI-Based Agents. DALT 2008: 161-178
218Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJamal Bentahar, Mohamed Mbarki, John-Jules Ch. Meyer, Bernard Moulin: Strategic Agent Communication: An Argumentation-Driven Approach. DALT 2008: 233-250
217Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini: A Deontic Logic for Socially Optimal Norms. DEON 2008: 218-232
216Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBas R. Steunebrink, Mehdi Dastani, John-Jules Ch. Meyer: A Formal Model of Emotions: Integrating Qualitative and Quantitative Aspects. ECAI 2008: 256-260
215Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini: Organizing Coherent Coalitions. ECAI 2008: 879-880
214Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBob van der Vecht, Frank Dignum, John-Jules Ch. Meyer: Magic Agents: Using Information Relevance to Control Autonomy. ECAI 2008: 889-890
213no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaaike Harbers, Karel van den Bosch, Frank Dignum, John-Jules Ch. Meyer: A Cognitive Model for the Generation and Explanation of Behaviour in Virtual Training Systems. ExaCt 2008: 96-107
212no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBas R. Steunebrink, Nieske L. Vergunst, Christian P. Mol, Frank Dignum, Mehdi Dastani, John-Jules Ch. Meyer: A Generic Architecture for a Companion Robot. ICINCO-RA (2) 2008: 315-321
211Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini: A Logic for Closed-World Interaction. JELIA 2008: 89-99
210no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNatasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer: Reasoning about Agent Deliberation. KR 2008: 16-26
209Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMehdi Dastani, Davide Grossi, John-Jules Ch. Meyer, Nick A. M. Tinnemeier: Normative Multi-agent Programs and Their Logics. KRAMAS 2008: 16-31
208Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad Arbab, Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer, Nick A. M. Tinnemeier: Reo Connectors as Coordination Artifacts in 2APL Systems. PRIMA 2008: 42-53
207Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLacramioara Astefanoaei, Mehdi Dastani, John-Jules Ch. Meyer, Frank S. de Boer: A Verification Framework for Normative Multi-Agent Systems. PRIMA 2008: 54-65
206Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNick A. M. Tinnemeier, Mehdi Dastani, John-Jules Ch. Meyer: Orwell's Nightmare for Agents? Programming Multi-agent Organisations. ProMAS 2008: 56-71
205Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn-Jules Ch. Meyer: Agent Technology. Wiley Encyclopedia of Computer Science and Engineering 2008
204Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLou Goble, John-Jules Ch. Meyer: Editorial. J. Applied Logic 6(2): 133-134 (2008)
203Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavide 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
202no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRafael 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
201no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBas R. Steunebrink, Mehdi Dastani, John-Jules Ch. Meyer: A Logic of Emotions for Intelligent Agents. AAAI 2007: 142-147
200no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNatasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer: A Logic of Agent Programs. AAAI 2007: 795-800
199Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMehdi Dastani, Dirk Hobo, John-Jules Ch. Meyer: Practical extensions in agent programming languages. AAMAS 2007: 138
198Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMehdi Dastani, M. Birna van Riemsdijk, John-Jules Ch. Meyer: A grounded specification language for agent programs. AAMAS 2007: 147
197Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeert Jonker, Frank Dignum, John-Jules Ch. Meyer: Achieving cooperation among selfish agents in the air traffic management domain using signed money. AAMAS 2007: 213
196Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHuib Aldewereld, Frank Dignum, John-Jules Ch. Meyer: Designing protocols for agent institutions. AAMAS 2007: 31
195Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavide Grossi, Frank Dignum, John-Jules Ch. Meyer: A formal road from institutional norms to organizational structures. AAMAS 2007: 89
194Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Turrini, John-Jules Ch. Meyer, Cristiano Castelfranchi: Rational Agents That Blush. ACII 2007: 314-325
193Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Doherty, John-Jules Ch. Meyer: Towards a Delegation Framework for Aerial Robotic Mission Scenarios. CIA 2007: 5-26
192Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBob van der Vecht, Frank Dignum, John-Jules Ch. Meyer, Martijn Neef: A Dynamic Coordination Mechanism Using Adjustable Autonomy. COIN 2007: 83-96
191Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJamal Bentahar, John-Jules Ch. Meyer, Bernard Moulin: Securing Agent-Oriented Systems: An Argumentation and Reputation-based Approach. ITNG 2007: 507-515
190Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNick A. M. Tinnemeier, Mehdi Dastani, John-Jules Ch. Meyer: Goal Selection Strategies for Rational Agents. LADS 2007: 54-70
189Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavide Grossi, John-Jules Ch. Meyer, Frank Dignum: On the Logic of Constitutive Rules. Normative Multi-agent Systems 2007
188Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMehdi Dastani, John-Jules Ch. Meyer: A Practical Agent Programming Language. PROMAS 2007: 107-123
187Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHuib Aldewereld, Frank Dignum, John-Jules Ch. Meyer: From Norms to Interaction Patterns: Deriving Protocols for Agent Institutions. PROMAS 2007: 57-72
186no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJamal Bentahar, John-Jules Ch. Meyer: A New Quantitative Trust Model for Negotiating Agents. RCIS 2007: 39-50
185no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJamal Bentahar, John-Jules Ch. Meyer: Model Checking Communicative Agent-Based Systems. SoMeT 2007: 239-265
184Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn-Jules Ch. Meyer: Our Quest for the Holy Grail of Agent Verification. TABLEAUX 2007: 2-9
183Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNieske 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
182Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJurriaan 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)
181Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJurriaan 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)
180Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJamal Bentahar, John-Jules Ch. Meyer: A New Quantitative Trust Model for Negotiating Agents using Argumentation. IJCSA 4(2): 1-21 (2007)
179Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJamal Bentahar, Francesca Toni, John-Jules Ch. Meyer, Jihad Labban: A security framework for agent-based systems. IJWIS 3(4): 341-362 (2007)
178Electronic 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)
2006
177no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLou 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
176Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLM. Birna van Riemsdijk, Mehdi Dastani, John-Jules Ch. Meyer, Frank S. de Boer: Goal-oriented modularity in agent programming. AAMAS 2006: 1271-1278
175Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLM. 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
174Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMehdi Dastani, M. Birna van Riemsdijk, John-Jules Ch. Meyer: Goal types in agent programming. AAMAS 2006: 1285-1287
173Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJurriaan 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
172Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJurriaan van Diggelen, Robbert-Jan Beun, Frank Dignum, Rogier M. van Eijk, John-Jules Ch. Meyer: Combining Normal Communication with Ontology Alignment. AC 2006: 181-195
171Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenk-Jan Lebbink, Cilia Witteman, John-Jules Ch. Meyer: Can I Please Drop It? Dialogues About Belief Contraction. AC 2006: 227-242
170Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLM. Birna van Riemsdijk, John-Jules Ch. Meyer: A Compositional Semantics of Plan Revision in Intelligent Agents. AMAST 2006: 353-367
169Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer: A New Model Checking Approach for Verifying Agent Communication Protocols. CCECE 2006: 1586-1590
168Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Yves Lespérance: A New Logical Semantics for Agent Communication. CLIMA VII 2006: 151-170
167Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLM. 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
166Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavide Grossi, John-Jules Ch. Meyer, Frank Dignum: Counts-as: Classification or Constitution? An Answer Using Modal Logic. DEON 2006: 115-130
165no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMehdi Dastani, John-Jules Ch. Meyer: Programming Agents with Emotions. ECAI 2006: 215-219
164no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMehdi Dastani, M. Birna van Riemsdijk, John-Jules Ch. Meyer: Goal Types in Agent Programming. ECAI 2006: 220-224
163Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn-Jules Ch. Meyer: Going beyond BDI: Programming 'BDI+' Agents. EUMAS 2006
162Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMehdi 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
161Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMehdi 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
160Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKoen V. Hindriks, John-Jules Ch. Meyer: Agent Logics as Program Logics: Grounding KARO. KI 2006: 404-418
159Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn-Jules Ch. Meyer: Reasoning about emotional agents. Int. J. Intell. Syst. 21(6): 601-619 (2006)
158Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLM. 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)
157Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavide 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)
156Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLM. 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
155Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHuib Aldewereld, Javier Vázquez-Salceda, Frank Dignum, John-Jules Ch. Meyer: Norm compliance of protocols in electronic institutions. AAMAS 2005: 1291-1292
154Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBirna van Riemsdijk, Mehdi Dastani, John-Jules Ch. Meyer: Semantics of declarative goals in agent programming. AAMAS 2005: 133-140
153Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHuib Aldewereld, Javier Vázquez-Salceda, Frank Dignum, John-Jules Ch. Meyer: Verifying Norm Compliancy of Protocols. AAMAS Workshops 2005: 231-245
152no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeert Jonker, John-Jules Ch. Meyer, Frank Dignum: Efficiency and Fairness in Air Traffic Control. BNAIC 2005: 151-157
151Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavide Grossi, Frank Dignum, John-Jules Ch. Meyer: Contextual Terminologies. CLIMA VI 2005: 284-302
150Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer: A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication. DALT 2005: 223-244
149Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeert Jonker, John-Jules Ch. Meyer, Frank Dignum: Towards a Market Mechanism for Airport Traffic Control. EPIA 2005: 500-511
148Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLM. Birna van Riemsdijk, Mehdi Dastani, John-Jules Ch. Meyer: Subgoal Semantics in Agent Programming. EPIA 2005: 548-559
147no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavide 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
146Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn-Jules Ch. Meyer: Programming Cognitive Agents. MATES 2005: 27-34
145Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFernando Koch, John-Jules Ch. Meyer, Frank Dignum, Iyad Rahwan: Programming Deliberative Agents for Mobile Services: The 3APL-M Platform. PROMAS 2005: 222-235
144no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMehdi Dastani, M. Birna van Riemsdijk, John-Jules Ch. Meyer: Programming Multi-Agent Systems in 3APL. Multi-Agent Programming 2005: 39-67
143Electronic 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)
142Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArjen 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
141no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark 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
140Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenk-Jan Lebbink, Cilia Witteman, John-Jules Ch. Meyer: A Dialogue Game to Offer an Agreement to Disagree. AAMAS 2004: 1238-1239
139Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJamal 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
138Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMehdi Dastani, Joris Hulstijn, Frank Dignum, John-Jules Ch. Meyer: Issues in Multiagent System Development. AAMAS 2004: 922-929
137Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJurriaan 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
136Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn-Jules Ch. Meyer: Agent-Oriented Programming: Where Do We Stand?. AMAST 2004: 23-26
135Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBirna van Riemsdijk, John-Jules Ch. Meyer, Frank S. de Boer: Semantics of Plan Revision in Intelligent Agents. AMAST 2004: 426-442
134Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMehdi Dastani, Birna van Riemsdijk, Joris Hulstijn, Frank Dignum, John-Jules Ch. Meyer: Enacting and Deacting Roles in Agent Programming. AOSE 2004: 189-204
133Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJamal 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
132Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLM. Birna van Riemsdijk, Frank S. de Boer, John-Jules Ch. Meyer: Dynamic Logic for Plan Revision in Intelligent Agents. CLIMA V 2004: 16-32
131Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Brahim Chaib-draa: A Computational Model for Conversation Policies for Agent Communication. CLIMA V 2004: 178-195
130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavide Grossi, Frank Dignum, John-Jules Ch. Meyer: Contextual Taxonomies. CLIMA V 2004: 33-51
129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBirna van Riemsdijk, Mehdi Dastani, Frank Dignum, John-Jules Ch. Meyer: Dynamics of Declarative Goals in Agent Programming. DALT 2004: 1-18
128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavide Grossi, Frank Dignum, Lambèr M. M. Royakkers, John-Jules Ch. Meyer: Collective Obligations and Agents: Who Gets the Blame? DEON 2004: 129-145
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Broersen, Frank Dignum, Virginia Dignum, John-Jules Ch. Meyer: Designing a Deontic Logic of Deadlines. DEON 2004: 43-56
126no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn-Jules Ch. Meyer: Reasoning about Emotional Agents. ECAI 2004: 129-133
125Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Dignum, Jan Broersen, Virginia Dignum, John-Jules Ch. Meyer: Meeting the Deadline: Why, When and How. FAABS 2004: 30-40
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenk-Jan Lebbink, Cilia Witteman, John-Jules Ch. Meyer: A Dialogue Game to Offer an Agreement to Disagree. PROMAS 2004: 199-223
123Electronic 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)
2003
122Electronic 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
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMehdi 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
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMehdi Dastani, Frank Dignum, John-Jules Ch. Meyer: Autonomy and Agent Deliberation. Agents and Computational Autonomy 2003: 114-127
119Electronic 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
118no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn-Jules Ch. Meyer: Intelligent Agents: Issues and Logics. Logics for Emerging Applications of Databases 2003: 131-165
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn-Jules Ch. Meyer, Mark Dermot Ryan, Hans-Dieter Ehrich: Objects, Agents, and Features: An Introduction. Objects, Agents, and Features 2003: 1-7
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Cees Pierik, Rogier M. van Eijk, John-Jules Ch. Meyer: Coordinating Agents in OO. Objects, Agents, and Features 2003: 8-25
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMehdi Dastani, Birna van Riemsdijk, Frank Dignum, John-Jules Ch. Meyer: A Programming Language for Cognitive Agents Goal Directed 3APL. PROMAS 2003: 111-130
114no 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: A Verification Framework for Agent Communication. Autonomous Agents and Multi-Agent Systems 6(2): 185-219 (2003)
113Electronic 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)
112Electronic 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)
111Electronic 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)
110no 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: A fully abstract model for the exchange of information in multi-agent systems. Theor. Comput. Sci. 290(3): 1753-1773 (2003)
2002
109no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn-Jules Ch. Meyer, Milind Tambe: Intelligent Agents VIII, 8th International Workshop, ATAL 2001 Seattle, WA, USA, August 1-3, 2001, Revised Papers Springer 2002
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVirginia Dignum, John-Jules Ch. Meyer, Hans Weigand: Towards an organizational model for agent societies using contracts. AAMAS 2002: 694-695
107Electronic 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
106no 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
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans 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
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn-Jules Ch. Meyer: Tools and Education towards Formal Methods Practice. FAABS 2002: 274-279
103Electronic 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
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVirginia Dignum, John-Jules Ch. Meyer, Frank Dignum, Hans Weigand: Formal Specification of Interaction in Agent Societies. FAABS 2002: 37-52
101no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Broersen, John-Jules Ch. Meyer, Roel Wieringa: The mutual exclusion problem in reasoning about action and change. NMR 2002: 365-371
100no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn-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)
99Electronic 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)
98no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan 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
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn-Jules Ch. Meyer, Milind Tambe: Introduction. ATAL 2001: 1-5
96Electronic 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
95Electronic 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
94Electronic 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
93no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan 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)
92no 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: On dynamically generated ontology translators in agent communication. Int. J. Intell. Syst. 16(5): 587-607 (2001)
91Electronic 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)
90Electronic 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): (2001)
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Spruit, Roel Wieringa, John-Jules Ch. Meyer: Regular database update logics. Theor. Comput. Sci. 254(1-2): 591-661 (2001)
2000
88Electronic 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
87Electronic 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
86Electronic 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
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Broersen, Roel Wieringa, John-Jules Ch. Meyer: A Semantics for Persistency in Propositional Dynamic Logic. Computational Logic 2000: 912-925
84Electronic 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
83Electronic 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
82no EE 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
81no 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: Operational Semantics for Agent Communication Languages. Issues in Agent Communication 2000: 80-95
80Electronic 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
79no EE 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
78no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn-Jules Ch. Meyer, Pierre-Yves Schobbens: Formal Models of Agents, ESPRIT Project ModelAge Final Workshop, Selected Papers Springer 1999
77no 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: Open Multi-agent Systems: Agent Communication and Integration. ATAL 1999: 218-232
76no 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
75no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn-Jules Ch. Meyer: Keynote Address: Formal and Informal Aspects of Intelligent Agent-based Systems. ISCO 1999: 299-310
74Electronic 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)
73no EE 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
72Electronic 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
71no 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. ATAL 1998: 29-45
70no EE pubzone.org CiteSeerX Google scholar BibTeX