Correctness of Programs with Function Procedures. - J. W. de Bakker; Jan Willem Klop; John-Jules Ch. Meyer (Logic of Programs, 1981)

On the quantifier-free fragment of 'Logic of effective definitions'. - Jan A. Bergstra; John-Jules Ch. Meyer (Fundam. Informaticae, 1981)

I/O-computable data structures. - Jan A. Bergstra; John-Jules Ch. Meyer (ACM SIGPLAN Notices, 1981)

A Simple Transfer Lemma for Algebraic Specifications. - Jan A. Bergstra; John-Jules Ch. Meyer (Inf. Process. Lett., 1982)

On the Elimination of Iteration Quantifiers in a Fragment of Algorithmic Logic. - Jan A. Bergstra; John-Jules Ch. Meyer (Theor. Comput. Sci., 1982)

On Infinite Computations in Denotational Semantics. - J. W. de Bakker; John-Jules Ch. Meyer; Jeffery I. Zucker (Theor. Comput. Sci., 1983)

On Specifying Sets of Integers. - Jan A. Bergstra; John-Jules Ch. Meyer (J. Inf. Process. Cybern., 1984)

Linear Time and Branching Time Semantics for Recursion with Merge. - J. W. de Bakker; Jan A. Bergstra; Jan Willem Klop; John-Jules Ch. Meyer (Theor. Comput. Sci., 1984)

Transition Systems, Infinitary Languages and the Semantics of Uniform Concurrency - J. W. de Bakker; John-Jules Ch. Meyer; Ernst-Rüdiger Olderog; Jeffery I. Zucker (STOC, 1985)

Contrasting Themes in the Semantics of Imperative Concurrency. - J. W. de Bakker; Joost N. Kok; John-Jules Ch. Meyer; Ernst-Rüdiger Olderog; Jeffery I. Zucker (Current Trends in Concurrency, 1986)

Merging Regular Processes by Means of Fixed-Point Theory. - John-Jules Ch. Meyer (Theor. Comput. Sci., 1986)

Applications of Compactness in the Smyth Powerdomain of Streams (Extended Abstract). - John-Jules Ch. Meyer; Erik P. de Vink (TAPSOFT, Vol.1, 1987)

Order and Metric in the Stream Semantics of Elemental Concurrency. - J. W. de Bakker; John-Jules Ch. Meyer (Acta Informatica, 1987)

Process modalities obtained as fixed points (Part one). - John-Jules Ch. Meyer (Bull. EATCS, 1987)

Process modalities obtained as fixed points (part 2). - John-Jules Ch. Meyer (Bull. EATCS, 1987)

Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency. - J. W. de Bakker; John-Jules Ch. Meyer; Ernst-Rüdiger Olderog (Theor. Comput. Sci., 1987)

Metric Semantics for Concurrency. - J. W. de Bakker; John-Jules Ch. Meyer (BIT, 1988)

Transition Systems, Metric Spaces and Ready Sets in the Semantics of Uniform Concurrency. - J. W. de Bakker; John-Jules Ch. Meyer; Ernst-Rüdiger Olderog; Jeffery I. Zucker (J. Comput. Syst. Sci., 1988)

A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic. - John-Jules Ch. Meyer (Notre Dame J. Formal Log., 1988)

Applications of Compactness in the Smyth Powerdomain of Streams. - John-Jules Ch. Meyer; Erik P. de Vink (Theor. Comput. Sci., 1988)

Pomset Semantics for True Concurrency with Synchronization and Recursion (Extended Abstract). - John-Jules Ch. Meyer; Erik P. de Vink (MFCS, 1989)

A Specification Language for Static, Dynamic and Deontic Integrity Constraints. - John-Jules Ch. Meyer; Hans Weigand; Roel J. Wieringa (MFDBS, 1989)

Step Semantics for "True" Concurrency with Recursion. - John-Jules Ch. Meyer; Erik P. de Vink (Distributed Comput., 1989)

Specifying Dynamic and Deontic Integrity Constraints. - Roel J. Wieringa; John-Jules Ch. Meyer; Hans Weigand (Data Knowl. Eng., 1989)

Non-Monotonic Reasoning by Monotonic Means. - John-Jules Ch. Meyer; Wiebe van der Hoek (JELIA, 1990)

Hiding in Stream Semantics of Uniform Concurrency. - John-Jules Ch. Meyer; Ernst-Rüdiger Olderog (Acta Informatica, 1990)

Declarative Semantics of Passive and Active Updates in Logic Databases. - Paul Spruit; John-Jules Ch. Meyer (FMLDO, 1991)

Discussion Issues for a Working Group on Update Semantics of Logic Databases. - Paul Spruit; John-Jules Ch. Meyer; Roel J. Wieringa (FMLDO, 1991)

Actor-Oriented Specification of Deontic Integrity Constraints. - Roel J. Wieringa; John-Jules Ch. Meyer (MFDBS, 1991)

Actor-Oriented System Specification with Dynamic Logic. - John-Jules Ch. Meyer; Roel J. Wieringa (TAPSOFT, Vol.2, 1991)

The Inheritance of Dynamic and Deontic Integrity Constraints. - Roel J. Wieringa; Hans Weigand; John-Jules Ch. Meyer; Frank Dignum (Ann. Math. Artif. Intell., 1991)

Dynamic Database Logic: the First-order Case. - Paul Spruit; Roel J. Wieringa; John-Jules Ch. Meyer (FMLDO, 1992)

Graded Modalities in Epistemic Logic. - Wiebe van der Hoek; John-Jules Ch. Meyer (LFCS, 1992)

Towards an Epistemic Approach to Reasoning about Concurrent Programs. - Wiebe van der Hoek; M. van Hulst; John-Jules Ch. Meyer (REX Workshop, 1992)

Making Some Issues of Implicit Knowledge Explicit. - Wiebe van der Hoek; John-Jules Ch. Meyer (Int. J. Found. Comput. Sci., 1992)

Counterfactual Reasoning by (means of) Defaults. - John-Jules Ch. Meyer; Wiebe van der Hoek (Ann. Math. Artif. Intell., 1993)

Actors, Actions, and Initiative in Normative System Specification. - Roel J. Wieringa; John-Jules Ch. Meyer (Ann. Math. Artif. Intell., 1993)

Tests as Epistemic Updates. - Bernd van Linder; Wiebe van der Hoek; John-Jules Ch. Meyer (ECAI, 1994)

Many-Valued Epistemic States: An Application to a Reflexive Architecture: Milord-II. - Lluís Godo; Wiebe van der Hoek; John-Jules Ch. Meyer; Carles Sierra (IPMU, 1994)

Communicating Rational Agents. - Bernd van Linder; Wiebe van der Hoek; John-Jules Ch. Meyer (KI, 1994)

A Logic of Capabilities. - Wiebe van der Hoek; Bernd van Linder; John-Jules Ch. Meyer (LFCS, 1994)

Formal Semantics of Temporal Epistemic Reflection. - Wiebe van der Hoek; John-Jules Ch. Meyer; Jan Treur (META, 1994)

An Epistemic Proof System for Parallel Processes. - M. van Hulst; John-Jules Ch. Meyer (TARK, 1994)

Epistemic logic for AI and computer science. - John-Jules Charles Meyer; Wiebe van der Hoek (Cambridge University Press, 1995)

Formalising Motivational Attitudes of Agents. - Bernd van Linder; Wiebe van der Hoek; John-Jules Ch. Meyer (ATAL, 1995)

The Dynamics of Default Reasoning (Extended Abstract). - Bernd van Linder; Wiebe van der Hoek; John-Jules Ch. Meyer (ECSQARU, 1995)

Actions That Make You Change Your Mind (Extended Abstract). - Bernd van Linder; Wiebe van der Hoek; John-Jules Ch. Meyer (KI, 1995)

