publications:
- title: "A Truly Concurrent Model for Interacting Agents"
  author:
  - name: "Wieke de Vries"
    link: "https://researchr.org/alias/wieke-de-vries"
  - name: "Frank S. de Boer"
    link: "http://homepages.cwi.nl/~frb/"
  - name: "Wiebe van der Hoek"
    link: "http://www.csc.liv.ac.uk/~wiebe/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2132/21320016.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2132/21320016.htm"
  tags:
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/VriesBHM01"
  cites: 0
  citedby: 0
  pages: "16-30"
  booktitle: "prima"
  kind: "inproceedings"
  key: "VriesBHM01"
- title: "Editorial"
  author:
  - name: "Lou Goble"
    link: "https://researchr.org/alias/lou-goble"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.jal.2007.06.004"
  links:
    doi: "http://dx.doi.org/10.1016/j.jal.2007.06.004"
  researchr: "https://researchr.org/publication/GobleM08"
  cites: 0
  citedby: 0
  journal: "japll"
  volume: "6"
  number: "2"
  pages: "133-134"
  kind: "article"
  key: "GobleM08"
- title: "A Formal Model of Emotions: Integrating Qualitative and Quantitative Aspects"
  author:
  - name: "Bas R. Steunebrink"
    link: "https://researchr.org/alias/bas-r.-steunebrink"
  - name: "Mehdi Dastani"
    link: "http://people.cs.uu.nl/mehdi/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "2008"
  doi: "http://dx.doi.org/10.3233/978-1-58603-891-5-256"
  links:
    doi: "http://dx.doi.org/10.3233/978-1-58603-891-5-256"
  researchr: "https://researchr.org/publication/SteunebrinkDM08"
  cites: 0
  citedby: 0
  pages: "256-260"
  booktitle: "ecai"
  kind: "inproceedings"
  key: "SteunebrinkDM08"
- title: "Iterated Belief Change in Multi-Agent Systems"
  author:
  - name: "Jan-Willem Roorda"
    link: "https://researchr.org/alias/jan-willem-roorda"
  - name: "Wiebe van der Hoek"
    link: "http://www.csc.liv.ac.uk/~wiebe/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "2003"
  doi: "http://www3.oup.co.uk/igpl/Volume_11/Issue_02/#Roorda"
  links:
    doi: "http://www3.oup.co.uk/igpl/Volume_11/Issue_02/#Roorda"
  researchr: "https://researchr.org/publication/RoordaHM03"
  cites: 0
  citedby: 0
  journal: "igpl"
  volume: "11"
  number: "2"
  pages: "223-246"
  kind: "article"
  key: "RoordaHM03"
- title: "Tests as Epistemic Updates"
  author:
  - name: "Bernd van Linder"
    link: "https://researchr.org/alias/bernd-van-linder"
  - name: "Wiebe van der Hoek"
    link: "http://www.csc.liv.ac.uk/~wiebe/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "1994"
  tags:
  - "testing"
  researchr: "https://researchr.org/publication/LinderHM94"
  cites: 0
  citedby: 0
  pages: "331-335"
  booktitle: "ecai"
  kind: "inproceedings"
  key: "LinderHM94"
- title: "Reo Connectors as Coordination Artifacts in 2APL Systems"
  author:
  - name: "Farhad Arbab"
    link: "https://researchr.org/alias/farhad-arbab"
  - name: "Lacramioara Astefanoaei"
    link: "https://researchr.org/alias/lacramioara-astefanoaei"
  - name: "Frank S. de Boer"
    link: "http://homepages.cwi.nl/~frb/"
  - name: "Mehdi Dastani"
    link: "http://people.cs.uu.nl/mehdi/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  - name: "Nick A. M. Tinnemeier"
    link: "https://researchr.org/alias/nick-a.-m.-tinnemeier"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-89674-6_8"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-89674-6_8"
  researchr: "https://researchr.org/publication/ArbabABDMT08"
  cites: 0
  citedby: 0
  pages: "42-53"
  booktitle: "prima"
  kind: "inproceedings"
  key: "ArbabABDMT08"
- title: "Semantics of Communicating Agents Based on Deduction and Abduction"
  author:
  - name: "Koen V. Hindriks"
    link: "http://mmi.tudelft.nl/~koen/"
  - name: "Frank S. de Boer"
    link: "http://homepages.cwi.nl/~frb/"
  - name: "Wiebe van der Hoek"
    link: "http://www.csc.liv.ac.uk/~wiebe/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "2000"
  tags:
  - "semantics"
  - "rule-based"
  researchr: "https://researchr.org/publication/HindriksBHM00"
  cites: 0
  citedby: 0
  pages: "63-79"
  booktitle: "agentCL"
  kind: "inproceedings"
  key: "HindriksBHM00"
- title: "A Modal Contrastive Logic: The Logic of  but "
  author:
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  - name: "Wiebe van der Hoek"
    link: "http://www.csc.liv.ac.uk/~wiebe/"
  year: "1996"
  tags:
  - "modal logic"
  - "logic"
  researchr: "https://researchr.org/publication/MeyerH96"
  cites: 0
  citedby: 0
  journal: "AMAI"
  volume: "17"
  number: "3-4"
  pages: "291-313"
  kind: "article"
  key: "MeyerH96"
- title: "Process modalities obtained as fixed points (Part one)"
  author:
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "1987"
  researchr: "https://researchr.org/publication/Meier87%3A0"
  cites: 0
  citedby: 0
  journal: "eatcs"
  volume: "32"
  pages: "98-106"
  kind: "article"
  key: "Meier87:0"
- title: "Model Checking Communicative Agent-Based Systems"
  author:
  - name: "Jamal Bentahar"
    link: "https://researchr.org/alias/jamal-bentahar"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "2007"
  tags:
  - "rule-based"
  - "agent based modeling"
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/BentaharM07%3A0"
  cites: 0
  citedby: 0
  pages: "239-265"
  booktitle: "somet"
  kind: "inproceedings"
  key: "BentaharM07:0"
- title: "Modal Logic with Bounded Quantification over Worlds"
  author:
  - name: "Rogier M. van Eijk"
    link: "https://researchr.org/alias/rogier-m.-van-eijk"
  - name: "Frank S. de Boer"
    link: "http://homepages.cwi.nl/~frb/"
  - name: "Wiebe van der Hoek"
    link: "http://www.csc.liv.ac.uk/~wiebe/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "2001"
  doi: "http://www3.oup.co.uk/logcom/hdb/Volume_11/Issue_05/110701.sgm.abs.html"
  links:
    doi: "http://www3.oup.co.uk/logcom/hdb/Volume_11/Issue_05/110701.sgm.abs.html"
  tags:
  - "modal logic"
  - "logic"
  researchr: "https://researchr.org/publication/EijkBHM01"
  cites: 0
  citedby: 0
  journal: "logcom"
  volume: "11"
  number: "5"
  pages: "701-715"
  kind: "article"
  key: "EijkBHM01"
- title: "Programming Multi-Agent Systems in 3APL"
  author:
  - name: "Mehdi Dastani"
    link: "http://people.cs.uu.nl/mehdi/"
  - name: "M. Birna van Riemsdijk"
    link: "http://mmi.tudelft.nl/~birna/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "2005"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/DastaniRM05"
  cites: 0
  citedby: 0
  pages: "39-67"
  booktitle: "Multi-Agent Programming: Languages, Platforms and Applications"
  editor:
  - name: "Rafael H. Bordini"
    link: "https://researchr.org/alias/rafael-h.-bordini"
  - name: "Mehdi Dastani"
    link: "http://people.cs.uu.nl/mehdi/"
  - name: "Jürgen Dix"
    link: "https://researchr.org/alias/j%C3%BCrgen-dix"
  - name: "Amal El Fallah-Seghrouchni"
    link: "https://researchr.org/alias/amal-el-fallah-seghrouchni"
  volume: "15"
  series: "Multiagent Systems, Artificial Societies, and Simulated Organizations"
  publisher: "Springer"
  isbn: "0-387-24568-5"
  kind: "incollection"
  key: "DastaniRM05"
