default search action

combined dblp search
author search
venue search
publication search

ask others

John-Jules Ch. Meyer

John-Jules Charles Meyer

> Home > Persons

Person information

affiliation: Utrecht University, Department of Information and Computing Sciences, The Netherlands

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j92]
- view
  - electronic edition @ collegepublications.co.uk
  - details & citations
- export record
  dblp key:
  - journals/flap/WitDM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/flap/WitDM23
Vincent de Wit, Dragan Doder, John-Jules Ch. Meyer:
Probabilistic Deontic Logics for Reasoning about Uncertain Norms. FLAP 10(2): 193-220 (2023)
2021
[c259]
- view
  authority control:
- export record
  dblp key:
  - conf/ecsqaru/WitDM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecsqaru/WitDM21
Vincent de Wit, Dragan Doder, John-Jules Ch. Meyer:
A Probabilistic Deontic Logic. ECSQARU 2021: 616-628
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2105-07648
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2105-07648
Jieting Luo, Beishui Liao, John-Jules Ch. Meyer:
A Formal Framework for Reasoning about Agents' Independence in Self-organizing Multi-agent Systems. CoRR abs/2105.07648 (2021)
2020
[c258]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/LuoMK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/LuoMK20
Jieting Luo, John-Jules Ch. Meyer, Max Knobbout:
A Formal Framework for Reasoning about Opportunistic Propensity in Multi-agent Systems. AAMAS 2020: 2149-2151

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j91]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/aamas/LuoMK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aamas/LuoMK19
Jieting Luo, John-Jules Ch. Meyer, Max Knobbout:
A formal framework for reasoning about opportunistic propensity in multi-agent systems. Auton. Agents Multi Agent Syst. 33(4): 457-479 (2019)
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1911-05907
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1911-05907
Marlo Souza, Álvaro F. Moreira, Renata Vieira, John-Jules Ch. Meyer:
A Dynamic Preference Logic for reasoning about Agent Programming. CoRR abs/1911.05907 (2019)
2018
[c257]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/atal/LuoKM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/LuoKM18
Jieting Luo, Max Knobbout, John-Jules Ch. Meyer:
Eliminating Opportunism using an Epistemic Mechanism. AAMAS 2018: 1450-1458
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1812-06197
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1812-06197
Chide Groenouwe, Jesse Nortier, John-Jules Ch. Meyer:
Truly Visual Polymorphic Algebraic Data Structures through Maramafication. CoRR abs/1812.06197 (2018)
2017
[j90]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/ais/LuoM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ais/LuoM17
Jieting Luo, John-Jules Ch. Meyer:
A formal account of opportunism based on the situation calculus. AI Soc. 32(4): 527-542 (2017)
[j89]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/ijar/TimmerMPRV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijar/TimmerMPRV17
Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij:
A two-phase method for extracting explanatory arguments from Bayesian networks. Int. J. Approx. Reason. 80: 475-494 (2017)
[c256]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/LuoMK17a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/LuoMK17a
Jieting Luo, John-Jules Ch. Meyer, Max Knobbout:
Reasoning About Opportunistic Propensity in Multi-agent Systems. AAMAS Workshops (Selected Papers) 2017: 203-221
[c255]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/atal/DastaniLMP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/DastaniLMP17
Mehdi Dastani, Emiliano Lorini, John-Jules Ch. Meyer, Alexander Pankov:
Other-Condemning Anger = Blaming Accountable Agents for Unattainable Desires. AAMAS 2017: 1520-1522
[c254]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/atal/LuoMK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/LuoMK17
Jieting Luo, John-Jules Ch. Meyer, Max Knobbout:
Towards a Framework for Predicting Opportunism in Multi-agent Systems. AAMAS 2017: 1616-1618
[c253]
- view
  authority control:
- export record
  dblp key:
  - conf/bracis/SouzaMVM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bracis/SouzaMVM17
Marlo Souza, Álvaro F. Moreira, Renata Vieira, John-Jules Ch. Meyer:
A Dynamic Preference Logic for Reasoning about Agent Programming. BRACIS 2017: 133-138
[c252]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/icteri/MoergestelM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icteri/MoergestelM17
Leo van Moergestel, John-Jules Ch. Meyer:
Is Knowledge of Mathematics a Key for Success for Studying ICT? ICTERI 2017: 223-228
[c251]
- view
  authority control:
- export record
  dblp key:
  - conf/isads/MoergestelUSLBC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isads/MoergestelUSLBC17
Leo van Moergestel, Hylco Uding, Nathan Schaaphuizen, Daan Leijen, Daniel van den Berg, Hendrik Cornelisse, Matthijs Veldhuizen, Martijn van der Struijk, Erik Puik, Daniël Telgen, John-Jules Ch. Meyer:
A Versatile Simulation Model of Agile Production by Autonomous Systems. ISADS 2017: 77-83
[c250]
- view
  authority control:
- export record
  dblp key:
  - conf/prima/DastaniLMP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prima/DastaniLMP17
Mehdi Dastani, Emiliano Lorini, John-Jules Ch. Meyer, Alexander Pankov:
Other-Condemning Anger = Blaming Accountable Agents for Unattainable Desires. PRIMA 2017: 15-33
[e7]
- view
  authority control:
- export record
  dblp key:
  - conf/intetain/2016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/intetain/2016
Ronald Poppe, John-Jules Ch. Meyer, Remco C. Veltkamp, Mehdi Dastani:
Intelligent Technologies for Interactive Entertainment - 8th International Conference, INTETAIN 2016, Utrecht, The Netherlands, June 28-30, 2016, Revised Selected Papers. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 178, Springer 2017, ISBN 978-3-319-49615-3 [contents]
2016
[j88]
- view
  authority control:
- export record
  dblp key:
  - journals/aicom/GratieFM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aicom/GratieFM15
Cristian Gratie, Adina Magda Florea, John-Jules Ch. Meyer:
General directionality and the local behavior of argumentation semantics. AI Commun. 29(1): 3-16 (2016)
[c249]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/LuoMK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/LuoMK16
Jieting Luo, John-Jules Ch. Meyer, Max Knobbout:
Monitoring Opportunism in Multi-agent Systems. COIN@AAMAS/ECAI 2016: 119-138
[c248]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/KnobboutDM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/KnobboutDM16
Max Knobbout, Mehdi Dastani, John-Jules Ch. Meyer:
Formal Frameworks for Verifying Normative Multi-agent Systems. Theory and Practice of Formal Methods 2016: 294-308
[c247]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/KnobboutDM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/KnobboutDM16
Max Knobbout, Mehdi Dastani, John-Jules Ch. Meyer:
A Dynamic Logic of Norm Change. ECAI 2016: 886-894
[c246]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/LuoMK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/LuoMK16
Jieting Luo, John-Jules Ch. Meyer, Max Knobbout:
Towards a Framework for Detecting Opportunism in Multi-Agent Systems. ECAI 2016: 1636-1637
[c245]
- view
  authority control:
- export record
  dblp key:
  - conf/icaart/MoergestelBKPVP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icaart/MoergestelBKPVP16
Leo van Moergestel, Melvin van den Berg, Marco Knol, Rick van der Paauw, Kasper van Voorst, Erik Puik, Daniël Telgen, John-Jules Ch. Meyer:
Internet of Smart Things - A Study on Embedding Agents and Information in a Device. ICAART (1) 2016: 102-109
[c244]
- view
  - electronic edition @ aaai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/kr/SouzaMVM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/SouzaMVM16
Marlo Souza, Álvaro F. Moreira, Renata Vieira, John-Jules Ch. Meyer:
Preference and Priorities: A Study Based on Contrction. KR 2016: 155-165
[c243]
- view
  authority control:
- export record
  dblp key:
  - conf/um/PeetersBMN16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/um/PeetersBMN16
Marieke M. M. Peeters, Karel van den Bosch, John-Jules Ch. Meyer, Mark A. Neerincx:
Agent-Based Personalisation and User Modeling for Personalised Educational Games. UMAP 2016: 303-304
2015
[j87]
- view
  - electronic edition @ collegepublications.co.uk (open access)
  - details & citations
- export record
  dblp key:
  - journals/flap/ZiafatiDMTV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/flap/ZiafatiDMTV15
Pouyan Ziafati, Mehdi Dastani, John-Jules Ch. Meyer, Leon van der Torre, Holger Voos:
Retalis Language for Information Engineering in Autonomous Robot Software. FLAP 2(2): 65-126 (2015)
[j86]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/TurriniGBM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/TurriniGBM15
Paolo Turrini, Davide Grossi, Jan M. Broersen, John-Jules Ch. Meyer:
Forbidding undesirable agreements. J. Log. Comput. 25(1): 159-178 (2015)
[c242]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/0002NKCM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/0002NKCM15
Luca Gasparini, Timothy J. Norman, Martin J. Kollingbaum, Liang Chen, John-Jules Ch. Meyer:
CÒIR: Verifying Normative Specifications of Complex Systems. COIN@AAMAS/IJCAI 2015: 134-153
[c241]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/LuoMD15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/LuoMD15
Jieting Luo, John-Jules Ch. Meyer, Frank Dignum:
On Formalizing Opportunism Based on Situation Calculus. CARE/MFSC@AAMAS 2015: 147-166
[c240]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/atal/GaspariniNKCM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/GaspariniNKCM15
Luca Gasparini, Timothy J. Norman, Martin J. Kollingbaum, Liang Chen, John-Jules Ch. Meyer:
Verifying Normative System Specification containing Collective Imperatives and Deadlines. AAMAS 2015: 1821-1822
[c239]
- view
  authority control:
- export record
  dblp key:
  - conf/cscs/UrzicaMT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cscs/UrzicaMT15
Andreea Urzica, John-Jules Ch. Meyer, Bas Testerink:
Organizational Replication Using Inheritance. CSCS 2015: 300-306
[c238]
- view
  authority control:
- export record
  dblp key:
  - conf/ecsqaru/TimmerMPRV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecsqaru/TimmerMPRV15
Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij:
Explaining Bayesian Networks Using Argumentation. ECSQARU 2015: 83-92
[c237]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/icaart/GieleMNM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icaart/GieleMNM15
Tinka R. A. Giele, Tina Mioch, Mark A. Neerincx, John-Jules Ch. Meyer:
Dynamic Task Allocation for Human-robot Teams. ICAART (1) 2015: 117-124
[c236]
- view
  authority control:
- export record
  dblp key:
  - conf/icail/TimmerMPRV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icail/TimmerMPRV15
Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij:
A structure-guided approach to capturing bayesian reasoning about legal evidence in argumentation. ICAIL 2015: 109-118
[c235]
- view
  authority control:
- export record
  dblp key:
  - conf/icail/TimmerMPRV15a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icail/TimmerMPRV15a
Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij:
Demonstration of a structure-guided approach to capturing bayesian reasoning about legal evidence in argumentation. ICAIL 2015: 233-234
[c234]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/icteri/MoergestelPTM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icteri/MoergestelPTM15
Leo van Moergestel, Erik Puik, Daniël Telgen, John-Jules Ch. Meyer:
Implementing Manufacturing as a Service: A Pull-Driven Agent-Based Manufacturing Grid. ICTERI 2015: 172-187
[c233]
- view
  authority control:
- export record
  dblp key:
  - conf/isads/MoergestelPTM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isads/MoergestelPTM15
Leo van Moergestel, Erik Puik, Daniël Telgen, John-Jules Ch. Meyer:
Implementation of an Agent-Based Manufacturing Grid. ISADS 2015: 101-108
[c232]
- view
  authority control:
- export record
  dblp key:
  - conf/jurix/TimmerMPRV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jurix/TimmerMPRV15
Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij:
Explaining Legal Bayesian Networks Using Support Graphs. JURIX 2015: 121-130
[c231]
- view
  authority control:
- export record
  dblp key:
  - conf/jurix/TimmerMPRV15a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jurix/TimmerMPRV15a
Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij:
Capturing Critical Questions in Bayesian Network Fragments: - Extended abstract. JURIX 2015: 173-176
[c230]
- view
  authority control:
- export record
  dblp key:
  - conf/mates/LuoDM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mates/LuoDM15
Jieting Luo, Frank Dignum, John-Jules Ch. Meyer:
Towards A Formal Model of Opportunism Based on Situation Calculus. MATES 2015: 275-279
[c229]
- view
  authority control:
- export record
  dblp key:
  - conf/owled/SouzaMVM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/owled/SouzaMVM15
Marlo Souza, Álvaro F. Moreira, Renata Vieira, John-Jules Ch. Meyer:
Integrating Ontology Negotiation and Agent Communication. OWLED 2015: 56-68
[c228]
- view
  authority control:
- export record
  dblp key:
  - conf/webi/SouzaMVM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/webi/SouzaMVM15
Marlo Souza, Álvaro F. Moreira, Renata Vieira, John-Jules Ch. Meyer:
Communication for Agents with Ontological Reasoning. WI-IAT (2) 2015: 182-185
2014
[j85]
- view
  authority control:
- export record
  dblp key:
  - journals/ce/PeetersBMN14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ce/PeetersBMN14
Marieke Peeters, Karel van den Bosch, John-Jules Ch. Meyer, Mark A. Neerincx:
The design and effect of automated directions during scenario-based training. Comput. Educ. 70: 173-183 (2014)
[c227]
- view
  - electronic edition @ aaai.org
  - details & citations
- export record
  dblp key:
  - conf/aaaiss/ZiafatiEZDMTV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaaiss/ZiafatiEZDMTV14
Pouyan Ziafati, Yehia Elrakaiby, Marc van Zee, Mehdi Dastani, John-Jules Ch. Meyer, Leendert W. N. van der Torre, Holger Voos:
Reasoning on Robot Knowledge from Discrete and Asynchronous Observations. AAAI Spring Symposia 2014
[c226]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/atal/PenningGLM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/PenningGLM14
Leo de Penning, Artur S. d'Avila Garcez, Luís C. Lamb, John-Jules Ch. Meyer:
Neural-symbolic cognitive agents: architecture, theory and application. AAMAS 2014: 1621-1622
[c225]
- view
  authority control:
- export record
  dblp key:
  - conf/comma/TimmerMPRV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/comma/TimmerMPRV14
Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij:
A Tool for the Generation of Arguments from Bayesian Networks. COMMA 2014: 479-480
[c224]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/ProceeKWM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/ProceeKWM14
Ruurdje Procee, Bart A. Kamphorst, Arlette van Wissen, John-Jules Ch. Meyer:
An Agent-Based Model of Procrastination. ECAI 2014: 747-752
[c223]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ecai/ZeeDM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/ZeeDM14
Marc van Zee, Patrick Doherty, John-Jules Ch. Meyer:
Encoding Definitional Fragments of Temporal Action Logic into Logic Programming. DARe@ECAI 2014
[c222]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ecsi/TesterinkDM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecsi/TesterinkDM14
Bas Testerink, Mehdi Dastani, John-Jules Ch. Meyer:
Norm Monitoring Through Observation Sharing. ECSI 2014: 291-304
[c221]
- view
  authority control:
- export record
  dblp key:
  - conf/hri/TielmanNML14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hri/TielmanNML14
Myrthe Tielman, Mark A. Neerincx, John-Jules Ch. Meyer, Rosemarijn Looije:
Adaptive emotional expression in robot-child interaction. HRI 2014: 407-414
[c220]
- view
  authority control:
- export record
  dblp key:
  - conf/icaart/MoergestelTPM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icaart/MoergestelTPM14
Leo van Moergestel, Daniël Telgen, Erik Puik, John-Jules Ch. Meyer:
Agent-based Manufacturing in a Production Grid - Adapting a Production Grid to the Production Paths. ICAART (1) 2014: 342-349
[c219]
- view
  authority control:
- export record
  dblp key:
  - conf/icteri/MoergestelVNM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icteri/MoergestelVNM14
Leo van Moergestel, Lukas Vermond, Kasper van Nieuwland, John-Jules Ch. Meyer:
A Demo Processor as an Educational Tool. ICTERI 2014: 161-177
[c218]
- view
  authority control:
- export record
  dblp key:
  - conf/ijcnn/PenningGLSM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcnn/PenningGLSM14
Leo de Penning, Artur S. d'Avila Garcez, Luís C. Lamb, Arjan Stuiver, John-Jules Ch. Meyer:
Applying Neural-Symbolic Cognitive Agents in Intelligent Transport Systems to reduce CO2 emissions. IJCNN 2014: 55-62
[c217]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/KnobboutDM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/KnobboutDM14
Max Knobbout, Mehdi Dastani, John-Jules Ch. Meyer:
Reasoning about Dynamic Normative Systems. JELIA 2014: 628-636
[c216]
- view
  authority control:
- export record
  dblp key:
  - conf/jurix/TimmerMPRV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jurix/TimmerMPRV14
Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij:
Extracting Legal Arguments from Forensic Bayesian Networks. JURIX 2014: 71-80
[c215]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/robocup/SchroppMR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/robocup/SchroppMR14
Gwendolijn Y. R. Schropp, John-Jules Ch. Meyer, Subramanian Ramamoorthy:
A Formalization of the Coach Problem. RoboCup 2014: 345-357
[p7]
- view
  authority control:
- export record
  dblp key:
  - series/lncs/DastaniFM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/DastaniFM14
Mehdi Dastani, Christiaan Floor, John-Jules Ch. Meyer:
Programming Agents with Emotions. Emotion Modeling 2014: 57-75
[r1]
- view
  authority control:
- export record
  dblp key:
  - series/hhl/Meyer14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/hhl/Meyer14
John-Jules Ch. Meyer:
Logics for Intelligent Agents and Multi-Agent Systems. Computational Logic 2014: 629-658
2013
[j84]
- view
  authority control:
- export record
  dblp key:
  - journals/bjet/SpekOM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bjet/SpekOM13
Erik D. Van der Spek, Herre van Oostendorp, John-Jules Ch. Meyer:
Introducing surprising events can stimulate deep learning in a serious game. Br. J. Educ. Technol. 44(1): 156-169 (2013)
[j83]
- view
  authority control:
- export record
  dblp key:
  - journals/ker/BoissierCLMP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ker/BoissierCLMP13
Olivier Boissier, Marco Colombetti, Michael Luck, John-Jules Ch. Meyer, Axel Polleres:
Norms, organizations, and semantics. Knowl. Eng. Rev. 28(1): 107-116 (2013)
[j82]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/DastaniMG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/DastaniMG13
Mehdi Dastani, John-Jules Ch. Meyer, Davide Grossi:
A logic for normative multi-agent programs. J. Log. Comput. 23(2): 335-354 (2013)
[j81]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/AstefanoaeiBDM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/AstefanoaeiBDM13
Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer:
A weakest precondition calculus for BUnity. Sci. Comput. Program. 78(9): 1278-1293 (2013)
[j80]
- view
  authority control:
- export record
  dblp key:
  - journals/taffco/ReisenzeinHDGHLM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/taffco/ReisenzeinHDGHLM13
Rainer Reisenzein, Eva Hudlicka, Mehdi Dastani, Jonathan Gratch, Koen V. Hindriks, Emiliano Lorini, John-Jules Ch. Meyer:
Computational Modeling of Emotion: Toward Improving the Inter- and Intradisciplinary Exchange. IEEE Trans. Affect. Comput. 4(3): 246-266 (2013)
[c214]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/atal/ZiafatiDMT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/ZiafatiDMT13
Pouyan Ziafati, Mehdi Dastani, John-Jules Ch. Meyer, Leendert W. N. van der Torre:
Event-processing in autonomous robot programming. AAMAS 2013: 95-102
[c213]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/TesterinkDM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/TesterinkDM13
Bas Testerink, Mehdi Dastani, John-Jules Ch. Meyer:
Norms in Distributed Organizations. COIN@AAMAS/PRIMA 2013: 120-135
[c212]
- view
  authority control:
- export record
  dblp key:
  - conf/cscs/MoergestelLMNPT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cscs/MoergestelLMNPT13
Leo van Moergestel, Wouter Langerak, Glenn Meerstra, Niels van Nieuwenburg, Franc Pape, Daniël Telgen, Erik Puik, John-Jules Ch. Meyer:
Agents in Domestic Environments. CSCS 2013: 487-494
[c211]
- view
  authority control:
- export record
  dblp key:
  - conf/csedu/FerdinandusPBM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csedu/FerdinandusPBM13
Gwen R. Ferdinandus, Marieke Peeters, Karel van den Bosch, John-Jules Ch. Meyer:
Automated Scenario Generation - Coupling Planning Techniques with Smart Objects. CSEDU 2013: 76-81
[c210]
- view
  - electronic edition @ gi.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/gi/CaceMPV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gi/CaceMPV13
Ivana Cace, John-Jules Ch. Meyer, Carla Pieterman, Gerlof Valk:
Encapsulated Models for Reasoning and Decision Support. GI-Jahrestagung 2013: 1821-1833
[c209]
- view
  authority control:
- export record
  dblp key:
  - conf/iat/TelgenMPZAM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iat/TelgenMPZAM13
Daniël Telgen, Leo van Moergestel, Erik Puik, Arjen van Zanten, Ammar Abdulamir, John-Jules Ch. Meyer:
Automatic Structured Decomposition of Manufacturing Actions in an Agent-Based Manufacturing System. IAT 2013: 155-162
[c208]
- view
  authority control:
- export record
  dblp key:
  - conf/iat/MoergestelPTRSM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iat/MoergestelPTRSM13
Leo van Moergestel, Erik Puik, Daniël Telgen, Rick van Rijn, Benjamin Segerius, John-Jules Ch. Meyer:
A Multiagent-Based Agile Work Distribution System. IAT 2013: 224-230
[c207]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/icaart/MoergestelPTFGPVM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icaart/MoergestelPTFGPVM13
Leo van Moergestel, Erik Puik, Daniël Telgen, Hendrik Folmer, Matthijs Grünbauer, Robbert Proost, Hielke Veringa, John-Jules Ch. Meyer:
Monitoring Agents in Complex Products - Enhancing a Discovery Robot with an Agent for Monitoring, Maintenance and Disaster Prevention. ICAART (2) 2013: 5-13
[c206]
- view
  authority control:
- export record
  dblp key:
  - conf/icaart/MoergestelPTFGP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icaart/MoergestelPTFGP13
Leo van Moergestel, Erik Puik, Daniël Telgen, Hendrik Folmer, Matthijs Grünbauer, Robbert Proost, Hielke Veringa, John-Jules Ch. Meyer:
Enhancing Products by Embedding Agents: Adding an Agent to a Robot for Monitoring, Maintenance and Disaster Prevention. ICAART (Revised Selected Papers) 2013: 115-130
[c205]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/iccsw/PenningGM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccsw/PenningGM13
Leo de Penning, Artur S. d'Avila Garcez, John-Jules Ch. Meyer:
Dreaming Machines: On multimodal fusion and information retrieval using neural-symbolic cognitive agents. ICCSW 2013: 89-94
[c204]
- view
  authority control:
- export record
  dblp key:
  - conf/isads/MoergestelPTM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isads/MoergestelPTM13
Leo van Moergestel, Erik Puik, Daniël Telgen, John-Jules Ch. Meyer:
Embedded autonomous agents in products supporting repair and recycling. ISADS 2013: 1-8
[c203]
- view
  authority control:
- export record
  dblp key:
  - conf/mim/MoergestelTPM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mim/MoergestelTPM13
Leo van Moergestel, Daniël Telgen, Erik Puik, John-Jules Ch. Meyer:
A Versatile Agile Agent-Based Infrastructure for Hybrid Production Environments. MIM 2013: 210-215
2012
[j79]
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/DastaniMT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/DastaniMT12
Mehdi Dastani, John-Jules Ch. Meyer, Nick A. M. Tinnemeier:
Programming norm change. J. Appl. Non Class. Logics 22(1-2): 151-180 (2012)
[j78]
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/TurriniBMM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/TurriniBMM12
Paolo Turrini, Jan M. Broersen, Rosja Mastop, John-Jules Ch. Meyer:
Regulating competing coalitions: a logic for socially optimal group choices. J. Appl. Non Class. Logics 22(1-2): 181-202 (2012)
[j77]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/synthese/SteunebrinkDM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/synthese/SteunebrinkDM12
Bas R. Steunebrink, Mehdi Dastani, John-Jules Ch. Meyer:
A formal model of emotion triggers: an approach for BDI agents. Synth. 185(Supplement-1): 83-129 (2012)
[j76]
- view
  authority control:
- export record
  dblp key:
  - journals/wias/HarbersBM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/wias/HarbersBM12
Maaike Harbers, Karel van den Bosch, John-Jules Ch. Meyer:
Modeling agents with a theory of mind: Theory-theory versus simulation theory. Web Intell. Agent Syst. 10(3): 331-343 (2012)
[c202]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/aamas/KokMPV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aamas/KokMPV12
Eric M. Kok, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk:
Testing the benfits of structured argumentation in multi-agent deliberation dialogues. AAMAS 2012: 1411-1412
[c201]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/at/GratieFM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/at/GratieFM12
Cristian Gratie, Adina Magda Florea, John-Jules Ch. Meyer:
General Directionality and the Local Behavior of Argumentation Semantics. AT 2012: 113-127
[c200]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/HindriksHM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/HindriksHM12
Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer:
GOAL Agents Instantiate Intention Logic. Logic Programs, Norms and Action 2012: 196-219
[c199]
- view
  authority control:
- export record
  dblp key:
  - conf/clima/GratieFM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/GratieFM12