A Default Logic Based on Epistemic States. - John-Jules Ch. Meyer; Wiebe van der Hoek (Fundam. Informaticae, 1995)

Aziomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic Databases. - Paul Spruit; Roel J. Wieringa; John-Jules Ch. Meyer (J. Log. Comput., 1995)

A Modal Approach to Intentions, Commitments and Obligations: Intention plus Commitment Yields Obligation. - Frank Dignum; John-Jules Ch. Meyer; Roel J. Wieringa; Ruurd Kuiper 001 (DEON, 1996)

Possible World Semantics for Analogous Reasoning. - John-Jules Ch. Meyer; J. C. van Leeuwen (FAPR, 1996)

An Integrated Framework for Ought-to-Be and Ought-to-Do Constraints. - P. d'Altan; John-Jules Ch. Meyer; Roel J. Wieringa (Artif. Intell. Law, 1996)

A Modal Contrastive Logic: The Logic of 'but'. - John-Jules Ch. Meyer; Wiebe van der Hoek (Ann. Math. Artif. Intell., 1996)

Free Choice and Contextually Permitted Actions. - Frank Dignum; John-Jules Ch. Meyer; Roel J. Wieringa (Stud Logica, 1996)

Formal Semantics for an Abstract Agent Programming Language. - Koen V. Hindriks; Frank S. de Boer; Wiebe van der Hoek; John-Jules Ch. Meyer (ATAL, 1997)

Preferential Action Semantics (Preliminary Report). - John-Jules Ch. Meyer; Patrick Doherty 001 (ModelAge Workshop, 1997)

Formal Models of Agents: An Introduction. - John-Jules Ch. Meyer; Pierre-Yves Schobbens (ModelAge Workshop, 1997)

The Dynamics of Default Reasoning. - Bernd van Linder; Wiebe van der Hoek; John-Jules Ch. Meyer (Data Knowl. Eng., 1997)

Seeing Is Believing. - Bernd van Linder; Wiebe van der Hoek; John-Jules Ch. Meyer (J. Log. Lang. Inf., 1997)

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 (AIMSA, 1998)

Control Structures of Rule-Based Agent Languages. - Koen V. Hindriks; Frank S. de Boer; Wiebe van der Hoek; John-Jules Ch. Meyer (ATAL, 1998)

Agent Languages and Their Relationship to Other Programming Paradigms. - John-Jules Ch. Meyer (ATAL, 1998)

A Formal Embedding of AgentSpeak(L) in 3APL. - Koen V. Hindriks; Frank S. de Boer; Wiebe van der Hoek; John-Jules Ch. Meyer (Australian Joint Conference on Artificial Intelligence, 1998)

The Role of Deontic Logic in the Specification of Information Systems. - John-Jules Ch. Meyer; Roel J. Wieringa; Frank Dignum (Logics for Databases and Information Systems, 1998)

Systems of Communicating Agents. - Rogier M. van Eijk; Frank S. de Boer; Wiebe van der Hoek; John-Jules Ch. Meyer (ECAI, 1998)

Information-Passing and Belief Revision in Multi-Agent Systems. - Rogier M. van Eijk; Frank S. de Boer; Wiebe van der Hoek; John-Jules Ch. Meyer (ICMAS, 1998)

Translations of Vocabularies in Systems of Communicating Agents. - Rogier M. van Eijk; Frank S. de Boer; Wiebe van der Hoek; John-Jules Ch. Meyer (COTIC, 1998)

Formalising Abilities and Opportunities of Agents. - Bernd van Linder; Wiebe van der Hoek; John-Jules Ch. Meyer (Fundam. Informaticae, 1998)

Informational independence: Models and normal forms. - Linda C. van der Gaag; John-Jules Ch. Meyer (Int. J. Intell. Syst., 1998)

Temporalizing Epistemic Default Logic. - Wiebe van der Hoek; John-Jules Ch. Meyer; Jan Treur (J. Log. Lang. Inf., 1998)

Open Multi-agent Systems: Agent Communication and Integration. - Rogier M. van Eijk; Frank S. de Boer; Wiebe van der Hoek; John-Jules Ch. Meyer (ATAL, 1999)

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 (ECOOP Workshops, 1999)

Keynote Address: Formal and Informal Aspects of Intelligent Agent-based Systems. - John-Jules Ch. Meyer (ISCO, 1999)

Agent Programming in 3APL. - Koen V. Hindriks; Frank S. de Boer; Wiebe van der Hoek; John-Jules Ch. Meyer (Auton. Agents Multi Agent Syst., 1999)

A Logical Approach to the Dynamics of Commitments. - John-Jules Ch. Meyer; Wiebe van der Hoek; Bernd van Linder (Artif. Intell., 1999)

Operational Semantics for Agent Communication Languages. - Rogier M. van Eijk; Frank S. de Boer; Wiebe van der Hoek; John-Jules Ch. Meyer (Issues in Agent Communication, 2000)

Semantics of Communicating Agents Based on Deduction and Abduction. - Koen V. Hindriks; Frank S. de Boer; Wiebe van der Hoek; John-Jules Ch. Meyer (Issues in Agent Communication, 2000)

Generalised Object-Oriented Concepts for Inter-agent Communication. - Rogier M. van Eijk; Frank S. de Boer; Wiebe van der Hoek; John-Jules Ch. Meyer (ATAL, 2000)

Agent Programming with Declarative Goals. - Koen V. Hindriks; Frank S. de Boer; Wiebe van der Hoek; John-Jules Ch. Meyer (ATAL, 2000)

A Semantics for Persistency in Propositional Dynamic Logic. - Jan M. Broersen; Roel J. Wieringa; John-Jules Ch. Meyer (Computational Logic, 2000)

A Programming Logic for Part of the Agent Language 3APL. - Koen V. Hindriks; Frank S. de Boer; Wiebe van der Hoek; John-Jules Ch. Meyer (FAABS, 2000)

Verification within the KARO Agent Theory. - Ullrich Hustadt; Clare Dixon; Renate A. Schmidt; Michael Fisher 001; John-Jules Ch. Meyer; Wiebe van der Hoek (FAABS, 2000)

A Modal Logic for Network Topologies. - Rogier M. van Eijk; Frank S. de Boer; Wiebe van der Hoek; John-Jules Ch. Meyer (JELIA, 2000)

On Agents That Have the Ability to Choose. - Wiebe van der Hoek; Bernd van Linder; John-Jules Ch. Meyer (Stud Logica, 2000)

Introduction. - John-Jules Ch. Meyer; Milind Tambe (ATAL, 2001)

A Programming Language for Coordinating Group Actions. - Wieke de Vries; Frank S. de Boer; Koen V. Hindriks; Wiebe van der Hoek; John-Jules Ch. Meyer (CEEMAS, 2001)

A Truly Concurrent Model for Interacting Agents. - Wieke de Vries; Frank S. de Boer; Wiebe van der Hoek; John-Jules Ch. Meyer (PRIMA, 2001)

Reasoning about agents in the KARO framework. - Ullrich Hustadt; Clare Dixon; Renate A. Schmidt; Michael Fisher 001; John-Jules Ch. Meyer; Wiebe van der Hoek (TIME, 2001)

A Fixed-point Characterization of a Deontic Logic of Regular Action. - Jan M. Broersen; Roel J. Wieringa; John-Jules Ch. Meyer (Fundam. Informaticae, 2001)

On Programming KARO Agents. - John-Jules Ch. Meyer; Frank S. de Boer; Rogier M. van Eijk; Koen V. Hindriks; Wiebe van der Hoek (Log. J. IGPL, 2001)

On dynamically generated ontology translators in agent communication. - Rogier M. van Eijk; Frank S. de Boer; Wiebe van der Hoek; John-Jules Ch. Meyer (Int. J. Intell. Syst., 2001)