- title: "Control Structures of Rule-Based Agent Languages"
  author:
  - name: "Koen V. Hindriks"
    link: "http://mmi.tudelft.nl/~koen/"
  - name: "Frank S. de Boer"
    link: "http://homepages.cwi.nl/~frb/"
  - name: "Wiebe van der Hoek"
    link: "http://www.csc.liv.ac.uk/~wiebe/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "1998"
  tags:
  - "rule-based"
  - "rules"
  researchr: "https://researchr.org/publication/HindriksBHM98"
  cites: 0
  citedby: 0
  pages: "381-396"
  booktitle: "atal"
  kind: "inproceedings"
  key: "HindriksBHM98"
- title: "A Deontic Logic for Socially Optimal Norms"
  author:
  - name: "Jan Broersen"
    link: "https://researchr.org/alias/jan-broersen"
  - name: "Rosja Mastop"
    link: "https://researchr.org/alias/rosja-mastop"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  - name: "Paolo Turrini"
    link: "https://researchr.org/alias/paolo-turrini"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-70525-3_17"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-70525-3_17"
  tags:
  - "logic"
  - "social"
  researchr: "https://researchr.org/publication/BroersenMMT08%3A1"
  cites: 0
  citedby: 0
  pages: "218-232"
  booktitle: "deon"
  kind: "inproceedings"
  key: "BroersenMMT08:1"
- title: "A Default Logic Based on Epistemic States"
  author:
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  - name: "Wiebe van der Hoek"
    link: "http://www.csc.liv.ac.uk/~wiebe/"
  year: "1995"
  tags:
  - "rule-based"
  - "logic"
  researchr: "https://researchr.org/publication/MeyerH95"
  cites: 0
  citedby: 0
  journal: "FUIN"
  volume: "23"
  number: "1"
  pages: "33-65"
  kind: "article"
  key: "MeyerH95"
- title: "Towards Programming Multimodal Dialogues"
  author:
  - name: "N. L. Vergunst"
    link: "https://researchr.org/alias/n.-l.-vergunst"
  - name: "Bas R. Steunebrink"
    link: "https://researchr.org/alias/bas-r.-steunebrink"
  - name: "Mehdi Dastani"
    link: "http://people.cs.uu.nl/mehdi/"
  - name: "F. P. M. Dignum"
    link: "https://researchr.org/alias/f.-p.-m.-dignum"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "2007"
  doi: "http://dx.doi.org/10.1109/WIIATW.2007.4427603"
  links:
    doi: "http://dx.doi.org/10.1109/WIIATW.2007.4427603"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/VergunstSDDM07"
  cites: 0
  citedby: 0
  pages: "342-345"
  booktitle: "iat"
  kind: "inproceedings"
  key: "VergunstSDDM07"
- title: "06261 Abstracts Collection -- Foundations and Practice of Programming Multi-Agent Systems"
  author:
  - name: "Mehdi Dastani"
    link: "http://people.cs.uu.nl/mehdi/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  - name: "Rafael H. Bordini"
    link: "https://researchr.org/alias/rafael-h.-bordini"
  year: "2006"
  doi: "http://drops.dagstuhl.de/opus/volltexte/2007/847"
  links:
    doi: "http://drops.dagstuhl.de/opus/volltexte/2007/847"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/DastaniMB06a"
  cites: 0
  citedby: 0
  booktitle: "Dagstuhl"
  kind: "inproceedings"
  key: "DastaniMB06a"
- title: "Subgoal Semantics in Agent Programming"
  author:
  - name: "M. Birna van Riemsdijk"
    link: "http://mmi.tudelft.nl/~birna/"
  - name: "Mehdi Dastani"
    link: "http://people.cs.uu.nl/mehdi/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11595014_54"
  links:
    doi: "http://dx.doi.org/10.1007/11595014_54"
  tags:
  - "semantics"
  - "programming"
  researchr: "https://researchr.org/publication/RiemsdijkDM05"
  cites: 0
  citedby: 0
  pages: "548-559"
  booktitle: "epia"
  kind: "inproceedings"
  key: "RiemsdijkDM05"
- title: "A Compositional Semantics of Plan Revision in Intelligent Agents"
  author:
  - name: "M. Birna van Riemsdijk"
    link: "http://mmi.tudelft.nl/~birna/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11784180_27"
  links:
    doi: "http://dx.doi.org/10.1007/11784180_27"
  tags:
  - "semantics"
  - "composition"
  researchr: "https://researchr.org/publication/RiemsdijkM06"
  cites: 0
  citedby: 0
  pages: "353-367"
  booktitle: "amast"
  kind: "inproceedings"
  key: "RiemsdijkM06"
- title: "Can I Please Drop It? Dialogues About Belief Contraction"
  author:
  - name: "Henk-Jan Lebbink"
    link: "https://researchr.org/alias/henk-jan-lebbink"
  - name: "Cilia Witteman"
    link: "https://researchr.org/alias/cilia-witteman"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/978-3-540-68143-4_16"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-68143-4_16"
  researchr: "https://researchr.org/publication/LebbinkWM06"
  cites: 0
  citedby: 0
  pages: "227-242"
  booktitle: "acom"
  kind: "inproceedings"
  key: "LebbinkWM06"
- title: "A Default Logic Based on Epistemic States"
  author:
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  - name: "Wiebe van der Hoek"
    link: "http://www.csc.liv.ac.uk/~wiebe/"
  year: "1993"
  tags:
  - "rule-based"
  - "logic"
  researchr: "https://researchr.org/publication/MeyerH93%3A0"
  cites: 0
  citedby: 0
  pages: "265-273"
  booktitle: "ecsqaru"
  kind: "inproceedings"
  key: "MeyerH93:0"
- title: "Personality-Based Practical Reasoning"
  author:
  - name: "Thomas L. van der Weide"
    link: "https://researchr.org/alias/thomas-l.-van-der-weide"
  - name: "Frank Dignum"
    link: "https://researchr.org/alias/frank-dignum"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  - name: "Henry Prakken"
    link: "https://researchr.org/alias/henry-prakken"
  - name: "Gerard Vreeswijk"
    link: "https://researchr.org/alias/gerard-vreeswijk"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-642-00207-6_1"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-00207-6_1"
  tags:
  - "rule-based"
  researchr: "https://researchr.org/publication/WeideDMPV08"
  cites: 0
  citedby: 0
  pages: "3-18"
  booktitle: "argmas"
  kind: "inproceedings"
  key: "WeideDMPV08"
- title: "Programming Agents with Emotions"
  author:
  - name: "Mehdi Dastani"
    link: "http://people.cs.uu.nl/mehdi/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "2006"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/DastaniM06"
  cites: 0
  citedby: 0
  pages: "215-219"
  booktitle: "ecai"
  kind: "inproceedings"
  key: "DastaniM06"
- title: "A grounded specification language for agent programs"
  author:
  - name: "Mehdi Dastani"
    link: "http://people.cs.uu.nl/mehdi/"
  - name: "M. Birna van Riemsdijk"
    link: "http://mmi.tudelft.nl/~birna/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1329125.1329304"
  links:
    doi: "http://doi.acm.org/10.1145/1329125.1329304"
  tags:
  - "programming languages"
  researchr: "https://researchr.org/publication/DastaniRM07"
  cites: 0
  citedby: 0
  pages: "147"
  booktitle: "atal"
  kind: "inproceedings"
  key: "DastaniRM07"
- title: "On Programming KARO Agents"
  author:
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  - name: "Frank S. de Boer"
    link: "http://homepages.cwi.nl/~frb/"
  - name: "Rogier M. van Eijk"
    link: "https://researchr.org/alias/rogier-m.-van-eijk"
  - name: "Koen V. Hindriks"
    link: "http://mmi.tudelft.nl/~koen/"
  - name: "Wiebe van der Hoek"
    link: "http://www.csc.liv.ac.uk/~wiebe/"
  year: "2001"
  doi: "http://www3.oup.co.uk/igpl/Volume_09/Issue_02/#Meyer"
  links:
    doi: "http://www3.oup.co.uk/igpl/Volume_09/Issue_02/#Meyer"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/MeyerBEHH01"
  cites: 0
  citedby: 0
  journal: "igpl"
  volume: "9"
  number: "2"
  pages: "245-256"
  kind: "article"
  key: "MeyerBEHH01"