Cristian Gratie, Adina Magda Florea, John-Jules Ch. Meyer:
Full Hybrid μ-Calculus, Its Bisimulation Invariance and Application to Argumentation. CLIMA 2012: 181-194
[c198]
- view
  authority control:
- export record
  dblp key:
  - conf/iat/MoergestelPTM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iat/MoergestelPTM12
Leo van Moergestel, Erik Puik, Daniël Telgen, John-Jules Ch. Meyer:
Production Scheduling in an Agile Agent-Based Production Grid. IAT 2012: 293-298
[c197]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/icaart/MoergestelM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icaart/MoergestelM12
Leo van Moergestel, John-Jules Ch. Meyer:
Generating Phonemes from Written Thai using Lexical Analysis based on Regular Expressions. ICAART (1) 2012: 306-311
[c196]
- view
  authority control:
- export record
  dblp key:
  - conf/iva/BroekensHBJBM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iva/BroekensHBJBM12
Joost Broekens, Maaike Harbers, Willem-Paul Brinkman, Catholijn M. Jonker, Karel van den Bosch, John-Jules Ch. Meyer:
Virtual Reality Negotiation Training Increases Negotiation Knowledge and Skill. IVA 2012: 218-230
[c195]
- view
  authority control:
- export record
  dblp key:
  - conf/promas/ZiafatiDMT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/promas/ZiafatiDMT12
Pouyan Ziafati, Mehdi Dastani, John-Jules Ch. Meyer, Leendert W. N. van der Torre:
Agent Programming Languages Requirements for Programming Autonomous Robots. ProMAS 2012: 35-53
2011
[j75]
- view
  authority control:
- export record
  dblp key:
  - journals/aamas/AlechinaDLM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aamas/AlechinaDLM11
Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer:
Reasoning about agent deliberation. Auton. Agents Multi Agent Syst. 22(2): 356-381 (2011)
[j74]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/AlechinaDLM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/AlechinaDLM11
Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer:
Reasoning about plan revision in BDI agent programs. Theor. Comput. Sci. 412(44): 6115-6134 (2011)
[c194]
- view
  authority control:
- export record
  dblp key:
  - conf/aied/PeetersBMN11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aied/PeetersBMN11
Marieke Peeters, Karel van den Bosch, John-Jules Ch. Meyer, Mark A. Neerincx:
Scenario-Based Training: Director's Cut. AIED 2011: 264-271
[c193]
- view
  authority control:
- export record
  dblp key:
  - conf/argmas/WeideDMPV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/argmas/WeideDMPV11
Thomas L. van der Weide, Frank Dignum, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk:
Multi-criteria Argument Selection in Persuasion Dialogues. ArgMAS 2011: 136-153
[c192]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/HarbersBJF11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/HarbersBJF11
Maaike Harbers, Jeffrey M. Bradshaw, Matthew Johnson, Paul J. Feltovich, Karel van den Bosch, John-Jules Ch. Meyer:
Explanation in Human-Agent Teamwork. COIN@AAMAS&WI-IAT 2011: 21-37
[c191]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/atal/SindlarDM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/SindlarDM11
Michal P. Sindlar, Mehdi Dastani, John-Jules Ch. Meyer:
Programming mental state abduction. AAMAS 2011: 301-308
[c190]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/atal/WeideDMPV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/WeideDMPV11
Thomas L. van der Weide, Frank Dignum, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk:
Multi-criteria argument selection in persuasion dialogues. AAMAS 2011: 921-928
[c189]
- view
  authority control:
- export record
  dblp key:
  - conf/cbms/HohlePVHKML11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cbms/HohlePVHKML11
D. Hohle, C. R. C. Pieterman, G. D. Valk, A. R. Hermus, H. P. F. Koppeschaar, John-Jules Ch. Meyer, R. P. J. de Lange:
Classifying the decision to perform surgery in MEN1 cancer patients using decision trees. CBMS 2011: 1-6
[c188]
- view
  authority control:
- export record
  dblp key:
  - conf/eumas/KokMOPV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eumas/KokMOPV11
Eric M. Kok, John-Jules Ch. Meyer, Herre van Oostendorp, Henry Prakken, Gerard Vreeswijk:
A Methodology for the Generation of Multi-agent Argumentation Dialogue Scenarios. EUMAS 2011: 160-174
[c187]
- view
  authority control:
- export record
  dblp key:
  - conf/iat/HarbersBJFBM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iat/HarbersBJFBM11
Maaike Harbers, Jeffrey M. Bradshaw, Matthew Johnson, Paul J. Feltovich, Karel van den Bosch, John-Jules Ch. Meyer:
Explanation and Coordination in Human-Agent Teams: A Study in the BW4T Testbed. Web Intelligence/IAT Workshops 2011: 17-20
[c186]
- view
  - electronic edition @ ic.ac.uk
  - details & citations
- export record
  dblp key:
  - conf/iccsw/PenningGLM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccsw/PenningGLM11
Leo de Penning, Artur S. d'Avila Garcez, Luís C. Lamb, John-Jules Ch. Meyer:
Neural-Symbolic Cognitive Agents: Architecture and Theory. ICCSW 2011: 10-16
[c185]
- view
  authority control:
- export record
  dblp key:
  - conf/ijcai/PenningGLM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/PenningGLM11
Leo de Penning, Artur S. d'Avila Garcez, Luís C. Lamb, John-Jules Ch. Meyer:
A Neural-Symbolic Cognitive Agent for Online Learning and Reasoning. IJCAI 2011: 1653-1658
[c184]
- view
  authority control:
- export record
  dblp key:
  - conf/isads/MoergestelPTM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isads/MoergestelPTM11
Leo van Moergestel, Erik Puik, Daniël Telgen, John-Jules Ch. Meyer:
Decentralized Autonomous-Agent-Based Infrastructure for Agile Multiparallel Manufacturing. ISADS 2011: 281-288
[c183]
- view
  authority control:
- export record
  dblp key:
  - conf/iva/BroekensHBJBM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iva/BroekensHBJBM11
Joost Broekens, Maaike Harbers, Willem-Paul Brinkman, Catholijn M. Jonker, Karel van den Bosch, John-Jules Ch. Meyer:
Validity of a Virtual Negotiation Training. IVA 2011: 435-436
[c182]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/simultech/HarbersBM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/simultech/HarbersBM11
Maaike Harbers, Karel van den Bosch, John-Jules Ch. Meyer:
A Theoretical Framework for Explaining Agent Behavior. SIMULTECH 2011: 228-231
2010
[j73]
- view
  authority control:
- export record
  dblp key:
  - journals/aamas/TurriniMC10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aamas/TurriniMC10
Paolo Turrini, John-Jules Ch. Meyer, Cristiano Castelfranchi:
Coping with shame and sense of guilt: a Dynamic Logic Account. Auton. Agents Multi Agent Syst. 20(3): 401-420 (2010)
[j72]
- view
  authority control:
- export record
  dblp key:
  - journals/ijis/DastaniM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijis/DastaniM10
Mehdi Dastani, John-Jules Ch. Meyer:
Agents with emotions. Int. J. Intell. Syst. 25(7): 636-654 (2010)
[j71]
- view
  authority control:
- export record
  dblp key:
  - journals/jaise/BroekensJM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jaise/BroekensJM10
Joost Broekens, Catholijn M. Jonker, John-Jules Ch. Meyer:
Affective negotiation support systems. J. Ambient Intell. Smart Environ. 2(2): 121-144 (2010)
[j70]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jasss/HarbersMB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jasss/HarbersMB10
Maaike Harbers, John-Jules Ch. Meyer, Karel van den Bosch:
Explaining Simulations Through Self Explaining Agents. J. Artif. Soc. Soc. Simul. 13(1) (2010)
[c181]
- view
  authority control:
- export record
  dblp key:
  - conf/argmas/KokMPV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/argmas/KokMPV10
Eric M. Kok, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk:
A Formal Argumentation Framework for Deliberation Dialogues. ArgMAS 2010: 31-48
[c180]
- view
  authority control:
- export record
  dblp key:
  - conf/argmas/WeideDMPV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/argmas/WeideDMPV10
Thomas L. van der Weide, Frank Dignum, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk:
Arguing about Preferences and Decisions. ArgMAS 2010: 68-85
[c179]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/atal/TinnemeierDM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/TinnemeierDM10
Nick A. M. Tinnemeier, Mehdi Dastani, John-Jules Ch. Meyer:
Programming norm change. AAMAS 2010: 957-964
[c178]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/atal/SteunebrinkDM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/SteunebrinkDM10
Bas R. Steunebrink, Mehdi Dastani, John-Jules Ch. Meyer:
Emotions to control agent deliberation. AAMAS 2010: 973-980
[c177]
- view
  authority control:
- export record
  dblp key:
  - conf/deon/TurriniGBM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/deon/TurriniGBM10
Paolo Turrini, Davide Grossi, Jan M. Broersen, John-Jules Ch. Meyer:
Forbidding Undesirable Agreements: A Dependence-Based Approach to the Regulation of Multi-agent Systems. DEON 2010: 306-322
[c176]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/SindlarDM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/SindlarDM10
Michal P. Sindlar, Mehdi Dastani, John-Jules Ch. Meyer:
Mental State Ascription Using Dynamic Logic. ECAI 2010: 561-566
[c175]
- view
  authority control:
- export record
  dblp key:
  - conf/iat/HarbersBM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iat/HarbersBM10
Maaike Harbers, Karel van den Bosch, John-Jules Ch. Meyer:
Design and Evaluation of Explainable BDI Agents. IAT 2010: 125-132
[c174]
- view
  authority control:
- export record
  dblp key:
  - conf/mates/BroekensHHBJM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mates/BroekensHHBJM10
Joost Broekens, Maaike Harbers, Koen V. Hindriks, Karel van den Bosch, Catholijn M. Jonker, John-Jules Ch. Meyer:
Do You Get It? User-Evaluated Explainable BDI Agents. MATES 2010: 28-39
[c173]
- view
  authority control:
- export record
  dblp key:
  - conf/prima/SindlarM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prima/SindlarM10
Michal P. Sindlar, John-Jules Ch. Meyer:
Affordance-Based Intention Recognition in Virtual Spatial Environments. PRIMA 2010: 304-319

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j69]
- view
  authority control:
- export record
  dblp key:
  - journals/aamas/RiemsdijkDM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aamas/RiemsdijkDM09
M. Birna van Riemsdijk, Mehdi Dastani, John-Jules Ch. Meyer:
Goals in conflict: semantic foundations of goals in agent programming. Auton. Agents Multi Agent Syst. 18(3): 471-500 (2009)
[j68]
- view
  authority control:
- export record
  dblp key:
  - journals/aamas/HindriksM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aamas/HindriksM09
Koen V. Hindriks, John-Jules Ch. Meyer:
Toward a programming theory for rational agents. Auton. Agents Multi Agent Syst. 19(1): 4-29 (2009)
[j67]
- view
  authority control:
- export record
  dblp key:
  - journals/ijris/VriesMBH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijris/VriesMBH09
Wieke de Vries, John-Jules Ch. Meyer, Frank S. de Boer, Wiebe van der Hoek:
A coordination language for agents interacting in distributed plan-execute cycles. Int. J. Reason. based Intell. Syst. 1(1/2): 4-17 (2009)
[j66]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jucs/AstefanoaeiDMB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jucs/AstefanoaeiDMB09
Lacramioara Astefanoaei, Mehdi Dastani, John-Jules Ch. Meyer, Frank S. de Boer:
On the Semantics and Verification of Normative Multi-Agent Systems. J. Univers. Comput. Sci. 15(13): 2629-2652 (2009)
[j65]
- view
  authority control:
- export record
  dblp key:
  - journals/kbs/BentaharMW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/kbs/BentaharMW09
Jamal Bentahar, John-Jules Ch. Meyer, Wei Wan:
Model checking communicative agent-based systems. Knowl. Based Syst. 22(3): 142-159 (2009)
[j64]
- view
  authority control:
- export record
  dblp key:
  - journals/synthese/BroersenMMT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/synthese/BroersenMMT09
Jan M. Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini:
Determining the environment: a modal logic for closed interaction. Synth. 169(2): 351-369 (2009)
[c172]
- view
  authority control:
- export record
  dblp key:
  - conf/argmas/WeideDMPV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/argmas/WeideDMPV09
Thomas L. van der Weide, Frank Dignum, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk:
Practical Reasoning Using Values. ArgMAS 2009: 79-93
[c171]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/atal/TinnemeierDM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/TinnemeierDM09
Nick A. M. Tinnemeier, Mehdi Dastani, John-Jules Ch. Meyer:
Roles and norms for programming agent organizations. AAMAS (1) 2009: 121-128
[c170]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/atal/HarbersBM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/HarbersBM09
Maaike Harbers, Karel van den Bosch, John-Jules Ch. Meyer:
A methodology for developing self-explaining agents for virtual training. AAMAS (2) 2009: 1129-1130
[c169]
- view
  authority control:
- export record
  dblp key:
  - conf/clima/DennisTM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/DennisTM09
Louise A. Dennis, Nick A. M. Tinnemeier, John-Jules Ch. Meyer:
Model Checking Normative Agent Organisations. CLIMA 2009: 64-82
[c168]
- view
  authority control:
- export record
  dblp key:
  - conf/dalt/SindlarDDM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dalt/SindlarDDM09
Michal P. Sindlar, Mehdi Dastani, Frank Dignum, John-Jules Ch. Meyer:
Explaining and Predicting the Behavior of BDI-Based Agents in Role-Playing Games. DALT 2009: 174-191
[c167]
- view
  authority control:
- export record
  dblp key:
  - conf/epia/SteunebrinkDM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/epia/SteunebrinkDM09
Bas R. Steunebrink, Mehdi Dastani, John-Jules Ch. Meyer:
A Formal Model of Emotion-Based Action Tendency for Intelligent Agents. EPIA 2009: 174-186
[c166]
- view
  authority control:
- export record
  dblp key:
  - conf/iat/VechtDM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iat/VechtDM09
Bob van der Vecht, Frank Dignum, John-Jules Ch. Meyer:
Autonomy and Coordination: Controlling External Influences on Decision Making. IAT 2009: 92-95
[c165]
- view
  authority control:
- export record
  dblp key:
  - conf/iat/TinnemeierDMT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iat/TinnemeierDMT09
Nick A. M. Tinnemeier, Mehdi Dastani, John-Jules Ch. Meyer, Leendert W. N. van der Torre:
Programming Normative Artifacts with Declarative Obligations and Prohibitions. IAT 2009: 145-152
[c164]
- view
  authority control:
- export record
  dblp key:
  - conf/iat/HarbersBM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iat/HarbersBM09
Maaike Harbers, Karel van den Bosch, John-Jules Ch. Meyer:
Modeling Agents with a Theory of Mind. IAT 2009: 217-224
[c163]
- view
  authority control:
- export record
  dblp key:
  - conf/iat/BrinkmanBJM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iat/BrinkmanBJM09
Willem-Paul Brinkman, Joost Broekens, Catholijn M. Jonker, John-Jules Ch. Meyer:
Getting a Grip on Emotions in Negotiations: The Possibilities of ICT. Web Intelligence/IAT Workshops 2009: 345-348
[c162]
- view
  authority control:
- export record
  dblp key:
  - conf/iat/BroersenMMT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iat/BroersenMMT09
Jan M. Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini:
Strategic Ability Update: A Modal Logic Account. Web Intelligence/IAT Workshops 2009: 470-473
[c161]
- view
  authority control:
- export record
  dblp key:
  - conf/iva/SindlarDM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iva/SindlarDM09
Michal P. Sindlar, Mehdi Dastani, John-Jules Ch. Meyer:
BDI-Based Development of Virtual Characters with a Theory of Mind. IVA 2009: 34-41
[c160]
- view
  authority control:
- export record
  dblp key:
  - conf/iva/HarbersBM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iva/HarbersBM09
Maaike Harbers, Karel van den Bosch, John-Jules Ch. Meyer:
A Study into Preferred Explanations of Virtual Agent Behavior. IVA 2009: 132-145
[c159]
- view
  authority control:
- export record
  dblp key:
  - conf/lads/HarbersBM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lads/HarbersBM09
Maaike Harbers, Karel van den Bosch, John-Jules Ch. Meyer:
A Methodology for Developing Self-explaining Agents for Virtual Training. LADS 2009: 168-182
[c158]
- view
  authority control:
- export record
  dblp key:
  - conf/lori/LoriniDDHM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lori/LoriniDDHM09
Emiliano Lorini, Mehdi Dastani, Hans van Ditmarsch, Andreas Herzig, John-Jules Ch. Meyer:
Intentions and Assignments. LORI 2009: 198-211
[c157]
- view
  authority control:
- export record
  dblp key:
  - conf/lori/TurriniBMM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lori/TurriniBMM09
Paolo Turrini, Jan M. Broersen, Rosja Mastop, John-Jules Ch. Meyer:
An Update Operator for Strategic Ability. LORI 2009: 292-301
[c156]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/mallow/HarbersBM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mallow/HarbersBM09
Maaike Harbers, Karel van den Bosch, John-Jules Ch. Meyer:
A Methodology for Developing Self-Explaining Agents for Virtual Training. MALLOW 2009
[c155]
- view
  authority control:
- export record
  dblp key:
  - conf/promas/DastaniBDM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/promas/DastaniBDM09
Mehdi Dastani, Jaap Brandsema, Amco Dubel, John-Jules Ch. Meyer:
Debugging BDI-Based Multi-Agent Programs. PROMAS 2009: 151-169
[p6]
- view
  authority control:
- export record
  dblp key:
  - books/igi/09/VechtDM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/igi/09/VechtDM09
Bob van der Vecht, Frank Dignum, John-Jules Ch. Meyer:
Autonomous Agents Adopting Organizational Rules. Handbook of Research on Multi-Agent Systems 2009: 314-333
[p5]
- view
  authority control:
- export record
  dblp key:
  - books/igi/09/DastaniTM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/igi/09/DastaniTM09
Mehdi Dastani, Nick A. M. Tinnemeier, John-Jules Ch. Meyer:
A Programming Language for Normative Multi-Agent Systems. Handbook of Research on Multi-Agent Systems 2009: 397-417
[e6]
- view
  authority control:
- export record
  dblp key:
  - conf/kramas/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kramas/2008
John-Jules Ch. Meyer, Jan M. Broersen:
Knowledge Representation for Agents and Multi-Agent Systems, First International Workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008, Revised Selected Papers. Lecture Notes in Computer Science 5605, Springer 2009, ISBN 978-3-642-05300-9 [contents]
[i7]
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/DastaniGMT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/DastaniGMT09
Mehdi Dastani, Davide Grossi, John-Jules Ch. Meyer, Nick A. M. Tinnemeier:
Normative Multi-Agent Programs and Their Logics. Normative Multi-Agent Systems 2009
2008
[j63]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/japll/GobleM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/japll/GobleM08
Lou Goble, John-Jules Ch. Meyer:
Editorial. J. Appl. Log. 6(2): 133-134 (2008)
[j62]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/japll/GrossiMD08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/japll/GrossiMD08
Davide Grossi, John-Jules Ch. Meyer, Frank Dignum:
The many faces of counts-as: A formal analysis of constitutive rules. J. Appl. Log. 6(2): 192-217 (2008)
[c154]
- view
  authority control:
- export record
  dblp key:
  - conf/argmas/WeideDMPV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/argmas/WeideDMPV08
Thomas L. van der Weide, Frank Dignum, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk:
Personality-Based Practical Reasoning. ArgMAS 2008: 3-18
[c153]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/VechtDMD08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/VechtDMD08
Bob van der Vecht, Frank Dignum, John-Jules Ch. Meyer, Virginia Dignum:
Organizations and Autonomous Agents: Bottom-Up Dynamics of Coordination Mechanisms. COIN@AAMAS&AAAI 2008: 17-32
[c152]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/atal/AlechinaLDM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/AlechinaLDM08
Natasha Alechina, Brian Logan, Mehdi Dastani, John-Jules Ch. Meyer:
Reasoning about agent execution strategies. AAMAS (3) 2008: 1455-1458
[c151]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/atal/JonkerDM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/JonkerDM08
Geert Jonker, Frank Dignum, John-Jules Ch. Meyer:
Achieving efficient and equitable collaboration among selfish agents using spender-signed currency. AAMAS (3) 2008: 1581-1584
[c150]
- view
  authority control:
- export record
  dblp key:
  - conf/dalt/SindlarDDM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dalt/SindlarDDM08
Michal P. Sindlar, Mehdi Dastani, Frank Dignum, John-Jules Ch. Meyer:
Mental State Abduction of BDI-Based Agents. DALT 2008: 161-178
[c149]
- view
  authority control:
- export record
  dblp key:
  - conf/dalt/BentaharMMM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dalt/BentaharMMM08
Jamal Bentahar, Mohamed Mbarki, John-Jules Ch. Meyer, Bernard Moulin:
Strategic Agent Communication: An Argumentation-Driven Approach. DALT 2008: 233-250
[c148]
- view
  authority control:
- export record
  dblp key:
  - conf/deon/BroersenMMT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/deon/BroersenMMT08
Jan M. Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini:
A Deontic Logic for Socially Optimal Norms. DEON 2008: 218-232
[c147]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/SteunebrinkDM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/SteunebrinkDM08
Bas R. Steunebrink, Mehdi Dastani, John-Jules Ch. Meyer:
A Formal Model of Emotions: Integrating Qualitative and Quantitative Aspects. ECAI 2008: 256-260
[c146]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/BroersenMMT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/BroersenMMT08
Jan M. Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini:
Organizing Coherent Coalitions. ECAI 2008: 879-880
[c145]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/VechtDM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/VechtDM08
Bob van der Vecht, Frank Dignum, John-Jules Ch. Meyer:
Magic Agents: Using Information Relevance to Control Autonomy. ECAI 2008: 889-890
[c144]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/exact/HarbersBDM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/exact/HarbersBDM08
Maaike Harbers, Karel van den Bosch, Frank Dignum, John-Jules Ch. Meyer:
A Cognitive Model for the Generation and Explanation of Behaviour in Virtual Training Systems. ExaCt 2008: 96-107
[c143]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/icinco/SteunebrinkVMDDM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icinco/SteunebrinkVMDDM08
Bas R. Steunebrink, Nieske L. Vergunst, Christian P. Mol, Frank Dignum, Mehdi Dastani, John-Jules Ch. Meyer:
A Generic Architecture for a Companion Robot. ICINCO-RA (2) 2008: 315-321
[c142]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/BroersenMMT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/BroersenMMT08
Jan M. Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini:
A Logic for Closed-World Interaction. JELIA 2008: 89-99
[c141]
- view
  - electronic edition @ aaai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/kr/AlechinaDLM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/AlechinaDLM08
Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer:
Reasoning about Agent Deliberation. KR 2008: 16-26
[c140]
- view
  authority control:
- export record
  dblp key:
  - conf/kramas/DastaniGMT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kramas/DastaniGMT08
Mehdi Dastani, Davide Grossi, John-Jules Ch. Meyer, Nick A. M. Tinnemeier:
Normative Multi-agent Programs and Their Logics. KRAMAS 2008: 16-31
[c139]
- view
  authority control:
- export record
  dblp key:
  - conf/prima/ArbabABDMT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prima/ArbabABDMT08
Farhad Arbab, Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer, Nick A. M. Tinnemeier:
Reo Connectors as Coordination Artifacts in 2APL Systems. PRIMA 2008: 42-53
[c138]
- view
  authority control:
- export record
  dblp key:
  - conf/prima/AstefanoaeiDMB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prima/AstefanoaeiDMB08
Lacramioara Astefanoaei, Mehdi Dastani, John-Jules Ch. Meyer, Frank S. de Boer:
A Verification Framework for Normative Multi-Agent Systems. PRIMA 2008: 54-65
[c137]
- view
  authority control:
- export record
  dblp key:
  - conf/promas/TinnemeierDM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/promas/TinnemeierDM08
Nick A. M. Tinnemeier, Mehdi Dastani, John-Jules Ch. Meyer:
Orwell's Nightmare for Agents? Programming Multi-agent Organisations. ProMAS 2008: 56-71
[p4]
- view
  authority control:
- export record
  dblp key:
  - reference/wiley/Meyer08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/wiley/Meyer08
John-Jules Ch. Meyer:
Agent Technology. Wiley Encyclopedia of Computer Science and Engineering 2008
[i6]
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/DastaniGMT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/DastaniGMT08
Mehdi Dastani, Davide Grossi, John-Jules Ch. Meyer, Nick A. M. Tinnemeier:
Normative Multi-Agent Programs and Their Logics. Programming Multi-Agent Systems 2008
[i5]
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/SteunebrinkMD08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/SteunebrinkMD08
Bas R. Steunebrink, John-Jules Ch. Meyer, Mehdi Dastani:
A Formal Model of Emotions: Integrating Qualitative and Quantitative Aspects. Programming Multi-Agent Systems 2008
2007
[j61]
- view
  - electronic edition @ iospress.com
  - details & citations
- export record
  dblp key:
  - journals/ao/DiggelenBDEM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ao/DiggelenBDEM07
Jurriaan van Diggelen, Robbert-Jan Beun, Frank Dignum, Rogier M. van Eijk, John-Jules Ch. Meyer:
Ontology negotiation in heterogeneous multi-agent systems: The ANEMONE system. Appl. Ontology 2(3-4): 267-303 (2007)
[j60]
- view
  authority control:
- export record
  dblp key:
  - journals/ijaose/DiggelenBDEM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijaose/DiggelenBDEM07