Modal Logic with Bounded Quantification over Worlds. - Rogier M. van Eijk; Frank S. de Boer; Wiebe van der Hoek; John-Jules Ch. Meyer (J. Log. Comput., 2001)

Regular database update logics. - Paul Spruit; Roel J. Wieringa; John-Jules Ch. Meyer (Theor. Comput. Sci., 2001)

Towards an organizational model for agent societies using contracts. - Virginia Dignum; John-Jules Ch. Meyer; Hans Weigand (AAMAS, 2002)

On Modal Logic Interpretations of Games. - Paul Harrenstein; Wiebe van der Hoek; John-Jules Ch. Meyer; Cees Witteveen (ECAI, 2002)

Specification by Refinement and Agreement: Designing Agent Interaction Using Landmarks and Contracts. - Hans Weigand; Virginia Dignum; John-Jules Ch. Meyer; Frank Dignum (ESAW, 2002)

Formal Specification of Interaction in Agent Societies. - Virginia Dignum; John-Jules Ch. Meyer; Frank Dignum; Hans Weigand (FAABS, 2002)

Tools and Education towards Formal Methods Practice. - John-Jules Ch. Meyer (FAABS, 2002)

Agent Programming in Dribble: From Beliefs to Goals with Plans. - Birna van Riemsdijk; Wiebe van der Hoek; John-Jules Ch. Meyer (FAABS, 2002)

The mutual exclusion problem in reasoning about action and change. - Jan M. Broersen; John-Jules Ch. Meyer; Roel J. Wieringa (NMR, 2002)

The Logic of Knowledge Bases - Hector J. Levesque, Gerhard Lakemeyer (Eds.), MIT Press, Cambridge, MA, 2000, ISBN 0-262-12232-4. - John-Jules Ch. Meyer (Artif. Intell. Medicine, 2002)

Programming agent deliberation: an approach illustrated using the 3APL language. - Mehdi Dastani; Frank S. de Boer; Frank Dignum; John-Jules Ch. Meyer (AAMAS, 2003)

Autonomy and Agent Deliberation. - Mehdi Dastani; Frank Dignum; John-Jules Ch. Meyer (Agents and Computational Autonomy, 2003)

Process Algebra for Agent Communication: A General Semantic Approach. - Rogier M. van Eijk; Frank S. de Boer; Wiebe van der Hoek; John-Jules Ch. Meyer (Communication in Multiagent Systems, 2003)

Agent programming in dribble: from beliefs to goals using plans. - Birna van Riemsdijk; Wiebe van der Hoek; John-Jules Ch. Meyer (AAMAS, 2003)

Coordinating Agents in OO. - Frank S. de Boer; Cees Pierik; Rogier M. van Eijk; John-Jules Ch. Meyer (Objects, Agents, and Features, 2003)

Intelligent Agents: Issues and Logics. - John-Jules Ch. Meyer (Logics for Emerging Applications of Databases, 2003)

Objects, Agents, and Features: An Introduction. - John-Jules Ch. Meyer; Mark Dermot Ryan; Hans-Dieter Ehrich (Objects, Agents, and Features, 2003)

A Programming Language for Cognitive Agents Goal Directed 3APL. - Mehdi Dastani; Birna van Riemsdijk; Frank Dignum; John-Jules Ch. Meyer (PROMAS, 2003)

A Verification Framework for Agent Communication. - Rogier M. van Eijk; Frank S. de Boer; Wiebe van der Hoek; John-Jules Ch. Meyer (Auton. Agents Multi Agent Syst., 2003)

Dialogue Games for Inconsistent and Biased Information. - Henk-Jan Lebbink; Cilia Witteman; John-Jules Ch. Meyer (LCMAS, 2003)

A Modal Characterization of Nash Equilibrium. - Paul Harrenstein; Wiebe van der Hoek; John-Jules Ch. Meyer; Cees Witteveen (Fundam. Informaticae, 2003)

Iterated Belief Change in Multi-Agent Systems. - Jan-Willem Roorda; Wiebe van der Hoek; John-Jules Ch. Meyer (Log. J. IGPL, 2003)

Formal semantics of meta-level architectures: Temporal epistemic reflection. - Wiebe van der Hoek; John-Jules Ch. Meyer; Jan Treur (Int. J. Intell. Syst., 2003)

A fully abstract model 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 (Theor. Comput. Sci., 2003)

Optimal Communication Vocabularies and Heterogeneous Ontologies. - Jurriaan van Diggelen; Robbert-Jan Beun; Frank Dignum; Rogier M. van Eijk; John-Jules Ch. Meyer (AC, 2004)

Agent-Oriented Programming: Where Do We Stand?. - John-Jules Ch. Meyer (AMAST, 2004)

Enacting and Deacting Roles in Agent Programming. - Mehdi Dastani; Birna van Riemsdijk; Joris Hulstijn; Frank Dignum; John-Jules Ch. Meyer (AOSE, 2004)

A Modal Semantics for an Argumentation-Based Pragmatics for Agent Communication. - Jamal Bentahar; Bernard Moulin; John-Jules Ch. Meyer; Brahim Chaib-draa (ArgMAS, 2004)

A Logical Model for Commitment and Argument Network for Agent Communication. - Jamal Bentahar; Bernard Moulin; John-Jules Ch. Meyer; Brahim Chaib-draa (AAMAS, 2004)

Issues in Multiagent System Development. - Mehdi Dastani; Joris Hulstijn; Frank Dignum; John-Jules Ch. Meyer (AAMAS, 2004)

A Computational Model for Conversation Policies for Agent Communication. - Jamal Bentahar; Bernard Moulin; John-Jules Ch. Meyer; Brahim Chaib-draa (CLIMA, 2004)

Contextual Taxonomies. - Davide Grossi; Frank Dignum; John-Jules Ch. Meyer (CLIMA, 2004)

Dynamic Logic for Plan Revision in Intelligent Agents. - M. Birna van Riemsdijk; Frank S. de Boer; John-Jules Ch. Meyer (CLIMA, 2004)

Dynamics of Declarative Goals in Agent Programming. - Birna van Riemsdijk; Mehdi Dastani; Frank Dignum; John-Jules Ch. Meyer (DALT, 2004)

Designing a Deontic Logic of Deadlines. - Jan M. Broersen; Frank Dignum; Virginia Dignum; John-Jules Ch. Meyer (DEON, 2004)

Collective Obligations and Agents: Who Gets the Blame? - Davide Grossi; Frank Dignum; Lambèr M. M. Royakkers; John-Jules Ch. Meyer (DEON, 2004)

Meeting the Deadline: Why, When and How. - Frank Dignum; Jan M. Broersen; Virginia Dignum; John-Jules Ch. Meyer (FAABS, 2004)

A Dialogue Game to Offer an Agreement to Disagree. - Henk-Jan Lebbink; Cilia Witteman; John-Jules Ch. Meyer (PROMAS, 2004)

Toward Reasoning about Security Protocols: A Semantic Approach. - Arjen Hommersom; John-Jules Ch. Meyer; Erik P. de Vink (LCMAS, 2004)

Rational Teams: Logical Aspects of Multi-Agent Systems. - Huib Aldewereld; Wiebe van der Hoek; John-Jules Ch. Meyer (Fundam. Informaticae, 2004)

An agent-mediated approach to the support of knowledge sharing in organizations. - Virginia Dignum; Frank Dignum; John-Jules Ch. Meyer (Knowl. Eng. Rev., 2004)

Update Semantics of Security Protocols. - Arjen Hommersom; John-Jules Ch. Meyer; Erik P. de Vink (Synth., 2004)

Programming Multi-Agent Systems in 3APL. - Mehdi Dastani; M. Birna van Riemsdijk; John-Jules Ch. Meyer (Multi-Agent Programming, 2005)

