Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
John-Jules Ch. Meyer
2010 – today
- 2013
[j80]Olivier Boissier, Marco Colombetti, Michael Luck, John-Jules Ch. Meyer, Axel Polleres: Norms, organizations, and semantics. Knowledge Eng. Review 28(1): 107-116 (2013)- [j79]Mehdi Dastani, John-Jules Ch. Meyer, Davide Grossi: A logic for normative multi-agent programs. J. Log. Comput. 23(2): 335-354 (2013)
- [j78]Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer: A weakest precondition calculus for BUnity. Sci. Comput. Program. 78(9): 1278-1293 (2013)
- [c204]Pouyan Ziafati, Mehdi Dastani, John-Jules Ch. Meyer, Leendert van der Torre: Event-processing in autonomous robot programming. AAMAS 2013: 95-102
- [c203]Leo van Moergestel, Erik Puik, Daniël Telgen, Hendrik Folmer, Matthijs Grünbauer, Robbert Proost, Hielke Veringa, John-Jules Ch. Meyer: Monitoring Agents in Complex Products - Enhancing a Discovery Robot with an Agent for Monitoring, Maintenance and Disaster Prevention. ICAART (2) 2013: 5-13
- [c202]Leo de Penning, Artur S. d'Avila Garcez, John-Jules Ch. Meyer: Dreaming Machines: On multimodal fusion and information retrieval using neural-symbolic cognitive agents. ICCSW 2013: 89-94
- 2012
- [j77]Mehdi Dastani, John-Jules Ch. Meyer, Nick A. M. Tinnemeier: Programming norm change. Journal of Applied Non-Classical Logics 22(1-2): 151-180 (2012)
- [j76]Paolo Turrini, Jan Broersen, Rosja Mastop, John-Jules Ch. Meyer: Regulating competing coalitions: a logic for socially optimal group choices. Journal of Applied Non-Classical Logics 22(1-2): 181-202 (2012)
- [j75]Maaike Harbers, Karel van den Bosch, John-Jules Ch. Meyer: Modeling agents with a theory of mind: Theory-theory versus simulation theory. Web Intelligence and Agent Systems 10(3): 331-343 (2012)
- [c201]Eric M. Kok, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk: Testing the benfits of structured argumentation in multi-agent deliberation dialogues. AAMAS 2012: 1411-1412
- [c200]Cristian Gratie, Adina Magda Florea, John-Jules Ch. Meyer: General Directionality and the Local Behavior of Argumentation Semantics. AT 2012: 113-127
- [c199]Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer: GOAL Agents Instantiate Intention Logic. Logic Programs, Norms and Action 2012: 196-219
- [c198]Cristian Gratie, Adina Magda Florea, John-Jules Ch. Meyer: Full Hybrid μ-Calculus, Its Bisimulation Invariance and Application to Argumentation. CLIMA 2012: 181-194
- [c197]Leo van Moergestel, Erik Puik, Daniël Telgen, John-Jules Ch. Meyer: Production Scheduling in an Agile Agent-Based Production Grid. IAT 2012: 293-298
- [c196]Leo van Moergestel, John-Jules Ch. Meyer: Generating Phonemes from Written Thai using Lexical Analysis based on Regular Expressions. ICAART (1) 2012: 306-311
- [c195]Joost Broekens, Maaike Harbers, Willem-Paul Brinkman, Catholijn M. Jonker, Karel van den Bosch, John-Jules Ch. Meyer: Virtual Reality Negotiation Training Increases Negotiation Knowledge and Skill. IVA 2012: 218-230
- [c194]Pouyan Ziafati, Mehdi Dastani, John-Jules Ch. Meyer, Leendert van der Torre: Agent Programming Languages Requirements for Programming Autonomous Robots. ProMAS 2012: 35-53
- 2011
- [j74]Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer: Reasoning about agent deliberation. Autonomous Agents and Multi-Agent Systems 22(2): 356-381 (2011)
- [j73]Natasha 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)
- [c193]Marieke Peeters, Karel van den Bosch, John-Jules Ch. Meyer, Mark A. Neerincx: Scenario-Based Training: Director's Cut. AIED 2011: 264-271
- [c192]Thomas L. van der Weide, Frank Dignum, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk: Multi-criteria Argument Selection in Persuasion Dialogues. ArgMAS 2011: 136-153
- [c191]Maaike Harbers, Jeffrey M. Bradshaw, Matthew Johnson, Paul J. Feltovich, Karel van den Bosch, John-Jules Ch. Meyer: Explanation in Human-Agent Teamwork. COIN@AAMAS&WI-IAT 2011: 21-37
- [c190]Michal P. Sindlar, Mehdi Dastani, John-Jules Ch. Meyer: Programming mental state abduction. AAMAS 2011: 301-308
- [c189]Thomas 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
- [c188]D. Hohle, C. R. C. Pieterman, G. D. Valk, A. R. Hermus, H. P. F. Koppeschaar, John-Jules Ch. Meyer, R. P. J. de Lange: Classifying the decision to perform surgery in MEN1 cancer patients using decision trees. CBMS 2011: 1-6
- [c187]Eric M. Kok, John-Jules Ch. Meyer, Herre van Oostendorp, Henry Prakken, Gerard Vreeswijk: A Methodology for the Generation of Multi-agent Argumentation Dialogue Scenarios. EUMAS 2011: 160-174
- [c186]Maaike 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
- [c185]Leo de Penning, Artur S. d'Avila Garcez, Luís C. Lamb, John-Jules Ch. Meyer: Neural-Symbolic Cognitive Agents: Architecture and Theory. ICCSW 2011: 10-16
- [c184]Leo 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
- [c183]Leo van Moergestel, Erik Puik, Daniël Telgen, John-Jules Ch. Meyer: Decentralized Autonomous-Agent-Based Infrastructure for Agile Multiparallel Manufacturing. ISADS 2011: 281-288
- [c182]Joost 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
- [c181]Maaike Harbers, Karel van den Bosch, John-Jules Ch. Meyer: A Theoretical Framework for Explaining Agent Behavior. SIMULTECH 2011: 228-231
- 2010
- [j72]Paolo 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)
- [j71]Mehdi Dastani, John-Jules Ch. Meyer: Agents with emotions. Int. J. Intell. Syst. 25(7): 636-654 (2010)
- [j70]Joost Broekens, Catholijn M. Jonker, John-Jules Ch. Meyer: Affective negotiation support systems. JAISE 2(2): 121-144 (2010)
- [j69]Maaike Harbers, John-Jules Ch. Meyer, Karel van den Bosch: Explaining Simulations Through Self Explaining Agents. J. Artificial Societies and Social Simulation 13(1) (2010)
- [c180]Eric M. Kok, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk: A Formal Argumentation Framework for Deliberation Dialogues. ArgMAS 2010: 31-48
- [c179]Thomas L. van der Weide, Frank Dignum, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk: Arguing about Preferences and Decisions. ArgMAS 2010: 68-85
- [c178]Nick A. M. Tinnemeier, Mehdi Dastani, John-Jules Ch. Meyer: Programming norm change. AAMAS 2010: 957-964
- [c177]Bas R. Steunebrink, Mehdi Dastani, John-Jules Ch. Meyer: Emotions to control agent deliberation. AAMAS 2010: 973-980
- [c176]Paolo 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
- [c175]Michal P. Sindlar, Mehdi Dastani, John-Jules Ch. Meyer: Mental State Ascription Using Dynamic Logic. ECAI 2010: 561-566
- [c174]Maaike Harbers, Karel van den Bosch, John-Jules Ch. Meyer: Design and Evaluation of Explainable BDI Agents. IAT 2010: 125-132
- [c173]Joost 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
- [c172]Michal P. Sindlar, John-Jules Ch. Meyer: Affordance-Based Intention Recognition in Virtual Spatial Environments. PRIMA 2010: 304-319
2000 – 2009
- 2009
- [j68]M. 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)
- [j67]Koen V. Hindriks, John-Jules Ch. Meyer: Toward a programming theory for rational agents. Autonomous Agents and Multi-Agent Systems 19(1): 4-29 (2009)
- [j66]Lacramioara 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)
- [j65]Jamal Bentahar, John-Jules Ch. Meyer, Wei Wan: Model checking communicative agent-based systems. Knowl.-Based Syst. 22(3): 142-159 (2009)
- [j64]Jan Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini: Determining the environment: a modal logic for closed interaction. Synthese 169(2): 351-369 (2009)
- [c171]Thomas L. van der Weide, Frank Dignum, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk: Practical Reasoning Using Values. ArgMAS 2009: 79-93
- [c170]Nick A. M. Tinnemeier, Mehdi Dastani, John-Jules Ch. Meyer: Roles and norms for programming agent organizations. AAMAS (1) 2009: 121-128
- [c169]Maaike Harbers, Karel van den Bosch, John-Jules Ch. Meyer: A methodology for developing self-explaining agents for virtual training. AAMAS (2) 2009: 1129-1130
- [c168]Louise A. Dennis, Nick A. M. Tinnemeier, John-Jules Ch. Meyer: Model Checking Normative Agent Organisations. CLIMA 2009: 64-82
- [c167]Michal 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
- [c166]Bas R. Steunebrink, Mehdi Dastani, John-Jules Ch. Meyer: A Formal Model of Emotion-Based Action Tendency for Intelligent Agents. EPIA 2009: 174-186
- [c165]Bob van der Vecht, Frank Dignum, John-Jules Ch. Meyer: Autonomy and Coordination: Controlling External Influences on Decision Making. IAT 2009: 92-95
- [c164]Nick 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
- [c163]Maaike Harbers, Karel van den Bosch, John-Jules Ch. Meyer: Modeling Agents with a Theory of Mind. IAT 2009: 217-224
- [c162]Willem-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
- [c161]Jan Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini: Strategic Ability Update: A Modal Logic Account. Web Intelligence/IAT Workshops 2009: 470-473
- [c160]Michal P. Sindlar, Mehdi Dastani, John-Jules Ch. Meyer: BDI-Based Development of Virtual Characters with a Theory of Mind. IVA 2009: 34-41
- [c159]Maaike Harbers, Karel van den Bosch, John-Jules Ch. Meyer: A Study into Preferred Explanations of Virtual Agent Behavior. IVA 2009: 132-145
- [c158]Maaike Harbers, Karel van den Bosch, John-Jules Ch. Meyer: A Methodology for Developing Self-explaining Agents for Virtual Training. LADS 2009: 168-182
- [c157]Emiliano Lorini, Mehdi Dastani, Hans P. van Ditmarsch, Andreas Herzig, John-Jules Ch. Meyer: Intentions and Assignments. LORI 2009: 198-211
- [c156]Paolo Turrini, Jan Broersen, Rosja Mastop, John-Jules Ch. Meyer: An Update Operator for Strategic Ability. LORI 2009: 292-301
- [c155]Maaike Harbers, Karel van den Bosch, John-Jules Ch. Meyer: A Methodology for Developing Self-Explaining Agents for Virtual Training. MALLOW 2009
- [c154]Mehdi Dastani, Jaap Brandsema, Amco Dubel, John-Jules Ch. Meyer: Debugging BDI-Based Multi-Agent Programs. PROMAS 2009: 151-169
- [e6]John-Jules Ch. Meyer, Jan Broersen (Eds.): Knowledge Representation for Agents and Multi-Agent Systems, First International Workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008, Revised Selected Papers. Lecture Notes in Computer Science 5605, Springer 2009, ISBN 978-3-642-05300-9
- 2008
- [j63]
- [j62]Davide 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)
- [c153]Thomas L. van der Weide, Frank Dignum, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk: Personality-Based Practical Reasoning. ArgMAS 2008: 3-18
- [c152]Bob 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
- [c151]Natasha Alechina, Brian Logan, Mehdi Dastani, John-Jules Ch. Meyer: Reasoning about agent execution strategies. AAMAS (3) 2008: 1455-1458
- [c150]Geert Jonker, Frank Dignum, John-Jules Ch. Meyer: Achieving efficient and equitable collaboration among selfish agents using spender-signed currency. AAMAS (3) 2008: 1581-1584
- [c149]Michal P. Sindlar, Mehdi Dastani, Frank Dignum, John-Jules Ch. Meyer: Mental State Abduction of BDI-Based Agents. DALT 2008: 161-178
- [c148]Jamal Bentahar, Mohamed Mbarki, John-Jules Ch. Meyer, Bernard Moulin: Strategic Agent Communication: An Argumentation-Driven Approach. DALT 2008: 233-250
- [c147]Jan Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini: A Deontic Logic for Socially Optimal Norms. DEON 2008: 218-232
- [c146]Bas R. Steunebrink, Mehdi Dastani, John-Jules Ch. Meyer: A Formal Model of Emotions: Integrating Qualitative and Quantitative Aspects. ECAI 2008: 256-260
- [c145]Jan Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini: Organizing Coherent Coalitions. ECAI 2008: 879-880
- [c144]Bob van der Vecht, Frank Dignum, John-Jules Ch. Meyer: Magic Agents: Using Information Relevance to Control Autonomy. ECAI 2008: 889-890
- [c143]Maaike 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
- [c142]Bas 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
- [c141]Jan Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini: A Logic for Closed-World Interaction. JELIA 2008: 89-99
- [c140]Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer: Reasoning about Agent Deliberation. KR 2008: 16-26
- [c139]Mehdi Dastani, Davide Grossi, John-Jules Ch. Meyer, Nick A. M. Tinnemeier: Normative Multi-agent Programs and Their Logics. KRAMAS 2008: 16-31
- [c138]Farhad 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
- [c137]Lacramioara Astefanoaei, Mehdi Dastani, John-Jules Ch. Meyer, Frank S. de Boer: A Verification Framework for Normative Multi-Agent Systems. PRIMA 2008: 54-65
- [c136]Nick A. M. Tinnemeier, Mehdi Dastani, John-Jules Ch. Meyer: Orwell's Nightmare for Agents? Programming Multi-agent Organisations. ProMAS 2008: 56-71
- [p3]
- 2007
- [j61]Jurriaan 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)
- [j60]Jurriaan 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)
- [j59]Jamal Bentahar, John-Jules Ch. Meyer: A New Quantitative Trust Model for Negotiating Agents using Argumentation. IJCSA 4(2): 1-21 (2007)
- [j58]Jamal Bentahar, Francesca Toni, John-Jules Ch. Meyer, Jihad Labban: A security framework for agent-based systems. IJWIS 3(4): 341-362 (2007)
- [j57]Frank 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)
- [c135]Bas R. Steunebrink, Mehdi Dastani, John-Jules Ch. Meyer: A Logic of Emotions for Intelligent Agents. AAAI 2007: 142-147
- [c134]Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer: A Logic of Agent Programs. AAAI 2007: 795-800
- [c133]Paolo Turrini, John-Jules Ch. Meyer, Cristiano Castelfranchi: Rational Agents That Blush. ACII 2007: 314-325
- [c132]Huib Aldewereld, Frank Dignum, John-Jules Ch. Meyer: Designing protocols for agent institutions. AAMAS 2007: 31
- [c131]Bob van der Vecht, Frank Dignum, John-Jules Ch. Meyer, Martijn Neef: A Dynamic Coordination Mechanism Using Adjustable Autonomy. COIN 2007: 83-96
- [c130]Davide Grossi, Frank Dignum, John-Jules Ch. Meyer: A formal road from institutional norms to organizational structures. AAMAS 2007: 89
- [c129]Mehdi Dastani, Dirk Hobo, John-Jules Ch. Meyer: Practical extensions in agent programming languages. AAMAS 2007: 138
- [c128]Mehdi Dastani, M. Birna van Riemsdijk, John-Jules Ch. Meyer: A grounded specification language for agent programs. AAMAS 2007: 147
- [c127]Geert Jonker, Frank Dignum, John-Jules Ch. Meyer: Achieving cooperation among selfish agents in the air traffic management domain using signed money. AAMAS 2007: 213
- [c126]Patrick Doherty, John-Jules Ch. Meyer: Towards a Delegation Framework for Aerial Robotic Mission Scenarios. CIA 2007: 5-26
- [c125]Davide Grossi, John-Jules Ch. Meyer, Frank Dignum: On the Logic of Constitutive Rules. Normative Multi-agent Systems 2007
- [c124]Nieske 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
- [c123]Jamal Bentahar, John-Jules Ch. Meyer, Bernard Moulin: Securing Agent-Oriented Systems: An Argumentation and Reputation-based Approach. ITNG 2007: 507-515
- [c122]Nick A. M. Tinnemeier, Mehdi Dastani, John-Jules Ch. Meyer: Goal Selection Strategies for Rational Agents. LADS 2007: 54-70
- [c121]Huib Aldewereld, Frank Dignum, John-Jules Ch. Meyer: From Norms to Interaction Patterns: Deriving Protocols for Agent Institutions. PROMAS 2007: 57-72
- [c120]
- [c119]Jamal Bentahar, John-Jules Ch. Meyer: A New Quantitative Trust Model for Negotiating Agents. RCIS 2007: 39-50
- [c118]Jamal Bentahar, John-Jules Ch. Meyer: Model Checking Communicative Agent-Based Systems. SoMeT 2007: 239-265
- [c117]
- [e5]Rafael H. Bordini, Mehdi Dastani, John-Jules Ch. Meyer (Eds.): Foundations and Practice of Programming Multi-Agent Systems, 25.06. - 30.06.2006. Dagstuhl Seminar Proceedings 06261, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
- 2006
- [j56]
- [j55]M. 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)
- [j54]Davide 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)
- [j53]M. 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)
- [c116]Jurriaan 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
- [c115]Henk-Jan Lebbink, Cilia Witteman, John-Jules Ch. Meyer: Can I Please Drop It? Dialogues About Belief Contraction. AC 2006: 227-242
- [c114]M. Birna van Riemsdijk, John-Jules Ch. Meyer: A Compositional Semantics of Plan Revision in Intelligent Agents. AMAST 2006: 353-367
- [c113]Jurriaan 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
- [c112]M. Birna van Riemsdijk, Mehdi Dastani, John-Jules Ch. Meyer, Frank S. de Boer: Goal-oriented modularity in agent programming. AAMAS 2006: 1271-1278
- [c111]M. 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
- [c110]Mehdi Dastani, M. Birna van Riemsdijk, John-Jules Ch. Meyer: Goal types in agent programming. AAMAS 2006: 1285-1287
- [c109]Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer: A New Model Checking Approach for Verifying Agent Communication Protocols. CCECE 2006: 1586-1590
- [c108]M. 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
- [c107]Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Yves Lespérance: A New Logical Semantics for Agent Communication. CLIMA 2006: 151-170
- [c106]Mehdi 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
- [c105]Mehdi 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
- [c104]Davide Grossi, John-Jules Ch. Meyer, Frank Dignum: Counts-as: Classification or Constitution? An Answer Using Modal Logic. DEON 2006: 115-130
- [c103]
- [c102]Mehdi Dastani, M. Birna van Riemsdijk, John-Jules Ch. Meyer: Goal Types in Agent Programming. ECAI 2006: 220-224
- [c101]
- [c100]Koen V. Hindriks, John-Jules Ch. Meyer: Agent Logics as Program Logics: Grounding KARO. KI 2006: 404-418
- [e4]Lou Goble, John-Jules Ch. Meyer (Eds.): 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. Lecture Notes in Computer Science 4048, Springer 2006, ISBN 3-540-35842-0
- 2005
- [j52]Frank 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)
- [j51]Arjen 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)
- [c99]Birna van Riemsdijk, Mehdi Dastani, John-Jules Ch. Meyer: Semantics of declarative goals in agent programming. AAMAS 2005: 133-140
- [c98]Huib Aldewereld, Javier Vázquez-Salceda, Frank Dignum, John-Jules Ch. Meyer: Verifying Norm Compliancy of Protocols. AAMAS Workshops 2005: 231-245
- [c97]Huib Aldewereld, Javier Vázquez-Salceda, Frank Dignum, John-Jules Ch. Meyer: Norm compliance of protocols in electronic institutions. AAMAS 2005: 1291-1292
- [c96]Geert Jonker, John-Jules Ch. Meyer, Frank Dignum: Efficiency and Fairness in Air Traffic Control. BNAIC 2005: 151-157
- [c95]
- [c94]Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer: A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication. DALT 2005: 223-244
- [c93]Geert Jonker, John-Jules Ch. Meyer, Frank Dignum: Towards a Market Mechanism for Airport Traffic Control. EPIA 2005: 500-511
- [c92]M. Birna van Riemsdijk, Mehdi Dastani, John-Jules Ch. Meyer: Subgoal Semantics in Agent Programming. EPIA 2005: 548-559
- [c91]Davide Grossi, John-Jules Ch. Meyer, Frank Dignum: Modal logic investigations in the Modal logic investigations in the semantics of counts semantics of counts-as as. ICAIL 2005: 1-9
- [c90]
- [c89]Fernando Koch, John-Jules Ch. Meyer, Frank Dignum, Iyad Rahwan: Programming Deliberative Agents for Mobile Services: The 3APL-M Platform. PROMAS 2005: 222-235
- [p2]Mehdi Dastani, M. Birna van Riemsdijk, John-Jules Ch. Meyer: Programming Multi-Agent Systems in 3APL. Multi-Agent Programming 2005: 39-67
- 2004
- [j50]Henk-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)
- [j49]Huib 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)
- [j48]Virginia Dignum, Frank Dignum, John-Jules Ch. Meyer: An agent-mediated approach to the support of knowledge sharing in organizations. Knowledge Eng. Review 19(2): 147-174 (2004)
- [c88]Jurriaan 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
- [c87]
- [c86]Birna van Riemsdijk, John-Jules Ch. Meyer, Frank S. de Boer: Semantics of Plan Revision in Intelligent Agents. AMAST 2004: 426-442
- [c85]Mehdi Dastani, Birna van Riemsdijk, Joris Hulstijn, Frank Dignum, John-Jules Ch. Meyer: Enacting and Deacting Roles in Agent Programming. AOSE 2004: 189-204
- [c84]Jamal 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
- [c83]Jamal 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
- [c82]Mehdi Dastani, Joris Hulstijn, Frank Dignum, John-Jules Ch. Meyer: Issues in Multiagent System Development. AAMAS 2004: 922-929
- [c81]Henk-Jan Lebbink, Cilia Witteman, John-Jules Ch. Meyer: A Dialogue Game to Offer an Agreement to Disagree. AAMAS 2004: 1238-1239
- [c80]M. Birna van Riemsdijk, Frank S. de Boer, John-Jules Ch. Meyer: Dynamic Logic for Plan Revision in Intelligent Agents. CLIMA 2004: 16-32
- [c79]
- [c78]Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Brahim Chaib-draa: A Computational Model for Conversation Policies for Agent Communication. CLIMA 2004: 178-195
- [c77]Birna van Riemsdijk, Mehdi Dastani, Frank Dignum, John-Jules Ch. Meyer: Dynamics of Declarative Goals in Agent Programming. DALT 2004: 1-18
- [c76]Jan Broersen, Frank Dignum, Virginia Dignum, John-Jules Ch. Meyer: Designing a Deontic Logic of Deadlines. DEON 2004: 43-56
- [c75]Davide Grossi, Frank Dignum, Lambèr M. M. Royakkers, John-Jules Ch. Meyer: Collective Obligations and Agents: Who Gets the Blame? DEON 2004: 129-145
- [c74]
- [c73]Frank Dignum, Jan Broersen, Virginia Dignum, John-Jules Ch. Meyer: Meeting the Deadline: Why, When and How. FAABS 2004: 30-40
- [c72]Henk-Jan Lebbink, Cilia Witteman, John-Jules Ch. Meyer: A Dialogue Game to Offer an Agreement to Disagree. PROMAS 2004: 199-223
- [e3]Mark Dermot Ryan, John-Jules Ch. Meyer, Hans-Dieter Ehrich (Eds.): Objects, Agents, and Features, International Seminar, Dagstuhl Castle, Germany, February 2003, Revised and Invited Papers. Lecture Notes in Computer Science 2975, Springer 2004, ISBN 3-540-21989-7
- 2003
- [j47]Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer: A Verification Framework for Agent Communication. Autonomous Agents and Multi-Agent Systems 6(2): 185-219 (2003)
- [j46]Paul 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)
- [j45]Jan-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)
- [j44]Wiebe 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)
- [j43]Frank S. de Boer, Rogier M. van Eijk, Wiebe van der Hoek, John-Jules Ch. Meyer: A fully abstract model for the exchange of information in multi-agent systems. Theor. Comput. Sci. 290(3): 1753-1773 (2003)
- [c71]Mehdi 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
- [c70]Rogier 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
- [c69]Mehdi Dastani, Frank Dignum, John-Jules Ch. Meyer: Autonomy and Agent Deliberation. Agents and Computational Autonomy 2003: 114-127
- [c68]Birna van Riemsdijk, Wiebe van der Hoek, John-Jules Ch. Meyer: Agent programming in dribble: from beliefs to goals using plans. AAMAS 2003: 393-400
- [c67]John-Jules Ch. Meyer, Mark Dermot Ryan, Hans-Dieter Ehrich: Objects, Agents, and Features: An Introduction. Objects, Agents, and Features 2003: 1-7
- [c66]Frank S. de Boer, Cees Pierik, Rogier M. van Eijk, John-Jules Ch. Meyer: Coordinating Agents in OO. Objects, Agents, and Features 2003: 8-25
- [c65]John-Jules Ch. Meyer: Intelligent Agents: Issues and Logics. Logics for Emerging Applications of Databases 2003: 131-165
- [c64]Mehdi Dastani, Birna van Riemsdijk, Frank Dignum, John-Jules Ch. Meyer: A Programming Language for Cognitive Agents Goal Directed 3APL. PROMAS 2003: 111-130
- 2002
- [j42]John-Jules Ch. Meyer: The Logic of Knowledge Bases - Hector J. Levesque, Gerhard Lakemeyer (Eds.), MIT Press, Cambridge, MA, 2000, ISBN 0-262-12232-4. Artificial Intelligence in Medicine 25(1): 89-92 (2002)
- [j41]Jan Broersen, Roel Wieringa, John-Jules Ch. Meyer: A Fixed-point Characterization of a Deontic Logic of Regular Action. Fundam. Inform. 49(4): 107-128 (2002)
- [c63]Virginia Dignum, John-Jules Ch. Meyer, Hans Weigand: Towards an organizational model for agent societies using contracts. AAMAS 2002: 694-695
- [c62]Jan-Willem Roorda, Wiebe van der Hoek, John-Jules Ch. Meyer: Iterated belief change in multi-agent systems. AAMAS 2002: 889-896
- [c61]Paul Harrenstein, Wiebe van der Hoek, John-Jules Ch. Meyer, Cees Witteveen: On Modal Logic Interpretations of Games. ECAI 2002: 28-32
- [c60]Hans 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
- [c59]Virginia Dignum, John-Jules Ch. Meyer, Frank Dignum, Hans Weigand: Formal Specification of Interaction in Agent Societies. FAABS 2002: 37-52
- [c58]
- [c57]Birna van Riemsdijk, Wiebe van der Hoek, John-Jules Ch. Meyer: Agent Programming in Dribble: From Beliefs to Goals with Plans. FAABS 2002: 294-295
- [c56]Jan Broersen, John-Jules Ch. Meyer, Roel Wieringa: The mutual exclusion problem in reasoning about action and change. NMR 2002: 365-371
- [e2]John-Jules Ch. Meyer, Milind Tambe (Eds.): Intelligent Agents VIII, 8th International Workshop, ATAL 2001 Seattle, WA, USA, August 1-3, 2001, Revised Papers. Lecture Notes in Computer Science 2333, Springer 2002, ISBN 3-540-43858-0
- [i1]Frank S. de Boer, Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer: Agent Programming with Declarative Goals. CoRR cs.AI/0207008 (2002)
- 2001
- [j40]Jan Broersen, Roel Wieringa, John-Jules Ch. Meyer: A Fixed-point Characterization of a Deontic Logic of Regular Action. Fundam. Inform. 48(2-3): 107-128 (2001)
- [j39]John-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)
- [j38]Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer: On dynamically generated ontology translators in agent communication. Int. J. Intell. Syst. 16(5): 587-607 (2001)
- [j37]Rogier 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)
- [j36]Paul Spruit, Roel Wieringa, John-Jules Ch. Meyer: Regular database update logics. Theor. Comput. Sci. 254(1-2): 591-661 (2001)
- [c55]
- [c54]Wieke 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
- [c53]Wieke 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
- [c52]Ullrich 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
- 2000
- [j35]Wiebe van der Hoek, Bernd van Linder, John-Jules Ch. Meyer: On Agents That Have the Ability to Choose. Studia Logica 66(1): 79-119 (2000)
- [c51]Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer: Semantics of Communicating Agents Based on Deduction and Abduction. Issues in Agent Communication 2000: 63-79
- [c50]Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer: Operational Semantics for Agent Communication Languages. Issues in Agent Communication 2000: 80-95
- [c49]Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer: Agent Programming with Declarative Goals. ATAL 2000: 228-243
- [c48]Rogier 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
- [c47]Jan Broersen, Roel Wieringa, John-Jules Ch. Meyer: A Semantics for Persistency in Propositional Dynamic Logic. Computational Logic 2000: 912-925
- [c46]Frank S. de Boer, Rogier M. van Eijk, Wiebe van der Hoek, John-Jules Ch. Meyer: Failure Semantics for the Exchange of Information in Multi-Agent Systems. CONCUR 2000: 214-228
- [c45]Ullrich 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
- [c44]Koen 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
- [c43]Rogier 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
1990 – 1999
- 1999
- [j34]Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer: Agent Programming in 3APL. Autonomous Agents and Multi-Agent Systems 2(4): 357-401 (1999)
- [j33]John-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)
- [c42]Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer: Open Multi-agent Systems: Agent Communication and Integration. ATAL 1999: 218-232
- [c41]Frank S. de Boer, Rogier M. van Eijk, Wiebe van der Hoek, John-Jules Ch. Meyer: Failure Semantics for the Exchange of Information in Multi-agent Systems. ECOOP Workshops 1999: 265
- [c40]John-Jules Ch. Meyer: Keynote Address: Formal and Informal Aspects of Intelligent Agent-based Systems. ISCO 1999: 299-310
- [e1]John-Jules Ch. Meyer, Pierre-Yves Schobbens (Eds.): Formal Models of Agents, ESPRIT Project ModelAge Final Workshop, Selected Papers. Lecture Notes in Computer Science 1760, Springer 1999, ISBN 3-540-67027-0
- 1998
- [j32]Rogier 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)
- [j31]Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer: Formalising Abilities and Opportunities of Agents. Fundam. Inform. 34(1-2): 53-101 (1998)
- [j30]Wiebe van der Hoek, John-Jules Ch. Meyer, Jan Treur: Temporalizing Epistemic Default Logic. Journal of Logic, Language and Information 7(3): 341-367 (1998)
- [c39]Rogier 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
- [c38]Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer: Information-Passing and Belief Revision in Multi-Agent Systems. ATAL 1998: 29-45
- [c37]John-Jules Ch. Meyer: Agent Languages and Their Relationship to Other Programming Paradigms. ATAL 1998: 309-316
- [c36]Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer: Control Structures of Rule-Based Agent Languages. ATAL 1998: 381-396
- [c35]Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer: A Formal Embedding of AgentSpeak(L) in 3APL. Australian Joint Conference on Artificial Intelligence 1998: 155-166
- [c34]John-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
- [c33]Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer: Systems of Communicating Agents. ECAI 1998: 293-297
- [c32]Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer: Information-Passing and Belief Revision in Multi-Agent Systems. ICMAS 1998: 473-474
- 1997
- [j29]Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer: The Dynamics of Default Reasoning. Data Knowl. Eng. 21(3): 317-346 (1997)
- [j28]Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer: Seeing Is Believing. Journal of Logic, Language and Information 6(1): 33-61 (1997)
- [c31]Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer: Formal Semantics for an Abstract Agent Programming Language. ATAL 1997: 215-229
- [c30]John-Jules Ch. Meyer, Pierre-Yves Schobbens: Formal Models of Agents: An Introduction. ModelAge Workshop 1997: 1-7
- [c29]John-Jules Ch. Meyer, Patrick Doherty: Preferential Action Semantics (Preliminary Report). ModelAge Workshop 1997: 187-201
- 1996
- [j27]P. d'Altan, John-Jules Ch. Meyer, Roel Wieringa: An Integrated Framework for Ought-to-Be and Ought-to-Do Constraints. Artif. Intell. Law 4(2): 77-111 (1996)
- [j26]John-Jules Ch. Meyer, Wiebe van der Hoek: A Modal Contrastive Logic: The Logic of `but'. Ann. Math. Artif. Intell. 17(3-4): 291-313 (1996)
- [j25]Frank Dignum, John-Jules Ch. Meyer, Roel Wieringa: Free Choice and Contextually Permitted Actions. Studia Logica 57(1): 193-220 (1996)
- [c28]Frank Dignum, John-Jules Ch. Meyer, Roel Wieringa, Ruurd Kuiper: A Modal Approach to Intentions, Commitments and Obligations: Intention plus Commitment Yields Obligation. DEON 1996: 80-97
- [c27]John-Jules Ch. Meyer, J. C. van Leeuwen: Possible World Semantics for Analogous Reasoning. FAPR 1996: 414-429
- 1995
- [j24]John-Jules Ch. Meyer, Wiebe van der Hoek: A Default Logic Based on Epistemic States. Fundam. Inform. 23(1): 33-65 (1995)
- [j23]Paul Spruit, Roel Wieringa, John-Jules Ch. Meyer: Aziomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic Databases. J. Log. Comput. 5(1): 27-70 (1995)
- [c26]Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer: Seeing is Believing. AI*IA 1995: 402-413
- [c25]Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer: Formalising Motivational Attitudes of Agents. ATAL 1995: 17-32
- [c24]Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer: The Dynamics of Default Reasoning (Extended Abstract). ECSQARU 1995: 277-284
- [c23]Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer: Actions That Make You Change Your Mind (Extended Abstract). KI 1995: 185-196
- 1994
- [c22]Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer: Tests as Epistemic Updates. ECAI 1994: 331-335
- [c21]Lluis Godo, Wiebe van der Hoek, John-Jules Ch. Meyer, Carles Sierra: Many-Valued Epistemic States: An Application to a Reflexive Architecture: Milord-II. IPMU 1994: 440-452
- [c20]Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer: Communicating Rational Agents. KI 1994: 202-213
- [c19]Wiebe van der Hoek, Bernd van Linder, John-Jules Ch. Meyer: A Logic of Capabilities. LFCS 1994: 366-378
- [c18]Wiebe van der Hoek, John-Jules Ch. Meyer, Jan Treur: Formal Semantics of Temporal Epistemic Reflection. META 1994: 332-352
- [c17]M. van Hulst, John-Jules Ch. Meyer: An Epistemic Proof System for Parallel Processes. TARK 1994: 243-254
- 1993
- [j22]Roel Wieringa, John-Jules Ch. Meyer: Actors, Actions, and Initiative in Normative System Specification. Ann. Math. Artif. Intell. 7(1-4): 289-346 (1993)
- [j21]John-Jules Ch. Meyer, Wiebe van der Hoek: Counterfactual Reasoning by (means of) Defaults. Ann. Math. Artif. Intell. 9(3-4): 345-360 (1993)
- [c16]John-Jules Ch. Meyer, Wiebe van der Hoek: A Default Logic Based on Epistemic States. ECSQARU 1993: 265-273
- 1992
- [j20]Wiebe van der Hoek, John-Jules Ch. Meyer: Making Some Issues of Implicit Knowledge Explicit. Int. J. Found. Comput. Sci. 3(2): 193-223 (1992)
- [c15]Paul Spruit, Roel Wieringa, John-Jules Ch. Meyer: Dynamic Database Logic: the First-order Case. FMLDO 1992: 103-120
- [c14]
- [c13]Wiebe van der Hoek, M. van Hulst, John-Jules Ch. Meyer: Towards an Epistemic Approach to Reasoning about Concurrent Programs. REX Workshop 1992: 261-287
- 1991
- [j19]Roel Wieringa, Hans Weigand, John-Jules Ch. Meyer, Frank Dignum: The Inheritance of Dynamic and Deontic Integrity Constraints. Ann. Math. Artif. Intell. 3(2-4): 393-428 (1991)
- [c12]Paul Spruit, John-Jules Ch. Meyer: Declarative Semantics of Passive and Active Updates in Logic Databases. FMLDO 1991: 37-46
- [c11]Paul Spruit, John-Jules Ch. Meyer, Roel Wieringa: Discussion Issues for a Working Group on Update Semantics of Logic Databases. FMLDO 1991: 209-210
- [c10]Roel Wieringa, John-Jules Ch. Meyer: Actor-Oriented Specification of Deontic Integrity Constraints. MFDBS 1991: 89-103
- [c9]John-Jules Ch. Meyer, Roel Wieringa: Actor-Oriented System Specification with Dynamic Logic. TAPSOFT, Vol.2 1991: 337-357
- 1990
- [c8]John-Jules Ch. Meyer, Wiebe van der Hoek: Non-Monotonic Reasoning by Monotonic Means. JELIA 1990: 399-411
1980 – 1989
- 1989
- [j18]John-Jules Ch. Meyer, Ernst-Rüdiger Olderog: Hiding in Stream Semantics of Uniform Concurrency. Acta Inf. 27(5): 381-397 (1989)
- [j17]John-Jules Ch. Meyer, Erik P. de Vink: Step Semantics for "True" Concurrency with Recursion. Distributed Computing 3(3): 130-145 (1989)
- [j16]Roel Wieringa, John-Jules Ch. Meyer, Hans Weigand: Specifying Dynamic and Deontic Integrity Constraints. Data Knowl. Eng. 4: 157-189 (1989)
- [c7]John-Jules Ch. Meyer, Erik P. de Vink: Pomset Semantics for True Concurrency with Synchronization and Recursion (Extended Abstract). MFCS 1989: 360-369
- [c6]John-Jules Ch. Meyer, Hans Weigand, Roel Wieringa: A Specification Language for Static, Dynamic and Deontic Integrity Constraints. MFDBS 1989: 347-366
- 1988
- [j15]
- [j14]J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog, Jeffery I. Zucker: Transition Systems, Metric Spaces and Ready Sets in the Semantics of Uniform Concurrency. J. Comput. Syst. Sci. 36(2): 158-224 (1988)
- [j13]John-Jules Ch. Meyer, Erik P. de Vink: Applications of Compactness in the Smyth Powerdomain of Streams. Theor. Comput. Sci. 57: 251-282 (1988)
- 1987
- [j12]J. W. de Bakker, John-Jules Ch. Meyer: Order and Metric in the Stream Semantics of Elemental Concurrency. Acta Inf. 24(5): 491-511 (1987)
- [j11]John-Jules Ch. Meyer: Process modalities obtained as fixed points (Part one). Bulletin of the EATCS 32: 98-106 (1987)
- [j10]John-Jules Ch. Meyer: Process modalities obtained as fixed points (part 2). Bulletin of the EATCS 33: 71-82 (1987)
- [j9]J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog: Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency. Theor. Comput. Sci. 49: 87-112 (1987)
- [c5]John-Jules Ch. Meyer, Erik P. de Vink: Applications of Compactness in the Smyth Powerdomain of Streams (Extended Abstract). TAPSOFT, Vol.1 1987: 241-255
- 1986
- [j8]John-Jules Ch. Meyer: Merging Regular Processes by Means of Fixed-Point Theory. Theor. Comput. Sci. 45(2): 193-260 (1986)
- [p1]J. W. de Bakker, Joost N. Kok, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog, Jeffery I. Zucker: Contrasting Themes in the Semantics of Imperative Concurrency. Current Trends in Concurrency 1986: 51-122
- 1985
- [c4]J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog: Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency. ICALP 1985: 149-157
- [c3]J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog, Jeffery I. Zucker: Transition Systems, Infinitary Languages and the Semantics of Uniform Concurrency. STOC 1985: 252-262
- 1984
- [j7]Jan A. Bergstra, John-Jules Ch. Meyer: On Specifying Sets of Integers. Elektronische Informationsverarbeitung und Kybernetik 20(10/11): 531-541 (1984)
- [j6]J. W. de Bakker, John-Jules Ch. Meyer, Jeffery I. Zucker: On Infinite Computations in Denotational Semantics. Theor. Comput. Sci. 29: 229-230 (1984)
- [j5]J. W. de Bakker, Jan A. Bergstra, Jan Willem Klop, John-Jules Ch. Meyer: Linear Time and Branching Time Semantics for Recursion with Merge. Theor. Comput. Sci. 34: 135-156 (1984)
- 1983
- [j4]J. W. de Bakker, John-Jules Ch. Meyer, Jeffery I. Zucker: On Infinite Computations in Denotational Semantics. Theor. Comput. Sci. 26: 53-82 (1983)
- [c2]J. W. de Bakker, Jan A. Bergstra, Jan Willem Klop, John-Jules Ch. Meyer: Linear Time and Branching Time Semantics for Recursion with Merge. ICALP 1983: 39-51
- 1982
- [j3]Jan A. Bergstra, John-Jules Ch. Meyer: A Simple Transfer Lemma for Algebraic Specifications. Inf. Process. Lett. 14(2): 80-85 (1982)
- [j2]Jan A. Bergstra, John-Jules Ch. Meyer: On the Elimination of Iteration Quantifiers in a Fragment of Algorithmic Logic. Theor. Comput. Sci. 21: 269-279 (1982)
- 1981
- [j1]Jan A. Bergstra, John-Jules Ch. Meyer: On the quantifier-free fragment of 'Logic of effective definitions'. Fundam. Inform. 4(4): 935-956 (1981)
- [c1]J. W. de Bakker, Jan Willem Klop, John-Jules Ch. Meyer: Correctness of Programs with Function Procedures. Logic of Programs 1981: 94-112
Coauthor Index
[j79] [j78] [c204] [j77] [c194] [j74] [j73] [c190] [j71] [c178] [c177] [c175] [j68] [j66] [c170] [c167] [c166] [c164] [c160] [c157] [c154] [c151] [c149] [c146] [c142] [c140] [c139] [c138] [c137] [c136] [c135] [c134] [c129] [c128] [c124] [c122] [c120] [e5] [c112] [c111] [c110] [c108] [c106] [c105] [c103] [c102] [c99] [c92] [p2] [c85] [c82] [c77] [c71] [c69] [c64]
[c192] [c189] [c179] [c171] [c167] [c165] [j62] [c153] [c152] [c150] [c149] [c144] [c143] [c142] [j61] [j60] [c132] [c131] [c130] [c127] [c125] [c124] [c121] [j54] [c116] [c113] [c104] [c98] [c97] [c96] [c95] [c93] [c91] [c89] [j48] [c88] [c85] [c82] [c79] [c77] [c76] [c75] [c73] [c71] [c69] [c64] [c60] [c59] [c34] [j25] [c28] [j19]
[c199] [j57] [j52] [j49] [j47] [j46] [j45] [j44] [j43] [c70] [c68] [c62] [c61] [c57] [i1] [j39] [j38] [j37] [c54] [c53] [c52] [j35] [c51] [c50] [c49] [c48] [c46] [c45] [c44] [c43] [j34] [j33] [c42] [c41] [j32] [j31] [j30] [c39] [c38] [c36] [c35] [c33] [c32] [j29] [j28] [c31] [j26] [j24] [c26] [c25] [c24] [c23] [c22] [c21] [c20] [c19] [c18] [j21] [c16] [j20] [c14] [c13] [c8]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16 21:28 CEST by the dblp team