Jurriaan van Diggelen, Robbert-Jan Beun, Frank Dignum, Rogier M. van Eijk, John-Jules Ch. Meyer:
Ontology negotiation: goals, requirements and implementation. Int. J. Agent Oriented Softw. Eng. 1(1): 63-90 (2007)
[j59]
- view
  - electronic edition @ tmrfindia.org (archived)
  - details & citations
- export record
  dblp key:
  - journals/ijcsa/BentaharM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijcsa/BentaharM07
Jamal Bentahar, John-Jules Ch. Meyer:
A New Quantitative Trust Model for Negotiating Agents using Argumentation. Int. J. Comput. Sci. Appl. 4(2): 1-21 (2007)
[j58]
- view
  authority control:
- export record
  dblp key:
  - journals/ijwis/BentaharTML07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijwis/BentaharTML07
Jamal Bentahar, Francesca Toni, John-Jules Ch. Meyer, Jihad Labban:
A security framework for agent-based systems. Int. J. Web Inf. Syst. 3(4): 341-362 (2007)
[j57]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/japll/BoerHHM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/japll/BoerHHM07
Frank S. de Boer, Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer:
A verification framework for agent programming with declarative goals. J. Appl. Log. 5(2): 277-302 (2007)
[c136]
- view
  - electronic edition @ aaai.org (archived)
  - details & citations
- export record
  dblp key:
  - conf/aaai/SteunebrinkDM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/SteunebrinkDM07
Bas R. Steunebrink, Mehdi Dastani, John-Jules Ch. Meyer:
A Logic of Emotions for Intelligent Agents. AAAI 2007: 142-147
[c135]
- view
  - electronic edition @ aaai.org (archived)
  - details & citations
- export record
  dblp key:
  - conf/aaai/AlechinaDLM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/AlechinaDLM07
Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer:
A Logic of Agent Programs. AAAI 2007: 795-800
[c134]
- view
  authority control:
- export record
  dblp key:
  - conf/acii/TurriniMC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acii/TurriniMC07
Paolo Turrini, John-Jules Ch. Meyer, Cristiano Castelfranchi:
Rational Agents That Blush. ACII 2007: 314-325
[c133]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/AldewereldDM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/AldewereldDM07
Huib Aldewereld, Frank Dignum, John-Jules Ch. Meyer:
Designing protocols for agent institutions. AAMAS 2007: 31
[c132]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/VechtDMN07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/VechtDMN07
Bob van der Vecht, Frank Dignum, John-Jules Ch. Meyer, Martijn Neef:
A Dynamic Coordination Mechanism Using Adjustable Autonomy. COIN 2007: 83-96
[c131]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/GrossiDM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/GrossiDM07
Davide Grossi, Frank Dignum, John-Jules Ch. Meyer:
A formal road from institutional norms to organizational structures. AAMAS 2007: 89
[c130]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/DastaniHM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/DastaniHM07
Mehdi Dastani, Dirk Hobo, John-Jules Ch. Meyer:
Practical extensions in agent programming languages. AAMAS 2007: 138
[c129]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/DastaniRM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/DastaniRM07
Mehdi Dastani, M. Birna van Riemsdijk, John-Jules Ch. Meyer:
A grounded specification language for agent programs. AAMAS 2007: 147
[c128]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/JonkerDM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/JonkerDM07
Geert Jonker, Frank Dignum, John-Jules Ch. Meyer:
Achieving cooperation among selfish agents in the air traffic management domain using signed money. AAMAS 2007: 213
[c127]
- view
  authority control:
- export record
  dblp key:
  - conf/cia/DohertyM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cia/DohertyM07
Patrick Doherty, John-Jules Ch. Meyer:
Towards a Delegation Framework for Aerial Robotic Mission Scenarios. CIA 2007: 5-26
[c126]
- view
  authority control:
- export record
  dblp key:
  - conf/iat/VergunstSDDM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iat/VergunstSDDM07
Nieske L. Vergunst, Bas R. Steunebrink, Mehdi Dastani, F. P. M. Dignum, John-Jules Ch. Meyer:
Towards Programming Multimodal Dialogues. Web Intelligence/IAT Workshops 2007: 342-345
[c125]
- view
  authority control:
- export record
  dblp key:
  - conf/itng/BentaharMM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itng/BentaharMM07
Jamal Bentahar, John-Jules Ch. Meyer, Bernard Moulin:
Securing Agent-Oriented Systems: An Argumentation and Reputation-based Approach. ITNG 2007: 507-515
[c124]
- view
  authority control:
- export record
  dblp key:
  - conf/lads/TinnemeierDM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lads/TinnemeierDM07
Nick A. M. Tinnemeier, Mehdi Dastani, John-Jules Ch. Meyer:
Goal Selection Strategies for Rational Agents. LADS 2007: 54-70
[c123]
- view
  authority control:
- export record
  dblp key:
  - conf/promas/AldewereldDM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/promas/AldewereldDM07
Huib Aldewereld, Frank Dignum, John-Jules Ch. Meyer:
From Norms to Interaction Patterns: Deriving Protocols for Agent Institutions. PROMAS 2007: 57-72
[c122]
- view
  authority control:
- export record
  dblp key:
  - conf/promas/DastaniM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/promas/DastaniM07
Mehdi Dastani, John-Jules Ch. Meyer:
A Practical Agent Programming Language. PROMAS 2007: 107-123
[c121]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/rcis/BentaharM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rcis/BentaharM07
Jamal Bentahar, John-Jules Ch. Meyer:
A New Quantitative Trust Model for Negotiating Agents. RCIS 2007: 39-50
[c120]
- view
  - electronic edition @ iospress.nl
  - details & citations
- export record
  dblp key:
  - conf/somet/BentaharM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/somet/BentaharM07
Jamal Bentahar, John-Jules Ch. Meyer:
Model Checking Communicative Agent-Based Systems. SoMeT 2007: 239-265
[c119]
- view
  authority control:
- export record
  dblp key:
  - conf/tableaux/Meyer07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tableaux/Meyer07
John-Jules Ch. Meyer:
Our Quest for the Holy Grail of Agent Verification. TABLEAUX 2007: 2-9
[p3]
- view
  authority control:
- export record
  dblp key:
  - books/el/07/MeyerV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/el/07/MeyerV07
John-Jules Ch. Meyer, Frank Veltman:
Intelligent agents and common sense reasoning. Handbook of Modal Logic 2007: 991-1029
[e5]
- view
- export record
  dblp key:
  - conf/dagstuhl/2006P6261
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/2006P6261
Rafael H. Bordini, Mehdi Dastani, John-Jules Ch. Meyer:
Foundations and Practice of Programming Multi-Agent Systems, 25.06. - 30.06.2006. Dagstuhl Seminar Proceedings 06261, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents]
[i4]
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/GrossiMD07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/GrossiMD07
Davide Grossi, John-Jules Ch. Meyer, Frank Dignum:
On the Logic of Constitutive Rules. Normative Multi-agent Systems 2007
2006
[j56]
- view
  authority control:
- export record
  dblp key:
  - journals/ijis/Meyer06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijis/Meyer06
John-Jules Ch. Meyer:
Reasoning about emotional agents. Int. J. Intell. Syst. 21(6): 601-619 (2006)
[j55]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/RiemsdijkBM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/RiemsdijkBM06
M. Birna van Riemsdijk, Frank S. de Boer, John-Jules Ch. Meyer:
Dynamic Logic for Plan Revision in Agent Programming. J. Log. Comput. 16(3): 375-402 (2006)
[j54]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/GrossiMD06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/GrossiMD06
Davide Grossi, John-Jules Ch. Meyer, Frank Dignum:
Classificatory Aspects of Counts-as: An Analysis in Modal Logic. J. Log. Comput. 16(5): 613-643 (2006)
[j53]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/RiemsdijkMB06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/RiemsdijkMB06
M. Birna van Riemsdijk, John-Jules Ch. Meyer, Frank S. de Boer:
Semantics of plan revision in intelligent agents. Theor. Comput. Sci. 351(2): 240-257 (2006)
[c118]
- view
  authority control:
- export record
  dblp key:
  - conf/acom/DiggelenBDEM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acom/DiggelenBDEM06
Jurriaan van Diggelen, Robbert-Jan Beun, Frank Dignum, Rogier M. van Eijk, John-Jules Ch. Meyer:
Combining Normal Communication with Ontology Alignment. AC 2006: 181-195
[c117]
- view
  authority control:
- export record
  dblp key:
  - conf/acom/LebbinkWM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acom/LebbinkWM06
Henk-Jan Lebbink, Cilia Witteman, John-Jules Ch. Meyer:
Can I Please Drop It? Dialogues About Belief Contraction. AC 2006: 227-242
[c116]
- view
  authority control:
- export record
  dblp key:
  - conf/amast/RiemsdijkM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/RiemsdijkM06
M. Birna van Riemsdijk, John-Jules Ch. Meyer:
A Compositional Semantics of Plan Revision in Intelligent Agents. AMAST 2006: 353-367
[c115]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/VechtMNDM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/VechtMNDM06
Bob van der Vecht, André P. Meyer, Martijn Neef, Frank Dignum, John-Jules Ch. Meyer:
Influence-Based Autonomy Levels in Agent Decision-Making. COIN@AAMAS/ECAI 2006: 322-337
[c114]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/DiggelenBDEM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/DiggelenBDEM06
Jurriaan van Diggelen, Robbert-Jan Beun, Frank Dignum, Rogier M. van Eijk, John-Jules Ch. Meyer:
ANEMONE: an effective minimal ontology negotiation environment. AAMAS 2006: 899-906
[c113]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/RiemsdijkDMB06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/RiemsdijkDMB06
M. Birna van Riemsdijk, Mehdi Dastani, John-Jules Ch. Meyer, Frank S. de Boer:
Goal-oriented modularity in agent programming. AAMAS 2006: 1271-1278
[c112]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/RiemsdijkBDM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/RiemsdijkBDM06
M. Birna van Riemsdijk, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer:
Prototyping 3APL in the Maude term rewriting language. AAMAS 2006: 1279-1281
[c111]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/DastaniRM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/DastaniRM06
Mehdi Dastani, M. Birna van Riemsdijk, John-Jules Ch. Meyer:
Goal types in agent programming. AAMAS 2006: 1285-1287
[c110]
- view
  authority control:
- export record
  dblp key:
  - conf/ccece/BentaharMM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccece/BentaharMM06
Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer:
A New Model Checking Approach for Verifying Agent Communication Protocols. CCECE 2006: 1586-1590
[c109]
- view
  authority control:
- export record
  dblp key:
  - conf/clima/RiemsdijkBDM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/RiemsdijkBDM06
M. Birna van Riemsdijk, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer:
Prototyping 3APL in the Maude Term Rewriting Language. CLIMA 2006: 95-114
[c108]
- view
  authority control:
- export record
  dblp key:
  - conf/clima/BentaharMML06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/BentaharMML06
Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Yves Lespérance:
A New Logical Semantics for Agent Communication. CLIMA 2006: 151-170
[c107]
- view
  authority control:
- export record
  dblp key:
  - conf/deon/GrossiMD06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/deon/GrossiMD06
Davide Grossi, John-Jules Ch. Meyer, Frank Dignum:
Counts-as: Classification or Constitution? An Answer Using Modal Logic. DEON 2006: 115-130
[c106]
- view
  - electronic edition @ iospress.nl
  - details & citations
- export record
  dblp key:
  - conf/ecai/DastaniM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/DastaniM06
Mehdi Dastani, John-Jules Ch. Meyer:
Programming Agents with Emotions. ECAI 2006: 215-219
[c105]
- view
  - electronic edition @ iospress.nl
  - details & citations
- export record
  dblp key:
  - conf/ecai/DastaniRM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/DastaniRM06
Mehdi Dastani, M. Birna van Riemsdijk, John-Jules Ch. Meyer:
Goal Types in Agent Programming. ECAI 2006: 220-224
[c104]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/eumas/Meyer06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eumas/Meyer06
John-Jules Ch. Meyer:
Going beyond BDI: Programming 'BDI+' Agents. EUMAS 2006
[c103]
- view
  authority control:
- export record
  dblp key:
  - conf/ki/HindriksM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/HindriksM06
Koen V. Hindriks, John-Jules Ch. Meyer:
Agent Logics as Program Logics: Grounding KARO. KI 2006: 404-418
[e4]
- view
  authority control:
- export record
  dblp key:
  - conf/deon/2006
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/deon/2006
Lou Goble, John-Jules Ch. Meyer:
Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings. Lecture Notes in Computer Science 4048, Springer 2006, ISBN 3-540-35842-0 [contents]
[i3]
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/DastaniMB06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/DastaniMB06
Mehdi Dastani, John-Jules Ch. Meyer, Rafael H. Bordini:
06261 Executive Summary -- Foundations and Practice of Programming Multi-Agent Systems. Foundations and Practice of Programming Multi-Agent Systems 2006
[i2]
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/DastaniMB06a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/DastaniMB06a
Mehdi Dastani, John-Jules Ch. Meyer, Rafael H. Bordini:
06261 Abstracts Collection -- Foundations and Practice of Programming Multi-Agent Systems. Foundations and Practice of Programming Multi-Agent Systems 2006
2005
[j52]
- view
  authority control:
- export record
  dblp key:
  - journals/aaecc/BoerVMEH05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aaecc/BoerVMEH05
Frank S. de Boer, Wieke de Vries, John-Jules Ch. Meyer, Rogier M. van Eijk, Wiebe van der Hoek:
Process algebra and constraint programming for modeling interactions in MAS. Appl. Algebra Eng. Commun. Comput. 16(2-3): 113-150 (2005)
[c102]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/RiemsdijkDM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/RiemsdijkDM05
Birna van Riemsdijk, Mehdi Dastani, John-Jules Ch. Meyer:
Semantics of declarative goals in agent programming. AAMAS 2005: 133-140
[c101]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/AldewereldVDM05a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/AldewereldVDM05a
Huib Aldewereld, Javier Vázquez-Salceda, Frank Dignum, John-Jules Ch. Meyer:
Verifying Norm Compliancy of Protocols. AAMAS Workshops 2005: 231-245
[c100]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/AldewereldVDM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/AldewereldVDM05
Huib Aldewereld, Javier Vázquez-Salceda, Frank Dignum, John-Jules Ch. Meyer:
Norm compliance of protocols in electronic institutions. AAMAS 2005: 1291-1292
[c99]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/bnaic/JonkerMD05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bnaic/JonkerMD05
Geert Jonker, John-Jules Ch. Meyer, Frank Dignum:
Efficiency and Fairness in Air Traffic Control. BNAIC 2005: 151-157
[c98]
- view
  authority control:
- export record
  dblp key:
  - conf/clima/GrossiDM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/GrossiDM05
Davide Grossi, Frank Dignum, John-Jules Ch. Meyer:
Contextual Terminologies. CLIMA 2005: 284-302
[c97]
- view
  authority control:
- export record
  dblp key:
  - conf/dalt/BentaharMM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dalt/BentaharMM05
Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer:
A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication. DALT 2005: 223-244
[c96]
- view
  authority control:
- export record
  dblp key:
  - conf/epia/JonkerMD05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/epia/JonkerMD05
Geert Jonker, John-Jules Ch. Meyer, Frank Dignum:
Towards a Market Mechanism for Airport Traffic Control. EPIA 2005: 500-511
[c95]
- view
  authority control:
- export record
  dblp key:
  - conf/epia/RiemsdijkDM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/epia/RiemsdijkDM05
M. Birna van Riemsdijk, Mehdi Dastani, John-Jules Ch. Meyer:
Subgoal Semantics in Agent Programming. EPIA 2005: 548-559
[c94]
- view
  authority control:
- export record
  dblp key:
  - conf/icail/GrossiMD05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icail/GrossiMD05
Davide Grossi, John-Jules Ch. Meyer, Frank Dignum:
Modal logic investigations in the Modal logic investigations in the semantics of counts semantics of counts-as as. ICAIL 2005: 1-9
[c93]
- view
  authority control:
- export record
  dblp key:
  - conf/mates/Meyer05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mates/Meyer05
John-Jules Ch. Meyer:
Programming Cognitive Agents. MATES 2005: 27-34
[c92]
- view
  authority control:
- export record
  dblp key:
  - conf/promas/KochMDR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/promas/KochMDR05
Fernando Koch, John-Jules Ch. Meyer, Frank Dignum, Iyad Rahwan:
Programming Deliberative Agents for Mobile Services: The 3APL-M Platform. PROMAS 2005: 222-235
[p2]
- no documents available
  - details & citations
- export record
  dblp key:
  - books/sp/map2005/DastaniRM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/map2005/DastaniRM05
Mehdi Dastani, M. Birna van Riemsdijk, John-Jules Ch. Meyer:
Programming Multi-Agent Systems in 3APL. Multi-Agent Programming 2005: 39-67
2004
[j51]
- view
  - electronic edition @ iospress.com
  - details & citations
- export record
  dblp key:
  - journals/fuin/AldewereldHM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/AldewereldHM04
Huib Aldewereld, Wiebe van der Hoek, John-Jules Ch. Meyer:
Rational Teams: Logical Aspects of Multi-Agent Systems. Fundam. Informaticae 63(2-3): 159-183 (2004)
[j50]
- view
  authority control:
- export record
  dblp key:
  - journals/ker/DignumDM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ker/DignumDM04
Virginia Dignum, Frank Dignum, John-Jules Ch. Meyer:
An agent-mediated approach to the support of knowledge sharing in organizations. Knowl. Eng. Rev. 19(2): 147-174 (2004)
[j49]
- view
  authority control:
- export record
  dblp key:
  - journals/synthese/HommersomMV04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/synthese/HommersomMV04
Arjen Hommersom, John-Jules Ch. Meyer, Erik P. de Vink:
Update Semantics of Security Protocols. Synth. 142(2): 229-267 (2004)
[c91]
- view
  authority control:
- export record
  dblp key:
  - conf/acom/DiggelenBDEM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acom/DiggelenBDEM04
Jurriaan van Diggelen, Robbert-Jan Beun, Frank Dignum, Rogier M. van Eijk, John-Jules Ch. Meyer:
Optimal Communication Vocabularies and Heterogeneous Ontologies. AC 2004: 76-90
[c90]
- view
  authority control:
- export record
  dblp key:
  - conf/amast/Meyer04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/Meyer04
John-Jules Ch. Meyer:
Agent-Oriented Programming: Where Do We Stand?. AMAST 2004: 23-26
[c89]
- view
  authority control:
- export record
  dblp key:
  - conf/amast/RiemsdijkMB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/RiemsdijkMB04
Birna van Riemsdijk, John-Jules Ch. Meyer, Frank S. de Boer:
Semantics of Plan Revision in Intelligent Agents. AMAST 2004: 426-442
[c88]
- view
  authority control:
- export record
  dblp key:
  - conf/aose/DastaniRHDM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aose/DastaniRHDM04
Mehdi Dastani, Birna van Riemsdijk, Joris Hulstijn, Frank Dignum, John-Jules Ch. Meyer:
Enacting and Deacting Roles in Agent Programming. AOSE 2004: 189-204
[c87]
- view
  authority control:
- export record
  dblp key:
  - conf/argmas/BentaharMMC04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/argmas/BentaharMMC04
Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Brahim Chaib-draa:
A Modal Semantics for an Argumentation-Based Pragmatics for Agent Communication. ArgMAS 2004: 44-63
[c86]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/BentaharMMC04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/BentaharMMC04
Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Brahim Chaib-draa:
A Logical Model for Commitment and Argument Network for Agent Communication. AAMAS 2004: 792-799
[c85]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/DastaniHDM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/DastaniHDM04
Mehdi Dastani, Joris Hulstijn, Frank Dignum, John-Jules Ch. Meyer:
Issues in Multiagent System Development. AAMAS 2004: 922-929
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/LebbinkWM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/LebbinkWM04
Henk-Jan Lebbink, Cilia Witteman, John-Jules Ch. Meyer:
A Dialogue Game to Offer an Agreement to Disagree. AAMAS 2004: 1238-1239
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/clima/RiemsdijkBM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/RiemsdijkBM04
M. Birna van Riemsdijk, Frank S. de Boer, John-Jules Ch. Meyer:
Dynamic Logic for Plan Revision in Intelligent Agents. CLIMA 2004: 16-32
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/clima/GrossiDM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/GrossiDM04
Davide Grossi, Frank Dignum, John-Jules Ch. Meyer:
Contextual Taxonomies. CLIMA 2004: 33-51
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/clima/BentaharMMC04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/BentaharMMC04
Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Brahim Chaib-draa:
A Computational Model for Conversation Policies for Agent Communication. CLIMA 2004: 178-195
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/dalt/RiemsdijkDDM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dalt/RiemsdijkDDM04
Birna van Riemsdijk, Mehdi Dastani, Frank Dignum, John-Jules Ch. Meyer:
Dynamics of Declarative Goals in Agent Programming. DALT 2004: 1-18
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/deon/BroersenDDM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/deon/BroersenDDM04
Jan M. Broersen, Frank Dignum, Virginia Dignum, John-Jules Ch. Meyer:
Designing a Deontic Logic of Deadlines. DEON 2004: 43-56
[c78]
- view
  authority control:
- export record
  dblp key:
  - conf/deon/GrossiDRM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/deon/GrossiDRM04
Davide Grossi, Frank Dignum, Lambèr M. M. Royakkers, John-Jules Ch. Meyer:
Collective Obligations and Agents: Who Gets the Blame? DEON 2004: 129-145
[c77]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ecai/Meyer04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/Meyer04
John-Jules Ch. Meyer:
Reasoning about Emotional Agents. ECAI 2004: 129-133
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/faabs/DignumBDM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/faabs/DignumBDM04
Frank Dignum, Jan M. Broersen, Virginia Dignum, John-Jules Ch. Meyer:
Meeting the Deadline: Why, When and How. FAABS 2004: 30-40
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/promas/LebbinkWM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/promas/LebbinkWM04
Henk-Jan Lebbink, Cilia Witteman, John-Jules Ch. Meyer:
A Dialogue Game to Offer an Agreement to Disagree. PROMAS 2004: 199-223
[c74]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/HommersomMV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/HommersomMV05
Arjen Hommersom, John-Jules Ch. Meyer, Erik P. de Vink:
Toward Reasoning about Security Protocols: A Semantic Approach. LCMAS 2004: 53-75
[e3]
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/2003oaf
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/2003oaf
Mark Dermot Ryan, John-Jules Ch. Meyer, Hans-Dieter Ehrich:
Objects, Agents, and Features, International Seminar, Dagstuhl Castle, Germany, February 2003, Revised and Invited Papers. Lecture Notes in Computer Science 2975, Springer 2004, ISBN 3-540-21989-7 [contents]
2003
[j48]
- view
  authority control:
- export record
  dblp key:
  - journals/aamas/EijkBHM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aamas/EijkBHM03
Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
A Verification Framework for Agent Communication. Auton. Agents Multi Agent Syst. 6(2): 185-219 (2003)
[j47]
- view
  - electronic edition @ iospress.com
  - details & citations
- export record
  dblp key:
  - journals/fuin/HarrensteinHMW03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/HarrensteinHMW03
Paul Harrenstein, Wiebe van der Hoek, John-Jules Ch. Meyer, Cees Witteveen:
A Modal Characterization of Nash Equilibrium. Fundam. Informaticae 57(2-4): 281-321 (2003)
[j46]
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/RoordaHM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/RoordaHM03
Jan-Willem Roorda, Wiebe van der Hoek, John-Jules Ch. Meyer:
Iterated Belief Change in Multi-Agent Systems. Log. J. IGPL 11(2): 223-246 (2003)
[j45]
- view
  authority control:
- export record
  dblp key:
  - journals/ijis/HoekMT03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijis/HoekMT03
Wiebe van der Hoek, John-Jules Ch. Meyer, Jan Treur:
Formal semantics of meta-level architectures: Temporal epistemic reflection. Int. J. Intell. Syst. 18(12): 1293-1317 (2003)
[j44]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BoerEHM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BoerEHM03
Frank S. de Boer, Rogier M. van Eijk, Wiebe van der Hoek, John-Jules Ch. Meyer:
A fully abstract model for the exchange of information in multi-agent systems. Theor. Comput. Sci. 290(3): 1753-1773 (2003)
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/DastaniBDM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/DastaniBDM03
Mehdi Dastani, Frank S. de Boer, Frank Dignum, John-Jules Ch. Meyer:
Programming agent deliberation: an approach illustrated using the 3APL language. AAMAS 2003: 97-104
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/EijkBHM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/EijkBHM03
Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
Process Algebra for Agent Communication: A General Semantic Approach. Communication in Multiagent Systems 2003: 113-128
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/DastaniDM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/DastaniDM03
Mehdi Dastani, Frank Dignum, John-Jules Ch. Meyer:
Autonomy and Agent Deliberation. Agents and Computational Autonomy 2003: 114-127
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/RiemsdijkHM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/RiemsdijkHM03
Birna van Riemsdijk, Wiebe van der Hoek, John-Jules Ch. Meyer:
Agent programming in dribble: from beliefs to goals using plans. AAMAS 2003: 393-400
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/MeyerRE03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/MeyerRE03
John-Jules Ch. Meyer, Mark Dermot Ryan, Hans-Dieter Ehrich:
Objects, Agents, and Features: An Introduction. Objects, Agents, and Features 2003: 1-7
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/BoerPEM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/BoerPEM03
Frank S. de Boer, Cees Pierik, Rogier M. van Eijk, John-Jules Ch. Meyer:
Coordinating Agents in OO. Objects, Agents, and Features 2003: 8-25
[c67]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/Meyer03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/Meyer03
John-Jules Ch. Meyer:
Intelligent Agents: Issues and Logics. Logics for Emerging Applications of Databases 2003: 131-165
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/promas/DastaniRDM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/promas/DastaniRDM03
Mehdi Dastani, Birna van Riemsdijk, Frank Dignum, John-Jules Ch. Meyer:
A Programming Language for Cognitive Agents Goal Directed 3APL. PROMAS 2003: 111-130
[c65]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/LebbinkWM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/LebbinkWM04
Henk-Jan Lebbink, Cilia Witteman, John-Jules Ch. Meyer:
Dialogue Games for Inconsistent and Biased Information. LCMAS 2003: 134-151
2002
[j43]
- view
  authority control:
- export record
  dblp key:
  - journals/artmed/Meyer02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/artmed/Meyer02
John-Jules Ch. Meyer:
The Logic of Knowledge Bases - Hector J. Levesque, Gerhard Lakemeyer (Eds.), MIT Press, Cambridge, MA, 2000, ISBN 0-262-12232-4. Artif. Intell. Medicine 25(1): 89-92 (2002)
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/DignumMW02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/DignumMW02
Virginia Dignum, John-Jules Ch. Meyer, Hans Weigand:
Towards an organizational model for agent societies using contracts. AAMAS 2002: 694-695
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/RoordaHM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/RoordaHM02
Jan-Willem Roorda, Wiebe van der Hoek, John-Jules Ch. Meyer:
Iterated belief change in multi-agent systems. AAMAS 2002: 889-896
[c62]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ecai/HarrensteinHMW02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/HarrensteinHMW02
Paul Harrenstein, Wiebe van der Hoek, John-Jules Ch. Meyer, Cees Witteveen:
On Modal Logic Interpretations of Games. ECAI 2002: 28-32
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/esaw/WeigandDMD02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esaw/WeigandDMD02
Hans Weigand, Virginia Dignum, John-Jules Ch. Meyer, Frank Dignum:
Specification by Refinement and Agreement: Designing Agent Interaction Using Landmarks and Contracts. ESAW 2002: 257-269
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/faabs/DignumMDW02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/faabs/DignumMDW02
Virginia Dignum, John-Jules Ch. Meyer, Frank Dignum, Hans Weigand:
Formal Specification of Interaction in Agent Societies. FAABS 2002: 37-52
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/faabs/Meyer02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/faabs/Meyer02
John-Jules Ch. Meyer:
Tools and Education towards Formal Methods Practice. FAABS 2002: 274-279
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/faabs/RiemsdijkHM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/faabs/RiemsdijkHM02
Birna van Riemsdijk, Wiebe van der Hoek, John-Jules Ch. Meyer:
Agent Programming in Dribble: From Beliefs to Goals with Plans. FAABS 2002: 294-295
[c57]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/nmr/BroersenMW02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nmr/BroersenMW02
Jan M. Broersen, John-Jules Ch. Meyer, Roel J. Wieringa:
The mutual exclusion problem in reasoning about action and change. NMR 2002: 365-371
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/2001
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/2001
John-Jules Ch. Meyer, Milind Tambe:
Intelligent Agents VIII, 8th International Workshop, ATAL 2001 Seattle, WA, USA, August 1-3, 2001, Revised Papers. Lecture Notes in Computer Science 2333, Springer 2002, ISBN 3-540-43858-0 [contents]
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/cs-AI-0207008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-AI-0207008
Frank S. de Boer, Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer:
Agent Programming with Declarative Goals. CoRR cs.AI/0207008 (2002)
2001
[j42]
- view
  - electronic edition @ iospress.com
  - details & citations
- export record
  dblp key:
  - journals/fuin/BroersenWM01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/BroersenWM01
Jan M. Broersen, Roel J. Wieringa, John-Jules Ch. Meyer:
A Fixed-point Characterization of a Deontic Logic of Regular Action. Fundam. Informaticae 48(2-3): 107-128 (2001)
[j41]
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/MeyerBEHH01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/MeyerBEHH01
John-Jules Ch. Meyer, Frank S. de Boer, Rogier M. van Eijk, Koen V. Hindriks, Wiebe van der Hoek:
On Programming KARO Agents. Log. J. IGPL 9(2): 245-256 (2001)
[j40]
- view
  authority control:
- export record
  dblp key:
  - journals/ijis/EijkBHM01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijis/EijkBHM01
Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
On dynamically generated ontology translators in agent communication. Int. J. Intell. Syst. 16(5): 587-607 (2001)
[j39]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/EijkBHM01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/EijkBHM01
Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
Modal Logic with Bounded Quantification over Worlds. J. Log. Comput. 11(5): 701-715 (2001)
[j38]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/SpruitWM01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/SpruitWM01
Paul Spruit, Roel J. Wieringa, John-Jules Ch. Meyer:
Regular database update logics. Theor. Comput. Sci. 254(1-2): 591-661 (2001)
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/MeyerT01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/MeyerT01
John-Jules Ch. Meyer, Milind Tambe:
Introduction. ATAL 2001: 1-5
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/ceemas/VriesBHHM01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ceemas/VriesBHHM01
Wieke de Vries, Frank S. de Boer, Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer:
A Programming Language for Coordinating Group Actions. CEEMAS 2001: 313-321
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/prima/VriesBHM01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prima/VriesBHM01
Wieke de Vries, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
A Truly Concurrent Model for Interacting Agents. PRIMA 2001: 16-30
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/time/HustadtDSFMH01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/HustadtDSFMH01
Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher, John-Jules Ch. Meyer, Wiebe van der Hoek:
Reasoning about agents in the KARO framework. TIME 2001: 206-213
2000
[j37]
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/HoekLM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/HoekLM00
Wiebe van der Hoek, Bernd van Linder, John-Jules Ch. Meyer:
On Agents That Have the Ability to Choose. Stud Logica 66(1): 79-119 (2000)
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/agentCL/HindriksBHM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agentCL/HindriksBHM00
Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
Semantics of Communicating Agents Based on Deduction and Abduction. Issues in Agent Communication 2000: 63-79
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/agentCL/EijkBHM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agentCL/EijkBHM00
Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
Operational Semantics for Agent Communication Languages. Issues in Agent Communication 2000: 80-95
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/HindriksBHM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/HindriksBHM00
Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
Agent Programming with Declarative Goals. ATAL 2000: 228-243
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/EijkBHM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/EijkBHM00
Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
Generalised Object-Oriented Concepts for Inter-agent Communication. ATAL 2000: 260-274
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/cl/BroersenWM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cl/BroersenWM00
Jan M. Broersen, Roel J. Wieringa, John-Jules Ch. Meyer:
A Semantics for Persistency in Propositional Dynamic Logic. Computational Logic 2000: 912-925
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/BoerEHM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/BoerEHM00
Frank S. de Boer, Rogier M. van Eijk, Wiebe van der Hoek, John-Jules Ch. Meyer:
Failure Semantics for the Exchange of Information in Multi-Agent Systems. CONCUR 2000: 214-228
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/faabs/HustadtDSFMH00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/faabs/HustadtDSFMH00
Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher, John-Jules Ch. Meyer, Wiebe van der Hoek:
Verification within the KARO Agent Theory. FAABS 2000: 33-47
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/faabs/HindriksBHM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/faabs/HindriksBHM00
Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
A Programming Logic for Part of the Agent Language 3APL. FAABS 2000: 78-89
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/EijkBHM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/EijkBHM00
Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
A Modal Logic for Network Topologies. JELIA 2000: 269-283

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[j36]
- view
  authority control:
- export record
  dblp key:
  - journals/aamas/HindriksBHM99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aamas/HindriksBHM99
Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
Agent Programming in 3APL. Auton. Agents Multi Agent Syst. 2(4): 357-401 (1999)
[j35]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/MeyerHL99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/MeyerHL99
John-Jules Ch. Meyer, Wiebe van der Hoek, Bernd van Linder:
A Logical Approach to the Dynamics of Commitments. Artif. Intell. 113(1-2): 1-40 (1999)
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/EijkBHM99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/EijkBHM99
Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
Open Multi-agent Systems: Agent Communication and Integration. ATAL 1999: 218-232
[c42]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ecoopw/BoerEHM99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoopw/BoerEHM99
Frank S. de Boer, Rogier M. van Eijk, Wiebe van der Hoek, John-Jules Ch. Meyer:
Failure Semantics for the Exchange of Information in Multi-agent Systems. ECOOP Workshops 1999: 265
[c41]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/isco/Meyer99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isco/Meyer99
John-Jules Ch. Meyer:
Keynote Address: Formal and Informal Aspects of Intelligent Agent-based Systems. ISCO 1999: 299-310
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/modelage/1997
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modelage/1997
John-Jules Ch. Meyer, Pierre-Yves Schobbens:
Formal Models of Agents, ESPRIT Project ModelAge Final Workshop, Selected Papers. Lecture Notes in Computer Science 1760, Springer 1999, ISBN 3-540-67027-0 [contents]
1998
[j34]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/LinderHM98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/LinderHM98
Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer:
Formalising Abilities and Opportunities of Agents. Fundam. Informaticae 34(1-2): 53-101 (1998)
[j33]
- view
  authority control:
- export record
  dblp key:
  - journals/ijis/GaagM98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijis/GaagM98
Linda C. van der Gaag, John-Jules Ch. Meyer:
Informational independence: Models and normal forms. Int. J. Intell. Syst. 13(1): 83-109 (1998)
[j32]
- view
  authority control:
- export record
  dblp key:
  - journals/jolli/HoekMT98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jolli/HoekMT98
Wiebe van der Hoek, John-Jules Ch. Meyer, Jan Treur:
Temporalizing Epistemic Default Logic. J. Log. Lang. Inf. 7(3): 341-367 (1998)
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/aimsa/EijkBHM98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aimsa/EijkBHM98
Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
Constructing Translations Between Individual Vocabularies in Multi-Agent Systems. AIMSA 1998: 240-253
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/EijkBHM98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/EijkBHM98
Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
Information-Passing and Belief Revision in Multi-Agent Systems. ATAL 1998: 29-45
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/Meyer98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/Meyer98
John-Jules Ch. Meyer:
Agent Languages and Their Relationship to Other Programming Paradigms. ATAL 1998: 309-316
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/HindriksBHM98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/HindriksBHM98
Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
Control Structures of Rule-Based Agent Languages. ATAL 1998: 381-396
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/ausai/HindriksBHM98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ausai/HindriksBHM98
Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
A Formal Embedding of AgentSpeak(L) in 3APL. Australian Joint Conference on Artificial Intelligence 1998: 155-166
[c35]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/MeyerWD98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/MeyerWD98
John-Jules Ch. Meyer, Roel J. Wieringa, Frank Dignum:
The Role of Deontic Logic in the Specification of Information Systems. Logics for Databases and Information Systems 1998: 71-115
[c34]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ecai/EijkBHM98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/EijkBHM98
Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
Systems of Communicating Agents. ECAI 1998: 293-297
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/icmas/EijkBHM98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmas/EijkBHM98
Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
Information-Passing and Belief Revision in Multi-Agent Systems. ICMAS 1998: 473-474
[c32]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/EijkBHM98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/EijkBHM98
Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
Translations of Vocabularies in Systems of Communicating Agents. COTIC 1998: 23
1997
[j31]
- view
  authority control:
- export record
  dblp key:
  - journals/dke/LinderHM97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dke/LinderHM97
Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer:
The Dynamics of Default Reasoning. Data Knowl. Eng. 21(3): 317-346 (1997)
[j30]
- view
  authority control:
- export record
  dblp key:
  - journals/jolli/LinderHM97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jolli/LinderHM97
Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer:
Seeing Is Believing. J. Log. Lang. Inf. 6(1): 33-61 (1997)
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/HindriksBHM97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/HindriksBHM97
Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
Formal Semantics for an Abstract Agent Programming Language. ATAL 1997: 215-229
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/modelage/MeyerS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modelage/MeyerS97
John-Jules Ch. Meyer, Pierre-Yves Schobbens:
Formal Models of Agents: An Introduction. ModelAge Workshop 1997: 1-7
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/modelage/MeyerD97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modelage/MeyerD97
John-Jules Ch. Meyer, Patrick Doherty:
Preferential Action Semantics (Preliminary Report). ModelAge Workshop 1997: 187-201
1996
[j29]
- view
  authority control:
- export record
  dblp key:
  - journals/ail/dAltanMW96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ail/dAltanMW96
P. d'Altan, John-Jules Ch. Meyer, Roel J. Wieringa:
An Integrated Framework for Ought-to-Be and Ought-to-Do Constraints. Artif. Intell. Law 4(2): 77-111 (1996)
[j28]
- view
  authority control:
- export record
  dblp key:
  - journals/amai/MeyerH96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/MeyerH96
