John-Jules Ch. Meyer 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
271Electronic 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
2011
270Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichal P. Sindlar, Mehdi Dastani, John-Jules Ch. Meyer: Programming mental state abduction. AAMAS 2011: 301-308
269Electronic 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: Multi-criteria argument selection in persuasion dialogues. AAMAS 2011: 921-928
268Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarieke Peeters, Karel van den Bosch, John-Jules Ch. Meyer, Mark A. Neerincx: Scenario-Based Training: Director's Cut. AIED 2011: 264-271
267Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeo de Penning, Artur S. d'Avila Garcez, Luís C. Lamb, John-Jules Ch. Meyer: A Neural-Symbolic Cognitive Agent for Online Learning and Reasoning. IJCAI 2011: 1653-1658
266Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoost Broekens, Maaike Harbers, Willem-Paul Brinkman, Catholijn M. Jonker, Karel van den Bosch, John-Jules Ch. Meyer: Validity of a Virtual Negotiation Training. IVA 2011: 435-436
265no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaaike Harbers, Karel van den Bosch, John-Jules Ch. Meyer: A Theoretical Framework for Explaining Agent Behavior. SIMULTECH 2011: 228-231
264Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaaike Harbers, Jeffrey M. Bradshaw, Matthew Johnson, Paul J. Feltovich, Karel van den Bosch, John-Jules Ch. Meyer: Explanation and Coordination in Human-Agent Teams: A Study in the BW4T Testbed. Web Intelligence/IAT Workshops 2011: 17-20
263Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNatasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer: Reasoning about agent deliberation. Autonomous Agents and Multi-Agent Systems 22(2): 356-381 (2011)
262Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNatasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer: Reasoning about plan revision in BDI agent programs. Theor. Comput. Sci. 412(44): 6115-6134 (2011)
2010
261Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNick A. M. Tinnemeier, Mehdi Dastani, John-Jules Ch. Meyer: Programming norm change. AAMAS 2010: 957-964
260Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBas R. Steunebrink, Mehdi Dastani, John-Jules Ch. Meyer: Emotions to control agent deliberation. AAMAS 2010: 973-980
259Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEric M. Kok, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk: A Formal Argumentation Framework for Deliberation Dialogues. ArgMAS 2010: 31-48
258Electronic 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: Arguing about Preferences and Decisions. ArgMAS 2010: 68-85
257Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Turrini, Davide Grossi, Jan Broersen, John-Jules Ch. Meyer: Forbidding Undesirable Agreements: A Dependence-Based Approach to the Regulation of Multi-agent Systems. DEON 2010: 306-322
256Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichal P. Sindlar, Mehdi Dastani, John-Jules Ch. Meyer: Mental State Ascription Using Dynamic Logic. ECAI 2010: 561-566
255Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaaike Harbers, Karel van den Bosch, John-Jules Ch. Meyer: Design and Evaluation of Explainable BDI Agents. IAT 2010: 125-132
254Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoost Broekens, Maaike Harbers, Koen V. Hindriks, Karel van den Bosch, Catholijn M. Jonker, John-Jules Ch. Meyer: Do You Get It? User-Evaluated Explainable BDI Agents. MATES 2010: 28-39
253Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichal P. Sindlar, John-Jules Ch. Meyer: Affordance-Based Intention Recognition in Virtual Spatial Environments. PRIMA 2010: 304-319
252Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Turrini, John-Jules Ch. Meyer, Cristiano Castelfranchi: Coping with shame and sense of guilt: a Dynamic Logic Account. Autonomous Agents and Multi-Agent Systems 20(3): 401-420 (2010)
251Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMehdi Dastani, John-Jules Ch. Meyer: Agents with emotions. Int. J. Intell. Syst. 25(7): 636-654 (2010)
250Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaaike Harbers, John-Jules Ch. Meyer, Karel van den Bosch: Explaining Simulations Through Self Explaining Agents. J. Artificial Societies and Social Simulation 13(1): (2010)
249Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoost Broekens, Catholijn M. Jonker, John-Jules Ch. Meyer: Affective negotiation support systems. JAISE 2(2): 121-144 (2010)
2009
248Electronic 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
247Electronic 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
246Electronic 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
245Electronic 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: Practical Reasoning Using Values. ArgMAS 2009: 79-93
244Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLouise A. Dennis, Nick A. M. Tinnemeier, John-Jules Ch. Meyer: Model Checking Normative Agent Organisations. CLIMA 2009: 64-82
243Electronic 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
242Electronic 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
241Electronic 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
240Electronic 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
239Electronic 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
238Electronic 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
237Electronic 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
236Electronic 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. LADS 2009: 168-182
235Electronic 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
234Electronic 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
233Electronic 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
232Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMehdi Dastani, Jaap Brandsema, Amco Dubel, John-Jules Ch. Meyer: Debugging BDI-Based Multi-Agent Programs. PROMAS 2009: 151-169
231Electronic 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
230Electronic 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
229Electronic 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)
228Electronic 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)
227Electronic 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)
226Electronic 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)
225Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini: Determining the environment: a modal logic for closed interaction. Synthese 169(2): 351-369 (2009)
2008
224Electronic 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
223Electronic 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
222Electronic 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
221Electronic 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
220Electronic 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
219Electronic 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
218Electronic 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
217Electronic 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
216Electronic 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
215Electronic 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
214no 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
213no 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
212Electronic 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
211no 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
210Electronic 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
209Electronic 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
208Electronic 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
207Electronic 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
206Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn-Jules Ch. Meyer: Agent Technology. Wiley Encyclopedia of Computer Science and Engineering 2008
205Electronic 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)
204Electronic 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
203no 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
202no 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
201no 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
200Electronic 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
199Electronic 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
198Electronic 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
197Electronic 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
196Electronic 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
195Electronic 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
194Electronic 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
193Electronic 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
192Electronic 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
191Electronic 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
190Electronic 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
189Electronic 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
188Electronic 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
187no 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
186Electronic Edition 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
185Electronic 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
184Electronic 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
183Electronic 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)
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: goals, requirements and implementation. IJAOSE 1(1): 63-90 (2007)
181Electronic 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)
180Electronic 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)
179Electronic 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
178no 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
177Electronic 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
176Electronic 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
175Electronic 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
174Electronic 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
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: Combining Normal Communication with Ontology Alignment. AC 2006: 181-195
172Electronic 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
171Electronic 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
170Electronic 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
169Electronic 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 2006: 151-170
168Electronic 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 2006: 95-114
167Electronic 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
166Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMehdi Dastani, John-Jules Ch. Meyer: Programming Agents with Emotions. ECAI 2006: 215-219
165Electronic 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. ECAI 2006: 220-224
164Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn-Jules Ch. Meyer: Going beyond BDI: Programming 'BDI+' Agents. EUMAS 2006
163Electronic 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
162Electronic 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
161Electronic 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
160Electronic 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)
159Electronic 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)
158Electronic 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)
157Electronic 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
156Electronic 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
155Electronic 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
154Electronic 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
153no 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
152Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavide Grossi, Frank Dignum, John-Jules Ch. Meyer: Contextual Terminologies. CLIMA 2005: 284-302
151Electronic 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
150Electronic 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
149Electronic 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
148no 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
147Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn-Jules Ch. Meyer: Programming Cognitive Agents. MATES 2005: 27-34
146Electronic 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
145no 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
144Electronic 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)
143Electronic 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
142no 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
141Electronic 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
140Electronic 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
139Electronic 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
138Electronic 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
137Electronic 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
136Electronic 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
135Electronic 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
134Electronic 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
133Electronic 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 2004: 16-32
132Electronic 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 2004: 178-195
131Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavide Grossi, Frank Dignum, John-Jules Ch. Meyer: Contextual Taxonomies. CLIMA 2004: 33-51
130Electronic 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
129Electronic 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
128Electronic 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
127no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn-Jules Ch. Meyer: Reasoning about Emotional Agents. ECAI 2004: 129-133
126Electronic 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
125Electronic 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
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenk-Jan Lebbink, Cilia Witteman, John-Jules Ch. Meyer: Dialogue Games for Inconsistent and Biased Information. Electr. Notes Theor. Comput. Sci. 85(2): 134-151 (2004)
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
114Electronic 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)
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)
110Electronic 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
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
100Electronic Edition 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
93Electronic Edition 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)
92Electronic 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)
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): 245-256 (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
82Electronic 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
81Electronic 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
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
79Electronic 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
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
77Electronic 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
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)
73Electronic 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
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
71Electronic 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
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn-Jules Ch. Meyer: Agent Languages and Their Relationship to Other Programming Paradigms. ATAL 1998: 309-316
69Electronic 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
68Electronic 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
67no 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
66no 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
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn-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
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: Translations of Vocabularies in Systems of Communicating Agents. Electr. Notes Theor. Comput. Sci. 16(1): 23 (1998)
63Electronic 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)
62Electronic 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
61Electronic 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
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn-Jules Ch. Meyer, Pierre-Yves Schobbens: Formal Models of Agents: An Introduction. ModelAge Workshop 1997: 1-7
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn-Jules Ch. Meyer, Patrick Doherty: Preferential Action Semantics (Preliminary Report). ModelAge Workshop 1997: 187-201
58Electronic 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)
57Electronic 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
56no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank 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
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn-Jules Ch. Meyer, J. C. van Leeuwen: Possible World Semantics for Analogous Reasoning. FAPR 1996: 414-429
54Electronic 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)
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLP. 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)
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Dignum, John-Jules Ch. Meyer, Roel Wieringa: Free Choice and Contextually Permitted Actions. Studia Logica 57(1): 193-220 (1996)
1995
51Electronic 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
50Electronic 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
49Electronic 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
48Electronic 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
47Electronic 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)
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul 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
45no 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
44Electronic 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
43Electronic 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
42Electronic 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
41Electronic 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
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLM. van Hulst, John-Jules Ch. Meyer: An Epistemic Proof System for Parallel Processes. TARK 1994: 243-254
1993
39Electronic 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
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoel Wieringa, John-Jules Ch. Meyer: Actors, Actions, and Initiative in Normative System Specification. Ann. Math. Artif. Intell. 7(1-4): 289-346 (1993)
37Electronic 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)
1992
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Spruit, Roel Wieringa, John-Jules Ch. Meyer: Dynamic Database Logic: the First-order Case. FMLDO 1992: 103-120
35Electronic 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
34Electronic 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
33no 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)
1991
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Spruit, John-Jules Ch. Meyer, Roel Wieringa: Discussion Issues for a Working Group on Update Semantics of Logic Databases. FMLDO 1991: 209-210
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Spruit, John-Jules Ch. Meyer: Declarative Semantics of Passive and Active Updates in Logic Databases. FMLDO 1991: 37-46
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoel Wieringa, John-Jules Ch. Meyer: Actor-Oriented Specification of Deontic Integrity Constraints. MFDBS 1991: 89-103
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn-Jules Ch. Meyer, Roel Wieringa: Actor-Oriented System Specification with Dynamic Logic. TAPSOFT, Vol.2 1991: 337-357
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoel 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
27Electronic 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
1989
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn-Jules Ch. Meyer, Erik P. de Vink: Pomset Semantics for True Concurrency with Synchronization and Recursion (Extended Abstract). MFCS 1989: 360-369
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn-Jules Ch. Meyer, Hans Weigand, Roel Wieringa: A Specification Language for Static, Dynamic and Deontic Integrity Constraints. MFDBS 1989: 347-366
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn-Jules Ch. Meyer, Ernst-Rüdiger Olderog: Hiding in Stream Semantics of Uniform Concurrency. Acta Inf. 27(5): 381-397 (1989)
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoel Wieringa, John-Jules Ch. Meyer, Hans Weigand: Specifying Dynamic and Deontic Integrity Constraints. Data Knowl. Eng. 4: 157-189 (1989)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn-Jules Ch. Meyer, Erik P. de Vink: Step Semantics for "True" Concurrency with Recursion. Distributed Computing 3(3): 130-145 (1989)
1988
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJ. W. de Bakker, John-Jules Ch. Meyer: Metric Semantics for Concurrency. BIT 28(3): 504-529 (1988)
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJ. 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)
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn-Jules Ch. Meyer, Erik P. de Vink: Applications of Compactness in the Smyth Powerdomain of Streams. Theor. Comput. Sci. 57: 251-282 (1988)
1987
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn-Jules Ch. Meyer, Erik P. de Vink: Applications of Compactness in the Smyth Powerdomain of Streams (Extended Abstract). TAPSOFT, Vol.1 1987: 241-255
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJ. W. de Bakker, John-Jules Ch. Meyer: Order and Metric in the Stream Semantics of Elemental Concurrency. Acta Inf. 24(5): 491-511 (1987)
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn-Jules Ch. Meyer: Process modalities obtained as fixed points (Part one). Bulletin of the EATCS 32: 98-106 (1987)
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn-Jules Ch. Meyer: Process modalities obtained as fixed points (part 2). Bulletin of the EATCS 33: 71-82 (1987)
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJ. 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
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJ. 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
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn-Jules Ch. Meyer: Merging Regular Processes by Means of Fixed-Point Theory. Theor. Comput. Sci. 45(2): 193-260 (1986)
1985
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJ. 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
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJ. 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
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan A. Bergstra, John-Jules Ch. Meyer: On Specifying Sets of Integers. Elektronische Informationsverarbeitung und Kybernetik 20(10/11): 531-541 (1984)
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJ. W. de Bakker, John-Jules Ch. Meyer, Jeffery I. Zucker: On Infinite Computations in Denotational Semantics. Theor. Comput. Sci. 29: 229-230 (1984)
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJ. 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
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJ. 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
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJ. W. de Bakker, John-Jules Ch. Meyer, Jeffery I. Zucker: On Infinite Computations in Denotational Semantics. Theor. Comput. Sci. 26: 53-82 (1983)
1982
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan A. Bergstra, John-Jules Ch. Meyer: A Simple Transfer Lemma for Algebraic Specifications. Inf. Process. Lett. 14(2): 80-85 (1982)
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan 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
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJ. W. de Bakker, Jan Willem Klop, John-Jules Ch. Meyer: Correctness of Programs with Function Procedures. Logic of Programs 1981: 94-112
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan 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] [154] [156] [188] [197]
2Natasha Alechina [201] [211] [224] [262] [263]
3Farhad Arbab [209]
4Lacramioara Astefanoaei [208] [209] [227]
5J. W. de Bakker (Jaco de Bakker, Jacobus W. de Bakker) [2] [5] [6] [7] [8] [10] [11] [13] [14] [17] [20] [21]
6Jamal Bentahar [132] [134] [140] [151] [169] [170] [180] [181] [186] [187] [192] [219] [226]
7Jan A. Bergstra [1] [3] [4] [6] [7] [9]
8Robbert-Jan Beun [138] [173] [174] [182] [183]
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] [133] [136] [144] [157] [159] [168] [176] [177] [179] [208] [209] [227]
10Rafael H. Bordini [162] [163] [203]
11Karel van den Bosch [214] [233] [236] [238] [240] [246] [250] [254] [255] [264] [265] [266] [268]
12Jeffrey M. Bradshaw (Jeffrey Bradshaw) [264]
13Jaap Brandsema [232]
14Willem-Paul Brinkman [231] [266]
15Joost Broekens [231] [249] [254] [266]
16Jan Broersen [85] [93] [98] [101] [126] [128] [212] [216] [218] [225] [230] [234] [248] [257]
17Cristiano Castelfranchi [195] [252]
18Brahim Chaib-draa [132] [134] [140]
19Mehdi Dastani [115] [120] [121] [130] [135] [139] [145] [149] [155] [162] [163] [165] [166] [168] [175] [176] [177] [184] [189] [191] [199] [200] [201] [202] [203] [207] [208] [209] [210] [211] [213] [217] [220] [224] [227] [229] [232] [235] [237] [241] [242] [243] [247] [251] [256] [260] [261] [262] [263] [270]
20Louise A. Dennis [244]
21Jurriaan van Diggelen [138] [173] [174] [182] [183]
22Frank Dignum (F. P. M. Dignum) [28] [52] [56] [65] [102] [105] [115] [120] [121] [126] [128] [129] [130] [131] [135] [138] [139] [146] [148] [150] [152] [153] [154] [156] [158] [167] [173] [174] [182] [183] [184] [188] [190] [193] [196] [197] [198] [204] [213] [214] [215] [220] [221] [222] [223] [239] [243] [245] [258] [269]
23Virginia Dignum [102] [105] [108] [126] [128] [221]
24Hans P. van Ditmarsch [235]
25Clare Dixon [84] [94]
26Patrick Doherty [59] [194]
27Amco Dubel [232]
28Hans-Dieter Ehrich [117] [142]
29Rogier M. van Eijk [64] [66] [67] [71] [72] [76] [77] [80] [81] [86] [87] [90] [91] [92] [110] [114] [116] [119] [138] [144] [173] [174] [182] [183]
30Paul J. Feltovich [264]
31Michael Fisher [84] [94]
32Artur S. d'Avila Garcez [267]
33Lou Goble [178] [205]
34Lluis Godo [44]
35Davide Grossi [129] [131] [148] [152] [158] [167] [190] [196] [204] [210] [257]
36Maaike Harbers [214] [233] [236] [238] [240] [246] [250] [254] [255] [264] [265] [266]
37Paul Harrenstein [106] [113]
38Andreas Herzig [235]
39Koen V. Hindriks [61] [68] [69] [73] [82] [83] [88] [90] [96] [99] [161] [179] [228] [254] [271]
40Dirk Hobo [200]
41Wiebe 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] [144] [179] [271]
42Arjen Hommersom [143]
43M. van Hulst [34] [40]
44Joris Hulstijn [135] [139]
45Ullrich Hustadt [84] [94]
46Matt Johnson (Matthew Johnson) [264]
47Catholijn M. Jonker [231] [249] [254] [266]
48Geert Jonker [150] [153] [198] [223]
49Jan Willem Klop [2] [6] [7]
50Fernando Koch [146]
51Eric M. Kok [259]
52Joost N. Kok [13]
53Ruurd Kuiper [56]
54Jihad Labban [180]
55Luís C. Lamb (Luís da Cunha Lamb) [267]
56Henk-Jan Lebbink [124] [125] [141] [172]
57J. C. van Leeuwen [55]
58Yves Lespérance [169]
59Bernd van Linder [42] [43] [45] [48] [49] [50] [51] [57] [58] [63] [74] [79]
60Brian Logan [201] [211] [224] [262] [263]
61Emiliano Lorini [235]
62Rosja Mastop [212] [216] [218] [225] [230] [234]
63Mohamed Mbarki [219]
64Christian P. Mol [213]
65Bernard Moulin [132] [134] [140] [151] [169] [170] [192] [219]
66Martijn Neef [193]
67Mark A. Neerincx [268]
68Ernst-Rüdiger Olderog [10] [11] [13] [14] [20] [24]
69Marieke Peeters [268]
70Leo de Penning [267]
71Cees Pierik [116]
72Henry Prakken [222] [245] [258] [259] [269]
73Iyad Rahwan [146]
74M. Birna van Riemsdijk (Birna van Riemsdijk) [103] [115] [122] [130] [133] [135] [136] [145] [149] [155] [157] [159] [165] [168] [171] [175] [176] [177] [199] [229]
75Jan-Willem Roorda [107] [111]
76Lambèr M. M. Royakkers [129]
77Mark Ryan (Mark Dermot Ryan) [117] [142]
78Renate A. Schmidt [84] [94]
79Pierre-Yves Schobbens [60] [78]
80Carles Sierra [44]
81Michal P. Sindlar [220] [237] [243] [253] [256] [270]
82Paul Spruit [31] [32] [36] [46] [89]
83Bas R. Steunebrink [184] [202] [213] [217] [242] [260]
84Milind Tambe [97] [109]
85Nick A. M. Tinnemeier [191] [207] [209] [210] [241] [244] [247] [261]
86Francesca Toni [180]
87Leendert W. N. van der Torre (Leendert van der Torre, Leon van der Torre) [241]
88Jan Treur [41] [62] [112]
89Paolo Turrini [195] [212] [216] [218] [225] [230] [234] [252] [257]
90Javier Vázquez-Salceda [154] [156]
91Bob van der Vecht [193] [215] [221] [239]
92Nieske L. Vergunst [184] [213]
93Erik P. de Vink [18] [19] [22] [26] [143]
94Gerard Vreeswijk [222] [245] [258] [259] [269]
95Wieke de Vries [95] [96] [144]
96Wei Wan [226]
97Thomas L. van der Weide [222] [245] [258] [269]
98Hans Weigand [23] [25] [28] [102] [105] [108]
99Roel Wieringa [23] [25] [28] [29] [30] [32] [36] [38] [46] [52] [53] [56] [65] [85] [89] [93] [98] [101]
100Cilia Witteman (C. L. M. Witteman) [124] [125] [141] [172]
101Cees Witteveen [106] [113]
102Jeffery I. Zucker [5] [8] [10] [13] [20]
103P. d'Altan [53]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Fri May 25 01:42:58 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