John-Jules Ch. Meyer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
91
Venues
42
Active years
1983–2021
Best venue rank
A*
Where they publish
- AECAI14 papers
- BICAART6 papers
- BPRIMA5 papers
- CECSQARU4 papers
- CISADS4 papers
- BJELIA4 papers
- BIVA4 papers
- NationalICTERI3 papers
- CICAIL3 papers
- CJURIX3 papers
- NationalEPIA3 papers
- NationalKI3 papers
- A*KR2 papers
- CEUMAS2 papers
- A*AAAI2 papers
- NationalLFCS2 papers
- A*ICALP2 papers
- CCOMMA1 paper
- A*HRI1 paper
- BIJCNN1 paper
- CRoboCup1 paper
- BCSEDU1 paper
- BGI1 paper
- AAAMAS1 paper
- AAIED1 paper
- BCBMS1 paper
- A*IJCAI1 paper
- CSIMULTECH1 paper
- CICINCO1 paper
- BACII1 paper
- BRCIS1 paper
- CSoMeT1 paper
- BTABLEAUX1 paper
- CTIME1 paper
- BCONCUR1 paper
- CISCO1 paper
- NationalAIMSA1 paper
- CIPMU1 paper
- CLOPSTR1 paper
- BTARK1 paper
- BMFCS1 paper
- A*STOC1 paper
Papers
91 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | ECSQARU | A Probabilistic Deontic Logic. | Vincent de Wit, Dragan Doder, John-Jules Ch. Meyer |
| 2017 | ISADS | A Versatile Simulation Model of Agile Production by Autonomous Systems. | Leo van Moergestel, Hylco Uding, Nathan Schaaphuizen, Daan Leijen, Daniel van den Berg, Hendrik Cornelisse, Matthijs Veldhuizen, Martijn van der Struijk, Erik Puik, Danil Telgen, John-Jules Ch. Meyer |
| 2017 | ICTERI | Is Knowledge of Mathematics a Key for Success for Studying ICT? | Leo van Moergestel, John-Jules Ch. Meyer |
| 2017 | PRIMA | Other-Condemning Anger = Blaming Accountable Agents for Unattainable Desires. | Mehdi Dastani, Emiliano Lorini, John-Jules Ch. Meyer, Alexander Pankov |
| 2016 | ECAI | A Dynamic Logic of Norm Change. | Max Knobbout, Mehdi Dastani, John-Jules Ch. Meyer |
| 2016 | ECAI | Towards a Framework for Detecting Opportunism in Multi-Agent Systems. | Jieting Luo, John-Jules Ch. Meyer, Max Knobbout |
| 2016 | ICAART | Internet of Smart Things - A Study on Embedding Agents and Information in a Device. | Leo van Moergestel, Melvin van den Berg, Marco Knol, Rick van der Paauw, Kasper van Voorst, Erik Puik, Danil Telgen, John-Jules Ch. Meyer |
| 2016 | KR | Preference and Priorities: A Study Based on Contrction. | Marlo Souza, lvaro F. Moreira, Renata Vieira, John-Jules Ch. Meyer |
| 2015 | ECSQARU | Explaining Bayesian Networks Using Argumentation. | Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij |
| 2015 | ICAART | Dynamic Task Allocation for Human-robot Teams. | Tinka R. A. Giele, Tina Mioch, Mark A. Neerincx, John-Jules Ch. Meyer |
| 2015 | ICAIL | A structure-guided approach to capturing bayesian reasoning about legal evidence in argumentation. | Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij |
| 2015 | ICAIL | Demonstration of a structure-guided approach to capturing bayesian reasoning about legal evidence in argumentation. | Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij |
| 2015 | ISADS | Implementation of an Agent-Based Manufacturing Grid. | Leo van Moergestel, Erik Puik, Danil Telgen, John-Jules Ch. Meyer |
| 2015 | ICTERI | Implementing Manufacturing as a Service: A Pull-Driven Agent-Based Manufacturing Grid. | Leo van Moergestel, Erik Puik, Danil Telgen, John-Jules Ch. Meyer |
| 2015 | JURIX | Explaining Legal Bayesian Networks Using Support Graphs. | Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij |
| 2015 | JURIX | Capturing Critical Questions in Bayesian Network Fragments: - Extended abstract. | Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij |
| 2014 | COMMA | A Tool for the Generation of Arguments from Bayesian Networks. | Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij |
| 2014 | ECAI | An Agent-Based Model of Procrastination. | Ruurdje Procee, Bart A. Kamphorst, Arlette van Wissen, John-Jules Ch. Meyer |
| 2014 | ECAI | Encoding Definitional Fragments of Temporal Action Logic into Logic Programming. | Marc van Zee, Patrick Doherty, John-Jules Ch. Meyer |
| 2014 | HRI | Adaptive emotional expression in robot-child interaction. | Myrthe Tielman, Mark A. Neerincx, John-Jules Ch. Meyer, Rosemarijn Looije |
| 2014 | ICAART | Agent-based Manufacturing in a Production Grid - Adapting a Production Grid to the Production Paths. | Leo van Moergestel, Danil Telgen, Erik Puik, John-Jules Ch. Meyer |
| 2014 | IJCNN | Applying Neural-Symbolic Cognitive Agents in Intelligent Transport Systems to reduce CO2 emissions. | Leo de Penning, Artur S. d'Avila Garcez, Lus C. Lamb, Arjan Stuiver, John-Jules Ch. Meyer |
| 2014 | ICTERI | A Demo Processor as an Educational Tool. | Leo van Moergestel, Lukas Vermond, Kasper van Nieuwland, John-Jules Ch. Meyer |
| 2014 | JELIA | Reasoning about Dynamic Normative Systems. | Max Knobbout, Mehdi Dastani, John-Jules Ch. Meyer |
| 2014 | JURIX | Extracting Legal Arguments from Forensic Bayesian Networks. | Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij |
| 2014 | RoboCup | A Formalization of the Coach Problem. | Gwendolijn Y. R. Schropp, John-Jules Ch. Meyer, Subramanian Ramamoorthy |
| 2013 | CSEDU | Automated Scenario Generation - Coupling Planning Techniques with Smart Objects. | Gwen R. Ferdinandus, Marieke Peeters, Karel van den Bosch, John-Jules Ch. Meyer |
| 2013 | GI | Encapsulated Models for Reasoning and Decision Support. | Ivana Cace, John-Jules Ch. Meyer, Carla Pieterman, Gerlof Valk |
| 2013 | ICAART | Enhancing Products by Embedding Agents: Adding an Agent to a Robot for Monitoring, Maintenance and Disaster Prevention. | Leo van Moergestel, Erik Puik, Danil Telgen, Hendrik Folmer, Matthijs Grnbauer, Robbert Proost, Hielke Veringa, John-Jules Ch. Meyer |
| 2013 | ICAART | Monitoring Agents in Complex Products - Enhancing a Discovery Robot with an Agent for Monitoring, Maintenance and Disaster Prevention. | Leo van Moergestel, Erik Puik, Danil Telgen, Hendrik Folmer, Matthijs Grnbauer, Robbert Proost, Hielke Veringa, John-Jules Ch. Meyer |
| 2013 | ISADS | Embedded autonomous agents in products supporting repair and recycling. | Leo van Moergestel, Erik Puik, Danil Telgen, John-Jules Ch. Meyer |
| 2012 | AAMAS | Testing the benfits of structured argumentation in multi-agent deliberation dialogues. | Eric M. Kok, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk |
| 2012 | ICAART | Generating Phonemes from Written Thai using Lexical Analysis based on Regular Expressions. | Leo van Moergestel, John-Jules Ch. Meyer |
| 2012 | IVA | Virtual Reality Negotiation Training Increases Negotiation Knowledge and Skill. | Joost Broekens, Maaike Harbers, Willem-Paul Brinkman, Catholijn M. Jonker, Karel van den Bosch, John-Jules Ch. Meyer |
| 2011 | AIED | Scenario-Based Training: Director's Cut. | Marieke Peeters, Karel van den Bosch, John-Jules Ch. Meyer, Mark A. Neerincx |
| 2011 | CBMS | Classifying the decision to perform surgery in MEN1 cancer patients using decision trees. | 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 |
| 2011 | EUMAS | A Methodology for the Generation of Multi-agent Argumentation Dialogue Scenarios. | Eric M. Kok, John-Jules Ch. Meyer, Herre van Oostendorp, Henry Prakken, Gerard Vreeswijk |
| 2011 | IJCAI | A Neural-Symbolic Cognitive Agent for Online Learning and Reasoning. | Leo de Penning, Artur S. d'Avila Garcez, Lus C. Lamb, John-Jules Ch. Meyer |
| 2011 | ISADS | Decentralized Autonomous-Agent-Based Infrastructure for Agile Multiparallel Manufacturing. | Leo van Moergestel, Erik Puik, Danil Telgen, John-Jules Ch. Meyer |
| 2011 | IVA | Validity of a Virtual Negotiation Training. | Joost Broekens, Maaike Harbers, Willem-Paul Brinkman, Catholijn M. Jonker, Karel van den Bosch, John-Jules Ch. Meyer |
| 2011 | SIMULTECH | A Theoretical Framework for Explaining Agent Behavior. | Maaike Harbers, Karel van den Bosch, John-Jules Ch. Meyer |
| 2010 | ECAI | Mental State Ascription Using Dynamic Logic. | Michal P. Sindlar, Mehdi Dastani, John-Jules Ch. Meyer |
| 2010 | PRIMA | Affordance-Based Intention Recognition in Virtual Spatial Environments. | Michal P. Sindlar, John-Jules Ch. Meyer |
| 2009 | EPIA | A Formal Model of Emotion-Based Action Tendency for Intelligent Agents. | Bas R. Steunebrink, Mehdi Dastani, John-Jules Ch. Meyer |
| 2009 | IVA | A Study into Preferred Explanations of Virtual Agent Behavior. | Maaike Harbers, Karel van den Bosch, John-Jules Ch. Meyer |
| 2009 | IVA | BDI-Based Development of Virtual Characters with a Theory of Mind. | Michal P. Sindlar, Mehdi Dastani, John-Jules Ch. Meyer |
| 2008 | ECAI | Organizing Coherent Coalitions. | Jan M. Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini |
| 2008 | ECAI | A Formal Model of Emotions: Integrating Qualitative and Quantitative Aspects. | Bas R. Steunebrink, Mehdi Dastani, John-Jules Ch. Meyer |
| 2008 | ECAI | Magic Agents: Using Information Relevance to Control Autonomy. | Bob van der Vecht, Frank Dignum, John-Jules Ch. Meyer |
| 2008 | ICINCO | A Generic Architecture for a Companion Robot. | Bas R. Steunebrink, Nieske L. Vergunst, Christian P. Mol, Frank Dignum, Mehdi Dastani, John-Jules Ch. Meyer |
| 2008 | JELIA | A Logic for Closed-World Interaction. | Jan M. Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini |
| 2008 | KR | Reasoning about Agent Deliberation. | Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer |
| 2008 | PRIMA | Reo Connectors as Coordination Artifacts in 2APL Systems. | Farhad Arbab, Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer, Nick A. M. Tinnemeier |
| 2008 | PRIMA | A Verification Framework for Normative Multi-Agent Systems. | Lacramioara Astefanoaei, Mehdi Dastani, John-Jules Ch. Meyer, Frank S. de Boer |
| 2007 | AAAI | A Logic of Agent Programs. | Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer |
| 2007 | AAAI | A Logic of Emotions for Intelligent Agents. | Bas R. Steunebrink, Mehdi Dastani, John-Jules Ch. Meyer |
| 2007 | ACII | Rational Agents That Blush. | Paolo Turrini, John-Jules Ch. Meyer, Cristiano Castelfranchi |
| 2007 | RCIS | A New Quantitative Trust Model for Negotiating Agents. | Jamal Bentahar, John-Jules Ch. Meyer |
| 2007 | SoMeT | Model Checking Communicative Agent-Based Systems. | Jamal Bentahar, John-Jules Ch. Meyer |
| 2007 | TABLEAUX | Our Quest for the Holy Grail of Agent Verification. | John-Jules Ch. Meyer |
| 2006 | ECAI | Programming Agents with Emotions. | Mehdi Dastani, John-Jules Ch. Meyer |
| 2006 | ECAI | Goal Types in Agent Programming. | Mehdi Dastani, M. Birna van Riemsdijk, John-Jules Ch. Meyer |
| 2006 | EUMAS | Going beyond BDI: Programming 'BDI+' Agents. | John-Jules Ch. Meyer |
| 2006 | KI | Agent Logics as Program Logics: Grounding KARO. | Koen V. Hindriks, John-Jules Ch. Meyer |
| 2005 | EPIA | Towards a Market Mechanism for Airport Traffic Control. | Geert Jonker, John-Jules Ch. Meyer, Frank Dignum |
| 2005 | EPIA | Subgoal Semantics in Agent Programming. | M. Birna van Riemsdijk, Mehdi Dastani, John-Jules Ch. Meyer |
| 2005 | ICAIL | Modal logic investigations in the Modal logic investigations in the semantics of counts semantics of counts-as as. | Davide Grossi, John-Jules Ch. Meyer, Frank Dignum |
| 2004 | ECAI | Reasoning about Emotional Agents. | John-Jules Ch. Meyer |
| 2002 | ECAI | On Modal Logic Interpretations of Games. | Paul Harrenstein, Wiebe van der Hoek, John-Jules Ch. Meyer, Cees Witteveen |
| 2001 | PRIMA | A Truly Concurrent Model for Interacting Agents. | Wieke de Vries, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer |
| 2001 | TIME | Reasoning about agents in the KARO framework. | Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher, John-Jules Ch. Meyer, Wiebe van der Hoek |
| 2000 | CONCUR | Failure Semantics for the Exchange of Information in Multi-Agent Systems. | Frank S. de Boer, Rogier M. van Eijk, Wiebe van der Hoek, John-Jules Ch. Meyer |
| 2000 | JELIA | A Modal Logic for Network Topologies. | Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer |
| 1999 | ISCO | Keynote Address: Formal and Informal Aspects of Intelligent Agent-based Systems. | John-Jules Ch. Meyer |
| 1998 | AIMSA | Constructing Translations Between Individual Vocabularies in Multi-Agent Systems. | Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer |
| 1998 | ECAI | Systems of Communicating Agents. | Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer |
| 1995 | ECSQARU | The Dynamics of Default Reasoning (Extended Abstract). | Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer |
| 1995 | KI | Actions That Make You Change Your Mind (Extended Abstract). | Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer |
| 1994 | ECAI | Tests as Epistemic Updates. | Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer |
| 1994 | IPMU | Many-Valued Epistemic States: An Application to a Reflexive Architecture: Milord-II. | Llus Godo, Wiebe van der Hoek, John-Jules Ch. Meyer, Carles Sierra |
| 1994 | KI | Communicating Rational Agents. | Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer |
| 1994 | LFCS | A Logic of Capabilities. | Wiebe van der Hoek, Bernd van Linder, John-Jules Ch. Meyer |
| 1994 | LOPSTR | Formal Semantics of Temporal Epistemic Reflection. | Wiebe van der Hoek, John-Jules Ch. Meyer, Jan Treur |
| 1994 | TARK | An Epistemic Proof System for Parallel Processes. | M. van Hulst, John-Jules Ch. Meyer |
| 1993 | ECSQARU | A Default Logic Based on Epistemic States. | John-Jules Ch. Meyer, Wiebe van der Hoek |
| 1992 | LFCS | Graded Modalities in Epistemic Logic. | Wiebe van der Hoek, John-Jules Ch. Meyer |
| 1990 | JELIA | Non-Monotonic Reasoning by Monotonic Means. | John-Jules Ch. Meyer, Wiebe van der Hoek |
| 1989 | MFCS | Pomset Semantics for True Concurrency with Synchronization and Recursion (Extended Abstract). | John-Jules Ch. Meyer, Erik P. de Vink |
| 1985 | ICALP | Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency. | J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rdiger Olderog |
| 1985 | STOC | Transition Systems, Infinitary Languages and the Semantics of Uniform Concurrency | J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rdiger Olderog, Jeffery I. Zucker |
| 1983 | ICALP | Linear Time and Branching Time Semantics for Recursion with Merge. | J. W. de Bakker, Jan A. Bergstra, Jan Willem Klop, John-Jules Ch. Meyer |