John-Jules Ch. Meyer, Wiebe van der Hoek:
A Modal Contrastive Logic: The Logic of 'but'. Ann. Math. Artif. Intell. 17(3-4): 291-313 (1996)
[j27]
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/DignumMW96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/DignumMW96
Frank Dignum, John-Jules Ch. Meyer, Roel J. Wieringa:
Free Choice and Contextually Permitted Actions. Stud Logica 57(1): 193-220 (1996)
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/deon/DignumMWK96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/deon/DignumMWK96
Frank Dignum, John-Jules Ch. Meyer, Roel J. Wieringa, Ruurd Kuiper:
A Modal Approach to Intentions, Commitments and Obligations: Intention plus Commitment Yields Obligation. DEON 1996: 80-97
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/fapr/MeyerL96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fapr/MeyerL96
John-Jules Ch. Meyer, J. C. van Leeuwen:
Possible World Semantics for Analogous Reasoning. FAPR 1996: 414-429
1995
[b1]
- no documents available
  - details & citations
- export record
  dblp key:
  - books/daglib/0082596
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0082596
John-Jules Charles Meyer, Wiebe van der Hoek:
Epistemic logic for AI and computer science. Cambridge tracts in theoretical computer science 41, Cambridge University Press 1995, ISBN 978-0-521-46014-9, pp. I-XIII, 1-354
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/MeyerH95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/MeyerH95
John-Jules Ch. Meyer, Wiebe van der Hoek:
A Default Logic Based on Epistemic States. Fundam. Informaticae 23(1): 33-65 (1995)
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/SpruitWM95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/SpruitWM95
Paul Spruit, Roel J. Wieringa, John-Jules Ch. Meyer:
Aziomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic Databases. J. Log. Comput. 5(1): 27-70 (1995)
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/aiia/LinderHM95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/LinderHM95
Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer:
Seeing is Believing. AI*IA 1995: 402-413
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/LinderHM95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/LinderHM95
Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer:
Formalising Motivational Attitudes of Agents. ATAL 1995: 17-32
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/ecsqaru/LinderHM95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecsqaru/LinderHM95
Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer:
The Dynamics of Default Reasoning (Extended Abstract). ECSQARU 1995: 277-284
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/ki/LinderHM95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/LinderHM95
Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer:
Actions That Make You Change Your Mind (Extended Abstract). KI 1995: 185-196
1994
[c22]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ecai/LinderHM94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/LinderHM94
Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer:
Tests as Epistemic Updates. ECAI 1994: 331-335
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/ipmu/GodoHMS94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipmu/GodoHMS94
Lluís Godo, Wiebe van der Hoek, John-Jules Ch. Meyer, Carles Sierra:
Many-Valued Epistemic States: An Application to a Reflexive Architecture: Milord-II. IPMU 1994: 440-452
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/ki/LinderHM94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/LinderHM94
Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer:
Communicating Rational Agents. KI 1994: 202-213
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/lfcs/HoekLM94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfcs/HoekLM94
Wiebe van der Hoek, Bernd van Linder, John-Jules Ch. Meyer:
A Logic of Capabilities. LFCS 1994: 366-378
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/HoekMT94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/HoekMT94
Wiebe van der Hoek, John-Jules Ch. Meyer, Jan Treur:
Formal Semantics of Temporal Epistemic Reflection. META 1994: 332-352
[c17]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/tark/HulstM94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tark/HulstM94
M. van Hulst, John-Jules Ch. Meyer:
An Epistemic Proof System for Parallel Processes. TARK 1994: 243-254
1993
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/amai/WieringaM93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/WieringaM93
Roel J. Wieringa, John-Jules Ch. Meyer:
Actors, Actions, and Initiative in Normative System Specification. Ann. Math. Artif. Intell. 7(1-4): 289-346 (1993)
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/amai/MeyerH93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/MeyerH93
John-Jules Ch. Meyer, Wiebe van der Hoek:
Counterfactual Reasoning by (means of) Defaults. Ann. Math. Artif. Intell. 9(3-4): 345-360 (1993)
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/ecsqaru/MeyerH93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecsqaru/MeyerH93
John-Jules Ch. Meyer, Wiebe van der Hoek:
A Default Logic Based on Epistemic States. ECSQARU 1993: 265-273
1992
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/ijfcs/HoekM92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijfcs/HoekM92
Wiebe van der Hoek, John-Jules Ch. Meyer:
Making Some Issues of Implicit Knowledge Explicit. Int. J. Found. Comput. Sci. 3(2): 193-223 (1992)
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/fmldo/SpruitWM92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmldo/SpruitWM92
Paul Spruit, Roel J. Wieringa, John-Jules Ch. Meyer:
Dynamic Database Logic: the First-order Case. FMLDO 1992: 103-120
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/lfcs/HoekM92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfcs/HoekM92
Wiebe van der Hoek, John-Jules Ch. Meyer:
Graded Modalities in Epistemic Logic. LFCS 1992: 503-514
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/rex/HoekHM92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rex/HoekHM92
Wiebe van der Hoek, M. van Hulst, John-Jules Ch. Meyer:
Towards an Epistemic Approach to Reasoning about Concurrent Programs. REX Workshop 1992: 261-287
1991
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/amai/WieringaWMD91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/WieringaWMD91
Roel J. Wieringa, Hans Weigand, John-Jules Ch. Meyer, Frank Dignum:
The Inheritance of Dynamic and Deontic Integrity Constraints. Ann. Math. Artif. Intell. 3(2-4): 393-428 (1991)
[c12]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/fmldo/SpruitM91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmldo/SpruitM91
Paul Spruit, John-Jules Ch. Meyer:
Declarative Semantics of Passive and Active Updates in Logic Databases. FMLDO 1991: 37-46
[c11]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/fmldo/SpruitMW91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmldo/SpruitMW91
Paul Spruit, John-Jules Ch. Meyer, Roel J. Wieringa:
Discussion Issues for a Working Group on Update Semantics of Logic Databases. FMLDO 1991: 209-210
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/mfdbs/WieringaM91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfdbs/WieringaM91
Roel J. Wieringa, John-Jules Ch. Meyer:
Actor-Oriented Specification of Deontic Integrity Constraints. MFDBS 1991: 89-103
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/MeyerW91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/MeyerW91
John-Jules Ch. Meyer, Roel J. Wieringa:
Actor-Oriented System Specification with Dynamic Logic. TAPSOFT, Vol.2 1991: 337-357
1990
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/MeyerO89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/MeyerO89
John-Jules Ch. Meyer, Ernst-Rüdiger Olderog:
Hiding in Stream Semantics of Uniform Concurrency. Acta Informatica 27(5): 381-397 (1990)
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/MeyerH90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/MeyerH90
John-Jules Ch. Meyer, Wiebe van der Hoek:
Non-Monotonic Reasoning by Monotonic Means. JELIA 1990: 399-411

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1989
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/dc/MeyerV89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dc/MeyerV89
John-Jules Ch. Meyer, Erik P. de Vink:
Step Semantics for "True" Concurrency with Recursion. Distributed Comput. 3(3): 130-145 (1989)
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/dke/WieringaMW89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dke/WieringaMW89
Roel J. Wieringa, John-Jules Ch. Meyer, Hans Weigand:
Specifying Dynamic and Deontic Integrity Constraints. Data Knowl. Eng. 4: 157-189 (1989)
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/mfcs/MeyerV89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/MeyerV89
John-Jules Ch. Meyer, Erik P. de Vink:
Pomset Semantics for True Concurrency with Synchronization and Recursion (Extended Abstract). MFCS 1989: 360-369
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/mfdbs/MeyerWW89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfdbs/MeyerWW89
John-Jules Ch. Meyer, Hans Weigand, Roel J. Wieringa:
A Specification Language for Static, Dynamic and Deontic Integrity Constraints. MFDBS 1989: 347-366
1988
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/bit/BakkerM88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bit/BakkerM88
J. W. de Bakker, John-Jules Ch. Meyer:
Metric Semantics for Concurrency. BIT 28(3): 504-529 (1988)
[j16]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jcss/BakkerMOZ88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcss/BakkerMOZ88
J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog, Jeffery I. Zucker:
Transition Systems, Metric Spaces and Ready Sets in the Semantics of Uniform Concurrency. J. Comput. Syst. Sci. 36(2): 158-224 (1988)
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Meyer88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Meyer88
John-Jules Ch. Meyer:
A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic. Notre Dame J. Formal Log. 29(1): 109-136 (1988)
[j14]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/MeyerV88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/MeyerV88
John-Jules Ch. Meyer, Erik P. de Vink:
Applications of Compactness in the Smyth Powerdomain of Streams. Theor. Comput. Sci. 57: 251-282 (1988)
1987
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/BakkerM87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/BakkerM87
J. W. de Bakker, John-Jules Ch. Meyer:
Order and Metric in the Stream Semantics of Elemental Concurrency. Acta Informatica 24(5): 491-511 (1987)
[j12]
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/eatcs/Meier87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Meier87
John-Jules Ch. Meyer:
Process modalities obtained as fixed points (Part one). Bull. EATCS 32: 98-106 (1987)
[j11]
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/eatcs/Meyer87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Meyer87
John-Jules Ch. Meyer:
Process modalities obtained as fixed points (part 2). Bull. EATCS 33: 71-82 (1987)
[j10]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BakkerMO87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BakkerMO87
J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog:
Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency. Theor. Comput. Sci. 49: 87-112 (1987)
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/MeyerV87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/MeyerV87
John-Jules Ch. Meyer, Erik P. de Vink:
Applications of Compactness in the Smyth Powerdomain of Streams (Extended Abstract). TAPSOFT, Vol.1 1987: 241-255
1986
[j9]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Meyer86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Meyer86
John-Jules Ch. Meyer:
Merging Regular Processes by Means of Fixed-Point Theory. Theor. Comput. Sci. 45(2): 193-260 (1986)
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/sp/trends86/BakkerKMOZ86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/trends86/BakkerKMOZ86
J. W. de Bakker, Joost N. Kok, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog, Jeffery I. Zucker:
Contrasting Themes in the Semantics of Imperative Concurrency. Current Trends in Concurrency 1986: 51-122
1985
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/BakkerMO85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/BakkerMO85
J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog:
Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency. ICALP 1985: 149-157
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/stoc/BakkerMOZ85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stoc/BakkerMOZ85
J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog, Jeffery I. Zucker:
Transition Systems, Infinitary Languages and the Semantics of Uniform Concurrency. STOC 1985: 252-262
1984
[j8]
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/eik/BergstraM84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eik/BergstraM84
Jan A. Bergstra, John-Jules Ch. Meyer:
On Specifying Sets of Integers. J. Inf. Process. Cybern. 20(10/11): 531-541 (1984)
[j7]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BakkerMZ84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BakkerMZ84
J. W. de Bakker, John-Jules Ch. Meyer, Jeffery I. Zucker:
On Infinite Computations in Denotational Semantics. Theor. Comput. Sci. 29: 229-230 (1984)
[j6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BakkerBKM84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BakkerBKM84
J. W. de Bakker, Jan A. Bergstra, Jan Willem Klop, John-Jules Ch. Meyer:
Linear Time and Branching Time Semantics for Recursion with Merge. Theor. Comput. Sci. 34: 135-156 (1984)
1983
[j5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BakkerMZ83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BakkerMZ83
J. W. de Bakker, John-Jules Ch. Meyer, Jeffery I. Zucker:
On Infinite Computations in Denotational Semantics. Theor. Comput. Sci. 26: 53-82 (1983)
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/BakkerBKM83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/BakkerBKM83
J. W. de Bakker, Jan A. Bergstra, Jan Willem Klop, John-Jules Ch. Meyer:
Linear Time and Branching Time Semantics for Recursion with Merge. ICALP 1983: 39-51
1982
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/ipl/BergstraM82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipl/BergstraM82
Jan A. Bergstra, John-Jules Ch. Meyer:
A Simple Transfer Lemma for Algebraic Specifications. Inf. Process. Lett. 14(2): 80-85 (1982)
[j3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BergstraM82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BergstraM82
Jan A. Bergstra, John-Jules Ch. Meyer:
On the Elimination of Iteration Quantifiers in a Fragment of Algorithmic Logic. Theor. Comput. Sci. 21: 269-279 (1982)
1981
[j2]
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/fuin/BergstraM81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/BergstraM81
Jan A. Bergstra, John-Jules Ch. Meyer:
On the quantifier-free fragment of 'Logic of effective definitions'. Fundam. Informaticae 4(4): 935-956 (1981)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/sigplan/BergstraM81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigplan/BergstraM81
Jan A. Bergstra, John-Jules Ch. Meyer:
I/O-computable data structures. ACM SIGPLAN Notices 16(4): 27-32 (1981)
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/lop/BakkerKM81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lop/BakkerKM81
J. W. de Bakker, Jan Willem Klop, John-Jules Ch. Meyer:
Correctness of Programs with Function Procedures. Logic of Programs 1981: 94-112

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.