Norm compliance of protocols in electronic institutions. - Huib Aldewereld; Javier Vázquez-Salceda; Frank Dignum; John-Jules Ch. Meyer (AAMAS, 2005)

Verifying Norm Compliancy of Protocols. - Huib Aldewereld; Javier Vázquez-Salceda; Frank Dignum; John-Jules Ch. Meyer (AAMAS Workshops, 2005)

Semantics of declarative goals in agent programming. - Birna van Riemsdijk; Mehdi Dastani; John-Jules Ch. Meyer (AAMAS, 2005)

Efficiency and Fairness in Air Traffic Control. - Geert Jonker; John-Jules Ch. Meyer; Frank Dignum (BNAIC, 2005)

Contextual Terminologies. - Davide Grossi; Frank Dignum; John-Jules Ch. Meyer (CLIMA, 2005)

A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication. - Jamal Bentahar; Bernard Moulin; John-Jules Ch. Meyer (DALT, 2005)

Towards a Market Mechanism for Airport Traffic Control. - Geert Jonker; John-Jules Ch. Meyer; Frank Dignum (EPIA, 2005)

Subgoal Semantics in Agent Programming. - M. Birna van Riemsdijk; Mehdi Dastani; John-Jules Ch. Meyer (EPIA, 2005)

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 (ICAIL, 2005)

Programming Cognitive Agents. - John-Jules Ch. Meyer (MATES, 2005)

Programming Deliberative Agents for Mobile Services: The 3APL-M Platform. - Fernando Koch; John-Jules Ch. Meyer; Frank Dignum; Iyad Rahwan (PROMAS, 2005)

Process algebra and constraint programming for modeling interactions in MAS. - Frank S. de Boer; Wieke de Vries; John-Jules Ch. Meyer; Rogier M. van Eijk; Wiebe van der Hoek (Appl. Algebra Eng. Commun. Comput., 2005)

Combining Normal Communication with Ontology Alignment. - Jurriaan van Diggelen; Robbert-Jan Beun; Frank Dignum; Rogier M. van Eijk; John-Jules Ch. Meyer (AC, 2006)

Can I Please Drop It? Dialogues About Belief Contraction. - Henk-Jan Lebbink; Cilia Witteman; John-Jules Ch. Meyer (AC, 2006)

A Compositional Semantics of Plan Revision in Intelligent Agents. - M. Birna van Riemsdijk; John-Jules Ch. Meyer (AMAST, 2006)

ANEMONE: an effective minimal ontology negotiation environment. - Jurriaan van Diggelen; Robbert-Jan Beun; Frank Dignum; Rogier M. van Eijk; John-Jules Ch. Meyer (AAMAS, 2006)

Goal-oriented modularity in agent programming. - M. Birna van Riemsdijk; Mehdi Dastani; John-Jules Ch. Meyer; Frank S. de Boer (AAMAS, 2006)

Influence-Based Autonomy Levels in Agent Decision-Making. - Bob van der Vecht; André P. Meyer; Martijn Neef; Frank Dignum; John-Jules Ch. Meyer (COIN@AAMAS/ECAI, 2006)

A New Model Checking Approach for Verifying Agent Communication Protocols. - Jamal Bentahar; Bernard Moulin; John-Jules Ch. Meyer (CCECE, 2006)

A New Logical Semantics for Agent Communication. - Jamal Bentahar; Bernard Moulin; John-Jules Ch. Meyer; Yves Lespérance (CLIMA, 2006)

Prototyping 3APL in the Maude Term Rewriting Language. - M. Birna van Riemsdijk; Frank S. de Boer; Mehdi Dastani; John-Jules Ch. Meyer (CLIMA, 2006)

06261 Executive Summary – Foundations and Practice of Programming Multi-Agent Systems. - Mehdi Dastani; John-Jules Ch. Meyer; Rafael H. Bordini (Foundations and Practice of Programming Multi-Agent Systems, 2006)

06261 Abstracts Collection – Foundations and Practice of Programming Multi-Agent Systems. - Mehdi Dastani; John-Jules Ch. Meyer; Rafael H. Bordini (Foundations and Practice of Programming Multi-Agent Systems, 2006)

Counts-as: Classification or Constitution? An Answer Using Modal Logic. - Davide Grossi; John-Jules Ch. Meyer; Frank Dignum (DEON, 2006)

Programming Agents with Emotions. - Mehdi Dastani; John-Jules Ch. Meyer (ECAI, 2006)

Goal Types in Agent Programming. - Mehdi Dastani; M. Birna van Riemsdijk; John-Jules Ch. Meyer (ECAI, 2006)

Going beyond BDI: Programming 'BDI+' Agents. - John-Jules Ch. Meyer (EUMAS, 2006)

Agent Logics as Program Logics: Grounding KARO. - Koen V. Hindriks; John-Jules Ch. Meyer (KI, 2006)

Reasoning about emotional agents. - John-Jules Ch. Meyer (Int. J. Intell. Syst., 2006)

Classificatory Aspects of Counts-as: An Analysis in Modal Logic. - Davide Grossi; John-Jules Ch. Meyer; Frank Dignum (J. Log. Comput., 2006)

Dynamic Logic for Plan Revision in Agent Programming. - M. Birna van Riemsdijk; Frank S. de Boer; John-Jules Ch. Meyer (J. Log. Comput., 2006)

Semantics of plan revision in intelligent agents. - M. Birna van Riemsdijk; John-Jules Ch. Meyer; Frank S. de Boer (Theor. Comput. Sci., 2006)

Intelligent agents and common sense reasoning. - John-Jules Ch. Meyer; Frank Veltman (Handbook of Modal Logic, 2007)

A Logic of Agent Programs. - Natasha Alechina; Mehdi Dastani; Brian Logan 001; John-Jules Ch. Meyer (AAAI, 2007)

A Logic of Emotions for Intelligent Agents. - Bas R. Steunebrink; Mehdi Dastani; John-Jules Ch. Meyer (AAAI, 2007)

Rational Agents That Blush. - Paolo Turrini; John-Jules Ch. Meyer; Cristiano Castelfranchi (ACII, 2007)

Designing protocols for agent institutions. - Huib Aldewereld; Frank Dignum; John-Jules Ch. Meyer (AAMAS, 2007)

Practical extensions in agent programming languages. - Mehdi Dastani; Dirk Hobo; John-Jules Ch. Meyer (AAMAS, 2007)

A grounded specification language for agent programs. - Mehdi Dastani; M. Birna van Riemsdijk; John-Jules Ch. Meyer (AAMAS, 2007)

A formal road from institutional norms to organizational structures. - Davide Grossi; Frank Dignum; John-Jules Ch. Meyer (AAMAS, 2007)

Achieving cooperation among selfish agents in the air traffic management domain using signed money. - Geert Jonker; Frank Dignum; John-Jules Ch. Meyer (AAMAS, 2007)

A Dynamic Coordination Mechanism Using Adjustable Autonomy. - Bob van der Vecht; Frank Dignum; John-Jules Ch. Meyer; Martijn Neef (COIN, 2007)

Towards a Delegation Framework for Aerial Robotic Mission Scenarios. - Patrick Doherty 001; John-Jules Ch. Meyer (CIA, 2007)

On the Logic of Constitutive Rules. - Davide Grossi; John-Jules Ch. Meyer; Frank Dignum (Normative Multi-agent Systems, 2007)

Towards Programming Multimodal Dialogues. - Nieske L. Vergunst; Bas R. Steunebrink; Mehdi Dastani; F. P. M. Dignum; John-Jules Ch. Meyer (Web Intelligence/IAT Workshops, 2007)

Securing Agent-Oriented Systems: An Argumentation and Reputation-based Approach. - Jamal Bentahar; John-Jules Ch. Meyer; Bernard Moulin (ITNG, 2007)