- title: "Agent Programming in Dribble: From Beliefs to Goals with Plans"
  author:
  - name: "M. Birna van Riemsdijk"
    link: "http://mmi.tudelft.nl/~birna/"
  - name: "Wiebe van der Hoek"
    link: "http://www.csc.liv.ac.uk/~wiebe/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "2002"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2699&spage=294"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2699&spage=294"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/RiemsdijkHM02"
  cites: 0
  citedby: 0
  pages: "294-295"
  booktitle: "faabs"
  kind: "inproceedings"
  key: "RiemsdijkHM02"
- title: "Rational Agents That Blush"
  author:
  - name: "Paolo Turrini"
    link: "https://researchr.org/alias/paolo-turrini"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  - name: "Cristiano Castelfranchi"
    link: "https://researchr.org/alias/cristiano-castelfranchi"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-74889-2_28"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-74889-2_28"
  researchr: "https://researchr.org/publication/TurriniMC07"
  cites: 0
  citedby: 0
  pages: "314-325"
  booktitle: "acii"
  kind: "inproceedings"
  key: "TurriniMC07"
- title: "Goal-oriented modularity in agent programming"
  author:
  - name: "M. Birna van Riemsdijk"
    link: "http://mmi.tudelft.nl/~birna/"
  - name: "Mehdi Dastani"
    link: "http://people.cs.uu.nl/mehdi/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  - name: "Frank S. de Boer"
    link: "http://homepages.cwi.nl/~frb/"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1160633.1160864"
  links:
    doi: "http://doi.acm.org/10.1145/1160633.1160864"
  tags:
  - "object-oriented programming"
  - "programming"
  - "subject-oriented programming"
  - "feature-oriented programming"
  researchr: "https://researchr.org/publication/RiemsdijkDMB06"
  cites: 0
  citedby: 0
  pages: "1271-1278"
  booktitle: "atal"
  kind: "inproceedings"
  key: "RiemsdijkDMB06"
- title: "A Logic of Agent Programs"
  author:
  - name: "Natasha Alechina"
    link: "https://researchr.org/alias/natasha-alechina"
  - name: "Mehdi Dastani"
    link: "http://people.cs.uu.nl/mehdi/"
  - name: "Brian Logan"
    link: "https://researchr.org/alias/brian-logan"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "2007"
  tags:
  - "logic programming"
  - "logic"
  researchr: "https://researchr.org/publication/AlechinaDLM07"
  cites: 0
  citedby: 0
  pages: "795-800"
  booktitle: "AAAI"
  kind: "inproceedings"
  key: "AlechinaDLM07"
- title: "A Logic of Emotions for Intelligent Agents"
  author:
  - name: "Bas R. Steunebrink"
    link: "https://researchr.org/alias/bas-r.-steunebrink"
  - name: "Mehdi Dastani"
    link: "http://people.cs.uu.nl/mehdi/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "2007"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/SteunebrinkDM07"
  cites: 0
  citedby: 0
  pages: "142-147"
  booktitle: "AAAI"
  kind: "inproceedings"
  key: "SteunebrinkDM07"
- title: "Communicating Rational Agents"
  author:
  - name: "Bernd van Linder"
    link: "https://researchr.org/alias/bernd-van-linder"
  - name: "Wiebe van der Hoek"
    link: "http://www.csc.liv.ac.uk/~wiebe/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "1994"
  researchr: "https://researchr.org/publication/LinderHM94%3A0"
  cites: 0
  citedby: 0
  pages: "202-213"
  booktitle: "ki"
  kind: "inproceedings"
  key: "LinderHM94:0"
- title: "Semantics of Plan Revision in Intelligent Agents"
  author:
  - name: "M. Birna van Riemsdijk"
    link: "http://mmi.tudelft.nl/~birna/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  - name: "Frank S. de Boer"
    link: "http://homepages.cwi.nl/~frb/"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3116&spage=426"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3116&spage=426"
  tags:
  - "semantics"
  researchr: "https://researchr.org/publication/RiemsdijkMB04"
  cites: 0
  citedby: 0
  pages: "426-442"
  booktitle: "amast"
  kind: "inproceedings"
  key: "RiemsdijkMB04"
- title: "Designing protocols for agent institutions"
  author:
  - name: "Huib Aldewereld"
    link: "https://researchr.org/alias/huib-aldewereld"
  - name: "Frank Dignum"
    link: "https://researchr.org/alias/frank-dignum"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1329125.1329163"
  links:
    doi: "http://doi.acm.org/10.1145/1329125.1329163"
  tags:
  - "protocol"
  researchr: "https://researchr.org/publication/AldewereldDM07"
  cites: 0
  citedby: 0
  pages: "31"
  booktitle: "atal"
  kind: "inproceedings"
  key: "AldewereldDM07"
- title: "Formalising Motivational Attitudes of Agents"
  author:
  - name: "Bernd van Linder"
    link: "https://researchr.org/alias/bernd-van-linder"
  - name: "Wiebe van der Hoek"
    link: "http://www.csc.liv.ac.uk/~wiebe/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "1995"
  researchr: "https://researchr.org/publication/LinderHM95%3A0"
  cites: 0
  citedby: 0
  pages: "17-32"
  booktitle: "atal"
  kind: "inproceedings"
  key: "LinderHM95:0"
- title: "Iterated belief change in multi-agent systems"
  author:
  - name: "Jan-Willem Roorda"
    link: "https://researchr.org/alias/jan-willem-roorda"
  - name: "Wiebe van der Hoek"
    link: "http://www.csc.liv.ac.uk/~wiebe/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "2002"
  doi: "http://doi.acm.org/10.1145/544862.544949"
  links:
    doi: "http://doi.acm.org/10.1145/544862.544949"
  researchr: "https://researchr.org/publication/RoordaHM02"
  cites: 0
  citedby: 0
  pages: "889-896"
  booktitle: "atal"
  kind: "inproceedings"
  key: "RoordaHM02"
- title: "Goal Types in Agent Programming"
  author:
  - name: "Mehdi Dastani"
    link: "http://people.cs.uu.nl/mehdi/"
  - name: "M. Birna van Riemsdijk"
    link: "http://mmi.tudelft.nl/~birna/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "2006"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/DastaniRM06"
  cites: 0
  citedby: 0
  pages: "220-224"
  booktitle: "ecai"
  kind: "inproceedings"
  key: "DastaniRM06"
- title: "ANEMONE: an effective minimal ontology negotiation environment"
  author:
  - name: "Jurriaan van Diggelen"
    link: "https://researchr.org/alias/jurriaan-van-diggelen"
  - name: "Robbert-Jan Beun"
    link: "https://researchr.org/alias/robbert-jan-beun"
  - name: "Frank Dignum"
    link: "https://researchr.org/alias/frank-dignum"
  - name: "Rogier M. van Eijk"
    link: "https://researchr.org/alias/rogier-m.-van-eijk"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1160633.1160794"
  links:
    doi: "http://doi.acm.org/10.1145/1160633.1160794"
  tags:
  - "ontologies"
  - "ontology"
  - "meta-model"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/DiggelenBDEM06%3A0"
  cites: 0
  citedby: 0
  pages: "899-906"
  booktitle: "atal"
  kind: "inproceedings"
  key: "DiggelenBDEM06:0"
- title: "Failure Semantics for the Exchange of Information in Multi-Agent Systems"
  author:
  - name: "Frank S. de Boer"
    link: "http://homepages.cwi.nl/~frb/"
  - name: "Rogier M. van Eijk"
    link: "https://researchr.org/alias/rogier-m.-van-eijk"
  - name: "Wiebe van der Hoek"
    link: "http://www.csc.liv.ac.uk/~wiebe/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1877/18770214.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1877/18770214.htm"
  tags:
  - "semantics"
  researchr: "https://researchr.org/publication/BoerEHM00"
  cites: 0
  citedby: 0
  pages: "214-228"
  booktitle: "concur"
  kind: "inproceedings"
  key: "BoerEHM00"
