John-Jules Ch. Meyer

377 papers A* 9A 45B 22C 24Misc 12Journal 96Unranked 154

Year	Rank	Type	Title / Venue / Authors
2023	J	`jnl`	Probabilistic Deontic Logics for Reasoning about Uncertain Norms. FLAP Vincent de Wit, Dragan Doder, John-Jules Ch. Meyer
2021	J	`jnl`	A Formal Framework for Reasoning about Agents' Independence in Self-organizing Multi-agent Systems. CoRR Jieting Luo, Beishui Liao, John-Jules Ch. Meyer
2021	C	`conf`	A Probabilistic Deontic Logic. ECSQARU Vincent de Wit, Dragan Doder, John-Jules Ch. Meyer
2020	A	`conf`	A Formal Framework for Reasoning about Opportunistic Propensity in Multi-agent Systems. AAMAS Jieting Luo, John-Jules Ch. Meyer, Max Knobbout
2019	J	`jnl`	A Dynamic Preference Logic for reasoning about Agent Programming. CoRR Marlo Souza, Álvaro F. Moreira, Renata Vieira, John-Jules Ch. Meyer
2019	J	`jnl`	A formal framework for reasoning about opportunistic propensity in multi-agent systems. Auton. Agents Multi Agent Syst. Jieting Luo, John-Jules Ch. Meyer, Max Knobbout
2018	A	`conf`	Eliminating Opportunism using an Epistemic Mechanism. AAMAS Jieting Luo, Max Knobbout, John-Jules Ch. Meyer
2018	J	`jnl`	Truly Visual Polymorphic Algebraic Data Structures through Maramafication. CoRR Chide Groenouwe, Jesse Nortier, John-Jules Ch. Meyer
2017	—	`conf`	A Dynamic Preference Logic for Reasoning about Agent Programming. BRACIS Marlo Souza, Álvaro F. Moreira, Renata Vieira, John-Jules Ch. Meyer
2017	C	`conf`	A Versatile Simulation Model of Agile Production by Autonomous Systems. ISADS 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
2017	J	`jnl`	A formal account of opportunism based on the situation calculus. AI Soc. Jieting Luo, John-Jules Ch. Meyer
2017	J	`jnl`	A two-phase method for extracting explanatory arguments from Bayesian networks. Int. J. Approx. Reason. Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij
2017	—	`ed.`	Intelligent Technologies for Interactive Entertainment - 8th International Conference, INTETAIN 2016, Utrecht, The Netherlands, June 28-30, 2016, Revised Selected Papers INTETAIN Ronald Poppe, John-Jules Ch. Meyer, Remco C. Veltkamp, Mehdi Dastani
2017	Misc	`conf`	Is Knowledge of Mathematics a Key for Success for Studying ICT? ICTERI Leo van Moergestel, John-Jules Ch. Meyer
2017	A	`conf`	Other-Condemning Anger = Blaming Accountable Agents for Unattainable Desires. AAMAS Mehdi Dastani, Emiliano Lorini, John-Jules Ch. Meyer, Alexander Pankov
2017	B	`conf`	Other-Condemning Anger = Blaming Accountable Agents for Unattainable Desires. PRIMA Mehdi Dastani, Emiliano Lorini, John-Jules Ch. Meyer, Alexander Pankov
2017	—	`conf`	Reasoning About Opportunistic Propensity in Multi-agent Systems. AAMAS Workshops (Selected Papers) Jieting Luo, John-Jules Ch. Meyer, Max Knobbout
2017	A	`conf`	Towards a Framework for Predicting Opportunism in Multi-agent Systems. AAMAS Jieting Luo, John-Jules Ch. Meyer, Max Knobbout
2016	A	`conf`	A Dynamic Logic of Norm Change. ECAI Max Knobbout, Mehdi Dastani, John-Jules Ch. Meyer
2016	A	`conf`	Agent-Based Personalisation and User Modeling for Personalised Educational Games. UMAP Marieke M. M. Peeters, Karel van den Bosch, John-Jules Ch. Meyer, Mark A. Neerincx
2016	—	`conf`	Formal Frameworks for Verifying Normative Multi-agent Systems. Theory and Practice of Formal Methods Max Knobbout, Mehdi Dastani, John-Jules Ch. Meyer
2016	J	`jnl`	General directionality and the local behavior of argumentation semantics. AI Commun. Cristian Gratie, Adina Magda Florea, John-Jules Ch. Meyer
2016	—	`conf`	Internet of Smart Things - A Study on Embedding Agents and Information in a Device. ICAART (1) 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
2016	—	`conf`	Monitoring Opportunism in Multi-agent Systems. COIN@AAMAS/ECAI Jieting Luo, John-Jules Ch. Meyer, Max Knobbout
2016	A*	`conf`	Preference and Priorities: A Study Based on Contrction. KR Marlo Souza, Álvaro F. Moreira, Renata Vieira, John-Jules Ch. Meyer
2016	A	`conf`	Towards a Framework for Detecting Opportunism in Multi-Agent Systems. ECAI Jieting Luo, John-Jules Ch. Meyer, Max Knobbout
2015	C	`conf`	A structure-guided approach to capturing bayesian reasoning about legal evidence in argumentation. ICAIL Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij
2015	C	`conf`	Capturing Critical Questions in Bayesian Network Fragments: - Extended abstract. JURIX Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij
2015	—	`conf`	Communication for Agents with Ontological Reasoning. WI-IAT (2) Marlo Souza, Álvaro F. Moreira, Renata Vieira, John-Jules Ch. Meyer
2015	—	`conf`	CÒIR: Verifying Normative Specifications of Complex Systems. COIN@AAMAS/IJCAI Luca Gasparini, Timothy J. Norman, Martin J. Kollingbaum, Liang Chen, John-Jules Ch. Meyer
2015	C	`conf`	Demonstration of a structure-guided approach to capturing bayesian reasoning about legal evidence in argumentation. ICAIL Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij
2015	—	`conf`	Dynamic Task Allocation for Human-robot Teams. ICAART (1) Tinka R. A. Giele, Tina Mioch, Mark A. Neerincx, John-Jules Ch. Meyer
2015	C	`conf`	Explaining Bayesian Networks Using Argumentation. ECSQARU Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij
2015	C	`conf`	Explaining Legal Bayesian Networks Using Support Graphs. JURIX Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij
2015	J	`jnl`	Forbidding undesirable agreements. J. Log. Comput. Paolo Turrini, Davide Grossi, Jan M. Broersen, John-Jules Ch. Meyer
2015	C	`conf`	Implementation of an Agent-Based Manufacturing Grid. ISADS Leo van Moergestel, Erik Puik, Daniël Telgen, John-Jules Ch. Meyer
2015	Misc	`conf`	Implementing Manufacturing as a Service: A Pull-Driven Agent-Based Manufacturing Grid. ICTERI Leo van Moergestel, Erik Puik, Daniël Telgen, John-Jules Ch. Meyer
2015	—	`conf`	Integrating Ontology Negotiation and Agent Communication. OWLED Marlo Souza, Álvaro F. Moreira, Renata Vieira, John-Jules Ch. Meyer
2015	—	`conf`	On Formalizing Opportunism Based on Situation Calculus. CARE/MFSC@AAMAS Jieting Luo, John-Jules Ch. Meyer, Frank Dignum
2015	—	`conf`	Organizational Replication Using Inheritance. CSCS Andreea Urzica, John-Jules Ch. Meyer, Bas Testerink
2015	J	`jnl`	Retalis Language for Information Engineering in Autonomous Robot Software. FLAP Pouyan Ziafati, Mehdi Dastani, John-Jules Ch. Meyer, Leon van der Torre, Holger Voos
2015	—	`conf`	Towards A Formal Model of Opportunism Based on Situation Calculus. MATES Jieting Luo, Frank Dignum, John-Jules Ch. Meyer
2015	A	`conf`	Verifying Normative System Specification containing Collective Imperatives and Deadlines. AAMAS Luca Gasparini, Timothy J. Norman, Martin J. Kollingbaum, Liang Chen, John-Jules Ch. Meyer
2014	Misc	`conf`	A Demo Processor as an Educational Tool. ICTERI Leo van Moergestel, Lukas Vermond, Kasper van Nieuwland, John-Jules Ch. Meyer
2014	C	`conf`	A Formalization of the Coach Problem. RoboCup Gwendolijn Y. R. Schropp, John-Jules Ch. Meyer, Subramanian Ramamoorthy
2014	C	`conf`	A Tool for the Generation of Arguments from Bayesian Networks. COMMA Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij
2014	A*	`conf`	Adaptive emotional expression in robot-child interaction. HRI Myrthe Tielman, Mark A. Neerincx, John-Jules Ch. Meyer, Rosemarijn Looije
2014	—	`conf`	Agent-based Manufacturing in a Production Grid - Adapting a Production Grid to the Production Paths. ICAART (1) Leo van Moergestel, Daniël Telgen, Erik Puik, John-Jules Ch. Meyer
2014	A	`conf`	An Agent-Based Model of Procrastination. ECAI Ruurdje Procee, Bart A. Kamphorst, Arlette van Wissen, John-Jules Ch. Meyer
2014	B	`conf`	Applying Neural-Symbolic Cognitive Agents in Intelligent Transport Systems to reduce CO2 emissions. IJCNN Leo de Penning, Artur S. d'Avila Garcez, Luís C. Lamb, Arjan Stuiver, John-Jules Ch. Meyer
2014	—	`conf`	Encoding Definitional Fragments of Temporal Action Logic into Logic Programming. DARe@ECAI Marc van Zee, Patrick Doherty, John-Jules Ch. Meyer
2014	C	`conf`	Extracting Legal Arguments from Forensic Bayesian Networks. JURIX Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij
2014	—	`ch.`	Logics for Intelligent Agents and Multi-Agent Systems. Computational Logic John-Jules Ch. Meyer
2014	A	`conf`	Neural-symbolic cognitive agents: architecture, theory and application. AAMAS Leo de Penning, Artur S. d'Avila Garcez, Luís C. Lamb, John-Jules Ch. Meyer
2014	—	`conf`	Norm Monitoring Through Observation Sharing. ECSI Bas Testerink, Mehdi Dastani, John-Jules Ch. Meyer
2014	—	`ch.`	Programming Agents with Emotions. Emotion Modeling Mehdi Dastani, Christiaan Floor, John-Jules Ch. Meyer
2014	B	`conf`	Reasoning about Dynamic Normative Systems. JELIA Max Knobbout, Mehdi Dastani, John-Jules Ch. Meyer
2014	—	`conf`	Reasoning on Robot Knowledge from Discrete and Asynchronous Observations. AAAI Spring Symposia Pouyan Ziafati, Yehia Elrakaiby, Marc van Zee, Mehdi Dastani, John-Jules Ch. Meyer, Leendert W. N. van der Torre, Holger Voos
2014	J	`jnl`	The design and effect of automated directions during scenario-based training. Comput. Educ. Marieke Peeters, Karel van den Bosch, John-Jules Ch. Meyer, Mark A. Neerincx
2013	—	`conf`	A Multiagent-Based Agile Work Distribution System. IAT Leo van Moergestel, Erik Puik, Daniël Telgen, Rick van Rijn, Benjamin Segerius, John-Jules Ch. Meyer
2013	—	`conf`	A Versatile Agile Agent-Based Infrastructure for Hybrid Production Environments. MIM Leo van Moergestel, Daniël Telgen, Erik Puik, John-Jules Ch. Meyer
2013	J	`jnl`	A logic for normative multi-agent programs. J. Log. Comput. Mehdi Dastani, John-Jules Ch. Meyer, Davide Grossi
2013	J	`jnl`	A weakest precondition calculus for BUnity. Sci. Comput. Program. Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer
2013	—	`conf`	Agents in Domestic Environments. CSCS Leo van Moergestel, Wouter Langerak, Glenn Meerstra, Niels van Nieuwenburg, Franc Pape, Daniël Telgen, Erik Puik, John-Jules Ch. Meyer
2013	B	`conf`	Automated Scenario Generation - Coupling Planning Techniques with Smart Objects. CSEDU Gwen R. Ferdinandus, Marieke Peeters, Karel van den Bosch, John-Jules Ch. Meyer
2013	—	`conf`	Automatic Structured Decomposition of Manufacturing Actions in an Agent-Based Manufacturing System. IAT Daniël Telgen, Leo van Moergestel, Erik Puik, Arjen van Zanten, Ammar Abdulamir, John-Jules Ch. Meyer
2013	J	`jnl`	Computational Modeling of Emotion: Toward Improving the Inter- and Intradisciplinary Exchange. IEEE Trans. Affect. Comput. Rainer Reisenzein, Eva Hudlicka, Mehdi Dastani, Jonathan Gratch, Koen V. Hindriks, Emiliano Lorini, John-Jules Ch. Meyer
2013	—	`conf`	Dreaming Machines: On multimodal fusion and information retrieval using neural-symbolic cognitive agents. ICCSW Leo de Penning, Artur S. d'Avila Garcez, John-Jules Ch. Meyer
2013	C	`conf`	Embedded autonomous agents in products supporting repair and recycling. ISADS Leo van Moergestel, Erik Puik, Daniël Telgen, John-Jules Ch. Meyer
2013	—	`conf`	Encapsulated Models for Reasoning and Decision Support. GI-Jahrestagung Ivana Cace, John-Jules Ch. Meyer, Carla Pieterman, Gerlof Valk
2013	—	`conf`	Enhancing Products by Embedding Agents: Adding an Agent to a Robot for Monitoring, Maintenance and Disaster Prevention. ICAART (Revised Selected Papers) Leo van Moergestel, Erik Puik, Daniël Telgen, Hendrik Folmer, Matthijs Grünbauer, Robbert Proost, Hielke Veringa, John-Jules Ch. Meyer
2013	A	`conf`	Event-processing in autonomous robot programming. AAMAS Pouyan Ziafati, Mehdi Dastani, John-Jules Ch. Meyer, Leendert W. N. van der Torre
2013	J	`jnl`	Introducing surprising events can stimulate deep learning in a serious game. Br. J. Educ. Technol. Erik D. Van der Spek, Herre van Oostendorp, John-Jules Ch. Meyer
2013	—	`conf`	Monitoring Agents in Complex Products - Enhancing a Discovery Robot with an Agent for Monitoring, Maintenance and Disaster Prevention. ICAART (2) Leo van Moergestel, Erik Puik, Daniël Telgen, Hendrik Folmer, Matthijs Grünbauer, Robbert Proost, Hielke Veringa, John-Jules Ch. Meyer
2013	—	`conf`	Norms in Distributed Organizations. COIN@AAMAS/PRIMA Bas Testerink, Mehdi Dastani, John-Jules Ch. Meyer
2013	J	`jnl`	Norms, organizations, and semantics. Knowl. Eng. Rev. Olivier Boissier, Marco Colombetti, Michael Luck, John-Jules Ch. Meyer, Axel Polleres
2012	J	`jnl`	A formal model of emotion triggers: an approach for BDI agents. Synth. Bas R. Steunebrink, Mehdi Dastani, John-Jules Ch. Meyer
2012	—	`conf`	Agent Programming Languages Requirements for Programming Autonomous Robots. ProMAS Pouyan Ziafati, Mehdi Dastani, John-Jules Ch. Meyer, Leendert W. N. van der Torre
2012	—	`conf`	An Ontology for Integrating Didactics into a Serious Training Game. PDSG Marieke Peeters, Karel van den Bosch, John-Jules Ch. Meyer, Mark A. Neerincx
2012	—	`conf`	Full Hybrid μ-Calculus, Its Bisimulation Invariance and Application to Argumentation. CLIMA Cristian Gratie, Adina Magda Florea, John-Jules Ch. Meyer
2012	—	`conf`	GOAL Agents Instantiate Intention Logic. Logic Programs, Norms and Action Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer
2012	—	`conf`	General Directionality and the Local Behavior of Argumentation Semantics. AT Cristian Gratie, Adina Magda Florea, John-Jules Ch. Meyer
2012	—	`conf`	Generating Phonemes from Written Thai using Lexical Analysis based on Regular Expressions. ICAART (1) Leo van Moergestel, John-Jules Ch. Meyer
2012	J	`jnl`	Modeling agents with a theory of mind: Theory-theory versus simulation theory. Web Intell. Agent Syst. Maaike Harbers, Karel van den Bosch, John-Jules Ch. Meyer
2012	—	`conf`	Production Scheduling in an Agile Agent-Based Production Grid. IAT Leo van Moergestel, Erik Puik, Daniël Telgen, John-Jules Ch. Meyer
2012	J	`jnl`	Programming norm change. J. Appl. Non Class. Logics Mehdi Dastani, John-Jules Ch. Meyer, Nick A. M. Tinnemeier
2012	J	`jnl`	Regulating competing coalitions: a logic for socially optimal group choices. J. Appl. Non Class. Logics Paolo Turrini, Jan M. Broersen, Rosja Mastop, John-Jules Ch. Meyer
2012	A	`conf`	Testing the benfits of structured argumentation in multi-agent deliberation dialogues. AAMAS Eric M. Kok, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk
2012	B	`conf`	Virtual Reality Negotiation Training Increases Negotiation Knowledge and Skill. IVA Joost Broekens, Maaike Harbers, Willem-Paul Brinkman, Catholijn M. Jonker, Karel van den Bosch, John-Jules Ch. Meyer
2011	C	`conf`	A Methodology for the Generation of Multi-agent Argumentation Dialogue Scenarios. EUMAS Eric M. Kok, John-Jules Ch. Meyer, Herre van Oostendorp, Henry Prakken, Gerard Vreeswijk
2011	A*	`conf`	A Neural-Symbolic Cognitive Agent for Online Learning and Reasoning. IJCAI Leo de Penning, Artur S. d'Avila Garcez, Luís C. Lamb, John-Jules Ch. Meyer
2011	C	`conf`	A Theoretical Framework for Explaining Agent Behavior. SIMULTECH Maaike Harbers, Karel van den Bosch, John-Jules Ch. Meyer
2011	B	`conf`	Classifying the decision to perform surgery in MEN1 cancer patients using decision trees. CBMS 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	C	`conf`	Decentralized Autonomous-Agent-Based Infrastructure for Agile Multiparallel Manufacturing. ISADS Leo van Moergestel, Erik Puik, Daniël Telgen, John-Jules Ch. Meyer
2011	—	`conf`	Explanation and Coordination in Human-Agent Teams: A Study in the BW4T Testbed. Web Intelligence/IAT Workshops Maaike Harbers, Jeffrey M. Bradshaw, Matthew Johnson, Paul J. Feltovich, Karel van den Bosch, John-Jules Ch. Meyer
2011	—	`conf`	Explanation in Human-Agent Teamwork. COIN@AAMAS&WI-IAT Maaike Harbers, Jeffrey M. Bradshaw, Matthew Johnson, Paul J. Feltovich, Karel van den Bosch, John-Jules Ch. Meyer
2011	—	`conf`	Multi-criteria Argument Selection in Persuasion Dialogues. ArgMAS Thomas L. van der Weide, Frank Dignum, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk
2011	A	`conf`	Multi-criteria argument selection in persuasion dialogues. AAMAS Thomas L. van der Weide, Frank Dignum, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk
2011	—	`conf`	Neural-Symbolic Cognitive Agents: Architecture and Theory. ICCSW Leo de Penning, Artur S. d'Avila Garcez, Luís C. Lamb, John-Jules Ch. Meyer
2011	A	`conf`	Programming mental state abduction. AAMAS Michal P. Sindlar, Mehdi Dastani, John-Jules Ch. Meyer
2011	J	`jnl`	Reasoning about agent deliberation. Auton. Agents Multi Agent Syst. Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer
2011	J	`jnl`	Reasoning about plan revision in BDI agent programs. Theor. Comput. Sci. Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer
2011	A	`conf`	Scenario-Based Training: Director's Cut. AIED Marieke Peeters, Karel van den Bosch, John-Jules Ch. Meyer, Mark A. Neerincx
2011	B	`conf`	Validity of a Virtual Negotiation Training. IVA Joost Broekens, Maaike Harbers, Willem-Paul Brinkman, Catholijn M. Jonker, Karel van den Bosch, John-Jules Ch. Meyer
2010	—	`conf`	A Formal Argumentation Framework for Deliberation Dialogues. ArgMAS Eric M. Kok, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk
2010	J	`jnl`	Affective negotiation support systems. J. Ambient Intell. Smart Environ. Joost Broekens, Catholijn M. Jonker, John-Jules Ch. Meyer
2010	B	`conf`	Affordance-Based Intention Recognition in Virtual Spatial Environments. PRIMA Michal P. Sindlar, John-Jules Ch. Meyer
2010	J	`jnl`	Agents with emotions. Int. J. Intell. Syst. Mehdi Dastani, John-Jules Ch. Meyer
2010	—	`conf`	Arguing about Preferences and Decisions. ArgMAS Thomas L. van der Weide, Frank Dignum, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk
2010	J	`jnl`	Coping with shame and sense of guilt: a Dynamic Logic Account. Auton. Agents Multi Agent Syst. Paolo Turrini, John-Jules Ch. Meyer, Cristiano Castelfranchi
2010	—	`conf`	Design and Evaluation of Explainable BDI Agents. IAT Maaike Harbers, Karel van den Bosch, John-Jules Ch. Meyer
2010	—	`conf`	Do You Get It? User-Evaluated Explainable BDI Agents. MATES Joost Broekens, Maaike Harbers, Koen V. Hindriks, Karel van den Bosch, Catholijn M. Jonker, John-Jules Ch. Meyer
2010	A	`conf`	Emotions to control agent deliberation. AAMAS Bas R. Steunebrink, Mehdi Dastani, John-Jules Ch. Meyer
2010	J	`jnl`	Explaining Simulations Through Self Explaining Agents. J. Artif. Soc. Soc. Simul. Maaike Harbers, John-Jules Ch. Meyer, Karel van den Bosch
2010	—	`conf`	Forbidding Undesirable Agreements: A Dependence-Based Approach to the Regulation of Multi-agent Systems. DEON Paolo Turrini, Davide Grossi, Jan M. Broersen, John-Jules Ch. Meyer
2010	A	`conf`	Mental State Ascription Using Dynamic Logic. ECAI Michal P. Sindlar, Mehdi Dastani, John-Jules Ch. Meyer
2010	A	`conf`	Programming norm change. AAMAS Nick A. M. Tinnemeier, Mehdi Dastani, John-Jules Ch. Meyer
2009	Misc	`conf`	A Formal Model of Emotion-Based Action Tendency for Intelligent Agents. EPIA Bas R. Steunebrink, Mehdi Dastani, John-Jules Ch. Meyer
2009	—	`conf`	A Methodology for Developing Self-Explaining Agents for Virtual Training. MALLOW Maaike Harbers, Karel van den Bosch, John-Jules Ch. Meyer
2009	—	`conf`	A Methodology for Developing Self-explaining Agents for Virtual Training. LADS Maaike Harbers, Karel van den Bosch, John-Jules Ch. Meyer
2009	—	`ch.`	A Programming Language for Normative Multi-Agent Systems. Handbook of Research on Multi-Agent Systems Mehdi Dastani, Nick A. M. Tinnemeier, John-Jules Ch. Meyer
2009	B	`conf`	A Study into Preferred Explanations of Virtual Agent Behavior. IVA Maaike Harbers, Karel van den Bosch, John-Jules Ch. Meyer
2009	J	`jnl`	A coordination language for agents interacting in distributed plan-execute cycles. Int. J. Reason. based Intell. Syst. Wieke de Vries, John-Jules Ch. Meyer, Frank S. de Boer, Wiebe van der Hoek
2009	—	`conf`	A methodology for developing self-explaining agents for virtual training. AAMAS (2) Maaike Harbers, Karel van den Bosch, John-Jules Ch. Meyer
2009	—	`conf`	An Update Operator for Strategic Ability. LORI Paolo Turrini, Jan M. Broersen, Rosja Mastop, John-Jules Ch. Meyer
2009	—	`ch.`	Autonomous Agents Adopting Organizational Rules. Handbook of Research on Multi-Agent Systems Bob van der Vecht, Frank Dignum, John-Jules Ch. Meyer
2009	—	`conf`	Autonomy and Coordination: Controlling External Influences on Decision Making. IAT Bob van der Vecht, Frank Dignum, John-Jules Ch. Meyer
2009	B	`conf`	BDI-Based Development of Virtual Characters with a Theory of Mind. IVA Michal P. Sindlar, Mehdi Dastani, John-Jules Ch. Meyer
2009	—	`conf`	Debugging BDI-Based Multi-Agent Programs. PROMAS Mehdi Dastani, Jaap Brandsema, Amco Dubel, John-Jules Ch. Meyer
2009	J	`jnl`	Determining the environment: a modal logic for closed interaction. Synth. Jan M. Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini
2009	—	`conf`	Explaining and Predicting the Behavior of BDI-Based Agents in Role-Playing Games. DALT Michal P. Sindlar, Mehdi Dastani, Frank Dignum, John-Jules Ch. Meyer
2009	—	`conf`	Getting a Grip on Emotions in Negotiations: The Possibilities of ICT. Web Intelligence/IAT Workshops Willem-Paul Brinkman, Joost Broekens, Catholijn M. Jonker, John-Jules Ch. Meyer
2009	J	`jnl`	Goals in conflict: semantic foundations of goals in agent programming. Auton. Agents Multi Agent Syst. M. Birna van Riemsdijk, Mehdi Dastani, John-Jules Ch. Meyer
2009	—	`conf`	Intentions and Assignments. LORI Emiliano Lorini, Mehdi Dastani, Hans van Ditmarsch, Andreas Herzig, John-Jules Ch. Meyer
2009	—	`ed.`	Knowledge Representation for Agents and Multi-Agent Systems, First International Workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008, Revised Selected Papers KRAMAS John-Jules Ch. Meyer, Jan M. Broersen
2009	—	`conf`	Model Checking Normative Agent Organisations. CLIMA Louise A. Dennis, Nick A. M. Tinnemeier, John-Jules Ch. Meyer
2009	J	`jnl`	Model checking communicative agent-based systems. Knowl. Based Syst. Jamal Bentahar, John-Jules Ch. Meyer, Wei Wan
2009	—	`conf`	Modeling Agents with a Theory of Mind. IAT Maaike Harbers, Karel van den Bosch, John-Jules Ch. Meyer
2009	—	`conf`	Normative Multi-Agent Programs and Their Logics. Normative Multi-Agent Systems Mehdi Dastani, Davide Grossi, John-Jules Ch. Meyer, Nick A. M. Tinnemeier
2009	J	`jnl`	On the Semantics and Verification of Normative Multi-Agent Systems. J. Univers. Comput. Sci. Lacramioara Astefanoaei, Mehdi Dastani, John-Jules Ch. Meyer, Frank S. de Boer
2009	—	`conf`	Practical Reasoning Using Values. ArgMAS Thomas L. van der Weide, Frank Dignum, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk
2009	—	`conf`	Programming Normative Artifacts with Declarative Obligations and Prohibitions. IAT Nick A. M. Tinnemeier, Mehdi Dastani, John-Jules Ch. Meyer, Leendert W. N. van der Torre
2009	—	`conf`	Roles and norms for programming agent organizations. AAMAS (1) Nick A. M. Tinnemeier, Mehdi Dastani, John-Jules Ch. Meyer
2009	—	`conf`	Strategic Ability Update: A Modal Logic Account. Web Intelligence/IAT Workshops Jan M. Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini
2009	J	`jnl`	Toward a programming theory for rational agents. Auton. Agents Multi Agent Syst. Koen V. Hindriks, John-Jules Ch. Meyer
2008	—	`conf`	A Cognitive Model for the Generation and Explanation of Behaviour in Virtual Training Systems. ExaCt Maaike Harbers, Karel van den Bosch, Frank Dignum, John-Jules Ch. Meyer
2008	—	`conf`	A Deontic Logic for Socially Optimal Norms. DEON Jan M. Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini
2008	—	`conf`	A Formal Model of Emotions: Integrating Qualitative and Quantitative Aspects. Programming Multi-Agent Systems Bas R. Steunebrink, John-Jules Ch. Meyer, Mehdi Dastani
2008	A	`conf`	A Formal Model of Emotions: Integrating Qualitative and Quantitative Aspects. ECAI Bas R. Steunebrink, Mehdi Dastani, John-Jules Ch. Meyer
2008	—	`conf`	A Generic Architecture for a Companion Robot. ICINCO-RA (2) Bas R. Steunebrink, Nieske L. Vergunst, Christian P. Mol, Frank Dignum, Mehdi Dastani, John-Jules Ch. Meyer
2008	B	`conf`	A Logic for Closed-World Interaction. JELIA Jan M. Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini
2008	B	`conf`	A Verification Framework for Normative Multi-Agent Systems. PRIMA Lacramioara Astefanoaei, Mehdi Dastani, John-Jules Ch. Meyer, Frank S. de Boer
2008	—	`conf`	Achieving efficient and equitable collaboration among selfish agents using spender-signed currency. AAMAS (3) Geert Jonker, Frank Dignum, John-Jules Ch. Meyer
2008	—	`ch.`	Agent Technology. Wiley Encyclopedia of Computer Science and Engineering John-Jules Ch. Meyer
2008	J	`jnl`	Editorial. J. Appl. Log. Lou Goble, John-Jules Ch. Meyer
2008	A	`conf`	Magic Agents: Using Information Relevance to Control Autonomy. ECAI Bob van der Vecht, Frank Dignum, John-Jules Ch. Meyer
2008	—	`conf`	Mental State Abduction of BDI-Based Agents. DALT Michal P. Sindlar, Mehdi Dastani, Frank Dignum, John-Jules Ch. Meyer
2008	—	`conf`	Normative Multi-Agent Programs and Their Logics. Programming Multi-Agent Systems Mehdi Dastani, Davide Grossi, John-Jules Ch. Meyer, Nick A. M. Tinnemeier
2008	—	`conf`	Normative Multi-agent Programs and Their Logics. KRAMAS Mehdi Dastani, Davide Grossi, John-Jules Ch. Meyer, Nick A. M. Tinnemeier
2008	—	`conf`	Organizations and Autonomous Agents: Bottom-Up Dynamics of Coordination Mechanisms. COIN@AAMAS&AAAI Bob van der Vecht, Frank Dignum, John-Jules Ch. Meyer, Virginia Dignum
2008	A	`conf`	Organizing Coherent Coalitions. ECAI Jan M. Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini
2008	—	`conf`	Orwell's Nightmare for Agents? Programming Multi-agent Organisations. ProMAS Nick A. M. Tinnemeier, Mehdi Dastani, John-Jules Ch. Meyer
2008	—	`conf`	Personality-Based Practical Reasoning. ArgMAS Thomas L. van der Weide, Frank Dignum, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk
2008	A*	`conf`	Reasoning about Agent Deliberation. KR Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer
2008	—	`conf`	Reasoning about agent execution strategies. AAMAS (3) Natasha Alechina, Brian Logan, Mehdi Dastani, John-Jules Ch. Meyer
2008	B	`conf`	Reo Connectors as Coordination Artifacts in 2APL Systems. PRIMA Farhad Arbab, Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer, Nick A. M. Tinnemeier
2008	—	`conf`	Strategic Agent Communication: An Argumentation-Driven Approach. DALT Jamal Bentahar, Mohamed Mbarki, John-Jules Ch. Meyer, Bernard Moulin
2008	J	`jnl`	The many faces of counts-as: A formal analysis of constitutive rules. J. Appl. Log. Davide Grossi, John-Jules Ch. Meyer, Frank Dignum
2007	—	`conf`	A Dynamic Coordination Mechanism Using Adjustable Autonomy. COIN Bob van der Vecht, Frank Dignum, John-Jules Ch. Meyer, Martijn Neef
2007	A*	`conf`	A Logic of Agent Programs. AAAI Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer
2007	A*	`conf`	A Logic of Emotions for Intelligent Agents. AAAI Bas R. Steunebrink, Mehdi Dastani, John-Jules Ch. Meyer
2007	J	`jnl`	A New Quantitative Trust Model for Negotiating Agents using Argumentation. Int. J. Comput. Sci. Appl. Jamal Bentahar, John-Jules Ch. Meyer
2007	B	`conf`	A New Quantitative Trust Model for Negotiating Agents. RCIS Jamal Bentahar, John-Jules Ch. Meyer
2007	—	`conf`	A Practical Agent Programming Language. PROMAS Mehdi Dastani, John-Jules Ch. Meyer
2007	A	`conf`	A formal road from institutional norms to organizational structures. AAMAS Davide Grossi, Frank Dignum, John-Jules Ch. Meyer
2007	A	`conf`	A grounded specification language for agent programs. AAMAS Mehdi Dastani, M. Birna van Riemsdijk, John-Jules Ch. Meyer
2007	J	`jnl`	A security framework for agent-based systems. Int. J. Web Inf. Syst. Jamal Bentahar, Francesca Toni, John-Jules Ch. Meyer, Jihad Labban
2007	J	`jnl`	A verification framework for agent programming with declarative goals. J. Appl. Log. Frank S. de Boer, Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer
2007	A	`conf`	Achieving cooperation among selfish agents in the air traffic management domain using signed money. AAMAS Geert Jonker, Frank Dignum, John-Jules Ch. Meyer
2007	A	`conf`	Designing protocols for agent institutions. AAMAS Huib Aldewereld, Frank Dignum, John-Jules Ch. Meyer
2007	—	`ed.`	Foundations and Practice of Programming Multi-Agent Systems, 25.06. - 30.06.2006 Foundations and Practice of Programming Multi-Agent Systems Rafael H. Bordini, Mehdi Dastani, John-Jules Ch. Meyer
2007	—	`conf`	From Norms to Interaction Patterns: Deriving Protocols for Agent Institutions. PROMAS Huib Aldewereld, Frank Dignum, John-Jules Ch. Meyer
2007	—	`conf`	Goal Selection Strategies for Rational Agents. LADS Nick A. M. Tinnemeier, Mehdi Dastani, John-Jules Ch. Meyer
2007	—	`ch.`	Intelligent agents and common sense reasoning. Handbook of Modal Logic John-Jules Ch. Meyer, Frank Veltman
2007	C	`conf`	Model Checking Communicative Agent-Based Systems. SoMeT Jamal Bentahar, John-Jules Ch. Meyer
2007	—	`conf`	On the Logic of Constitutive Rules. Normative Multi-agent Systems Davide Grossi, John-Jules Ch. Meyer, Frank Dignum
2007	J	`jnl`	Ontology negotiation in heterogeneous multi-agent systems: The ANEMONE system. Appl. Ontology Jurriaan van Diggelen, Robbert-Jan Beun, Frank Dignum, Rogier M. van Eijk, John-Jules Ch. Meyer
2007	J	`jnl`	Ontology negotiation: goals, requirements and implementation. Int. J. Agent Oriented Softw. Eng. Jurriaan van Diggelen, Robbert-Jan Beun, Frank Dignum, Rogier M. van Eijk, John-Jules Ch. Meyer
2007	B	`conf`	Our Quest for the Holy Grail of Agent Verification. TABLEAUX John-Jules Ch. Meyer
2007	A	`conf`	Practical extensions in agent programming languages. AAMAS Mehdi Dastani, Dirk Hobo, John-Jules Ch. Meyer
2007	B	`conf`	Rational Agents That Blush. ACII Paolo Turrini, John-Jules Ch. Meyer, Cristiano Castelfranchi
2007	—	`conf`	Securing Agent-Oriented Systems: An Argumentation and Reputation-based Approach. ITNG Jamal Bentahar, John-Jules Ch. Meyer, Bernard Moulin
2007	—	`conf`	Towards Programming Multimodal Dialogues. Web Intelligence/IAT Workshops Nieske L. Vergunst, Bas R. Steunebrink, Mehdi Dastani, F. P. M. Dignum, John-Jules Ch. Meyer
2007	—	`conf`	Towards a Delegation Framework for Aerial Robotic Mission Scenarios. CIA Patrick Doherty, John-Jules Ch. Meyer
2006	—	`conf`	06261 Abstracts Collection -- Foundations and Practice of Programming Multi-Agent Systems. Foundations and Practice of Programming Multi-Agent Systems Mehdi Dastani, John-Jules Ch. Meyer, Rafael H. Bordini
2006	—	`conf`	06261 Executive Summary -- Foundations and Practice of Programming Multi-Agent Systems. Foundations and Practice of Programming Multi-Agent Systems Mehdi Dastani, John-Jules Ch. Meyer, Rafael H. Bordini
2006	—	`conf`	A Compositional Semantics of Plan Revision in Intelligent Agents. AMAST M. Birna van Riemsdijk, John-Jules Ch. Meyer
2006	—	`conf`	A New Logical Semantics for Agent Communication. CLIMA Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Yves Lespérance
2006	—	`conf`	A New Model Checking Approach for Verifying Agent Communication Protocols. CCECE Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer
2006	A	`conf`	ANEMONE: an effective minimal ontology negotiation environment. AAMAS Jurriaan van Diggelen, Robbert-Jan Beun, Frank Dignum, Rogier M. van Eijk, John-Jules Ch. Meyer
2006	Misc	`conf`	Agent Logics as Program Logics: Grounding KARO. KI Koen V. Hindriks, John-Jules Ch. Meyer
2006	—	`conf`	Can I Please Drop It? Dialogues About Belief Contraction. AC Henk-Jan Lebbink, Cilia Witteman, John-Jules Ch. Meyer
2006	J	`jnl`	Classificatory Aspects of Counts-as: An Analysis in Modal Logic. J. Log. Comput. Davide Grossi, John-Jules Ch. Meyer, Frank Dignum
2006	—	`conf`	Combining Normal Communication with Ontology Alignment. AC Jurriaan van Diggelen, Robbert-Jan Beun, Frank Dignum, Rogier M. van Eijk, John-Jules Ch. Meyer
2006	—	`conf`	Counts-as: Classification or Constitution? An Answer Using Modal Logic. DEON Davide Grossi, John-Jules Ch. Meyer, Frank Dignum
2006	—	`ed.`	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 DEON Lou Goble, John-Jules Ch. Meyer
2006	J	`jnl`	Dynamic Logic for Plan Revision in Agent Programming. J. Log. Comput. M. Birna van Riemsdijk, Frank S. de Boer, John-Jules Ch. Meyer
2006	A	`conf`	Goal Types in Agent Programming. ECAI Mehdi Dastani, M. Birna van Riemsdijk, John-Jules Ch. Meyer
2006	A	`conf`	Goal types in agent programming. AAMAS Mehdi Dastani, M. Birna van Riemsdijk, John-Jules Ch. Meyer
2006	A	`conf`	Goal-oriented modularity in agent programming. AAMAS M. Birna van Riemsdijk, Mehdi Dastani, John-Jules Ch. Meyer, Frank S. de Boer
2006	C	`conf`	Going beyond BDI: Programming 'BDI+' Agents. EUMAS John-Jules Ch. Meyer
2006	—	`conf`	Influence-Based Autonomy Levels in Agent Decision-Making. COIN@AAMAS/ECAI Bob van der Vecht, André P. Meyer, Martijn Neef, Frank Dignum, John-Jules Ch. Meyer
2006	A	`conf`	Programming Agents with Emotions. ECAI Mehdi Dastani, John-Jules Ch. Meyer
2006	—	`conf`	Prototyping 3APL in the Maude Term Rewriting Language. CLIMA M. Birna van Riemsdijk, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer
2006	A	`conf`	Prototyping 3APL in the Maude term rewriting language. AAMAS M. Birna van Riemsdijk, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer
2006	J	`jnl`	Reasoning about emotional agents. Int. J. Intell. Syst. John-Jules Ch. Meyer
2006	J	`jnl`	Semantics of plan revision in intelligent agents. Theor. Comput. Sci. M. Birna van Riemsdijk, John-Jules Ch. Meyer, Frank S. de Boer
2005	—	`conf`	A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication. DALT Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer
2005	—	`conf`	Contextual Terminologies. CLIMA Davide Grossi, Frank Dignum, John-Jules Ch. Meyer
2005	—	`conf`	Efficiency and Fairness in Air Traffic Control. BNAIC Geert Jonker, John-Jules Ch. Meyer, Frank Dignum
2005	C	`conf`	Modal logic investigations in the Modal logic investigations in the semantics of counts semantics of counts-as as. ICAIL Davide Grossi, John-Jules Ch. Meyer, Frank Dignum
2005	A	`conf`	Norm compliance of protocols in electronic institutions. AAMAS Huib Aldewereld, Javier Vázquez-Salceda, Frank Dignum, John-Jules Ch. Meyer
2005	J	`jnl`	Process algebra and constraint programming for modeling interactions in MAS. Appl. Algebra Eng. Commun. Comput. Frank S. de Boer, Wieke de Vries, John-Jules Ch. Meyer, Rogier M. van Eijk, Wiebe van der Hoek
2005	—	`conf`	Programming Cognitive Agents. MATES John-Jules Ch. Meyer
2005	—	`conf`	Programming Deliberative Agents for Mobile Services: The 3APL-M Platform. PROMAS Fernando Koch, John-Jules Ch. Meyer, Frank Dignum, Iyad Rahwan
2005	—	`ch.`	Programming Multi-Agent Systems in 3APL. Multi-Agent Programming Mehdi Dastani, M. Birna van Riemsdijk, John-Jules Ch. Meyer
2005	A	`conf`	Semantics of declarative goals in agent programming. AAMAS Birna van Riemsdijk, Mehdi Dastani, John-Jules Ch. Meyer
2005	Misc	`conf`	Subgoal Semantics in Agent Programming. EPIA M. Birna van Riemsdijk, Mehdi Dastani, John-Jules Ch. Meyer
2005	Misc	`conf`	Towards a Market Mechanism for Airport Traffic Control. EPIA Geert Jonker, John-Jules Ch. Meyer, Frank Dignum
2005	—	`conf`	Verifying Norm Compliancy of Protocols. AAMAS Workshops Huib Aldewereld, Javier Vázquez-Salceda, Frank Dignum, John-Jules Ch. Meyer
2004	—	`conf`	A Computational Model for Conversation Policies for Agent Communication. CLIMA Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Brahim Chaib-draa
2004	A	`conf`	A Dialogue Game to Offer an Agreement to Disagree. AAMAS Henk-Jan Lebbink, Cilia Witteman, John-Jules Ch. Meyer
2004	—	`conf`	A Dialogue Game to Offer an Agreement to Disagree. PROMAS Henk-Jan Lebbink, Cilia Witteman, John-Jules Ch. Meyer
2004	A	`conf`	A Logical Model for Commitment and Argument Network for Agent Communication. AAMAS Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Brahim Chaib-draa
2004	—	`conf`	A Modal Semantics for an Argumentation-Based Pragmatics for Agent Communication. ArgMAS Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Brahim Chaib-draa
2004	—	`conf`	Agent-Oriented Programming: Where Do We Stand?. AMAST John-Jules Ch. Meyer
2004	J	`jnl`	An agent-mediated approach to the support of knowledge sharing in organizations. Knowl. Eng. Rev. Virginia Dignum, Frank Dignum, John-Jules Ch. Meyer
2004	—	`conf`	Collective Obligations and Agents: Who Gets the Blame? DEON Davide Grossi, Frank Dignum, Lambèr M. M. Royakkers, John-Jules Ch. Meyer
2004	—	`conf`	Contextual Taxonomies. CLIMA Davide Grossi, Frank Dignum, John-Jules Ch. Meyer
2004	—	`conf`	Designing a Deontic Logic of Deadlines. DEON Jan M. Broersen, Frank Dignum, Virginia Dignum, John-Jules Ch. Meyer
2004	—	`conf`	Dynamic Logic for Plan Revision in Intelligent Agents. CLIMA M. Birna van Riemsdijk, Frank S. de Boer, John-Jules Ch. Meyer
2004	—	`conf`	Dynamics of Declarative Goals in Agent Programming. DALT Birna van Riemsdijk, Mehdi Dastani, Frank Dignum, John-Jules Ch. Meyer
2004	—	`conf`	Enacting and Deacting Roles in Agent Programming. AOSE Mehdi Dastani, Birna van Riemsdijk, Joris Hulstijn, Frank Dignum, John-Jules Ch. Meyer
2004	A	`conf`	Issues in Multiagent System Development. AAMAS Mehdi Dastani, Joris Hulstijn, Frank Dignum, John-Jules Ch. Meyer
2004	—	`conf`	Meeting the Deadline: Why, When and How. FAABS Frank Dignum, Jan M. Broersen, Virginia Dignum, John-Jules Ch. Meyer
2004	—	`ed.`	Objects, Agents, and Features, International Seminar, Dagstuhl Castle, Germany, February 2003, Revised and Invited Papers Objects, Agents, and Features Mark Dermot Ryan, John-Jules Ch. Meyer, Hans-Dieter Ehrich
2004	—	`conf`	Optimal Communication Vocabularies and Heterogeneous Ontologies. AC Jurriaan van Diggelen, Robbert-Jan Beun, Frank Dignum, Rogier M. van Eijk, John-Jules Ch. Meyer
2004	J	`jnl`	Rational Teams: Logical Aspects of Multi-Agent Systems. Fundam. Informaticae Huib Aldewereld, Wiebe van der Hoek, John-Jules Ch. Meyer
2004	A	`conf`	Reasoning about Emotional Agents. ECAI John-Jules Ch. Meyer
2004	—	`conf`	Semantics of Plan Revision in Intelligent Agents. AMAST Birna van Riemsdijk, John-Jules Ch. Meyer, Frank S. de Boer
2004	—	`conf`	Toward Reasoning about Security Protocols: A Semantic Approach. LCMAS Arjen Hommersom, John-Jules Ch. Meyer, Erik P. de Vink
2004	J	`jnl`	Update Semantics of Security Protocols. Synth. Arjen Hommersom, John-Jules Ch. Meyer, Erik P. de Vink
2003	J	`jnl`	A Modal Characterization of Nash Equilibrium. Fundam. Informaticae Paul Harrenstein, Wiebe van der Hoek, John-Jules Ch. Meyer, Cees Witteveen
2003	—	`conf`	A Programming Language for Cognitive Agents Goal Directed 3APL. PROMAS Mehdi Dastani, Birna van Riemsdijk, Frank Dignum, John-Jules Ch. Meyer
2003	J	`jnl`	A Verification Framework for Agent Communication. Auton. Agents Multi Agent Syst. Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
2003	J	`jnl`	A fully abstract model for the exchange of information in multi-agent systems. Theor. Comput. Sci. Frank S. de Boer, Rogier M. van Eijk, Wiebe van der Hoek, John-Jules Ch. Meyer
2003	A	`conf`	Agent programming in dribble: from beliefs to goals using plans. AAMAS Birna van Riemsdijk, Wiebe van der Hoek, John-Jules Ch. Meyer
2003	—	`conf`	Autonomy and Agent Deliberation. Agents and Computational Autonomy Mehdi Dastani, Frank Dignum, John-Jules Ch. Meyer
2003	—	`conf`	Coordinating Agents in OO. Objects, Agents, and Features Frank S. de Boer, Cees Pierik, Rogier M. van Eijk, John-Jules Ch. Meyer
2003	—	`conf`	Dialogue Games for Inconsistent and Biased Information. LCMAS Henk-Jan Lebbink, Cilia Witteman, John-Jules Ch. Meyer
2003	J	`jnl`	Formal semantics of meta-level architectures: Temporal epistemic reflection. Int. J. Intell. Syst. Wiebe van der Hoek, John-Jules Ch. Meyer, Jan Treur
2003	—	`conf`	Intelligent Agents: Issues and Logics. Logics for Emerging Applications of Databases John-Jules Ch. Meyer
2003	J	`jnl`	Iterated Belief Change in Multi-Agent Systems. Log. J. IGPL Jan-Willem Roorda, Wiebe van der Hoek, John-Jules Ch. Meyer
2003	—	`conf`	Objects, Agents, and Features: An Introduction. Objects, Agents, and Features John-Jules Ch. Meyer, Mark Dermot Ryan, Hans-Dieter Ehrich
2003	—	`conf`	Process Algebra for Agent Communication: A General Semantic Approach. Communication in Multiagent Systems Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
2003	A	`conf`	Programming agent deliberation: an approach illustrated using the 3APL language. AAMAS Mehdi Dastani, Frank S. de Boer, Frank Dignum, John-Jules Ch. Meyer
2002	—	`conf`	Agent Programming in Dribble: From Beliefs to Goals with Plans. FAABS Birna van Riemsdijk, Wiebe van der Hoek, John-Jules Ch. Meyer
2002	J	`jnl`	Agent Programming with Declarative Goals CoRR Frank S. de Boer, Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer
2002	—	`conf`	Formal Specification of Interaction in Agent Societies. FAABS Virginia Dignum, John-Jules Ch. Meyer, Frank Dignum, Hans Weigand
2002	—	`ed.`	Intelligent Agents VIII, 8th International Workshop, ATAL 2001 Seattle, WA, USA, August 1-3, 2001, Revised Papers ATAL John-Jules Ch. Meyer, Milind Tambe
2002	A	`conf`	Iterated belief change in multi-agent systems. AAMAS Jan-Willem Roorda, Wiebe van der Hoek, John-Jules Ch. Meyer
2002	A	`conf`	On Modal Logic Interpretations of Games. ECAI Paul Harrenstein, Wiebe van der Hoek, John-Jules Ch. Meyer, Cees Witteveen
2002	—	`conf`	Specification by Refinement and Agreement: Designing Agent Interaction Using Landmarks and Contracts. ESAW Hans Weigand, Virginia Dignum, John-Jules Ch. Meyer, Frank Dignum
2002	J	`jnl`	The Logic of Knowledge Bases - Hector J. Levesque, Gerhard Lakemeyer (Eds.), MIT Press, Cambridge, MA, 2000, ISBN 0-262-12232-4. Artif. Intell. Medicine John-Jules Ch. Meyer
2002	—	`conf`	The mutual exclusion problem in reasoning about action and change. NMR Jan M. Broersen, John-Jules Ch. Meyer, Roel J. Wieringa
2002	—	`conf`	Tools and Education towards Formal Methods Practice. FAABS John-Jules Ch. Meyer
2002	A	`conf`	Towards an organizational model for agent societies using contracts. AAMAS Virginia Dignum, John-Jules Ch. Meyer, Hans Weigand
2001	J	`jnl`	A Fixed-point Characterization of a Deontic Logic of Regular Action. Fundam. Informaticae Jan M. Broersen, Roel J. Wieringa, John-Jules Ch. Meyer
2001	—	`conf`	A Programming Language for Coordinating Group Actions. CEEMAS Wieke de Vries, Frank S. de Boer, Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer
2001	B	`conf`	A Truly Concurrent Model for Interacting Agents. PRIMA Wieke de Vries, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
2001	—	`conf`	Introduction. ATAL John-Jules Ch. Meyer, Milind Tambe
2001	J	`jnl`	Modal Logic with Bounded Quantification over Worlds. J. Log. Comput. Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
2001	J	`jnl`	On Programming KARO Agents. Log. J. IGPL John-Jules Ch. Meyer, Frank S. de Boer, Rogier M. van Eijk, Koen V. Hindriks, Wiebe van der Hoek
2001	J	`jnl`	On dynamically generated ontology translators in agent communication. Int. J. Intell. Syst. Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
2001	C	`conf`	Reasoning about agents in the KARO framework. TIME Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher, John-Jules Ch. Meyer, Wiebe van der Hoek
2001	J	`jnl`	Regular database update logics. Theor. Comput. Sci. Paul Spruit, Roel J. Wieringa, John-Jules Ch. Meyer
2000	B	`conf`	A Modal Logic for Network Topologies. JELIA Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
2000	—	`conf`	A Programming Logic for Part of the Agent Language 3APL. FAABS Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
2000	—	`conf`	A Semantics for Persistency in Propositional Dynamic Logic. Computational Logic Jan M. Broersen, Roel J. Wieringa, John-Jules Ch. Meyer
2000	—	`conf`	Agent Programming with Declarative Goals. ATAL Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
2000	B	`conf`	Failure Semantics for the Exchange of Information in Multi-Agent Systems. CONCUR Frank S. de Boer, Rogier M. van Eijk, Wiebe van der Hoek, John-Jules Ch. Meyer
2000	—	`conf`	Generalised Object-Oriented Concepts for Inter-agent Communication. ATAL Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
2000	J	`jnl`	On Agents That Have the Ability to Choose. Stud Logica Wiebe van der Hoek, Bernd van Linder, John-Jules Ch. Meyer
2000	—	`conf`	Operational Semantics for Agent Communication Languages. Issues in Agent Communication Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
2000	—	`conf`	Semantics of Communicating Agents Based on Deduction and Abduction. Issues in Agent Communication Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
2000	—	`conf`	Verification within the KARO Agent Theory. FAABS Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher, John-Jules Ch. Meyer, Wiebe van der Hoek
1999	J	`jnl`	A Logical Approach to the Dynamics of Commitments. Artif. Intell. John-Jules Ch. Meyer, Wiebe van der Hoek, Bernd van Linder
1999	J	`jnl`	Agent Programming in 3APL. Auton. Agents Multi Agent Syst. Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
1999	—	`conf`	Failure Semantics for the Exchange of Information in Multi-agent Systems. ECOOP Workshops Frank S. de Boer, Rogier M. van Eijk, Wiebe van der Hoek, John-Jules Ch. Meyer
1999	—	`ed.`	Formal Models of Agents, ESPRIT Project ModelAge Final Workshop, Selected Papers ModelAge Workshop John-Jules Ch. Meyer, Pierre-Yves Schobbens
1999	C	`conf`	Keynote Address: Formal and Informal Aspects of Intelligent Agent-based Systems. ISCO John-Jules Ch. Meyer
1999	—	`conf`	Open Multi-agent Systems: Agent Communication and Integration. ATAL Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
1998	—	`conf`	A Formal Embedding of AgentSpeak(L) in 3APL. Australian Joint Conference on Artificial Intelligence Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
1998	—	`conf`	Agent Languages and Their Relationship to Other Programming Paradigms. ATAL John-Jules Ch. Meyer
1998	Misc	`conf`	Constructing Translations Between Individual Vocabularies in Multi-Agent Systems. AIMSA Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
1998	—	`conf`	Control Structures of Rule-Based Agent Languages. ATAL Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
1998	J	`jnl`	Formalising Abilities and Opportunities of Agents. Fundam. Informaticae Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer
1998	—	`conf`	Information-Passing and Belief Revision in Multi-Agent Systems. ATAL Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
1998	—	`conf`	Information-Passing and Belief Revision in Multi-Agent Systems. ICMAS Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
1998	J	`jnl`	Informational independence: Models and normal forms. Int. J. Intell. Syst. Linda C. van der Gaag, John-Jules Ch. Meyer
1998	A	`conf`	Systems of Communicating Agents. ECAI Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
1998	J	`jnl`	Temporalizing Epistemic Default Logic. J. Log. Lang. Inf. Wiebe van der Hoek, John-Jules Ch. Meyer, Jan Treur
1998	—	`conf`	The Role of Deontic Logic in the Specification of Information Systems. Logics for Databases and Information Systems John-Jules Ch. Meyer, Roel J. Wieringa, Frank Dignum
1998	—	`conf`	Translations of Vocabularies in Systems of Communicating Agents. COTIC Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
1997	—	`conf`	Formal Models of Agents: An Introduction. ModelAge Workshop John-Jules Ch. Meyer, Pierre-Yves Schobbens
1997	—	`conf`	Formal Semantics for an Abstract Agent Programming Language. ATAL Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
1997	—	`conf`	Preferential Action Semantics (Preliminary Report). ModelAge Workshop John-Jules Ch. Meyer, Patrick Doherty
1997	J	`jnl`	Seeing Is Believing. J. Log. Lang. Inf. Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer
1997	J	`jnl`	The Dynamics of Default Reasoning. Data Knowl. Eng. Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer
1996	—	`conf`	A Modal Approach to Intentions, Commitments and Obligations: Intention plus Commitment Yields Obligation. DEON Frank Dignum, John-Jules Ch. Meyer, Roel J. Wieringa, Ruurd Kuiper
1996	J	`jnl`	A Modal Contrastive Logic: The Logic of 'but'. Ann. Math. Artif. Intell. John-Jules Ch. Meyer, Wiebe van der Hoek
1996	J	`jnl`	An Integrated Framework for Ought-to-Be and Ought-to-Do Constraints. Artif. Intell. Law P. d'Altan, John-Jules Ch. Meyer, Roel J. Wieringa
1996	J	`jnl`	Free Choice and Contextually Permitted Actions. Stud Logica Frank Dignum, John-Jules Ch. Meyer, Roel J. Wieringa
1996	—	`conf`	Possible World Semantics for Analogous Reasoning. FAPR John-Jules Ch. Meyer, J. C. van Leeuwen
1995	J	`jnl`	A Default Logic Based on Epistemic States. Fundam. Informaticae John-Jules Ch. Meyer, Wiebe van der Hoek
1995	Misc	`conf`	Actions That Make You Change Your Mind (Extended Abstract). KI Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer
1995	J	`jnl`	Aziomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic Databases. J. Log. Comput. Paul Spruit, Roel J. Wieringa, John-Jules Ch. Meyer
1995	—	`conf`	Formalising Motivational Attitudes of Agents. ATAL Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer
1995	—	`conf`	Seeing is Believing. AI*IA Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer
1995	C	`conf`	The Dynamics of Default Reasoning (Extended Abstract). ECSQARU Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer
1994	Misc	`conf`	A Logic of Capabilities. LFCS Wiebe van der Hoek, Bernd van Linder, John-Jules Ch. Meyer
1994	B	`conf`	An Epistemic Proof System for Parallel Processes. TARK M. van Hulst, John-Jules Ch. Meyer
1994	Misc	`conf`	Communicating Rational Agents. KI Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer
1994	C	`conf`	Formal Semantics of Temporal Epistemic Reflection. META Wiebe van der Hoek, John-Jules Ch. Meyer, Jan Treur
1994	C	`conf`	Many-Valued Epistemic States: An Application to a Reflexive Architecture: Milord-II. IPMU Lluís Godo, Wiebe van der Hoek, John-Jules Ch. Meyer, Carles Sierra
1994	A	`conf`	Tests as Epistemic Updates. ECAI Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer
1993	C	`conf`	A Default Logic Based on Epistemic States. ECSQARU John-Jules Ch. Meyer, Wiebe van der Hoek
1993	J	`jnl`	Actors, Actions, and Initiative in Normative System Specification. Ann. Math. Artif. Intell. Roel J. Wieringa, John-Jules Ch. Meyer
1993	J	`jnl`	Counterfactual Reasoning by (means of) Defaults. Ann. Math. Artif. Intell. John-Jules Ch. Meyer, Wiebe van der Hoek
1992	—	`conf`	Dynamic Database Logic: the First-order Case. FMLDO Paul Spruit, Roel J. Wieringa, John-Jules Ch. Meyer
1992	Misc	`conf`	Graded Modalities in Epistemic Logic. LFCS Wiebe van der Hoek, John-Jules Ch. Meyer
1992	J	`jnl`	Making Some Issues of Implicit Knowledge Explicit. Int. J. Found. Comput. Sci. Wiebe van der Hoek, John-Jules Ch. Meyer
1992	—	`conf`	Towards an Epistemic Approach to Reasoning about Concurrent Programs. REX Workshop Wiebe van der Hoek, M. van Hulst, John-Jules Ch. Meyer
1991	—	`conf`	Actor-Oriented Specification of Deontic Integrity Constraints. MFDBS Roel J. Wieringa, John-Jules Ch. Meyer
1991	—	`conf`	Actor-Oriented System Specification with Dynamic Logic. TAPSOFT, Vol.2 John-Jules Ch. Meyer, Roel J. Wieringa
1991	—	`conf`	Declarative Semantics of Passive and Active Updates in Logic Databases. FMLDO Paul Spruit, John-Jules Ch. Meyer
1991	—	`conf`	Discussion Issues for a Working Group on Update Semantics of Logic Databases. FMLDO Paul Spruit, John-Jules Ch. Meyer, Roel J. Wieringa
1991	J	`jnl`	The Inheritance of Dynamic and Deontic Integrity Constraints. Ann. Math. Artif. Intell. Roel J. Wieringa, Hans Weigand, John-Jules Ch. Meyer, Frank Dignum
1990	J	`jnl`	Hiding in Stream Semantics of Uniform Concurrency. Acta Informatica John-Jules Ch. Meyer, Ernst-Rüdiger Olderog
1990	B	`conf`	Non-Monotonic Reasoning by Monotonic Means. JELIA John-Jules Ch. Meyer, Wiebe van der Hoek
1989	—	`conf`	A Specification Language for Static, Dynamic and Deontic Integrity Constraints. MFDBS John-Jules Ch. Meyer, Hans Weigand, Roel J. Wieringa
1989	B	`conf`	Pomset Semantics for True Concurrency with Synchronization and Recursion (Extended Abstract). MFCS John-Jules Ch. Meyer, Erik P. de Vink
1989	J	`jnl`	Specifying Dynamic and Deontic Integrity Constraints. Data Knowl. Eng. Roel J. Wieringa, John-Jules Ch. Meyer, Hans Weigand
1989	J	`jnl`	Step Semantics for "True" Concurrency with Recursion. Distributed Comput. John-Jules Ch. Meyer, Erik P. de Vink
1988	J	`jnl`	A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic. Notre Dame J. Formal Log. John-Jules Ch. Meyer
1988	J	`jnl`	Applications of Compactness in the Smyth Powerdomain of Streams. Theor. Comput. Sci. John-Jules Ch. Meyer, Erik P. de Vink
1988	J	`jnl`	Metric Semantics for Concurrency. BIT J. W. de Bakker, John-Jules Ch. Meyer
1988	J	`jnl`	Transition Systems, Metric Spaces and Ready Sets in the Semantics of Uniform Concurrency. J. Comput. Syst. Sci. J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog, Jeffery I. Zucker
1987	—	`conf`	Applications of Compactness in the Smyth Powerdomain of Streams (Extended Abstract). TAPSOFT, Vol.1 John-Jules Ch. Meyer, Erik P. de Vink
1987	J	`jnl`	Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency. Theor. Comput. Sci. J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog
1987	J	`jnl`	Order and Metric in the Stream Semantics of Elemental Concurrency. Acta Informatica J. W. de Bakker, John-Jules Ch. Meyer
1987	J	`jnl`	Process modalities obtained as fixed points (Part one). Bull. EATCS John-Jules Ch. Meyer
1987	J	`jnl`	Process modalities obtained as fixed points (part 2). Bull. EATCS John-Jules Ch. Meyer
1986	—	`ch.`	Contrasting Themes in the Semantics of Imperative Concurrency. Current Trends in Concurrency J. W. de Bakker, Joost N. Kok, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog, Jeffery I. Zucker
1986	J	`jnl`	Merging Regular Processes by Means of Fixed-Point Theory. Theor. Comput. Sci. John-Jules Ch. Meyer
1985	A*	`conf`	Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency. ICALP J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog
1985	A*	`conf`	Transition Systems, Infinitary Languages and the Semantics of Uniform Concurrency STOC J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog, Jeffery I. Zucker
1984	J	`jnl`	Linear Time and Branching Time Semantics for Recursion with Merge. Theor. Comput. Sci. J. W. de Bakker, Jan A. Bergstra, Jan Willem Klop, John-Jules Ch. Meyer
1984	J	`jnl`	On Infinite Computations in Denotational Semantics. Theor. Comput. Sci. J. W. de Bakker, John-Jules Ch. Meyer, Jeffery I. Zucker
1984	J	`jnl`	On Specifying Sets of Integers. J. Inf. Process. Cybern. Jan A. Bergstra, John-Jules Ch. Meyer
1983	A*	`conf`	Linear Time and Branching Time Semantics for Recursion with Merge. ICALP J. W. de Bakker, Jan A. Bergstra, Jan Willem Klop, John-Jules Ch. Meyer
1983	J	`jnl`	On Infinite Computations in Denotational Semantics. Theor. Comput. Sci. J. W. de Bakker, John-Jules Ch. Meyer, Jeffery I. Zucker
1982	J	`jnl`	A Simple Transfer Lemma for Algebraic Specifications. Inf. Process. Lett. Jan A. Bergstra, John-Jules Ch. Meyer
1982	J	`jnl`	On the Elimination of Iteration Quantifiers in a Fragment of Algorithmic Logic. Theor. Comput. Sci. Jan A. Bergstra, John-Jules Ch. Meyer
1981	—	`conf`	Correctness of Programs with Function Procedures. Logic of Programs J. W. de Bakker, Jan Willem Klop, John-Jules Ch. Meyer
1981	J	`jnl`	I/O-computable data structures. ACM SIGPLAN Notices Jan A. Bergstra, John-Jules Ch. Meyer
1981	J	`jnl`	On the quantifier-free fragment of 'Logic of effective definitions'. Fundam. Informaticae Jan A. Bergstra, John-Jules Ch. Meyer