Goal Selection Strategies for Rational Agents. - Nick A. M. Tinnemeier; Mehdi Dastani; John-Jules Ch. Meyer (LADS, 2007)

From Norms to Interaction Patterns: Deriving Protocols for Agent Institutions. - Huib Aldewereld; Frank Dignum; John-Jules Ch. Meyer (PROMAS, 2007)

A Practical Agent Programming Language. - Mehdi Dastani; John-Jules Ch. Meyer (PROMAS, 2007)

A New Quantitative Trust Model for Negotiating Agents. - Jamal Bentahar; John-Jules Ch. Meyer (RCIS, 2007)

Model Checking Communicative Agent-Based Systems. - Jamal Bentahar; John-Jules Ch. Meyer (SoMeT, 2007)

Our Quest for the Holy Grail of Agent Verification. - John-Jules Ch. Meyer (TABLEAUX, 2007)

Ontology negotiation in heterogeneous multi-agent systems: The ANEMONE system. - Jurriaan van Diggelen; Robbert-Jan Beun; Frank Dignum; Rogier M. van Eijk; John-Jules Ch. Meyer (Appl. Ontology, 2007)

Ontology negotiation: goals, requirements and implementation. - Jurriaan van Diggelen; Robbert-Jan Beun; Frank Dignum; Rogier M. van Eijk; John-Jules Ch. Meyer (Int. J. Agent Oriented Softw. Eng., 2007)

A New Quantitative Trust Model for Negotiating Agents using Argumentation. - Jamal Bentahar; John-Jules Ch. Meyer (Int. J. Comput. Sci. Appl., 2007)

A security framework for agent-based systems. - Jamal Bentahar; Francesca Toni; John-Jules Ch. Meyer; Jihad Labban (Int. J. Web Inf. Syst., 2007)

A verification framework for agent programming with declarative goals. - Frank S. de Boer; Koen V. Hindriks; Wiebe van der Hoek; John-Jules Ch. Meyer (J. Appl. Log., 2007)

Personality-Based Practical Reasoning. - Thomas L. van der Weide; Frank Dignum; John-Jules Ch. Meyer; Henry Prakken; Gerard Vreeswijk (ArgMAS, 2008)

Reasoning about agent execution strategies. - Natasha Alechina; Brian Logan 001; Mehdi Dastani; John-Jules Ch. Meyer (AAMAS (3), 2008)

Achieving efficient and equitable collaboration among selfish agents using spender-signed currency. - Geert Jonker; Frank Dignum; John-Jules Ch. Meyer (AAMAS (3), 2008)

Organizations and Autonomous Agents: Bottom-Up Dynamics of Coordination Mechanisms. - Bob van der Vecht; Frank Dignum; John-Jules Ch. Meyer; Virginia Dignum (COIN@AAMAS&AAAI, 2008)

Strategic Agent Communication: An Argumentation-Driven Approach. - Jamal Bentahar; Mohamed Mbarki; John-Jules Ch. Meyer; Bernard Moulin (DALT, 2008)

Mental State Abduction of BDI-Based Agents. - Michal P. Sindlar; Mehdi Dastani; Frank Dignum; John-Jules Ch. Meyer (DALT, 2008)

A Deontic Logic for Socially Optimal Norms. - Jan M. Broersen; Rosja Mastop; John-Jules Ch. Meyer; Paolo Turrini (DEON, 2008)

Organizing Coherent Coalitions. - Jan M. Broersen; Rosja Mastop; John-Jules Ch. Meyer; Paolo Turrini (ECAI, 2008)

A Formal Model of Emotions: Integrating Qualitative and Quantitative Aspects. - Bas R. Steunebrink; Mehdi Dastani; John-Jules Ch. Meyer (ECAI, 2008)

Magic Agents: Using Information Relevance to Control Autonomy. - Bob van der Vecht; Frank Dignum; John-Jules Ch. Meyer (ECAI, 2008)

A Cognitive Model for the Generation and Explanation of Behaviour in Virtual Training Systems. - Maaike Harbers; Karel van den Bosch; Frank Dignum; John-Jules Ch. Meyer (ExaCt, 2008)

A Generic Architecture for a Companion Robot. - Bas R. Steunebrink; Nieske L. Vergunst; Christian P. Mol; Frank Dignum; Mehdi Dastani; John-Jules Ch. Meyer (ICINCO-RA (2), 2008)

A Logic for Closed-World Interaction. - Jan M. Broersen; Rosja Mastop; John-Jules Ch. Meyer; Paolo Turrini (JELIA, 2008)

Normative Multi-agent Programs and Their Logics. - Mehdi Dastani; Davide Grossi; John-Jules Ch. Meyer; Nick A. M. Tinnemeier (KRAMAS, 2008)

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 (PRIMA, 2008)

A Verification Framework for Normative Multi-Agent Systems. - Lacramioara Astefanoaei; Mehdi Dastani; John-Jules Ch. Meyer; Frank S. de Boer (PRIMA, 2008)

Orwell's Nightmare for Agents? Programming Multi-agent Organisations. - Nick A. M. Tinnemeier; Mehdi Dastani; John-Jules Ch. Meyer (ProMAS, 2008)

Editorial. - Lou Goble; John-Jules Ch. Meyer (J. Appl. Log., 2008)

The many faces of counts-as: A formal analysis of constitutive rules. - Davide Grossi; John-Jules Ch. Meyer; Frank Dignum (J. Appl. Log., 2008)

Agent Technology. - John-Jules Ch. Meyer (Wiley Encyclopedia of Computer Science and Engineering, 2008)

A Programming Language for Normative Multi-Agent Systems. - Mehdi Dastani; Nick A. M. Tinnemeier; John-Jules Ch. Meyer (Handbook of Research on Multi-Agent Systems, 2009)

Autonomous Agents Adopting Organizational Rules. - Bob van der Vecht; Frank Dignum; John-Jules Ch. Meyer (Handbook of Research on Multi-Agent Systems, 2009)

Practical Reasoning Using Values. - Thomas L. van der Weide; Frank Dignum; John-Jules Ch. Meyer; Henry Prakken; Gerard Vreeswijk (ArgMAS, 2009)

Roles and norms for programming agent organizations. - Nick A. M. Tinnemeier; Mehdi Dastani; John-Jules Ch. Meyer (AAMAS (1), 2009)

Model Checking Normative Agent Organisations. - Louise A. Dennis; Nick A. M. Tinnemeier; John-Jules Ch. Meyer (CLIMA, 2009)

Explaining and Predicting the Behavior of BDI-Based Agents in Role-Playing Games. - Michal P. Sindlar; Mehdi Dastani; Frank Dignum; John-Jules Ch. Meyer (DALT, 2009)

A Formal Model of Emotion-Based Action Tendency for Intelligent Agents. - Bas R. Steunebrink; Mehdi Dastani; John-Jules Ch. Meyer (EPIA, 2009)

Getting a Grip on Emotions in Negotiations: The Possibilities of ICT. - Willem-Paul Brinkman; Joost Broekens; Catholijn M. Jonker; John-Jules Ch. Meyer (Web Intelligence/IAT Workshops, 2009)

Strategic Ability Update: A Modal Logic Account. - Jan M. Broersen; Rosja Mastop; John-Jules Ch. Meyer; Paolo Turrini (Web Intelligence/IAT Workshops, 2009)

Modeling Agents with a Theory of Mind. - Maaike Harbers; Karel van den Bosch; John-Jules Ch. Meyer (IAT, 2009)

Programming Normative Artifacts with Declarative Obligations and Prohibitions. - Nick A. M. Tinnemeier; Mehdi Dastani; John-Jules Ch. Meyer; Leendert W. N. van der Torre (IAT, 2009)