- title: "Semantics of declarative goals in agent programming"
  author:
  - name: "M. Birna van Riemsdijk"
    link: "http://mmi.tudelft.nl/~birna/"
  - name: "Mehdi Dastani"
    link: "http://people.cs.uu.nl/mehdi/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1082473.1082494"
  links:
    doi: "http://doi.acm.org/10.1145/1082473.1082494"
  tags:
  - "semantics"
  - "programming"
  researchr: "https://researchr.org/publication/RiemsdijkDM05%3A0"
  cites: 0
  citedby: 0
  pages: "133-140"
  booktitle: "atal"
  kind: "inproceedings"
  key: "RiemsdijkDM05:0"
- title: "Seeing is Believing"
  author:
  - name: "Bernd van Linder"
    link: "https://researchr.org/alias/bernd-van-linder"
  - name: "Wiebe van der Hoek"
    link: "http://www.csc.liv.ac.uk/~wiebe/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "1995"
  researchr: "https://researchr.org/publication/LinderHM95"
  cites: 0
  citedby: 0
  pages: "402-413"
  booktitle: "aiia"
  kind: "inproceedings"
  key: "LinderHM95"
- title: "On Agents That Have the Ability to Choose"
  author:
  - name: "Wiebe van der Hoek"
    link: "http://www.csc.liv.ac.uk/~wiebe/"
  - name: "Bernd van Linder"
    link: "https://researchr.org/alias/bernd-van-linder"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "2000"
  researchr: "https://researchr.org/publication/HoekLM00"
  cites: 0
  citedby: 0
  journal: "sLogica"
  volume: "66"
  number: "1"
  pages: "79-119"
  kind: "article"
  key: "HoekLM00"
- title: "Dynamics of Declarative Goals in Agent Programming"
  author:
  - name: "M. Birna van Riemsdijk"
    link: "http://mmi.tudelft.nl/~birna/"
  - name: "Mehdi Dastani"
    link: "http://people.cs.uu.nl/mehdi/"
  - name: "Frank Dignum"
    link: "https://researchr.org/alias/frank-dignum"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "2004"
  doi: "http://dx.doi.org/10.1007/11493402_1"
  links:
    doi: "http://dx.doi.org/10.1007/11493402_1"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/RiemsdijkDDM04"
  cites: 0
  citedby: 0
  pages: "1-18"
  booktitle: "dalt"
  kind: "inproceedings"
  key: "RiemsdijkDDM04"
- title: "Seeing Is Believing"
  author:
  - name: "Bernd van Linder"
    link: "https://researchr.org/alias/bernd-van-linder"
  - name: "Wiebe van der Hoek"
    link: "http://www.csc.liv.ac.uk/~wiebe/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "1997"
  researchr: "https://researchr.org/publication/LinderHM97"
  cites: 0
  citedby: 0
  journal: "jolli"
  volume: "6"
  number: "1"
  pages: "33-61"
  kind: "article"
  key: "LinderHM97"
- title: "The Dynamics of Default Reasoning (Extended Abstract)"
  author:
  - name: "Bernd van Linder"
    link: "https://researchr.org/alias/bernd-van-linder"
  - name: "Wiebe van der Hoek"
    link: "http://www.csc.liv.ac.uk/~wiebe/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "1995"
  researchr: "https://researchr.org/publication/LinderHM95%3A1"
  cites: 0
  citedby: 0
  pages: "277-284"
  booktitle: "ecsqaru"
  kind: "inproceedings"
  key: "LinderHM95:1"
- title: "Counterfactual Reasoning by (means of) Defaults"
  author:
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  - name: "Wiebe van der Hoek"
    link: "http://www.csc.liv.ac.uk/~wiebe/"
  year: "1993"
  researchr: "https://researchr.org/publication/MeyerH93"
  cites: 0
  citedby: 0
  journal: "AMAI"
  volume: "9"
  number: "3-4"
  pages: "345-360"
  kind: "article"
  key: "MeyerH93"
- title: "A Logical Model for Commitment and Argument Network for Agent Communication"
  author:
  - name: "Jamal Bentahar"
    link: "https://researchr.org/alias/jamal-bentahar"
  - name: "Bernard Moulin"
    link: "https://researchr.org/alias/bernard-moulin"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  - name: "Brahim Chaib-draa"
    link: "https://researchr.org/alias/brahim-chaib-draa"
  year: "2004"
  doi: "http://csdl.computer.org/comp/proceedings/aamas/2004/2092/02/20920792abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/aamas/2004/2092/02/20920792abs.htm"
  researchr: "https://researchr.org/publication/BentaharMMC04%3A0"
  cites: 0
  citedby: 0
  pages: "792-799"
  booktitle: "atal"
  kind: "inproceedings"
  key: "BentaharMMC04:0"
- title: "Enacting and Deacting Roles in Agent Programming"
  author:
  - name: "Mehdi Dastani"
    link: "http://people.cs.uu.nl/mehdi/"
  - name: "M. Birna van Riemsdijk"
    link: "http://mmi.tudelft.nl/~birna/"
  - name: "Joris Hulstijn"
    link: "https://researchr.org/alias/joris-hulstijn"
  - name: "Frank Dignum"
    link: "https://researchr.org/alias/frank-dignum"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3382&spage=189"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3382&spage=189"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/DastaniRHDM04"
  cites: 0
  citedby: 0
  pages: "189-204"
  booktitle: "aose"
  kind: "inproceedings"
  key: "DastaniRHDM04"
- title: "A Fixed-point Characterization of a Deontic Logic of Regular Action"
  author:
  - name: "Jan Broersen"
    link: "https://researchr.org/alias/jan-broersen"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "2002"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/BroersenWM02"
  cites: 0
  citedby: 0
  journal: "FUIN"
  volume: "49"
  number: "4"
  pages: "107-128"
  kind: "article"
  key: "BroersenWM02"
- title: "Dynamic Logic for Plan Revision in Intelligent Agents"
  author:
  - name: "M. Birna van Riemsdijk"
    link: "http://mmi.tudelft.nl/~birna/"
  - name: "Frank S. de Boer"
    link: "http://homepages.cwi.nl/~frb/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "2004"
  doi: "http://dx.doi.org/10.1007/11533092_2"
  links:
    doi: "http://dx.doi.org/10.1007/11533092_2"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/RiemsdijkBM04"
  cites: 0
  citedby: 0
  pages: "16-32"
  booktitle: "clima"
  kind: "inproceedings"
  key: "RiemsdijkBM04"
- title: "A Programming Language for Cognitive Agents Goal Directed 3APL"
  author:
  - name: "Mehdi Dastani"
    link: "http://people.cs.uu.nl/mehdi/"
  - name: "M. Birna van Riemsdijk"
    link: "http://mmi.tudelft.nl/~birna/"
  - name: "Frank Dignum"
    link: "https://researchr.org/alias/frank-dignum"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3067&spage=111"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3067&spage=111"
  tags:
  - "programming languages"
  - "programming"
  researchr: "https://researchr.org/publication/DastaniRDM03"
  cites: 0
  citedby: 0
  pages: "111-130"
  booktitle: "promas"
  kind: "inproceedings"
  key: "DastaniRDM03"
- title: "Reasoning about agents in the KARO framework"
  author:
  - name: "Ullrich Hustadt"
    link: "https://researchr.org/alias/ullrich-hustadt"
  - name: "Clare Dixon"
    link: "https://researchr.org/alias/clare-dixon"
  - name: "Renate A. Schmidt"
    link: "https://researchr.org/alias/renate-a.-schmidt"
  - name: "Michael Fisher"
    link: "https://researchr.org/alias/michael-fisher"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  - name: "Wiebe van der Hoek"
    link: "http://www.csc.liv.ac.uk/~wiebe/"
  year: "2001"
  doi: "http://www.computer.org/proceedings/time/1107/11070206abs.htm"
  links:
    doi: "http://www.computer.org/proceedings/time/1107/11070206abs.htm"
  researchr: "https://researchr.org/publication/HustadtDSFMH01"
  cites: 0
  citedby: 0
  pages: "206-213"
  booktitle: "rtas"
  kind: "inproceedings"
  key: "HustadtDSFMH01"
