John-Jules Ch. Meyer

Publication Activity (10 Years)

Years Active: 1981-2023
Publications (10 Years): 42

Top Venues

AAMAS

JURIX

ICTERI

ICAART (1)

Publications

Vincent de Wit, Dragan Doder, John-Jules Ch. Meyer
Probabilistic Deontic Logics for Reasoning about Uncertain Norms. FLAP 10 (2) (2023)
Vincent de Wit, Dragan Doder, John-Jules Ch. Meyer
A Probabilistic Deontic Logic. ECSQARU (2021)
Jieting Luo, Beishui Liao, John-Jules Ch. Meyer
A Formal Framework for Reasoning about Agents' Independence in Self-organizing Multi-agent Systems. CoRR (2021)
Jieting Luo, John-Jules Ch. Meyer, Max Knobbout
A Formal Framework for Reasoning about Opportunistic Propensity in Multi-agent Systems. AAMAS (2020)
Jieting Luo, John-Jules Ch. Meyer, Max Knobbout
A formal framework for reasoning about opportunistic propensity in multi-agent systems. Auton. Agents Multi Agent Syst. 33 (4) (2019)
Marlo Souza, Álvaro F. Moreira, Renata Vieira, John-Jules Ch. Meyer
A Dynamic Preference Logic for reasoning about Agent Programming. CoRR (2019)
Jieting Luo, Max Knobbout, John-Jules Ch. Meyer
Eliminating Opportunism using an Epistemic Mechanism. AAMAS (2018)
Chide Groenouwe, Jesse Nortier, John-Jules Ch. Meyer
Truly Visual Polymorphic Algebraic Data Structures through Maramafication. CoRR (2018)
Mehdi Dastani, Emiliano Lorini, John-Jules Ch. Meyer, Alexander Pankov
Other-Condemning Anger = Blaming Accountable Agents for Unattainable Desires. PRIMA (2017)
Leo van Moergestel, John-Jules Ch. Meyer
Is Knowledge of Mathematics a Key for Success for Studying ICT? ICTERI (2017)
Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij
A two-phase method for extracting explanatory arguments from Bayesian networks. Int. J. Approx. Reason. 80 (2017)
Jieting Luo, John-Jules Ch. Meyer
A formal account of opportunism based on the situation calculus. AI Soc. 32 (4) (2017)
Mehdi Dastani, Emiliano Lorini, John-Jules Ch. Meyer, Alexander Pankov
Other-Condemning Anger = Blaming Accountable Agents for Unattainable Desires. AAMAS (2017)
Marlo Souza, Álvaro F. Moreira, Renata Vieira, John-Jules Ch. Meyer
A Dynamic Preference Logic for Reasoning about Agent Programming. BRACIS (2017)
Leo van Moergestel, Hylco Uding, Nathan Schaaphuizen, Daan Leijen, Daniel van den Berg, Hendrik Cornelisse, Matthijs Veldhuizen, Martijn van der Struijk, Erik Puik, Daniël Telgen, John-Jules Ch. Meyer
A Versatile Simulation Model of Agile Production by Autonomous Systems. ISADS (2017)
Jieting Luo, John-Jules Ch. Meyer, Max Knobbout
Towards a Framework for Predicting Opportunism in Multi-agent Systems. AAMAS (2017)
Jieting Luo, John-Jules Ch. Meyer, Max Knobbout
Reasoning About Opportunistic Propensity in Multi-agent Systems. AAMAS Workshops (Selected Papers) (2017)
Marieke M. M. Peeters, Karel van den Bosch, John-Jules Ch. Meyer, Mark A. Neerincx
Agent-Based Personalisation and User Modeling for Personalised Educational Games. UMAP (2016)
Jieting Luo, John-Jules Ch. Meyer, Max Knobbout
Towards a Framework for Detecting Opportunism in Multi-Agent Systems. ECAI (2016)
Max Knobbout, Mehdi Dastani, John-Jules Ch. Meyer
Formal Frameworks for Verifying Normative Multi-agent Systems. Theory and Practice of Formal Methods (2016)
Cristian Gratie, Adina Magda Florea, John-Jules Ch. Meyer
General directionality and the local behavior of argumentation semantics. AI Commun. 29 (1) (2016)
Max Knobbout, Mehdi Dastani, John-Jules Ch. Meyer
A Dynamic Logic of Norm Change. ECAI (2016)
Leo van Moergestel, Melvin van den Berg, Marco Knol, Rick van der Paauw, Kasper van Voorst, Erik Puik, Daniël Telgen, John-Jules Ch. Meyer
Internet of Smart Things - A Study on Embedding Agents and Information in a Device. ICAART (1) (2016)
Jieting Luo, John-Jules Ch. Meyer, Max Knobbout
Monitoring Opportunism in Multi-agent Systems. COIN@AAMAS/ECAI (2016)
Marlo Souza, Álvaro F. Moreira, Renata Vieira, John-Jules Ch. Meyer
Preference and Priorities: A Study Based on Contrction. KR (2016)
Tinka R. A. Giele, Tina Mioch, Mark A. Neerincx, John-Jules Ch. Meyer
Dynamic Task Allocation for Human-robot Teams. ICAART (1) (2015)
Paolo Turrini, Davide Grossi, Jan M. Broersen, John-Jules Ch. Meyer
Forbidding undesirable agreements. J. Log. Comput. 25 (1) (2015)
Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij
Demonstration of a structure-guided approach to capturing bayesian reasoning about legal evidence in argumentation. ICAIL (2015)
Leo van Moergestel, Erik Puik, Daniël Telgen, John-Jules Ch. Meyer
Implementing Manufacturing as a Service: A Pull-Driven Agent-Based Manufacturing Grid. ICTERI (2015)
Luca Gasparini, Timothy J. Norman, Martin J. Kollingbaum, Liang Chen, John-Jules Ch. Meyer
CÒIR: Verifying Normative Specifications of Complex Systems. COIN@AAMAS/IJCAI (2015)
Luca Gasparini, Timothy J. Norman, Martin J. Kollingbaum, Liang Chen, John-Jules Ch. Meyer
Verifying Normative System Specification containing Collective Imperatives and Deadlines. AAMAS (2015)
Jieting Luo, Frank Dignum, John-Jules Ch. Meyer
Towards A Formal Model of Opportunism Based on Situation Calculus. MATES (2015)
Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij
A structure-guided approach to capturing bayesian reasoning about legal evidence in argumentation. ICAIL (2015)
Leo van Moergestel, Erik Puik, Daniël Telgen, John-Jules Ch. Meyer
Implementation of an Agent-Based Manufacturing Grid. ISADS (2015)
Andreea Urzica, John-Jules Ch. Meyer, Bas Testerink
Organizational Replication Using Inheritance. CSCS (2015)
Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij
Explaining Bayesian Networks Using Argumentation. ECSQARU (2015)
Jieting Luo, John-Jules Ch. Meyer, Frank Dignum
On Formalizing Opportunism Based on Situation Calculus. CARE/MFSC@AAMAS (2015)
Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij
Capturing Critical Questions in Bayesian Network Fragments: - Extended abstract. JURIX (2015)
Marlo Souza, Álvaro F. Moreira, Renata Vieira, John-Jules Ch. Meyer
Integrating Ontology Negotiation and Agent Communication. OWLED (2015)
Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij
Explaining Legal Bayesian Networks Using Support Graphs. JURIX (2015)
Marlo Souza, Álvaro F. Moreira, Renata Vieira, John-Jules Ch. Meyer
Communication for Agents with Ontological Reasoning. WI-IAT (2) (2015)
Pouyan Ziafati, Mehdi Dastani, John-Jules Ch. Meyer, Leon van der Torre, Holger Voos
Retalis Language for Information Engineering in Autonomous Robot Software. FLAP 2 (2) (2015)
Marieke Peeters, Karel van den Bosch, John-Jules Ch. Meyer, Mark A. Neerincx
The design and effect of automated directions during scenario-based training. Comput. Educ. 70 (2014)
Leo de Penning, Artur S. d'Avila Garcez, Luís C. Lamb, Arjan Stuiver, John-Jules Ch. Meyer
Applying Neural-Symbolic Cognitive Agents in Intelligent Transport Systems to reduce CO2 emissions. IJCNN (2014)
Leo van Moergestel, Daniël Telgen, Erik Puik, John-Jules Ch. Meyer
Agent-based Manufacturing in a Production Grid - Adapting a Production Grid to the Production Paths. ICAART (1) (2014)
Gwendolijn Y. R. Schropp, John-Jules Ch. Meyer, Subramanian Ramamoorthy
A Formalization of the Coach Problem. RoboCup (2014)
Marc van Zee, Patrick Doherty, John-Jules Ch. Meyer
Encoding Definitional Fragments of Temporal Action Logic into Logic Programming. DARe@ECAI (2014)
Pouyan Ziafati, Yehia Elrakaiby, Marc van Zee, Mehdi Dastani, John-Jules Ch. Meyer, Leendert W. N. van der Torre, Holger Voos
Reasoning on Robot Knowledge from Discrete and Asynchronous Observations. AAAI Spring Symposia (2014)
Leo van Moergestel, Lukas Vermond, Kasper van Nieuwland, John-Jules Ch. Meyer
A Demo Processor as an Educational Tool. ICTERI (2014)
Ruurdje Procee, Bart A. Kamphorst, Arlette van Wissen, John-Jules Ch. Meyer
An Agent-Based Model of Procrastination. ECAI (2014)
Max Knobbout, Mehdi Dastani, John-Jules Ch. Meyer
Reasoning about Dynamic Normative Systems. JELIA (2014)
Leo de Penning, Artur S. d'Avila Garcez, Luís C. Lamb, John-Jules Ch. Meyer
Neural-symbolic cognitive agents: architecture, theory and application. AAMAS (2014)
Myrthe Tielman, Mark A. Neerincx, John-Jules Ch. Meyer, Rosemarijn Looije
Adaptive emotional expression in robot-child interaction. HRI (2014)
Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij
Extracting Legal Arguments from Forensic Bayesian Networks. JURIX (2014)
Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij
A Tool for the Generation of Arguments from Bayesian Networks. COMMA (2014)
Bas Testerink, Mehdi Dastani, John-Jules Ch. Meyer
Norm Monitoring Through Observation Sharing. ECSI (2014)
Ivana Cace, John-Jules Ch. Meyer, Carla Pieterman, Gerlof Valk
Encapsulated Models for Reasoning and Decision Support. GI-Jahrestagung (2013)
Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer
A weakest precondition calculus for BUnity. Sci. Comput. Program. 78 (9) (2013)
Leo van Moergestel, Erik Puik, Daniël Telgen, John-Jules Ch. Meyer
Embedded autonomous agents in products supporting repair and recycling. ISADS (2013)
Bas Testerink, Mehdi Dastani, John-Jules Ch. Meyer
Norms in Distributed Organizations. COIN@AAMAS/PRIMA (2013)
Daniël Telgen, Leo van Moergestel, Erik Puik, Arjen van Zanten, Ammar Abdulamir, John-Jules Ch. Meyer
Automatic Structured Decomposition of Manufacturing Actions in an Agent-Based Manufacturing System. IAT (2013)
Mehdi Dastani, John-Jules Ch. Meyer, Davide Grossi
A logic for normative multi-agent programs. J. Log. Comput. 23 (2) (2013)
Leo van Moergestel, Daniël Telgen, Erik Puik, John-Jules Ch. Meyer
A Versatile Agile Agent-Based Infrastructure for Hybrid Production Environments. MIM (2013)
Leo van Moergestel, Erik Puik, Daniël Telgen, Rick van Rijn, Benjamin Segerius, John-Jules Ch. Meyer
A Multiagent-Based Agile Work Distribution System. IAT (2013)
Olivier Boissier, Marco Colombetti, Michael Luck, John-Jules Ch. Meyer, Axel Polleres
Norms, organizations, and semantics. Knowl. Eng. Rev. 28 (1) (2013)
Rainer Reisenzein, Eva Hudlicka, Mehdi Dastani, Jonathan Gratch, Koen V. Hindriks, Emiliano Lorini, John-Jules Ch. Meyer
Computational Modeling of Emotion: Toward Improving the Inter- and Intradisciplinary Exchange. IEEE Trans. Affect. Comput. 4 (3) (2013)
Erik D. Van der Spek, Herre van Oostendorp, John-Jules Ch. Meyer
Introducing surprising events can stimulate deep learning in a serious game. Br. J. Educ. Technol. 44 (1) (2013)
Pouyan Ziafati, Mehdi Dastani, John-Jules Ch. Meyer, Leendert W. N. van der Torre
Event-processing in autonomous robot programming. AAMAS (2013)
Gwen R. Ferdinandus, Marieke Peeters, Karel van den Bosch, John-Jules Ch. Meyer
Automated Scenario Generation - Coupling Planning Techniques with Smart Objects. CSEDU (2013)
Leo van Moergestel, Wouter Langerak, Glenn Meerstra, Niels van Nieuwenburg, Franc Pape, Daniël Telgen, Erik Puik, John-Jules Ch. Meyer
Agents in Domestic Environments. CSCS (2013)
Leo van Moergestel, Erik Puik, Daniël Telgen, Hendrik Folmer, Matthijs Grünbauer, Robbert Proost, Hielke Veringa, John-Jules Ch. Meyer
Enhancing Products by Embedding Agents: Adding an Agent to a Robot for Monitoring, Maintenance and Disaster Prevention. ICAART (Revised Selected Papers) (2013)
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)
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)
Paolo Turrini, Jan M. Broersen, Rosja Mastop, John-Jules Ch. Meyer
Regulating competing coalitions: a logic for socially optimal group choices. J. Appl. Non Class. Logics 22 (1-2) (2012)
Leo van Moergestel, John-Jules Ch. Meyer
Generating Phonemes from Written Thai using Lexical Analysis based on Regular Expressions. ICAART (1) (2012)
Leo van Moergestel, Erik Puik, Daniël Telgen, John-Jules Ch. Meyer
Production Scheduling in an Agile Agent-Based Production Grid. IAT (2012)
Maaike Harbers, Karel van den Bosch, John-Jules Ch. Meyer
Modeling agents with a theory of mind: Theory-theory versus simulation theory. Web Intell. Agent Syst. 10 (3) (2012)
Bas R. Steunebrink, Mehdi Dastani, John-Jules Ch. Meyer
A formal model of emotion triggers: an approach for BDI agents. Synth. 185 (Supplement-1) (2012)
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)
Pouyan Ziafati, Mehdi Dastani, John-Jules Ch. Meyer, Leendert W. N. van der Torre
Agent Programming Languages Requirements for Programming Autonomous Robots. ProMAS (2012)
Cristian Gratie, Adina Magda Florea, John-Jules Ch. Meyer
Full Hybrid μ-Calculus, Its Bisimulation Invariance and Application to Argumentation. CLIMA (2012)
Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer
GOAL Agents Instantiate Intention Logic. Logic Programs, Norms and Action (2012)
Eric M. Kok, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk
Testing the benfits of structured argumentation in multi-agent deliberation dialogues. AAMAS (2012)
Cristian Gratie, Adina Magda Florea, John-Jules Ch. Meyer
General Directionality and the Local Behavior of Argumentation Semantics. AT (2012)
Mehdi Dastani, John-Jules Ch. Meyer, Nick A. M. Tinnemeier
Programming norm change. J. Appl. Non Class. Logics 22 (1-2) (2012)
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)
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)
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)
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)
Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer
Reasoning about plan revision in BDI agent programs. Theor. Comput. Sci. 412 (44) (2011)
Leo van Moergestel, Erik Puik, Daniël Telgen, John-Jules Ch. Meyer
Decentralized Autonomous-Agent-Based Infrastructure for Agile Multiparallel Manufacturing. ISADS (2011)
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)
Michal P. Sindlar, Mehdi Dastani, John-Jules Ch. Meyer
Programming mental state abduction. AAMAS (2011)
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)
Maaike Harbers, Karel van den Bosch, John-Jules Ch. Meyer
A Theoretical Framework for Explaining Agent Behavior. SIMULTECH (2011)
Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer
Reasoning about agent deliberation. Auton. Agents Multi Agent Syst. 22 (2) (2011)
Marieke Peeters, Karel van den Bosch, John-Jules Ch. Meyer, Mark A. Neerincx
Scenario-Based Training: Director's Cut. AIED (2011)
Thomas L. van der Weide, Frank Dignum, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk
Multi-criteria argument selection in persuasion dialogues. AAMAS (2011)
Thomas L. van der Weide, Frank Dignum, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk
Multi-criteria Argument Selection in Persuasion Dialogues. ArgMAS (2011)
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)

John-Jules Ch. Meyer.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

John-Jules Ch. Meyer