Autonomy and Coordination: Controlling External Influences on Decision Making. - Bob van der Vecht; Frank Dignum; John-Jules Ch. Meyer (IAT, 2009)

A Study into Preferred Explanations of Virtual Agent Behavior. - Maaike Harbers; Karel van den Bosch; John-Jules Ch. Meyer (IVA, 2009)

BDI-Based Development of Virtual Characters with a Theory of Mind. - Michal P. Sindlar; Mehdi Dastani; John-Jules Ch. Meyer (IVA, 2009)

A Methodology for Developing Self-explaining Agents for Virtual Training. - Maaike Harbers; Karel van den Bosch; John-Jules Ch. Meyer (LADS, 2009)

Intentions and Assignments. - Emiliano Lorini; Mehdi Dastani; Hans van Ditmarsch; Andreas Herzig; John-Jules Ch. Meyer (LORI, 2009)

An Update Operator for Strategic Ability. - Paolo Turrini; Jan M. Broersen; Rosja Mastop; John-Jules Ch. Meyer (LORI, 2009)

Debugging BDI-Based Multi-Agent Programs. - Mehdi Dastani; Jaap Brandsema; Amco Dubel; John-Jules Ch. Meyer (PROMAS, 2009)

Toward a programming theory for rational agents. - Koen V. Hindriks; John-Jules Ch. Meyer (Auton. Agents Multi Agent Syst., 2009)

Goals in conflict: semantic foundations of goals in agent programming. - M. Birna van Riemsdijk; Mehdi Dastani; John-Jules Ch. Meyer (Auton. Agents Multi Agent Syst., 2009)

A coordination language for agents interacting in distributed plan-execute cycles. - Wieke de Vries; John-Jules Ch. Meyer; Frank S. de Boer; Wiebe van der Hoek (Int. J. Reason. based Intell. Syst., 2009)

On the Semantics and Verification of Normative Multi-Agent Systems. - Lacramioara Astefanoaei; Mehdi Dastani; John-Jules Ch. Meyer; Frank S. de Boer (J. Univers. Comput. Sci., 2009)

Model checking communicative agent-based systems. - Jamal Bentahar; John-Jules Ch. Meyer; Wei Wan (Knowl. Based Syst., 2009)

Determining the environment: a modal logic for closed interaction. - Jan M. Broersen; Rosja Mastop; John-Jules Ch. Meyer; Paolo Turrini (Synth., 2009)

A Formal Argumentation Framework for Deliberation Dialogues. - Eric M. Kok; John-Jules Ch. Meyer; Henry Prakken; Gerard Vreeswijk (ArgMAS, 2010)

Arguing about Preferences and Decisions. - Thomas L. van der Weide; Frank Dignum; John-Jules Ch. Meyer; Henry Prakken; Gerard Vreeswijk (ArgMAS, 2010)

Emotions to control agent deliberation. - Bas R. Steunebrink; Mehdi Dastani; John-Jules Ch. Meyer (AAMAS, 2010)

Forbidding Undesirable Agreements: A Dependence-Based Approach to the Regulation of Multi-agent Systems. - Paolo Turrini; Davide Grossi; Jan M. Broersen; John-Jules Ch. Meyer (DEON, 2010)

Mental State Ascription Using Dynamic Logic. - Michal P. Sindlar; Mehdi Dastani; John-Jules Ch. Meyer (ECAI, 2010)

Design and Evaluation of Explainable BDI Agents. - Maaike Harbers; Karel van den Bosch; John-Jules Ch. Meyer (IAT, 2010)

Do You Get It? User-Evaluated Explainable BDI Agents. - Joost Broekens; Maaike Harbers; Koen V. Hindriks; Karel van den Bosch; Catholijn M. Jonker; John-Jules Ch. Meyer (MATES, 2010)

Affordance-Based Intention Recognition in Virtual Spatial Environments. - Michal P. Sindlar; John-Jules Ch. Meyer (PRIMA, 2010)

Coping with shame and sense of guilt: a Dynamic Logic Account. - Paolo Turrini; John-Jules Ch. Meyer; Cristiano Castelfranchi (Auton. Agents Multi Agent Syst., 2010)

Agents with emotions. - Mehdi Dastani; John-Jules Ch. Meyer (Int. J. Intell. Syst., 2010)

Affective negotiation support systems. - Joost Broekens; Catholijn M. Jonker; John-Jules Ch. Meyer (J. Ambient Intell. Smart Environ., 2010)

Explaining Simulations Through Self Explaining Agents. - Maaike Harbers; John-Jules Ch. Meyer; Karel van den Bosch (J. Artif. Soc. Soc. Simul., 2010)

Scenario-Based Training: Director's Cut. - Marieke Peeters; Karel van den Bosch; John-Jules Ch. Meyer; Mark A. Neerincx (AIED, 2011)

Multi-criteria Argument Selection in Persuasion Dialogues. - Thomas L. van der Weide; Frank Dignum; John-Jules Ch. Meyer; Henry Prakken; Gerard Vreeswijk (ArgMAS, 2011)

Explanation in Human-Agent Teamwork. - Maaike Harbers; Jeffrey M. Bradshaw; Matthew Johnson 001; Paul J. Feltovich; Karel van den Bosch; John-Jules Ch. Meyer (COIN@AAMAS&WI-IAT, 2011)

Programming mental state abduction. - Michal P. Sindlar; Mehdi Dastani; John-Jules Ch. Meyer (AAMAS, 2011)

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 (CBMS, 2011)

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 (EUMAS, 2011)

Explanation and Coordination in Human-Agent Teams: A Study in the BW4T Testbed. - Maaike Harbers; Jeffrey M. Bradshaw; Matthew Johnson 001; Paul J. Feltovich; Karel van den Bosch; John-Jules Ch. Meyer (Web Intelligence/IAT Workshops, 2011)

Neural-Symbolic Cognitive Agents: Architecture and Theory. - Leo de Penning; Artur S. d'Avila Garcez; Luís C. Lamb; John-Jules Ch. Meyer (ICCSW, 2011)

A Neural-Symbolic Cognitive Agent for Online Learning and Reasoning. - Leo de Penning; Artur S. d'Avila Garcez; Luís C. Lamb; John-Jules Ch. Meyer (IJCAI, 2011)

Decentralized Autonomous-Agent-Based Infrastructure for Agile Multiparallel Manufacturing. - Leo van Moergestel; Erik Puik; Daniël Telgen; John-Jules Ch. Meyer (ISADS, 2011)

Validity of a Virtual Negotiation Training. - Joost Broekens; Maaike Harbers; Willem-Paul Brinkman; Catholijn M. Jonker; Karel van den Bosch; John-Jules Ch. Meyer (IVA, 2011)

A Theoretical Framework for Explaining Agent Behavior. - Maaike Harbers; Karel van den Bosch; John-Jules Ch. Meyer (SIMULTECH, 2011)

Reasoning about agent deliberation. - Natasha Alechina; Mehdi Dastani; Brian Logan 001; John-Jules Ch. Meyer (Auton. Agents Multi Agent Syst., 2011)

Reasoning about plan revision in BDI agent programs. - Natasha Alechina; Mehdi Dastani; Brian Logan 001; John-Jules Ch. Meyer (Theor. Comput. Sci., 2011)

Testing the benfits of structured argumentation in multi-agent deliberation dialogues. - Eric M. Kok; John-Jules Ch. Meyer; Henry Prakken; Gerard Vreeswijk (AAMAS, 2012)

GOAL Agents Instantiate Intention Logic. - Koen V. Hindriks; Wiebe van der Hoek; John-Jules Ch. Meyer (Logic Programs, Norms and Action, 2012)

Full Hybrid μ-Calculus, Its Bisimulation Invariance and Application to Argumentation. - Cristian Gratie; Adina Magda Florea; John-Jules Ch. Meyer (CLIMA, 2012)