- title: "Programming agent deliberation: an approach illustrated using the 3APL language"
  author:
  - name: "Mehdi Dastani"
    link: "http://people.cs.uu.nl/mehdi/"
  - name: "Frank S. de Boer"
    link: "http://homepages.cwi.nl/~frb/"
  - name: "Frank Dignum"
    link: "https://researchr.org/alias/frank-dignum"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "2003"
  doi: "http://doi.acm.org/10.1145/860575.860592"
  links:
    doi: "http://doi.acm.org/10.1145/860575.860592"
  tags:
  - "programming languages"
  - "programming"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/DastaniBDM03"
  cites: 0
  citedby: 0
  pages: "97-104"
  booktitle: "atal"
  kind: "inproceedings"
  key: "DastaniBDM03"
- title: "A Modal Characterization of Nash Equilibrium"
  author:
  - name: "Paul Harrenstein"
    link: "https://researchr.org/alias/paul-harrenstein"
  - name: "Wiebe van der Hoek"
    link: "http://www.csc.liv.ac.uk/~wiebe/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  - name: "Cees Witteveen"
    link: "http://www.st.ewi.tudelft.nl/~witt/"
  year: "2003"
  doi: "http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=57&issue=2&spage=281"
  links:
    doi: "http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=57&issue=2&spage=281"
  researchr: "https://researchr.org/publication/HarrensteinHMW03"
  cites: 0
  citedby: 0
  journal: "FUIN"
  volume: "57"
  number: "2-4"
  pages: "281-321"
  kind: "article"
  key: "HarrensteinHMW03"
- title: "A fully abstract model for the exchange of information in multi-agent systems"
  author:
  - name: "Frank S. de Boer"
    link: "http://homepages.cwi.nl/~frb/"
  - name: "Rogier M. van Eijk"
    link: "https://researchr.org/alias/rogier-m.-van-eijk"
  - name: "Wiebe van der Hoek"
    link: "http://www.csc.liv.ac.uk/~wiebe/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "2003"
  tags:
  - "information models"
  researchr: "https://researchr.org/publication/BoerEHM03"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "290"
  number: "3"
  pages: "1753-1773"
  kind: "article"
  key: "BoerEHM03"
- title: "Contextual Taxonomies"
  author:
  - name: "Davide Grossi"
    link: "https://researchr.org/alias/davide-grossi"
  - name: "Frank Dignum"
    link: "https://researchr.org/alias/frank-dignum"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "2004"
  doi: "http://dx.doi.org/10.1007/11533092_3"
  links:
    doi: "http://dx.doi.org/10.1007/11533092_3"
  tags:
  - "taxonomy"
  researchr: "https://researchr.org/publication/GrossiDM04"
  cites: 0
  citedby: 0
  pages: "33-51"
  booktitle: "clima"
  kind: "inproceedings"
  key: "GrossiDM04"
- title: "Dynamic Logic for Plan Revision in Agent Programming"
  author:
  - name: "M. Birna van Riemsdijk"
    link: "http://mmi.tudelft.nl/~birna/"
  - name: "Frank S. de Boer"
    link: "http://homepages.cwi.nl/~frb/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "2006"
  doi: "http://dx.doi.org/10.1093/logcom/exi084"
  links:
    doi: "http://dx.doi.org/10.1093/logcom/exi084"
  tags:
  - "logic programming"
  - "programming"
  - "logic"
  researchr: "https://researchr.org/publication/RiemsdijkBM06"
  cites: 0
  citedby: 0
  journal: "logcom"
  volume: "16"
  number: "3"
  pages: "375-402"
  kind: "article"
  key: "RiemsdijkBM06"
- title: "Toward Reasoning about Security Protocols: A Semantic Approach"
  author:
  - name: "Arjen Hommersom"
    link: "https://researchr.org/alias/arjen-hommersom"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  - name: "Erik P. de Vink"
    link: "https://researchr.org/alias/erik-p.-de-vink"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.entcs.2004.11.013"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2004.11.013"
  tags:
  - "protocol"
  - "security"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/HommersomMV05"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "126"
  pages: "53-75"
  kind: "article"
  key: "HommersomMV05"
- title: "A Practical Agent Programming Language"
  author:
  - name: "Mehdi Dastani"
    link: "http://people.cs.uu.nl/mehdi/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-79043-3_7"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-79043-3_7"
  tags:
  - "programming languages"
  - "programming"
  researchr: "https://researchr.org/publication/DastaniM07"
  cites: 0
  citedby: 0
  pages: "107-123"
  booktitle: "promas"
  kind: "inproceedings"
  key: "DastaniM07"
- title: "On dynamically generated ontology translators in agent communication"
  author:
  - name: "Rogier M. van Eijk"
    link: "https://researchr.org/alias/rogier-m.-van-eijk"
  - name: "Frank S. de Boer"
    link: "http://homepages.cwi.nl/~frb/"
  - name: "Wiebe van der Hoek"
    link: "http://www.csc.liv.ac.uk/~wiebe/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "2001"
  tags:
  - "ontologies"
  - "ontology"
  researchr: "https://researchr.org/publication/EijkBHM01%3A0"
  cites: 0
  citedby: 0
  journal: "ijis"
  volume: "16"
  number: "5"
  pages: "587-607"
  kind: "article"
  key: "EijkBHM01:0"
- title: "Goal types in agent programming"
  author:
  - name: "Mehdi Dastani"
    link: "http://people.cs.uu.nl/mehdi/"
  - name: "M. Birna van Riemsdijk"
    link: "http://mmi.tudelft.nl/~birna/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1160633.1160867"
  links:
    doi: "http://doi.acm.org/10.1145/1160633.1160867"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/DastaniRM06%3A0"
  cites: 0
  citedby: 0
  pages: "1285-1287"
  booktitle: "atal"
  kind: "inproceedings"
  key: "DastaniRM06:0"
- title: "On forwarding indices of networks"
  author:
  - name: "Marie-Claude Heydemann"
    link: "https://researchr.org/alias/marie-claude-heydemann"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  - name: "Dominique Sotteau"
    link: "https://researchr.org/alias/dominique-sotteau"
  year: "1989"
  doi: "http://dx.doi.org/10.1016/0166-218X(89)90022-X"
  links:
    doi: "http://dx.doi.org/10.1016/0166-218X(89)90022-X"
  researchr: "https://researchr.org/publication/HeydemannMS89"
  cites: 0
  citedby: 0
  journal: "DAM"
  volume: "23"
  number: "2"
  pages: "103-123"
  kind: "article"
  key: "HeydemannMS89"
- title: "Step Semantics for  True  Concurrency with Recursion"
  author:
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  - name: "Erik P. de Vink"
    link: "https://researchr.org/alias/erik-p.-de-vink"
  year: "1989"
  tags:
  - "semantics"
  researchr: "https://researchr.org/publication/MeyerV89%3A0"
  cites: 0
  citedby: 0
  journal: "dc"
  volume: "3"
  number: "3"
  pages: "130-145"
  kind: "article"
  key: "MeyerV89:0"
- title: "A parameter linked with G-factors and the binding number"
  author:
  - name: "Odile Favaron"
    link: "https://researchr.org/alias/odile-favaron"
  - name: "Marie-Claude Heydemann"
    link: "https://researchr.org/alias/marie-claude-heydemann"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  - name: "Dominique Sotteau"
    link: "https://researchr.org/alias/dominique-sotteau"
  year: "1990"
  doi: "http://dx.doi.org/10.1016/0012-365X(90)90239-E"
  links:
    doi: "http://dx.doi.org/10.1016/0012-365X(90)90239-E"
  researchr: "https://researchr.org/publication/FavaronHMS90"
  cites: 0
  citedby: 0
  journal: "DM"
  volume: "91"
  number: "3"
  pages: "311-316"
  kind: "article"
  key: "FavaronHMS90"
