John-Jules Ch. Meyer - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'John-Jules Ch. Meyer' as author, editor, or advisor:

Magic Agents: Using Information Relevance to Control AutonomyBob van der Vecht, Frank Dignum, John-Jules Ch. Meyer. ecai 2008: 889-890 [doi]
Agents with emotionsMehdi Dastani, John-Jules Ch. Meyer. ijis, 25(7):636-654, 2010. [doi]
Embedded autonomous agents in products supporting repair and recyclingLeo van Moergestel, Erik Puik, Daniël Telgen, John-Jules Ch. Meyer. isads 2013: 1-8 [doi]
A Dialogue Game to Offer an Agreement to DisagreeHenk-Jan Lebbink, Cilia Witteman, John-Jules Ch. Meyer. atal 2004: 1238-1239 [doi]
Discussion Issues for a Working Group on Update Semantics of Logic DatabasesPaul Spruit, John-Jules Ch. Meyer, Roel Wieringa. fmldo 1991: 209-210
Intelligent Agents VIII, 8th International Workshop, ATAL 2001 Seattle, WA, USA, August 1-3, 2001, Revised PapersJohn-Jules Ch. Meyer, Milind Tambe, editors, Volume 2333 of Lecture Notes in Computer Science, Springer, 2002.
Achieving cooperation among selfish agents in the air traffic management domain using signed moneyGeert Jonker, Frank Dignum, John-Jules Ch. Meyer. atal 2007: 213 [doi]
Getting a Grip on Emotions in Negotiations: The Possibilities of ICTWillem-Paul Brinkman, Joost Broekens, Catholijn M. Jonker, John-Jules Ch. Meyer. iat 2009: 345-348 [doi]
Orwell s Nightmare for Agents? Programming Multi-agent OrganisationsNick A. M. Tinnemeier, Mehdi Dastani, John-Jules Ch. Meyer. promas 2009: 56-71 [doi]
Agent-based Manufacturing in a Production Grid - Adapting a Production Grid to the Production PathsLeo van Moergestel, Daniël Telgen, Erik Puik, John-Jules Ch. Meyer. icaart 2014: 342-349 [doi]
A Probabilistic Deontic LogicVincent de Wit, Dragan Doder, John-Jules Ch. Meyer. ecsqaru 2021: 616-628 [doi]
A formal model of emotion triggers: an approach for BDI agentsBas R. Steunebrink, Mehdi Dastani, John-Jules Ch. Meyer. synthese, 185(Supplement-1):83-129, 2012. [doi]
Counts-as: Classification or Constitution? An Answer Using Modal LogicDavide Grossi, John-Jules Ch. Meyer, Frank Dignum. deon 2006: 115-130 [doi]
A Fixed-point Characterization of a Deontic Logic of Regular ActionJan Broersen, Roel Wieringa, John-Jules Ch. Meyer. FUIN, 48(2-3):107-128, 2001.
Making Some Issues of Implicit Knowledge ExplicitWiebe van der Hoek, John-Jules Ch. Meyer. ijfcs, 3(2):193-223, 1992.
Process modalities obtained as fixed points (part 2)John-Jules Ch. Meyer. eatcs, 33:71-82, 1987.
Verification within the KARO Agent TheoryUllrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher, John-Jules Ch. Meyer, Wiebe van der Hoek. faabs 2001: 33-47 [doi]
The Inheritance of Dynamic and Deontic Integrity ConstraintsRoel Wieringa, Hans Weigand, John-Jules Ch. Meyer, Frank Dignum. AMAI, 3(2-4):393-428, 1991.
Knowledge Representation for Agents and Multi-Agent Systems, First International Workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008, Revised Selected PapersJohn-Jules Ch. Meyer, Jan Broersen, editors, Volume 5605 of Lecture Notes in Computer Science, Springer, 2009. [doi]
Applications of Compactness in the Smyth Powerdomain of Streams (Extended Abstract)John-Jules Ch. Meyer, Erik P. de Vink. tapsoft 1987: 241-255
Extracting Legal Arguments from Forensic Bayesian NetworksSjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij. jurix 2014: 71-80 [doi]
A coordination language for agents interacting in distributed plan-execute cyclesWieke de Vries, John-Jules Ch. Meyer, Frank S. de Boer, Wiebe van der Hoek. ijris, 1(1/2):4-17, 2009. [doi]
Other-Condemning Anger = Blaming Accountable Agents for Unattainable DesiresMehdi Dastani, Emiliano Lorini, John-Jules Ch. Meyer, Alexander Pankov. atal 2017: 1520-1522 [doi]
Dialogue Games for Inconsistent and Biased InformationHenk-Jan Lebbink, Cilia Witteman, John-Jules Ch. Meyer. ENTCS, 85(2):134-151, 2004. [doi]
Automatic Structured Decomposition of Manufacturing Actions in an Agent-Based Manufacturing SystemDaniël Telgen, Leo van Moergestel, Erik Puik, Arjen van Zanten, Ammar Abdulamir, John-Jules Ch. Meyer. iat 2013: 155-162 [doi]
A verification framework for agent programming with declarative goalsFrank S. de Boer, Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer. japll, 5(2):277-302, 2007. [doi]
Towards a Market Mechanism for Airport Traffic ControlGeert Jonker, John-Jules Ch. Meyer, Frank Dignum. epia 2005: 500-511 [doi]
Demonstration of a structure-guided approach to capturing bayesian reasoning about legal evidence in argumentationSjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij. icail 2015: 233-234 [doi]
A Modal Semantics for an Argumentation-Based Pragmatics for Agent CommunicationJamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Brahim Chaib-draa. argmas 2005: 44-63 [doi]
Information-Passing and Belief Revision in Multi-Agent SystemsRogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer. atal 1999: 29-45
I/O-computable data structuresJan A. Bergstra, John-Jules Ch. Meyer. SIGPLAN, 16(4):27-32, 1981. [doi]
Implementing Manufacturing as a Service: A Pull-Driven Agent-Based Manufacturing GridLeo van Moergestel, Erik Puik, Daniël Telgen, John-Jules Ch. Meyer. icteri 2015: 172-187 [doi]
Modeling Agents with a Theory of MindMaaike Harbers, Karel van den Bosch, John-Jules Ch. Meyer. iat 2009: 217-224 [doi]
A New Logical Semantics for Agent CommunicationJamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Yves Lespérance. clima 2007: 151-170 [doi]
Agent Logics as Program Logics: Grounding KAROKoen V. Hindriks, John-Jules Ch. Meyer. ki 2007: 404-418 [doi]
A Dialogue Game to Offer an Agreement to DisagreeHenk-Jan Lebbink, Cilia Witteman, John-Jules Ch. Meyer. promas 2005: 199-223 [doi]
Logics for Intelligent Agents and Multi-Agent SystemsJohn-Jules Ch. Meyer. In Jörg H. Siekmann, editor, Computational Logic. Volume 9 of Handbook of the History of Logic, pages 629-658, Elsevier, 2014. [doi]
A Simple Transfer Lemma for Algebraic SpecificationsJan A. Bergstra, John-Jules Ch. Meyer. ipl, 14(2):80-85, 1982.
Multi-criteria argument selection in persuasion dialoguesThomas L. van der Weide, Frank Dignum, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk. atal 2011: 921-928 [doi]
Formal Models of Agents: An IntroductionJohn-Jules Ch. Meyer, Pierre Yves Schobbens. modelage 1999: 1-7 [doi]
Verifying Norm Compliancy of ProtocolsHuib Aldewereld, Javier Vázquez-Salceda, Frank Dignum, John-Jules Ch. Meyer. atal 2006: 231-245 [doi]
Design and Evaluation of Explainable BDI AgentsMaaike Harbers, Karel van den Bosch, John-Jules Ch. Meyer. iat 2010: 125-132 [doi]
Reasoning about agent deliberationNatasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer. AAMAS, 22(2):356-381, 2011. [doi]
Formalising Abilities and Opportunities of AgentsBernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer. FUIN, 34(1-2):53-101, 1998.
Intentions and AssignmentsEmiliano Lorini, Mehdi Dastani, Hans P. van Ditmarsch, Andreas Herzig, John-Jules Ch. Meyer. ifip3-5 2009: 198-211 [doi]
The many faces of counts-as: A formal analysis of constitutive rulesDavide Grossi, John-Jules Ch. Meyer, Frank Dignum. japll, 6(2):192-217, 2008. [doi]
Regular database update logicsPaul Spruit, Roel Wieringa, John-Jules Ch. Meyer. TCS, 254(1-2):591-661, 2001. [doi]
A Formal Model of Emotions: Integrating Qualitative and Quantitative AspectsBas R. Steunebrink, John-Jules Ch. Meyer, Mehdi Dastani. Dagstuhl 2008: [doi]
Reasoning about emotional agentsJohn-Jules Ch. Meyer. ijis, 21(6):601-619, 2006. [doi]
On Specifying Sets of IntegersJan A. Bergstra, John-Jules Ch. Meyer. eik, 20(10/11):531-541, 1984.
Contextual TerminologiesDavide Grossi, Frank Dignum, John-Jules Ch. Meyer. clima 2006: 284-302 [doi]
A Generic Architecture for a Companion RobotBas R. Steunebrink, Nieske L. Vergunst, Christian P. Mol, Frank Dignum, Mehdi Dastani, John-Jules Ch. Meyer. icinco 2008: 315-321
On Formalizing Opportunism Based on Situation CalculusJieting Luo, John-Jules Ch. Meyer, Frank Dignum. atal 2015: 147-166 [doi]
Monitoring Opportunism in Multi-agent SystemsJieting Luo, John-Jules Ch. Meyer, Max Knobbout. atal 2017: 119-138 [doi]
Formal Frameworks for Verifying Normative Multi-agent SystemsMax Knobbout, Mehdi Dastani, John-Jules Ch. Meyer. BIRTHDAY 2016: 294-308 [doi]
Optimal Communication Vocabularies and Heterogeneous OntologiesJurriaan van Diggelen, Robbert-Jan Beun, Frank Dignum, Rogier M. van Eijk, John-Jules Ch. Meyer. acom 2005: 76-90 [doi]
An Integrated Framework for Ought-to-Be and Ought-to-Do ConstraintsP. d Altan, John-Jules Ch. Meyer, Roel Wieringa. ail, 4(2):77-111, 1996.
Transition Systems, Metric Spaces and Ready Sets in the Semantics of Uniform ConcurrencyJ. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog, Jeffery I. Zucker. jcss, 36(2):158-224, 1988.
Agent Programming in 3APLKoen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer. AAMAS, 2(4):357-401, 1999.
Testing the benfits of structured argumentation in multi-agent deliberation dialoguesEric M. Kok, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk. atal 2012: 1411-1412 [doi]
Informational independence: Models and normal formsLinda C. van der Gaag, John-Jules Ch. Meyer. ijis, 13(1):83-109, 1998. [doi]
Retalis Language for Information Engineering in Autonomous Robot SoftwarePouyan Ziafati, Mehdi Dastani, John-Jules Ch. Meyer, Leon van der Torre, Holger Voos. flap, 2(2):65-126, 2015. [doi]
Programming norm changeMehdi Dastani, John-Jules Ch. Meyer, Nick A. M. Tinnemeier. jancl, 22(1-2):151-180, 2012. [doi]
A Modal Logic for Network TopologiesRogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer. jelia 2000: 269-283 [doi]
Monitoring Agents in Complex Products - Enhancing a Discovery Robot with an Agent for Monitoring, Maintenance and Disaster PreventionLeo van Moergestel, Erik Puik, Daniël Telgen, Hendrik Folmer, Matthijs Grünbauer, Robbert Proost, Hielke Veringa, John-Jules Ch. Meyer. icaart 2013: 5-13
Issues in Multiagent System DevelopmentMehdi Dastani, Joris Hulstijn, Frank Dignum, John-Jules Ch. Meyer. atal 2004: 922-929 [doi]
Computational Modeling of Emotion: Toward Improving the Inter- and Intradisciplinary ExchangeRainer Reisenzein, Eva Hudlicka, Mehdi Dastani, Jonathan Gratch, Koen V. Hindriks, Emiliano Lorini, John-Jules Ch. Meyer. taffco, 4(3):246-266, 2013. [doi]
Enhancing Products by Embedding Agents: Adding an Agent to a Robot for Monitoring, Maintenance and Disaster PreventionLeo van Moergestel, Erik Puik, Daniël Telgen, Hendrik Folmer, Matthijs Grünbauer, Robbert Proost, Hielke Veringa, John-Jules Ch. Meyer. icaart 2014: 115-130 [doi]
Is Knowledge of Mathematics a Key for Success for Studying ICT?Leo van Moergestel, John-Jules Ch. Meyer. icteri 2017: 223-228 [doi]
Tools and Education towards Formal Methods PracticeJohn-Jules Ch. Meyer. faabs 2003: 274-279 [doi]
A methodology for developing self-explaining agents for virtual trainingMaaike Harbers, Karel van den Bosch, John-Jules Ch. Meyer. atal 2009: 1129-1130 [doi]
Applying Neural-Symbolic Cognitive Agents in Intelligent Transport Systems to reduce CO2 emissionsLeo de Penning, Artur S. d'Avila Garcez, Luís C. Lamb, Arjan Stuiver, John-Jules Ch. Meyer. ijcnn 2014: 55-62 [doi]
An Epistemic Proof System for Parallel ProcessesM. van Hulst, John-Jules Ch. Meyer. tark 1994: 243-254
Generalised Object-Oriented Concepts for Inter-agent CommunicationRogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer. atal 2001: 260-274 [doi]
Towards A Formal Model of Opportunism Based on Situation CalculusJieting Luo, Frank Dignum, John-Jules Ch. Meyer. MATES 2015: 275-279 [doi]
Actor-Oriented System Specification with Dynamic LogicJohn-Jules Ch. Meyer, Roel Wieringa. tapsoft 1991: 337-357
Reasoning about Emotional AgentsJohn-Jules Ch. Meyer. ecai 2004: 129-133
Pomset Semantics for True Concurrency with Synchronization and Recursion (Extended Abstract)John-Jules Ch. Meyer, Erik P. de Vink. mfcs 1989: 360-369
The design and effect of automated directions during scenario-based trainingMarieke Peeters, Karel van den Bosch, John-Jules Ch. Meyer, Mark A. Neerincx. ce, 70:173-183, 2014. [doi]
Production Scheduling in an Agile Agent-Based Production GridLeo van Moergestel, Erik Puik, Daniël Telgen, John-Jules Ch. Meyer. iat 2012: 293-298 [doi]
Actors, Actions, and Initiative in Normative System SpecificationRoel Wieringa, John-Jules Ch. Meyer. AMAI, 7(1-4):289-346, 1993.
BDI-Based Development of Virtual Characters with a Theory of MindMichal P. Sindlar, Mehdi Dastani, John-Jules Ch. Meyer. iva 2009: 34-41 [doi]
Actor-Oriented Specification of Deontic Integrity ConstraintsRoel Wieringa, John-Jules Ch. Meyer. mfdbs 1991: 89-103 [doi]
A Versatile Simulation Model of Agile Production by Autonomous SystemsLeo 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: 77-83 [doi]
Full Hybrid μ-Calculus, Its Bisimulation Invariance and Application to ArgumentationCristian Gratie, Adina Magda Florea, John-Jules Ch. Meyer. clima 2012: 181-194 [doi]
Intelligent Technologies for Interactive Entertainment - 8th International Conference, INTETAIN 2016, Utrecht, The Netherlands, June 28-30, 2016, Revised Selected PapersRonald Poppe, John-Jules Ch. Meyer, Remco C. Veltkamp, Mehdi Dastani, editors, Volume 178 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, 2017. [doi]
Autonomy and Coordination: Controlling External Influences on Decision MakingBob van der Vecht, Frank Dignum, John-Jules Ch. Meyer. iat 2009: 92-95 [doi]
Internet of Smart Things - A Study on Embedding Agents and Information in a DeviceLeo 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 2016: 102-109 [doi]
A Tool for the Generation of Arguments from Bayesian NetworksSjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij. comma 2014: 479-480 [doi]
Organizing Coherent CoalitionsJan Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini. ecai 2008: 879-880 [doi]
Virtual Reality Negotiation Training Increases Negotiation Knowledge and SkillJoost Broekens, Maaike Harbers, Willem-Paul Brinkman, Catholijn M. Jonker, Karel van den Bosch, John-Jules Ch. Meyer. iva 2012: 218-230 [doi]
The Logic of Knowledge Bases - Hector J. Levesque, Gerhard Lakemeyer (Eds.), MIT Press, Cambridge, MA, 2000, ISBN 0-262-12232-4John-Jules Ch. Meyer. artmed, 25(1):89-92, 2002.
Towards an organizational model for agent societies using contractsVirginia Dignum, John-Jules Ch. Meyer, Hans Weigand. atal 2002: 694-695 [doi]
Agent Programming Languages Requirements for Programming Autonomous RobotsPouyan Ziafati, Mehdi Dastani, John-Jules Ch. Meyer, Leendert van der Torre. promas 2013: 35-53 [doi]
Validity of a Virtual Negotiation TrainingJoost Broekens, Maaike Harbers, Willem-Paul Brinkman, Catholijn M. Jonker, Karel van den Bosch, John-Jules Ch. Meyer. iva 2011: 435-436 [doi]
A Formalization of the Coach ProblemG. Y. R. Schropp, John-Jules Ch. Meyer, S. Ramamoorthy. robocup 2015: 345-357 [doi]
Explanation and Coordination in Human-Agent Teams: A Study in the BW4T TestbedMaaike Harbers, Jeffrey M. Bradshaw, Matthew Johnson, Paul J. Feltovich, Karel van den Bosch, John-Jules Ch. Meyer. iat 2011: 17-20 [doi]
Intelligent agents and common sense reasoningJohn-Jules Ch. Meyer, Frank Veltman. In Patrick Blackburn, J. F. A. K. van Benthem, Frank Wolter, editors, Handbook of Modal Logic. Volume 3 of Studies in logic and practical reasoning, pages 991-1029, North-Holland, 2007. [doi]
A security framework for agent-based systemsJamal Bentahar, Francesca Toni, John-Jules Ch. Meyer, Jihad Labban. ijwis, 3(4):341-362, 2007. [doi]
A New Quantitative Trust Model for Negotiating AgentsJamal Bentahar, John-Jules Ch. Meyer. rcis 2007: 39-50
Coping with shame and sense of guilt: a Dynamic Logic AccountPaolo Turrini, John-Jules Ch. Meyer, Cristiano Castelfranchi. AAMAS, 20(3):401-420, 2010. [doi]
A Cognitive Model for the Generation and Explanation of Behaviour in Virtual Training SystemsMaaike Harbers, Karel van den Bosch, Frank Dignum, John-Jules Ch. Meyer. exact 2008: 96-107
On the Semantics and Verification of Normative Multi-Agent SystemsLacramioara Astefanoaei, Mehdi Dastani, John-Jules Ch. Meyer, Frank S. de Boer. jucs, 15(13):2629-2652, 2009. [doi]
Agent programming in dribble: from beliefs to goals using plansBirna van Riemsdijk, Wiebe van der Hoek, John-Jules Ch. Meyer. atal 2003: 393-400 [doi]
Normative Multi-Agent Programs and Their LogicsMehdi Dastani, Davide Grossi, John-Jules Ch. Meyer, Nick A. M. Tinnemeier. Dagstuhl 2008: [doi]
Linear Time and Branching Time Semantics for Recursion with MergeJ. W. de Bakker, Jan A. Bergstra, Jan Willem Klop, John-Jules Ch. Meyer. icalp 1983: 39-51
Objects, Agents, and Features: An IntroductionJohn-Jules Ch. Meyer, Mark Dermot Ryan, Hans-Dieter Ehrich. Dagstuhl 2004: 1-7 [doi]
Going beyond BDI: Programming BDI+ AgentsJohn-Jules Ch. Meyer. eumas 2006: [doi]
On the Elimination of Iteration Quantifiers in a Fragment of Algorithmic LogicJan A. Bergstra, John-Jules Ch. Meyer. TCS, 21:269-279, 1982.
A Computational Model for Conversation Policies for Agent CommunicationJamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Brahim Chaib-draa. clima 2005: 178-195 [doi]
Autonomous Agents Adopting Organizational RulesBob van der Vecht, Frank Dignum, John-Jules Ch. Meyer. In Virginia Dignum, editor, Handbook of Research on Multi-Agent Systems - Semantics and Dynamics of Organizational Models. pages 314-333, IGI Global, 2009. [doi]
The mutual exclusion problem in reasoning about action and changeJan Broersen, John-Jules Ch. Meyer, Roel Wieringa. lpnmr 2002: 365-371
Practical Reasoning Using ValuesThomas L. van der Weide, Frank Dignum, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk. argmas 2010: 79-93 [doi]
Formal Specification of Interaction in Agent SocietiesVirginia Dignum, John-Jules Ch. Meyer, Frank Dignum, Hans Weigand. faabs 2003: 37-52 [doi]
Contrasting Themes in the Semantics of Imperative ConcurrencyJ. W. de Bakker, Joost N. Kok, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog, Jeffery I. Zucker. In J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg, editors, Current Trends in Concurrency, Overviews and Tutorials. Volume 224 of Lecture Notes in Computer Science, pages 51-122, Springer, 1986.
Operational Semantics for Agent Communication LanguagesRogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer. agentCL 2000: 80-95
GOAL Agents Instantiate Intention LogicKoen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer. BIRTHDAY 2012: 196-219 [doi]
Dreaming Machines: On multimodal fusion and information retrieval using neural-symbolic cognitive agentsLeo de Penning, Artur S. d'Avila Garcez, John-Jules Ch. Meyer. iccsw 2013: 89-94 [doi]
A Dynamic Logic of Norm ChangeMax Knobbout, Mehdi Dastani, John-Jules Ch. Meyer. ecai 2016: 886-894 [doi]
An Update Operator for Strategic AbilityPaolo Turrini, Jan Broersen, Rosja Mastop, John-Jules Ch. Meyer. ifip3-5 2009: 292-301 [doi]
Reasoning about plan revision in BDI agent programsNatasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer. TCS, 412(44):6115-6134, 2011. [doi]
Strategic Ability Update: A Modal Logic AccountJan Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini. iat 2009: 470-473 [doi]
Organizations and Autonomous Agents: Bottom-Up Dynamics of Coordination MechanismsBob van der Vecht, Frank Dignum, John-Jules Ch. Meyer, Virginia Dignum. atal 2009: 17-32 [doi]
A formal account of opportunism based on the situation calculusJieting Luo, John-Jules Ch. Meyer. ais, 32(4):527-542, 2017. [doi]
Classifying the decision to perform surgery in MEN1 cancer patients using decision treesD. 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: 1-6 [doi]
A Methodology for the Generation of Multi-agent Argumentation Dialogue ScenariosEric M. Kok, John-Jules Ch. Meyer, Herre van Oostendorp, Henry Prakken, Gerard Vreeswijk. eumas 2012: 160-174 [doi]
A different approach to deontic logic: deontic logic viewed as a variant of dynamic logicJohn-Jules Ch. Meyer. ndjfl, 29(1):109-136, 1988. [doi]
A Programming Language for Normative Multi-Agent SystemsMehdi Dastani, Nick A. M. Tinnemeier, John-Jules Ch. Meyer. In Virginia Dignum, editor, Handbook of Research on Multi-Agent Systems - Semantics and Dynamics of Organizational Models. pages 397-417, IGI Global, 2009. [doi]
Preference and Priorities: A Study Based on ContrctionMarlo Souza, Álvaro F. Moreira, Renata Vieira, John-Jules Ch. Meyer. kr 2016: 155-165 [doi]
Normative Multi-Agent Programs and Their LogicsMehdi Dastani, Davide Grossi, John-Jules Ch. Meyer, Nick A. M. Tinnemeier. Dagstuhl 2009: [doi]
Event-processing in autonomous robot programmingPouyan Ziafati, Mehdi Dastani, John-Jules Ch. Meyer, Leendert van der Torre. atal 2013: 95-102 [doi]
Getting a Grip on Emotions in Negotiations: The Possibilities of ICTWillem-Paul Brinkman, Joost Broekens, Catholijn M. Jonker, John-Jules Ch. Meyer. Preprint 2009.
IntroductionJohn-Jules Ch. Meyer, Milind Tambe. atal 2002: 1-5 [doi]
Reasoning About Opportunistic Propensity in Multi-agent SystemsJieting Luo, John-Jules Ch. Meyer, Max Knobbout. atal 2017: 203-221 [doi]
Explanation in Human-Agent TeamworkMaaike Harbers, Jeffrey M. Bradshaw, Matthew Johnson, Paul J. Feltovich, Karel van den Bosch, John-Jules Ch. Meyer. atal 2012: 21-37 [doi]
Aziomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic DatabasesPaul Spruit, Roel Wieringa, John-Jules Ch. Meyer. logcom, 5(1):27-70, 1995.
A Multiagent-Based Agile Work Distribution SystemLeo van Moergestel, Erik Puik, Daniël Telgen, Rick van Rijn, Benjamin Segerius, John-Jules Ch. Meyer. iat 2013: 224-230 [doi]
Specifying Dynamic and Deontic Integrity ConstraintsRoel Wieringa, John-Jules Ch. Meyer, Hans Weigand. DKE, 4:157-189, 1989.
Generating Phonemes from Written Thai using Lexical Analysis based on Regular ExpressionsLeo van Moergestel, John-Jules Ch. Meyer. icaart 2012: 306-311
Securing Agent-Oriented Systems: An Argumentation and Reputation-based ApproachJamal Bentahar, John-Jules Ch. Meyer, Bernard Moulin. itng 2007: 507-515 [doi]
Influence-Based Autonomy Levels in Agent Decision-MakingBob van der Vecht, André P. Meyer, Martijn Neef, Frank Dignum, John-Jules Ch. Meyer. atal 2007: 322-337 [doi]
A Versatile Agile Agent-Based Infrastructure for Hybrid Production EnvironmentsLeo van Moergestel, Daniël Telgen, Erik Puik, John-Jules Ch. Meyer. mirrorbot 2013: 210-215 [doi]
A Modal Approach to Intentions, Commitments and Obligations: Intention plus Commitment Yields ObligationFrank Dignum, John-Jules Ch. Meyer, Roel Wieringa, Ruurd Kuiper. deon 1996: 80-97
Reasoning on Robot Knowledge from Discrete and Asynchronous ObservationsPouyan Ziafati, Yehia Elrakaiby, Marc van Zee, Mehdi Dastani, John-Jules Ch. Meyer, Leendert W. N. van der Torre, Holger Voos. aaaiss 2014: [doi]
Transition Systems, Infinitary Languages and the Semantics of Uniform ConcurrencyJ. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog, Jeffery I. Zucker. stoc 1985: 252-262
Linear Time and Branching Time Semantics for Recursion with MergeJ. W. de Bakker, Jan A. Bergstra, Jan Willem Klop, John-Jules Ch. Meyer. TCS, 34:135-156, 1984.
Other-Condemning Anger = Blaming Accountable Agents for Unattainable DesiresMehdi Dastani, Emiliano Lorini, John-Jules Ch. Meyer, Alexander Pankov. prima 2017: 15-33 [doi]
A Formal Model of Emotion-Based Action Tendency for Intelligent AgentsBas R. Steunebrink, Mehdi Dastani, John-Jules Ch. Meyer. epia 2009: 174-186 [doi]
Programming Normative Artifacts with Declarative Obligations and ProhibitionsNick A. M. Tinnemeier, Mehdi Dastani, John-Jules Ch. Meyer, Leendert W. N. van der Torre. iat 2009: 145-152 [doi]
Dynamic Database Logic: the First-order CasePaul Spruit, Roel Wieringa, John-Jules Ch. Meyer. fmldo 1993: 103-120
Towards a Framework for Detecting Opportunism in Multi-Agent SystemsJieting Luo, John-Jules Ch. Meyer, Max Knobbout. ecai 2016: 1636-1637 [doi]
A weakest precondition calculus for BUnityLacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer. SCP, 78(9):1278-1293, 2013. [doi]
A Dynamic Coordination Mechanism Using Adjustable AutonomyBob van der Vecht, Frank Dignum, John-Jules Ch. Meyer, Martijn Neef. atal 2008: 83-96 [doi]
A Verification Framework for Agent CommunicationRogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer. AAMAS, 6(2):185-219, 2003.
Hiding in Stream Semantics of Uniform ConcurrencyJohn-Jules Ch. Meyer, Ernst-Rüdiger Olderog. ACTA, 27(5):381-397, 1989.
A formal framework for reasoning about opportunistic propensity in multi-agent systemsJieting Luo, John-Jules Ch. Meyer, Max Knobbout. AAMAS, 33(4):457-479, 2019. [doi]
Multi-criteria Argument Selection in Persuasion DialoguesThomas L. van der Weide, Frank Dignum, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk. argmas 2012: 136-153 [doi]
Reasoning about Dynamic Normative SystemsMax Knobbout, Mehdi Dastani, John-Jules Ch. Meyer. jelia 2014: 628-636 [doi]
Translations of Vocabularies in Systems of Communicating AgentsRogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer. ENTCS, 16(1):23, 1998. [doi]
Correctness of Programs with Function ProceduresJ. W. de Bakker, Jan Willem Klop, John-Jules Ch. Meyer. lop 1982: 94-112
Probabilistic Deontic Logics for Reasoning about Uncertain NormsVincent de Wit, Dragan Doder, John-Jules Ch. Meyer. flap, 10(2):193-220, 2023. [doi]
Determining the environment: a modal logic for closed interactionJan Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini. synthese, 169(2):351-369, 2009. [doi]
Process Algebra for Agent Communication: A General Semantic ApproachRogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer. atal 2003: 113-128 [doi]
Intelligent Agents: Issues and LogicsJohn-Jules Ch. Meyer. Dagstuhl 2003: 131-165
Many-Valued Epistemic States: An Application to a Reflexive Architecture: Milord-IILluis Godo, Wiebe van der Hoek, John-Jules Ch. Meyer, Carles Sierra. ipmu 1995: 440-452
Forbidding undesirable agreementsPaolo Turrini, Davide Grossi, Jan Broersen, John-Jules Ch. Meyer. logcom, 25(1):159-178, 2015. [doi]
Emotions to control agent deliberationBas R. Steunebrink, Mehdi Dastani, John-Jules Ch. Meyer. atal 2010: 973-980 [doi]
A Semantics for Persistency in Propositional Dynamic LogicJan Broersen, Roel Wieringa, John-Jules Ch. Meyer. cl 2000: 912-925 [doi]
Encoding Definitional Fragments of Temporal Action Logic into Logic ProgrammingMarc van Zee, Patrick Doherty, John-Jules Ch. Meyer. ecai 2014: [doi]
CÒIR: Verifying Normative Specifications of Complex SystemsLuca Gasparini 0002, Timothy J. Norman, Martin J. Kollingbaum, Liang Chen, John-Jules Ch. Meyer. atal 2016: 134-153 [doi]
Forbidding Undesirable Agreements: A Dependence-Based Approach to the Regulation of Multi-agent SystemsPaolo Turrini, Davide Grossi, Jan Broersen, John-Jules Ch. Meyer. deon 2010: 306-322 [doi]
Debugging BDI-Based Multi-Agent ProgramsMehdi Dastani, Jaap Brandsema, Amco Dubel, John-Jules Ch. Meyer. promas 2010: 151-169 [doi]
Affective negotiation support systemsJoost Broekens, Catholijn M. Jonker, John-Jules Ch. Meyer. jaise, 2(2):121-144, 2010. [doi]
Agent-Oriented Programming: Where Do We Stand?John-Jules Ch. Meyer. amast 2004: 23-26 [doi]
Specification by Refinement and Agreement: Designing Agent Interaction Using Landmarks and ContractsHans Weigand, Virginia Dignum, John-Jules Ch. Meyer, Frank Dignum. esaw 2003: 257-269 [doi]
Neural-Symbolic Cognitive Agents: Architecture and TheoryLeo de Penning, Artur S. d'Avila Garcez, Luís C. Lamb, John-Jules Ch. Meyer. iccsw 2011: 10-16 [doi]
A Specification Language for Static, Dynamic and Deontic Integrity ConstraintsJohn-Jules Ch. Meyer, Hans Weigand, Roel Wieringa. mfdbs 1989: 347-366 [doi]
Formal semantics of meta-level architectures: Temporal epistemic reflectionWiebe van der Hoek, John-Jules Ch. Meyer, Jan Treur. ijis, 18(12):1293-1317, 2003. [doi]
An agent-mediated approach to the support of knowledge sharing in organizationsVirginia Dignum, Frank Dignum, John-Jules Ch. Meyer. ker, 19(2):147-174, 2004. [doi]
A Logic for Closed-World InteractionJan Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini. jelia 2008: 89-99 [doi]
A structure-guided approach to capturing bayesian reasoning about legal evidence in argumentationSjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij. icail 2015: 109-118 [doi]
Infinite Streams and Finite Observations in the Semantics of Uniform ConcurrencyJ. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog. icalp 1985: 149-157
Modeling agents with a theory of mind: Theory-theory versus simulation theoryMaaike Harbers, Karel van den Bosch, John-Jules Ch. Meyer. wias, 10(3):331-343, 2012. [doi]
Norms, organizations, and semanticsOlivier Boissier, Marco Colombetti, Michael Luck, John-Jules Ch. Meyer, Axel Polleres. ker, 28(1):107-116, 2013. [doi]
Infinite Streams and Finite Observations in the Semantics of Uniform ConcurrencyJ. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog. TCS, 49:87-112, 1987.
A Formal Argumentation Framework for Deliberation DialoguesEric M. Kok, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk. argmas 2011: 31-48 [doi]
Reasoning about Agent DeliberationNatasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer. kr 2008: 16-26
Model Checking Normative Agent OrganisationsLouise A. Dennis, Nick A. M. Tinnemeier, John-Jules Ch. Meyer. clima 2010: 64-82 [doi]
Explaining Simulations Through Self Explaining AgentsMaaike Harbers, John-Jules Ch. Meyer, Karel van den Bosch. jasss, 13(1), 2010. [doi]
A two-phase method for extracting explanatory arguments from Bayesian networksSjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij. ijar, 80:475-494, 2017. [doi]
Classificatory Aspects of Counts-as: An Analysis in Modal LogicDavide Grossi, John-Jules Ch. Meyer, Frank Dignum. logcom, 16(5):613-643, 2006. [doi]
Integrating Ontology Negotiation and Agent CommunicationMarlo Souza, Álvaro F. Moreira, Renata Vieira, John-Jules Ch. Meyer. owled 2016: 56-68 [doi]
Open Multi-agent Systems: Agent Communication and IntegrationRogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer. atal 2000: 218-232
A Dynamic Preference Logic for Reasoning about Agent ProgrammingMarlo Souza, Álvaro F. Moreira, Renata Vieira, John-Jules Ch. Meyer. bracis 2017: 133-138 [doi]
Combining Normal Communication with Ontology AlignmentJurriaan van Diggelen, Robbert-Jan Beun, Frank Dignum, Rogier M. van Eijk, John-Jules Ch. Meyer. acom 2006: 181-195 [doi]
A Methodology for Developing Self-Explaining Agents for Virtual TrainingMaaike Harbers, Karel van den Bosch, John-Jules Ch. Meyer. mallow 2009: [doi]
Free Choice and Contextually Permitted ActionsFrank Dignum, John-Jules Ch. Meyer, Roel Wieringa. sLogica, 57(1):193-220, 1996.
Normative Multi-agent Programs and Their LogicsMehdi Dastani, Davide Grossi, John-Jules Ch. Meyer, Nick A. M. Tinnemeier. kramas 2009: 16-31 [doi]
Programming mental state abductionMichal P. Sindlar, Mehdi Dastani, John-Jules Ch. Meyer. atal 2011: 301-308 [doi]
Affordance-Based Intention Recognition in Virtual Spatial EnvironmentsMichal P. Sindlar, John-Jules Ch. Meyer. prima 2012: 304-319 [doi]
Encapsulated Models for Reasoning and Decision SupportIvana Cace, John-Jules Ch. Meyer, Carla Pieterman, Gerlof Valk. gi 2013: 1821-1833
Model checking communicative agent-based systemsJamal Bentahar, John-Jules Ch. Meyer, Wei Wan. kbs, 22(3):142-159, 2009. [doi]
Systems of Communicating AgentsRogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer. ecai 1998: 293-297
Declarative Semantics of Passive and Active Updates in Logic DatabasesPaul Spruit, John-Jules Ch. Meyer. fmldo 1991: 37-46
Order and Metric in the Stream Semantics of Elemental ConcurrencyJ. W. de Bakker, John-Jules Ch. Meyer. ACTA, 24(5):491-511, 1987.
Organizational Replication Using InheritanceAndreea Urzica, John-Jules Ch. Meyer, Bas Testerink. cscs 2015: 300-306 [doi]
Programming Agents with EmotionsMehdi Dastani, Christiaan Floor, John-Jules Ch. Meyer. In Tibor Bosse, Joost Broekens, João Dias, Janneke M. van der Zwaan, editors, Emotion Modeling - Towards Pragmatic Computational Models of Affective Processes. Volume 8750 of Lecture Notes in Computer Science, pages 57-75, Springer, 2014. [doi]
A Formal Framework for Reasoning about Opportunistic Propensity in Multi-agent SystemsJieting Luo, John-Jules Ch. Meyer, Max Knobbout. atal 2020: 2149-2151 [doi]
A logic for normative multi-agent programsMehdi Dastani, John-Jules Ch. Meyer, Davide Grossi. logcom, 23(2):335-354, 2013. [doi]
Efficiency and Fairness in Air Traffic ControlGeert Jonker, John-Jules Ch. Meyer, Frank Dignum. bnaic 2005: 151-157
A Study into Preferred Explanations of Virtual Agent BehaviorMaaike Harbers, Karel van den Bosch, John-Jules Ch. Meyer. iva 2009: 132-145 [doi]
Achieving efficient and equitable collaboration among selfish agents using spender-signed currencyGeert Jonker, Frank Dignum, John-Jules Ch. Meyer. atal 2008: 1581-1584 [doi]
On Infinite Computations in Denotational SemanticsJ. W. de Bakker, John-Jules Ch. Meyer, Jeffery I. Zucker. TCS, 26:53-82, 1983.
Eliminating Opportunism using an Epistemic MechanismJieting Luo, Max Knobbout, John-Jules Ch. Meyer. atal 2018: 1450-1458 [doi]
Automated Scenario Generation - Coupling Planning Techniques with Smart ObjectsGwen R. Ferdinandus, Marieke Peeters, Karel van den Bosch, John-Jules Ch. Meyer. csedu 2013: 76-81 [doi]
Ontology negotiation in heterogeneous multi-agent systems: The ANEMONE systemJurriaan van Diggelen, Robbert-Jan Beun, Frank Dignum, Rogier M. van Eijk, John-Jules Ch. Meyer. ao, 2(3-4):267-303, 2007. [doi]
Reasoning about agent execution strategiesNatasha Alechina, Brian Logan, Mehdi Dastani, John-Jules Ch. Meyer. atal 2008: 1455-1458 [doi]
Possible World Semantics for Analogous ReasoningJohn-Jules Ch. Meyer, J. C. van Leeuwen. fapr 1996: 414-429
On Infinite Computations in Denotational SemanticsJ. W. de Bakker, John-Jules Ch. Meyer, Jeffery I. Zucker. TCS, 29:229-230, 1984.
A Tableau Method for Verifying Dialogue Game Protocols for Agent CommunicationJamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer. dalt 2006: 223-244 [doi]
A Programming Logic for Part of the Agent Language 3APLKoen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer. faabs 2001: 78-89 [doi]
Norm Monitoring Through Observation SharingBas Testerink, Mehdi Dastani, John-Jules Ch. Meyer. ecsi 2014: 291-304 [doi]
Explaining Bayesian Networks Using ArgumentationSjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij. ecsqaru 2015: 83-92 [doi]
Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, ProceedingsLou Goble, John-Jules Ch. Meyer, editors, Volume 4048 of Lecture Notes in Computer Science, Springer, 2006.
From Norms to Interaction Patterns: Deriving Protocols for Agent InstitutionsHuib Aldewereld, Frank Dignum, John-Jules Ch. Meyer. promas 2008: 57-72 [doi]
Meeting the Deadline: Why, When and HowFrank Dignum, Jan Broersen, Virginia Dignum, John-Jules Ch. Meyer. faabs 2005: 30-40 [doi]
General Directionality and the Local Behavior of Argumentation SemanticsCristian Gratie, Adina Magda Florea, John-Jules Ch. Meyer. at 2012: 113-127 [doi]
Capturing Critical Questions in Bayesian Network Fragments: - Extended abstractSjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij. jurix 2015: 173-176 [doi]
Information-Passing and Belief Revision in Multi-Agent SystemsRogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer. icmas 1998: 473-474
Regulating competing coalitions: a logic for socially optimal group choicesPaolo Turrini, Jan Broersen, Rosja Mastop, John-Jules Ch. Meyer. jancl, 22(1-2):181-202, 2012. [doi]
Applications of Compactness in the Smyth Powerdomain of StreamsJohn-Jules Ch. Meyer, Erik P. de Vink. TCS, 57:251-282, 1988.
Decentralized Autonomous-Agent-Based Infrastructure for Agile Multiparallel ManufacturingLeo van Moergestel, Erik Puik, Daniël Telgen, John-Jules Ch. Meyer. isads 2011: 281-288 [doi]
General directionality and the local behavior of argumentation semanticsCristian Gratie, Adina Magda Florea, John-Jules Ch. Meyer. aicom, 29(1):3-16, 2015. [doi]
Keynote Address: Formal and Informal Aspects of Intelligent Agent-based SystemsJohn-Jules Ch. Meyer. isco 2000: 299-310
Programming norm changeNick A. M. Tinnemeier, Mehdi Dastani, John-Jules Ch. Meyer. atal 2010: 957-964 [doi]
Mental State Ascription Using Dynamic LogicMichal P. Sindlar, Mehdi Dastani, John-Jules Ch. Meyer. ecai 2010: 561-566 [doi]
Towards an Epistemic Approach to Reasoning about Concurrent ProgramsWiebe van der Hoek, M. van Hulst, John-Jules Ch. Meyer. rex 1993: 261-287
On the quantifier-free fragment of Logic of effective definitions Jan A. Bergstra, John-Jules Ch. Meyer. FUIN, 4(4):935-956, 1981.
A Theoretical Framework for Explaining Agent BehaviorMaaike Harbers, Karel van den Bosch, John-Jules Ch. Meyer. simultech 2011: 228-231
Preferential Action Semantics (Preliminary Report)John-Jules Ch. Meyer, Patrick Doherty. modelage 1999: 187-201 [doi]
Towards a Framework for Predicting Opportunism in Multi-agent SystemsJieting Luo, John-Jules Ch. Meyer, Max Knobbout. atal 2017: 1616-1618 [doi]
A Demo Processor as an Educational ToolLeo van Moergestel, Lukas Vermond, Kasper van Nieuwland, John-Jules Ch. Meyer. icteri 2014: 161-177 [doi]
Scenario-Based Training: Director s CutMarieke Peeters, Karel van den Bosch, John-Jules Ch. Meyer, Mark A. Neerincx. aied 2011: 264-271 [doi]
A Methodology for Developing Self-explaining Agents for Virtual TrainingMaaike Harbers, Karel van den Bosch, John-Jules Ch. Meyer. lads 2010: 168-182 [doi]
Objects, Agents, and Features, International Seminar, Dagstuhl Castle, Germany, February 2003, Revised and Invited PapersMark Dermot Ryan, John-Jules Ch. Meyer, Hans-Dieter Ehrich, editors, Volume 2975 of Lecture Notes in Computer Science, Springer, 2004.
Explaining and Predicting the Behavior of BDI-Based Agents in Role-Playing GamesMichal P. Sindlar, Mehdi Dastani, Frank Dignum, John-Jules Ch. Meyer. dalt 2010: 174-191 [doi]
Strategic Agent Communication: An Argumentation-Driven ApproachJamal Bentahar, Mohamed Mbarki, John-Jules Ch. Meyer, Bernard Moulin. dalt 2009: 233-250 [doi]
A New Model Checking Approach for Verifying Agent Communication ProtocolsJamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer. ccece 2006: 1586-1590 [doi]
Update Semantics of Security ProtocolsArjen Hommersom, John-Jules Ch. Meyer, Erik P. de Vink. synthese, 142(2):229-267, 2004. [doi]
Explaining Legal Bayesian Networks Using Support GraphsSjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij. jurix 2015: 121-130 [doi]
Agents in Domestic EnvironmentsLeo van Moergestel, Wouter Langerak, Glenn Meerstra, Niels van Nieuwenburg, Franc Pape, Daniël Telgen, Erik Puik, John-Jules Ch. Meyer. cscs 2013: 487-494 [doi]
The Role of Deontic Logic in the Specification of Information SystemsJohn-Jules Ch. Meyer, Roel Wieringa, Frank Dignum. In Logics for Databases and Information Systems. 1998: 71-115 [doi]
Implementation of an Agent-Based Manufacturing GridLeo van Moergestel, Erik Puik, Daniël Telgen, John-Jules Ch. Meyer. isads 2015: 101-108 [doi]
Metric Semantics for ConcurrencyJ. W. de Bakker, John-Jules Ch. Meyer. bit, 28(3):504-529, 1988.
Neural-symbolic cognitive agents: architecture, theory and applicationLeo de Penning, Artur S. d'Avila Garcez, Luís C. Lamb, John-Jules Ch. Meyer. atal 2014: 1621-1622 [doi]
Do You Get It? User-Evaluated Explainable BDI AgentsJoost Broekens, Maaike Harbers, Koen V. Hindriks, Karel van den Bosch, Catholijn M. Jonker, John-Jules Ch. Meyer. MATES 2010: 28-39 [doi]
A New Quantitative Trust Model for Negotiating Agents using ArgumentationJamal Bentahar, John-Jules Ch. Meyer. ijcsa, 4(2):1-21, 2007. [doi]
Arguing about Preferences and DecisionsThomas L. van der Weide, Frank Dignum, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk. argmas 2011: 68-85 [doi]
Programming Cognitive AgentsJohn-Jules Ch. Meyer. MATES 2005: 27-34 [doi]
Norms in Distributed OrganizationsBas Testerink, Mehdi Dastani, John-Jules Ch. Meyer. atal 2014: 120-135 [doi]
Modal logic investigations in the Modal logic investigations in the semantics of counts semantics of counts-as asDavide Grossi, John-Jules Ch. Meyer, Frank Dignum. icail 2005: 1-9
Programming Deliberative Agents for Mobile Services: The 3APL-M PlatformFernando Koch, John-Jules Ch. Meyer, Frank Dignum, Iyad Rahwan. promas 2006: 222-235 [doi]
Collective Obligations and Agents: Who Gets the Blame?Davide Grossi, Frank Dignum, Lambèr M. M. Royakkers, John-Jules Ch. Meyer. deon 2004: 129-145 [doi]
Dynamic Task Allocation for Human-robot TeamsTinka R. A. Giele, Tina Mioch, Mark A. Neerincx, John-Jules Ch. Meyer. icaart 2015: 117-124
Ontology negotiation: goals, requirements and implementationJurriaan van Diggelen, Robbert-Jan Beun, Frank Dignum, Rogier M. van Eijk, John-Jules Ch. Meyer. ijaose, 1(1):63-90, 2007. [doi]
Introducing surprising events can stimulate deep learning in a serious gameErik D. Van der Spek, Herre van Oostendorp, John-Jules Ch. Meyer. bjet, 44(1):156-169, 2013. [doi]
Agent-Based Personalisation and User Modeling for Personalised Educational GamesMarieke M. M. Peeters, Karel van den Bosch, John-Jules Ch. Meyer, Mark A. Neerincx. um 2016: 303-304 [doi]
Verifying Normative System Specification containing Collective Imperatives and DeadlinesLuca Gasparini 0002, Timothy J. Norman, Martin J. Kollingbaum, Liang Chen, John-Jules Ch. Meyer. atal 2015: 1821-1822 [doi]
Agent Languages and Their Relationship to Other Programming ParadigmsJohn-Jules Ch. Meyer. atal 1999: 309-316
Nombre chromatique total d un hypergrapheJ. C. Meyer. JCT, 24(1):44-50, 1978. [doi]
Forwarding indices of consistent routings and their complexityMarie-Claude Heydemann, J. C. Meyer, Dominique Sotteau, Jaroslav Opatrny. networks, 24(2):75-82, 1994. [doi]
Forwarding Indices of ::::k::::-Connected GraphsMarie-Claude Heydemann, J. C. Meyer, Jaroslav Opatrny, Dominique Sotteau. DAM, 37/38:287-296, 1992. [doi]
Nombre chromatique total du joint d'un ensemble stable par un cycleJ. C. Meyer. DM, 15(1):41-54, 1976. [doi]

All Publications

Filter by Year

Filter by Type

Filter by Topic

Filter by Venue

Filter by Co-author

Filter by Top terms

Download

External Links

Profile Name

Statistics

Aliases

Researchr

John-Jules Ch. Meyer's Profile

Unidentified Publications