Production Scheduling in an Agile Agent-Based Production Grid. - Leo van Moergestel; Erik Puik; Daniël Telgen; John-Jules Ch. Meyer (IAT, 2012)

Generating Phonemes from Written Thai using Lexical Analysis based on Regular Expressions. - Leo van Moergestel; John-Jules Ch. Meyer (ICAART (1), 2012)

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 (IVA, 2012)

An Ontology for Integrating Didactics into a Serious Training Game. - Marieke Peeters; Karel van den Bosch; John-Jules Ch. Meyer; Mark A. Neerincx (PDSG, 2012)

Agent Programming Languages Requirements for Programming Autonomous Robots. - Pouyan Ziafati; Mehdi Dastani; John-Jules Ch. Meyer; Leendert W. N. van der Torre (ProMAS, 2012)

Programming norm change. - Mehdi Dastani; John-Jules Ch. Meyer; Nick A. M. Tinnemeier (J. Appl. Non Class. Logics, 2012)

Regulating competing coalitions: a logic for socially optimal group choices. - Paolo Turrini; Jan M. Broersen; Rosja Mastop; John-Jules Ch. Meyer (J. Appl. Non Class. Logics, 2012)

A formal model of emotion triggers: an approach for BDI agents. - Bas R. Steunebrink; Mehdi Dastani; John-Jules Ch. Meyer (Synth., 2012)

Modeling agents with a theory of mind: Theory-theory versus simulation theory. - Maaike Harbers; Karel van den Bosch; John-Jules Ch. Meyer (Web Intell. Agent Syst., 2012)

Norms in Distributed Organizations. - Bas Testerink; Mehdi Dastani; John-Jules Ch. Meyer (COIN@AAMAS/PRIMA, 2013)

Event-processing in autonomous robot programming. - Pouyan Ziafati; Mehdi Dastani; John-Jules Ch. Meyer; Leendert W. N. van der Torre (AAMAS, 2013)

Agents in Domestic Environments. - Leo van Moergestel; Wouter Langerak; Glenn Meerstra; Niels van Nieuwenburg; Franc Pape; Daniël Telgen; Erik Puik; John-Jules Ch. Meyer (CSCS, 2013)

Automated Scenario Generation - Coupling Planning Techniques with Smart Objects. - Gwen R. Ferdinandus; Marieke Peeters; Karel van den Bosch; John-Jules Ch. Meyer (CSEDU, 2013)

Encapsulated Models for Reasoning and Decision Support. - Ivana Cace; John-Jules Ch. Meyer; Carla Pieterman; Gerlof Valk (GI-Jahrestagung, 2013)

A Multiagent-Based Agile Work Distribution System. - Leo van Moergestel; Erik Puik; Daniël Telgen; Rick van Rijn; Benjamin Segerius; John-Jules Ch. Meyer (IAT, 2013)

Automatic Structured Decomposition of Manufacturing Actions in an Agent-Based Manufacturing System. - Daniël Telgen; Leo van Moergestel; Erik Puik; Arjen van Zanten; Ammar Abdulamir; John-Jules Ch. Meyer (IAT, 2013)

Enhancing Products by Embedding Agents: Adding an Agent to a Robot for Monitoring, Maintenance and Disaster Prevention. - Leo van Moergestel; Erik Puik; Daniël Telgen; Hendrik Folmer; Matthijs Grünbauer; Robbert Proost; Hielke Veringa; John-Jules Ch. Meyer (ICAART (Revised Selected Papers), 2013)

Monitoring Agents in Complex Products - Enhancing a Discovery Robot with an Agent for Monitoring, Maintenance and Disaster Prevention. - Leo van Moergestel; Erik Puik; Daniël Telgen; Hendrik Folmer; Matthijs Grünbauer; Robbert Proost; Hielke Veringa; John-Jules Ch. Meyer (ICAART (2), 2013)

Dreaming Machines: On multimodal fusion and information retrieval using neural-symbolic cognitive agents. - Leo de Penning; Artur S. d'Avila Garcez; John-Jules Ch. Meyer (ICCSW, 2013)

Embedded autonomous agents in products supporting repair and recycling. - Leo van Moergestel; Erik Puik; Daniël Telgen; John-Jules Ch. Meyer (ISADS, 2013)

A Versatile Agile Agent-Based Infrastructure for Hybrid Production Environments. - Leo van Moergestel; Daniël Telgen; Erik Puik; John-Jules Ch. Meyer (MIM, 2013)

Introducing surprising events can stimulate deep learning in a serious game. - Erik D. Van der Spek; Herre van Oostendorp; John-Jules Ch. Meyer (Br. J. Educ. Technol., 2013)

Norms, organizations, and semantics. - Olivier Boissier; Marco Colombetti; Michael Luck; John-Jules Ch. Meyer; Axel Polleres (Knowl. Eng. Rev., 2013)

A logic for normative multi-agent programs. - Mehdi Dastani; John-Jules Ch. Meyer; Davide Grossi (J. Log. Comput., 2013)

A weakest precondition calculus for BUnity. - Lacramioara Astefanoaei; Frank S. de Boer; Mehdi Dastani; John-Jules Ch. Meyer (Sci. Comput. Program., 2013)

Computational Modeling of Emotion: Toward Improving the Inter- and Intradisciplinary Exchange. - Rainer Reisenzein; Eva Hudlicka; Mehdi Dastani; Jonathan Gratch; Koen V. Hindriks; Emiliano Lorini; John-Jules Ch. Meyer (IEEE Trans. Affect. Comput., 2013)

Reasoning on Robot Knowledge from Discrete and Asynchronous Observations. - Pouyan Ziafati; Yehia Elrakaiby; Marc van Zee; Mehdi Dastani; John-Jules Ch. Meyer; Leendert W. N. van der Torre; Holger Voos (AAAI Spring Symposia, 2014)

Neural-symbolic cognitive agents: architecture, theory and application. - Leo de Penning; Artur S. d'Avila Garcez; Luís C. Lamb; John-Jules Ch. Meyer (AAMAS, 2014)

A Tool for the Generation of Arguments from Bayesian Networks. - Sjoerd T. Timmer; John-Jules Ch. Meyer; Henry Prakken; Silja Renooij; Bart Verheij (COMMA, 2014)

An Agent-Based Model of Procrastination. - Ruurdje Procee; Bart A. Kamphorst; Arlette van Wissen; John-Jules Ch. Meyer (ECAI, 2014)

Encoding Definitional Fragments of Temporal Action Logic into Logic Programming. - Marc van Zee; Patrick Doherty 001; John-Jules Ch. Meyer (DARe@ECAI, 2014)

Norm Monitoring Through Observation Sharing. - Bas Testerink; Mehdi Dastani; John-Jules Ch. Meyer (ECSI, 2014)

Adaptive emotional expression in robot-child interaction. - Myrthe Tielman; Mark A. Neerincx; John-Jules Ch. Meyer; Rosemarijn Looije (HRI, 2014)

Agent-based Manufacturing in a Production Grid - Adapting a Production Grid to the Production Paths. - Leo van Moergestel; Daniël Telgen; Erik Puik; John-Jules Ch. Meyer (ICAART (1), 2014)

A Demo Processor as an Educational Tool. - Leo van Moergestel; Lukas Vermond; Kasper van Nieuwland; John-Jules Ch. Meyer (ICTERI, 2014)

Applying Neural-Symbolic Cognitive Agents in Intelligent Transport Systems to reduce CO2 emissions. - Leo de Penning; Artur S. d'Avila Garcez; Luís C. Lamb; Arjan Stuiver; John-Jules Ch. Meyer (IJCNN, 2014)

Reasoning about Dynamic Normative Systems. - Max Knobbout; Mehdi Dastani; John-Jules Ch. Meyer (JELIA, 2014)