- title: "Mental State Abduction of BDI-Based Agents"
  author:
  - name: "Michal P. Sindlar"
    link: "https://researchr.org/alias/michal-p.-sindlar"
  - name: "Mehdi Dastani"
    link: "http://people.cs.uu.nl/mehdi/"
  - name: "Frank Dignum"
    link: "https://researchr.org/alias/frank-dignum"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-93920-7_11"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-93920-7_11"
  tags:
  - "rule-based"
  researchr: "https://researchr.org/publication/SindlarDDM08"
  cites: 0
  citedby: 0
  pages: "161-178"
  booktitle: "dalt"
  kind: "inproceedings"
  key: "SindlarDDM08"
- title: "Norm compliance of protocols in electronic institutions"
  author:
  - name: "Huib Aldewereld"
    link: "https://researchr.org/alias/huib-aldewereld"
  - name: "Javier Vázquez-Salceda"
    link: "https://researchr.org/alias/javier-v%C3%A1zquez-salceda"
  - name: "Frank Dignum"
    link: "https://researchr.org/alias/frank-dignum"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1082473.1082738"
  links:
    doi: "http://doi.acm.org/10.1145/1082473.1082738"
  tags:
  - "protocol"
  researchr: "https://researchr.org/publication/AldewereldVDM05"
  cites: 0
  citedby: 0
  pages: "1291-1292"
  booktitle: "atal"
  kind: "inproceedings"
  key: "AldewereldVDM05"
- title: "A Formal Embedding of AgentSpeak(L) in 3APL"
  author:
  - name: "Koen V. Hindriks"
    link: "http://mmi.tudelft.nl/~koen/"
  - name: "Frank S. de Boer"
    link: "http://homepages.cwi.nl/~frb/"
  - name: "Wiebe van der Hoek"
    link: "http://www.csc.liv.ac.uk/~wiebe/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "1998"
  researchr: "https://researchr.org/publication/HindriksBHM98%3A0"
  cites: 0
  citedby: 0
  pages: "155-166"
  booktitle: "ausai"
  kind: "inproceedings"
  key: "HindriksBHM98:0"
- title: "Temporalizing Epistemic Default Logic"
  author:
  - name: "Wiebe van der Hoek"
    link: "http://www.csc.liv.ac.uk/~wiebe/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "1998"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/HoekMT98"
  cites: 0
  citedby: 0
  journal: "jolli"
  volume: "7"
  number: "3"
  pages: "341-367"
  kind: "article"
  key: "HoekMT98"
- title: "Process algebra and constraint programming for modeling interactions in MAS"
  author:
  - name: "Frank S. de Boer"
    link: "http://homepages.cwi.nl/~frb/"
  - name: "Wieke de Vries"
    link: "https://researchr.org/alias/wieke-de-vries"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  - name: "Rogier M. van Eijk"
    link: "https://researchr.org/alias/rogier-m.-van-eijk"
  - name: "Wiebe van der Hoek"
    link: "http://www.csc.liv.ac.uk/~wiebe/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/s00200-005-0173-0"
  links:
    doi: "http://dx.doi.org/10.1007/s00200-005-0173-0"
  tags:
  - "modeling"
  - "process algebra"
  - "constraints"
  - " algebra"
  - "programming"
  - "process modeling"
  researchr: "https://researchr.org/publication/BoerVMEH05"
  cites: 0
  citedby: 0
  journal: "aaecc"
  volume: "16"
  number: "2-3"
  pages: "113-150"
  kind: "article"
  key: "BoerVMEH05"
- title: "On Modal Logic Interpretations of Games"
  author:
  - name: "Paul Harrenstein"
    link: "https://researchr.org/alias/paul-harrenstein"
  - name: "Wiebe van der Hoek"
    link: "http://www.csc.liv.ac.uk/~wiebe/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  - name: "Cees Witteveen"
    link: "http://www.st.ewi.tudelft.nl/~witt/"
  year: "2002"
  tags:
  - "modal logic"
  - "logic"
  researchr: "https://researchr.org/publication/HarrensteinHMW02"
  cites: 0
  citedby: 0
  pages: "28-32"
  booktitle: "ecai"
  kind: "inproceedings"
  key: "HarrensteinHMW02"
- title: "Failure Semantics for the Exchange of Information in Multi-agent Systems"
  author:
  - name: "Frank S. de Boer"
    link: "http://homepages.cwi.nl/~frb/"
  - name: "Rogier M. van Eijk"
    link: "https://researchr.org/alias/rogier-m.-van-eijk"
  - name: "Wiebe van der Hoek"
    link: "http://www.csc.liv.ac.uk/~wiebe/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "1999"
  tags:
  - "semantics"
  researchr: "https://researchr.org/publication/BoerEHM99"
  cites: 0
  citedby: 0
  pages: "265"
  booktitle: "ECOOPW"
  kind: "inproceedings"
  key: "BoerEHM99"
- title: "Merging Regular Processes by Means of Fixed-Point Theory"
  author:
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "1986"
  researchr: "https://researchr.org/publication/Meyer86%3A3"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "45"
  number: "2"
  pages: "193-260"
  kind: "article"
  key: "Meyer86:3"
- title: "Prototyping 3APL in the Maude Term Rewriting Language"
  author:
  - name: "M. Birna van Riemsdijk"
    link: "http://mmi.tudelft.nl/~birna/"
  - name: "Frank S. de Boer"
    link: "http://homepages.cwi.nl/~frb/"
  - name: "Mehdi Dastani"
    link: "http://people.cs.uu.nl/mehdi/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/978-3-540-69619-3_6"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-69619-3_6"
  tags:
  - "term rewriting"
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/RiemsdijkBDM06"
  cites: 0
  citedby: 0
  pages: "95-114"
  booktitle: "clima"
  kind: "inproceedings"
  key: "RiemsdijkBDM06"
- title: "Coordinating Agents in OO"
  author:
  - name: "Frank S. de Boer"
    link: "http://homepages.cwi.nl/~frb/"
  - name: "Cees Pierik"
    link: "https://researchr.org/alias/cees-pierik"
  - name: "Rogier M. van Eijk"
    link: "https://researchr.org/alias/rogier-m.-van-eijk"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2975&spage=8"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2975&spage=8"
  researchr: "https://researchr.org/publication/BoerPEM03"
  cites: 0
  citedby: 0
  pages: "8-25"
  booktitle: "Dagstuhl"
  kind: "inproceedings"
  key: "BoerPEM03"
- title: "Formal Semantics of Temporal Epistemic Reflection"
  author:
  - name: "Wiebe van der Hoek"
    link: "http://www.csc.liv.ac.uk/~wiebe/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "1994"
  tags:
  - "semantics"
  - "formal semantics"
  - "reflection"
  researchr: "https://researchr.org/publication/HoekMT94"
  cites: 0
  citedby: 0
  pages: "332-352"
  booktitle: "LOPSTR"
  kind: "inproceedings"
  key: "HoekMT94"
- title: "On the Logic of Constitutive Rules"
  author:
  - name: "Davide Grossi"
    link: "https://researchr.org/alias/davide-grossi"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  - name: "Frank Dignum"
    link: "https://researchr.org/alias/frank-dignum"
  year: "2007"
  doi: "http://drops.dagstuhl.de/opus/volltexte/2007/913"
  links:
    doi: "http://drops.dagstuhl.de/opus/volltexte/2007/913"
  tags:
  - "rule-based"
  - "rules"
  - "logic"
  researchr: "https://researchr.org/publication/GrossiMD07"
  cites: 0
  citedby: 0
  booktitle: "Dagstuhl"
  kind: "inproceedings"
  key: "GrossiMD07"
- title: "Actions That Make You Change Your Mind (Extended Abstract)"
  author:
  - name: "Bernd van Linder"
    link: "https://researchr.org/alias/bernd-van-linder"
  - name: "Wiebe van der Hoek"
    link: "http://www.csc.liv.ac.uk/~wiebe/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "1995"
  researchr: "https://researchr.org/publication/LinderHM95%3A2"
  cites: 0
  citedby: 0
  pages: "185-196"
  booktitle: "ki"
  kind: "inproceedings"
  key: "LinderHM95:2"
- title: "06261 Executive Summary -- Foundations and Practice of Programming Multi-Agent Systems"
  author:
  - name: "Mehdi Dastani"
    link: "http://people.cs.uu.nl/mehdi/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  - name: "Rafael H. Bordini"
    link: "https://researchr.org/alias/rafael-h.-bordini"
  year: "2006"
  doi: "http://drops.dagstuhl.de/opus/volltexte/2007/846"
  links:
    doi: "http://drops.dagstuhl.de/opus/volltexte/2007/846"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/DastaniMB06"
  cites: 0
  citedby: 0
  booktitle: "Dagstuhl"
  kind: "inproceedings"
  key: "DastaniMB06"
- title: "Toward a programming theory for rational agents"
  author:
  - name: "Koen V. Hindriks"
    link: "http://mmi.tudelft.nl/~koen/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/s10458-008-9065-6"
  links:
    doi: "http://dx.doi.org/10.1007/s10458-008-9065-6"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/HindriksM09"
  cites: 0
  citedby: 0
  journal: "AAMAS"
  volume: "19"
  number: "1"
  pages: "4-29"
  kind: "article"
  key: "HindriksM09"
- title: "Goal Selection Strategies for Rational Agents"
  author:
  - name: "Nick A. M. Tinnemeier"
    link: "https://researchr.org/alias/nick-a.-m.-tinnemeier"
  - name: "Mehdi Dastani"
    link: "http://people.cs.uu.nl/mehdi/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-85058-8_4"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-85058-8_4"
  researchr: "https://researchr.org/publication/TinnemeierDM07"
  cites: 0
  citedby: 0
  pages: "54-70"
  booktitle: "lads"
  kind: "inproceedings"
  key: "TinnemeierDM07"
- title: "Agent Programming with Declarative Goals"
  author:
  - name: "Koen V. Hindriks"
    link: "http://mmi.tudelft.nl/~koen/"
  - name: "Frank S. de Boer"
    link: "http://homepages.cwi.nl/~frb/"
  - name: "Wiebe van der Hoek"
    link: "http://www.csc.liv.ac.uk/~wiebe/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1986/19860228.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1986/19860228.htm"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/HindriksBHM00%3A0"
  cites: 0
  citedby: 0
  pages: "228-243"
  booktitle: "atal"
  kind: "inproceedings"
  key: "HindriksBHM00:0"
- title: "Graded Modalities in Epistemic Logic"
  author:
  - name: "Wiebe van der Hoek"
    link: "http://www.csc.liv.ac.uk/~wiebe/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "1992"
  tags:
  - "modal logic"
  - "logic"
  researchr: "https://researchr.org/publication/HoekM92"
  cites: 0
  citedby: 0
  pages: "503-514"
  booktitle: "lfcs"
  kind: "inproceedings"
  key: "HoekM92"
- title: "Semantics of plan revision in intelligent agents"
  author:
  - name: "M. Birna van Riemsdijk"
    link: "http://mmi.tudelft.nl/~birna/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  - name: "Frank S. de Boer"
    link: "http://homepages.cwi.nl/~frb/"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.tcs.2005.09.070"
  links:
    doi: "http://dx.doi.org/10.1016/j.tcs.2005.09.070"
  tags:
  - "semantics"
  researchr: "https://researchr.org/publication/RiemsdijkMB06"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "351"
  number: "2"
  pages: "240-257"
  kind: "article"
  key: "RiemsdijkMB06"
- title: "Goals in conflict: semantic foundations of goals in agent programming"
  author:
  - name: "M. Birna van Riemsdijk"
    link: "http://mmi.tudelft.nl/~birna/"
  - name: "Mehdi Dastani"
    link: "http://people.cs.uu.nl/mehdi/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/s10458-008-9067-4"
  links:
    doi: "http://dx.doi.org/10.1007/s10458-008-9067-4"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/RiemsdijkDM09"
  cites: 0
  citedby: 0
  journal: "AAMAS"
  volume: "18"
  number: "3"
  pages: "471-500"
  kind: "article"
  key: "RiemsdijkDM09"
- title: "A formal road from institutional norms to organizational structures"
  author:
  - name: "Davide Grossi"
    link: "https://researchr.org/alias/davide-grossi"
  - name: "Frank Dignum"
    link: "https://researchr.org/alias/frank-dignum"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1329125.1329234"
  links:
    doi: "http://doi.acm.org/10.1145/1329125.1329234"
  researchr: "https://researchr.org/publication/GrossiDM07"
  cites: 0
  citedby: 0
  pages: "89"
  booktitle: "atal"
  kind: "inproceedings"
  key: "GrossiDM07"
- title: "Autonomy and Agent Deliberation"
  author:
  - name: "Mehdi Dastani"
    link: "http://people.cs.uu.nl/mehdi/"
  - name: "Frank Dignum"
    link: "https://researchr.org/alias/frank-dignum"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2969&spage=114"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2969&spage=114"
  researchr: "https://researchr.org/publication/DastaniDM03"
  cites: 0
  citedby: 0
  pages: "114-127"
  booktitle: "atal"
  kind: "inproceedings"
  key: "DastaniDM03"
- title: "Practical extensions in agent programming languages"
  author:
  - name: "Mehdi Dastani"
    link: "http://people.cs.uu.nl/mehdi/"
  - name: "Dirk Hobo"
    link: "https://researchr.org/alias/dirk-hobo"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1329125.1329294"
  links:
    doi: "http://doi.acm.org/10.1145/1329125.1329294"
  tags:
  - "programming languages"
  - "programming"
  researchr: "https://researchr.org/publication/DastaniHM07"
  cites: 0
  citedby: 0
  pages: "138"
  booktitle: "atal"
  kind: "inproceedings"
  key: "DastaniHM07"
- title: "Roles and norms for programming agent organizations"
  author:
  - name: "Nick Tinnemeier"
    link: "https://researchr.org/alias/nick-tinnemeier"
  - name: "Mehdi Dastani"
    link: "http://people.cs.uu.nl/mehdi/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1558013.1558029"
  links:
    doi: "http://doi.acm.org/10.1145/1558013.1558029"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/TinnemeierDM09"
  cites: 0
  citedby: 0
  pages: "121-128"
  booktitle: "atal"
  kind: "inproceedings"
  key: "TinnemeierDM09"
- title: "Our Quest for the Holy Grail of Agent Verification"
  author:
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-73099-6_2"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-73099-6_2"
  researchr: "https://researchr.org/publication/Meyer07%3A3"
  cites: 0
  citedby: 0
  pages: "2-9"
  booktitle: "tableaux"
  kind: "inproceedings"
  key: "Meyer07:3"
- title: "A Logical Approach to the Dynamics of Commitments"
  author:
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  - name: "Wiebe van der Hoek"
    link: "http://www.csc.liv.ac.uk/~wiebe/"
  - name: "Bernd van Linder"
    link: "https://researchr.org/alias/bernd-van-linder"
  year: "1999"
  doi: "http://dx.doi.org/10.1016/S0004-3702(99)00061-2"
  links:
    doi: "http://dx.doi.org/10.1016/S0004-3702(99)00061-2"
  tags:
  - "systematic-approach"
  researchr: "https://researchr.org/publication/MeyerHL99"
  cites: 0
  citedby: 0
  journal: "ai"
  volume: "113"
  number: "1-2"
  pages: "1-40"
  kind: "article"
  key: "MeyerHL99"