Extracting Legal Arguments from Forensic Bayesian Networks. - Sjoerd T. Timmer; John-Jules Ch. Meyer; Henry Prakken; Silja Renooij; Bart Verheij (JURIX, 2014)

A Formalization of the Coach Problem. - Gwendolijn Y. R. Schropp; John-Jules Ch. Meyer; Subramanian Ramamoorthy (RoboCup, 2014)

The design and effect of automated directions during scenario-based training. - Marieke Peeters; Karel van den Bosch; John-Jules Ch. Meyer; Mark A. Neerincx (Comput. Educ., 2014)

Logics for Intelligent Agents and Multi-Agent Systems. - John-Jules Ch. Meyer (Computational Logic, 2014)

Programming Agents with Emotions. - Mehdi Dastani; Christiaan Floor; John-Jules Ch. Meyer (Emotion Modeling, 2014)

CÒIR: Verifying Normative Specifications of Complex Systems. - Luca Gasparini 002; Timothy J. Norman; Martin J. Kollingbaum; Liang Chen; John-Jules Ch. Meyer (COIN@AAMAS/IJCAI, 2015)

Verifying Normative System Specification containing Collective Imperatives and Deadlines. - Luca Gasparini 002; Timothy J. Norman; Martin J. Kollingbaum; Liang Chen; John-Jules Ch. Meyer (AAMAS, 2015)

On Formalizing Opportunism Based on Situation Calculus. - Jieting Luo; John-Jules Ch. Meyer; Frank Dignum (CARE/MFSC@AAMAS, 2015)

Organizational Replication Using Inheritance. - Andreea Urzica; John-Jules Ch. Meyer; Bas Testerink (CSCS, 2015)

Explaining Bayesian Networks Using Argumentation. - Sjoerd T. Timmer; John-Jules Ch. Meyer; Henry Prakken; Silja Renooij; Bart Verheij (ECSQARU, 2015)

Dynamic Task Allocation for Human-robot Teams. - Tinka R. A. Giele; Tina Mioch; Mark A. Neerincx; John-Jules Ch. Meyer (ICAART (1), 2015)

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 (ICAIL, 2015)

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 (ICAIL, 2015)

Implementing Manufacturing as a Service: A Pull-Driven Agent-Based Manufacturing Grid. - Leo van Moergestel; Erik Puik; Daniël Telgen; John-Jules Ch. Meyer (ICTERI, 2015)

Implementation of an Agent-Based Manufacturing Grid. - Leo van Moergestel; Erik Puik; Daniël Telgen; John-Jules Ch. Meyer (ISADS, 2015)

Explaining Legal Bayesian Networks Using Support Graphs. - Sjoerd T. Timmer; John-Jules Ch. Meyer; Henry Prakken; Silja Renooij; Bart Verheij (JURIX, 2015)

Capturing Critical Questions in Bayesian Network Fragments: - Extended abstract. - Sjoerd T. Timmer; John-Jules Ch. Meyer; Henry Prakken; Silja Renooij; Bart Verheij (JURIX, 2015)

Towards A Formal Model of Opportunism Based on Situation Calculus. - Jieting Luo; Frank Dignum; John-Jules Ch. Meyer (MATES, 2015)

Integrating Ontology Negotiation and Agent Communication. - Marlo Souza; Álvaro F. Moreira; Renata Vieira; John-Jules Ch. Meyer (OWLED, 2015)

Communication for Agents with Ontological Reasoning. - Marlo Souza; Álvaro F. Moreira; Renata Vieira; John-Jules Ch. Meyer (WI-IAT (2), 2015)

Retalis Language for Information Engineering in Autonomous Robot Software. - Pouyan Ziafati; Mehdi Dastani; John-Jules Ch. Meyer; Leon van der Torre; Holger Voos (FLAP, 2015)

Forbidding undesirable agreements. - Paolo Turrini; Davide Grossi; Jan M. Broersen; John-Jules Ch. Meyer (J. Log. Comput., 2015)

Monitoring Opportunism in Multi-agent Systems. - Jieting Luo; John-Jules Ch. Meyer; Max Knobbout (COIN@AAMAS/ECAI, 2016)

Formal Frameworks for Verifying Normative Multi-agent Systems. - Max Knobbout; Mehdi Dastani; John-Jules Ch. Meyer (Theory and Practice of Formal Methods, 2016)

A Dynamic Logic of Norm Change. - Max Knobbout; Mehdi Dastani; John-Jules Ch. Meyer (ECAI, 2016)

Towards a Framework for Detecting Opportunism in Multi-Agent Systems. - Jieting Luo; John-Jules Ch. Meyer; Max Knobbout (ECAI, 2016)

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; Daniël Telgen; John-Jules Ch. Meyer (ICAART (1), 2016)

Preference and Priorities: A Study Based on Contrction. - Marlo Souza; Álvaro F. Moreira; Renata Vieira; John-Jules Ch. Meyer (KR, 2016)

Agent-Based Personalisation and User Modeling for Personalised Educational Games. - Marieke M. M. Peeters; Karel van den Bosch; John-Jules Ch. Meyer; Mark A. Neerincx (UMAP, 2016)

General directionality and the local behavior of argumentation semantics. - Cristian Gratie; Adina Magda Florea; John-Jules Ch. Meyer (AI Commun., 2016)

Towards a Framework for Predicting Opportunism in Multi-agent Systems. - Jieting Luo; John-Jules Ch. Meyer; Max Knobbout (AAMAS, 2017)

Reasoning About Opportunistic Propensity in Multi-agent Systems. - Jieting Luo; John-Jules Ch. Meyer; Max Knobbout (AAMAS Workshops (Selected Papers), 2017)

A Dynamic Preference Logic for Reasoning about Agent Programming. - Marlo Souza; Álvaro F. Moreira; Renata Vieira; John-Jules Ch. Meyer (BRACIS, 2017)

Is Knowledge of Mathematics a Key for Success for Studying ICT? - Leo van Moergestel; John-Jules Ch. Meyer (ICTERI, 2017)

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; Daniël Telgen; John-Jules Ch. Meyer (ISADS, 2017)

Other-Condemning Anger = Blaming Accountable Agents for Unattainable Desires. - Mehdi Dastani; Emiliano Lorini; John-Jules Ch. Meyer; Alexander Pankov (PRIMA, 2017)

A formal account of opportunism based on the situation calculus. - Jieting Luo; John-Jules Ch. Meyer (AI Soc., 2017)

A two-phase method for extracting explanatory arguments from Bayesian networks. - Sjoerd T. Timmer; John-Jules Ch. Meyer; Henry Prakken; Silja Renooij; Bart Verheij (Int. J. Approx. Reason., 2017)

Eliminating Opportunism using an Epistemic Mechanism. - Jieting Luo; Max Knobbout; John-Jules Ch. Meyer (AAMAS, 2018)

Truly Visual Polymorphic Algebraic Data Structures through Maramafication. - Chide Groenouwe; Jesse Nortier; John-Jules Ch. Meyer (CoRR, 2018)

A formal framework for reasoning about opportunistic propensity in multi-agent systems. - Jieting Luo; John-Jules Ch. Meyer; Max Knobbout (Auton. Agents Multi Agent Syst., 2019)

A Probabilistic Deontic Logic. - Vincent de Wit; Dragan Doder; John-Jules Ch. Meyer (ECSQARU, 2021)

A Formal Framework for Reasoning about Agents' Independence in Self-organizing Multi-agent Systems. - Jieting Luo; Beishui Liao; John-Jules Ch. Meyer (CoRR, 2021)

Probabilistic Deontic Logics for Reasoning about Uncertain Norms. - Vincent de Wit; Dragan Doder; John-Jules Ch. Meyer (FLAP, 2023)