- title: "A Programming Language for Coordinating Group Actions"
  author:
  - name: "Wieke de Vries"
    link: "https://researchr.org/alias/wieke-de-vries"
  - name: "Frank S. de Boer"
    link: "http://homepages.cwi.nl/~frb/"
  - name: "Koen V. Hindriks"
    link: "http://mmi.tudelft.nl/~koen/"
  - name: "Wiebe van der Hoek"
    link: "http://www.csc.liv.ac.uk/~wiebe/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2296/22960313.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2296/22960313.htm"
  tags:
  - "programming languages"
  - "programming"
  researchr: "https://researchr.org/publication/VriesBHHM01"
  cites: 0
  citedby: 0
  pages: "313-321"
  booktitle: "ceemas"
  kind: "inproceedings"
  key: "VriesBHHM01"
- title: "A Verification Framework for Normative Multi-Agent Systems"
  author:
  - name: "Lacramioara Astefanoaei"
    link: "https://researchr.org/alias/lacramioara-astefanoaei"
  - name: "Mehdi Dastani"
    link: "http://people.cs.uu.nl/mehdi/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  - name: "Frank S. de Boer"
    link: "http://homepages.cwi.nl/~frb/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-89674-6_9"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-89674-6_9"
  researchr: "https://researchr.org/publication/AstefanoaeiDMB08"
  cites: 0
  citedby: 0
  pages: "54-65"
  booktitle: "prima"
  kind: "inproceedings"
  key: "AstefanoaeiDMB08"
- title: "Designing a Deontic Logic of Deadlines"
  author:
  - name: "Jan Broersen"
    link: "https://researchr.org/alias/jan-broersen"
  - name: "Frank Dignum"
    link: "https://researchr.org/alias/frank-dignum"
  - name: "Virginia Dignum"
    link: "https://researchr.org/alias/virginia-dignum"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3065&spage=43"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3065&spage=43"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/BroersenDDM04"
  cites: 0
  citedby: 0
  pages: "43-56"
  booktitle: "deon"
  kind: "inproceedings"
  key: "BroersenDDM04"
- title: "Towards a Delegation Framework for Aerial Robotic Mission Scenarios"
  author:
  - name: "Patrick Doherty"
    link: "https://researchr.org/alias/patrick-doherty"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-75119-9_2"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-75119-9_2"
  researchr: "https://researchr.org/publication/DohertyM07"
  cites: 0
  citedby: 0
  pages: "5-26"
  booktitle: "cia"
  kind: "inproceedings"
  key: "DohertyM07"
- title: "Constructing Translations Between Individual Vocabularies in Multi-Agent Systems"
  author:
  - name: "Rogier M. van Eijk"
    link: "https://researchr.org/alias/rogier-m.-van-eijk"
  - name: "Frank S. de Boer"
    link: "http://homepages.cwi.nl/~frb/"
  - name: "Wiebe van der Hoek"
    link: "http://www.csc.liv.ac.uk/~wiebe/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1480/14800240.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1480/14800240.htm"
  tags:
  - "translation"
  researchr: "https://researchr.org/publication/EijkBHM98"
  cites: 0
  citedby: 0
  pages: "240-253"
  booktitle: "aimsa"
  kind: "inproceedings"
  key: "EijkBHM98"
- title: "Prototyping 3APL in the Maude term rewriting language"
  author:
  - name: "M. Birna van Riemsdijk"
    link: "http://mmi.tudelft.nl/~birna/"
  - name: "Frank S. de Boer"
    link: "http://homepages.cwi.nl/~frb/"
  - name: "Mehdi Dastani"
    link: "http://people.cs.uu.nl/mehdi/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1160633.1160865"
  links:
    doi: "http://doi.acm.org/10.1145/1160633.1160865"
  tags:
  - "term rewriting"
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/RiemsdijkBDM06%3A0"
  cites: 0
  citedby: 0
  pages: "1279-1281"
  booktitle: "atal"
  kind: "inproceedings"
  key: "RiemsdijkBDM06:0"
- title: "A Logic of Capabilities"
  author:
  - name: "Wiebe van der Hoek"
    link: "http://www.csc.liv.ac.uk/~wiebe/"
  - name: "Bernd van Linder"
    link: "https://researchr.org/alias/bernd-van-linder"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "1994"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/HoekLM94"
  cites: 0
  citedby: 0
  pages: "366-378"
  booktitle: "lfcs"
  kind: "inproceedings"
  key: "HoekLM94"
- title: "Formal Semantics for an Abstract Agent Programming Language"
  author:
  - name: "Koen V. Hindriks"
    link: "http://mmi.tudelft.nl/~koen/"
  - name: "Frank S. de Boer"
    link: "http://homepages.cwi.nl/~frb/"
  - name: "Wiebe van der Hoek"
    link: "http://www.csc.liv.ac.uk/~wiebe/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "1997"
  tags:
  - "programming languages"
  - "semantics"
  - "formal semantics"
  - "programming"
  researchr: "https://researchr.org/publication/HindriksBHM97"
  cites: 0
  citedby: 0
  pages: "215-229"
  booktitle: "atal"
  kind: "inproceedings"
  key: "HindriksBHM97"
- title: "The Dynamics of Default Reasoning"
  author:
  - name: "Bernd van Linder"
    link: "https://researchr.org/alias/bernd-van-linder"
  - name: "Wiebe van der Hoek"
    link: "http://www.csc.liv.ac.uk/~wiebe/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "1997"
  doi: "http://dx.doi.org/10.1016/S0169-023X(96)00021-3"
  links:
    doi: "http://dx.doi.org/10.1016/S0169-023X(96)00021-3"
  researchr: "https://researchr.org/publication/LinderHM97%3A0"
  cites: 0
  citedby: 0
  journal: "DKE"
  volume: "21"
  number: "3"
  pages: "317-346"
  kind: "article"
  key: "LinderHM97:0"
- title: "Non-Monotonic Reasoning by Monotonic Means"
  author:
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  - name: "Wiebe van der Hoek"
    link: "http://www.csc.liv.ac.uk/~wiebe/"
  year: "1990"
  researchr: "https://researchr.org/publication/MeyerH90"
  cites: 0
  citedby: 0
  pages: "399-411"
  booktitle: "jelia"
  kind: "inproceedings"
  key: "MeyerH90"
- title: "Rational Teams: Logical Aspects of Multi-Agent Systems"
  author:
  - name: "Huib Aldewereld"
    link: "https://researchr.org/alias/huib-aldewereld"
  - name: "Wiebe van der Hoek"
    link: "http://www.csc.liv.ac.uk/~wiebe/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "2004"
  doi: "http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=63&issue=2&spage=159"
  links:
    doi: "http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=63&issue=2&spage=159"
  researchr: "https://researchr.org/publication/AldewereldHM04"
  cites: 0
  citedby: 0
  journal: "FUIN"
  volume: "63"
  number: "2-3"
  pages: "159-183"
  kind: "article"
  key: "AldewereldHM04"
- title: "Formal Models of Agents, ESPRIT Project ModelAge Final Workshop, Selected Papers"
  year: "1999"
  researchr: "https://researchr.org/publication/modelage%3A1997"
  cites: 0
  citedby: 0
  booktitle: "Formal Models of Agents, ESPRIT Project ModelAge Final Workshop, Selected Papers"
  conference: "modelage"
  editor:
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  volume: "1760"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-67027-0"
  kind: "proceedings"
  key: "modelage:1997"
- title: "Foundations and Practice of Programming Multi-Agent Systems, 25.06. - 30.06.2006"
  year: "2007"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/dagstuhl%3A2006P6261"
  cites: 0
  citedby: 0
  booktitle: "Foundations and Practice of Programming Multi-Agent Systems, 25.06. - 30.06.2006"
  conference: "Dagstuhl"
  editor:
  - name: "Rafael H. Bordini"
    link: "https://researchr.org/alias/rafael-h.-bordini"
  - name: "Mehdi Dastani"
    link: "http://people.cs.uu.nl/mehdi/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  volume: "06261"
  series: "Dagstuhl Seminar Proceedings"
  publisher: "Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany"
  kind: "proceedings"
  key: "dagstuhl:2006P6261"