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: "Intelligent Agents: Specification, Modeling, and Applications, 4th Pacific Rim International Workshop on Multi-Agents, PRIMA 2001, Taipei, Taiwan, July 28-29, 2001, Proceedings"
  editor:
  - name: "Soe-Tsyr Yuan"
    link: "https://researchr.org/alias/soe-tsyr-yuan"
  - name: "Makoto Yokoo"
    link: "https://researchr.org/alias/makoto-yokoo"
  volume: "2132"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-42434-2"
  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: "J. Applied Logic"
  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 2008 - 18th European Conference on Artificial Intelligence, Patras, Greece, July 21-25, 2008, Proceedings"
  editor:
  - name: "Malik Ghallab"
    link: "https://researchr.org/alias/malik-ghallab"
  - name: "Constantine D. Spyropoulos"
    link: "https://researchr.org/alias/constantine-d.-spyropoulos"
  - name: "Nikos Fakotakis"
    link: "https://researchr.org/alias/nikos-fakotakis"
  - name: "Nikolaos M. Avouris"
    link: "https://researchr.org/alias/nikolaos-m.-avouris"
  volume: "178"
  series: "Frontiers in Artificial Intelligence and Applications"
  publisher: "IOS Press"
  isbn: "978-1-58603-891-5"
  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: "Logic Journal of the 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: "Intelligent Agents and Multi-Agent Systems, 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008. Proceedings"
  editor:
  - name: "The Duy Bui"
    link: "https://researchr.org/alias/the-duy-bui"
  - name: "Tuong Vinh Ho"
    link: "https://researchr.org/alias/tuong-vinh-ho"
  - name: "Quang-Thuy Ha"
    link: "https://researchr.org/alias/quang-thuy-ha"
  volume: "5357"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-89673-9"
  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: "Issues in Agent Communication"
  editor:
  - name: "Frank Dignum"
    link: "https://researchr.org/alias/frank-dignum"
  - name: "Mark Greaves"
    link: "https://researchr.org/alias/mark-greaves"
  volume: "1916"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-41144-5"
  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: "Annals of Mathematics and Artificial Intelligence"
  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: "Bulletin of the 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: "New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Sixth SoMeT 2007, November 7-9, 2007, Rome, Italy"
  editor:
  - name: "Hamido Fujita"
    link: "www.somet.soft.iwate-pu.ac.jp/somet_11"
  - name: "Domenico M. Pisanelli"
    link: "http://www"
  volume: "161"
  series: "Frontiers in Artificial Intelligence and Applications"
  publisher: "IOS Press"
  isbn: "978-1-58603-794-9"
  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: "Journal of Logic and Computation"
  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: "Intelligent Agents V, Agent Theories, Architectures, and Languages, 5th International Workshop, ATAL  98, Paris, France, July 4-7, 1998, Proceedings"
  editor:
  - name: "Jörg P. Müller"
    link: "https://researchr.org/alias/j%C3%B6rg-p.-m%C3%BCller"
  - name: "Munindar P. Singh"
    link: "https://researchr.org/alias/munindar-p.-singh"
  - name: "Anand S. Rao"
    link: "https://researchr.org/alias/anand-s.-rao"
  volume: "1555"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-65713-4"
  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: "Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings"
  editor:
  - name: "Ron van der Meyden"
    link: "https://researchr.org/alias/ron-van-der-meyden"
  - name: "Leendert van der Torre"
    link: "https://researchr.org/alias/leendert-van-der-torre"
  volume: "5076"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-70524-6"
  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: "Fundamenta Informaticae"
  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: "Proceedings of the 2007 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology - Workshops, 2-5 November 2007, Silicon Valley, CA, USA"
  publisher: "IEEE"
  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: "Foundations and Practice of Programming Multi-Agent Systems, 25.06. - 30.06.2006"
  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: "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: "Progress in Artificial Intelligence, 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilhã, Portugal, December 5-8, 2005, Proceedings"
  editor:
  - name: "Carlos Bento"
    link: "https://researchr.org/alias/carlos-bento"
  - name: "Amílcar Cardoso"
    link: "https://researchr.org/alias/am%C3%ADlcar-cardoso"
  - name: "Gaël Dias"
    link: "https://researchr.org/alias/ga%C3%ABl-dias"
  volume: "3808"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-30737-0"
  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: "Algebraic Methodology and Software Technology, 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings"
  editor:
  - name: "Michael Johnson"
    link: "https://researchr.org/alias/michael-johnson"
  - name: "Varmo Vene"
    link: "https://researchr.org/alias/varmo-vene"
  volume: "4019"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-35633-9"
  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: "Agent Communication II, International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 25, 2005 and Hakodate, Japan, May 9, 2006, Selected and Revised Papers"
  editor:
  - 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: "Roberto A. Flores"
    link: "https://researchr.org/alias/roberto-a.-flores"
  volume: "3859"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-68142-7"
  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: "Symbolic and Quantitative Approaches to Reasoning and Uncertainty, European Conference, ECSQARU 93, Granada, Spain, November 8-10, 1993, Proceedings"
  editor:
  - name: "Michael Clarke"
    link: "https://researchr.org/alias/michael-clarke"
  - name: "Rudolf Kruse"
    link: "https://researchr.org/alias/rudolf-kruse"
  - name: "Serafín Moral"
    link: "https://researchr.org/alias/seraf%C3%ADn-moral"
  volume: "747"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-57395-X"
  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: "Argumentation in Multi-Agent Systems, Fifth International Workshop, ArgMAS 2008, Estoril, Portugal, May 12, 2008. Revised Selected and Invited Papers"
  editor:
  - name: "Iyad Rahwan"
    link: "https://researchr.org/alias/iyad-rahwan"
  - name: "Pavlos Moraitis"
    link: "https://researchr.org/alias/pavlos-moraitis"
  volume: "5384"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-00206-9"
  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 2006, 17th European Conference on Artificial Intelligence, August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious Applications of Intelligent Systems (PAIS 2006), Proceedings"
  editor:
  - name: "Gerhard Brewka"
    link: "https://researchr.org/alias/gerhard-brewka"
  - name: "Silvia Coradeschi"
    link: "https://researchr.org/alias/silvia-coradeschi"
  - name: "Anna Perini"
    link: "https://researchr.org/alias/anna-perini"
  - name: "Paolo Traverso"
    link: "https://researchr.org/alias/paolo-traverso"
  volume: "141"
  series: "Frontiers in Artificial Intelligence and Applications"
  publisher: "IOS Press"
  isbn: "1-58603-642-4"
  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: "6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), Honolulu, Hawaii, USA, May 14-18, 2007"
  editor:
  - name: "Edmund H. Durfee"
    link: "https://researchr.org/alias/edmund-h.-durfee"
  - name: "Makoto Yokoo"
    link: "https://researchr.org/alias/makoto-yokoo"
  - name: "Michael N. Huhns"
    link: "https://researchr.org/alias/michael-n.-huhns"
  - name: "Onn Shehory"
    link: "https://researchr.org/alias/onn-shehory"
  publisher: "IFAAMAS"
  isbn: "978-81-904262-7-5"
  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: "Logic Journal of the 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: "Formal Approaches to Agent-Based Systems, Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers"
  editor:
  - name: "Michael G. Hinchey"
    link: "https://researchr.org/alias/michael-g.-hinchey"
  - name: "James L. Rash"
    link: "https://researchr.org/alias/james-l.-rash"
  - name: "Walt Truszkowski"
    link: "https://researchr.org/alias/walt-truszkowski"
  - name: "Christopher Rouff"
    link: "https://researchr.org/alias/christopher-rouff"
  - name: "Diana F. Gordon-Spears"
    link: "https://researchr.org/alias/diana-f.-gordon-spears"
  volume: "2699"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-40665-4"
  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: "Affective Computing and Intelligent Interaction, Second International Conference, ACII 2007, Lisbon, Portugal, September 12-14, 2007, Proceedings"
  editor:
  - name: "Ana Paiva"
    link: "https://researchr.org/alias/ana-paiva"
  - name: "Rui Prada"
    link: "https://researchr.org/alias/rui-prada"
  - name: "Rosalind W. Picard"
    link: "https://researchr.org/alias/rosalind-w.-picard"
  volume: "4738"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-74888-5"
  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: "5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006"
  editor:
  - name: "Hideyuki Nakashima"
    link: "https://researchr.org/alias/hideyuki-nakashima"
  - name: "Michael P. Wellman"
    link: "https://researchr.org/alias/michael-p.-wellman"
  - name: "Gerhard Weiss"
    link: "https://researchr.org/alias/gerhard-weiss"
  - name: "Peter Stone"
    link: "https://researchr.org/alias/peter-stone"
  publisher: "ACM"
  isbn: "1-59593-303-4"
  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: "Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, July 22-26, 2007, Vancouver, British Columbia, Canada"
  publisher: "AAAI Press"
  isbn: "978-1-57735-323-2"
  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: "Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, July 22-26, 2007, Vancouver, British Columbia, Canada"
  publisher: "AAAI Press"
  isbn: "978-1-57735-323-2"
  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-94: Advances in Artificial Intelligence, 18th Annual German Conference on Artificial Intelligence, Saarbrücken, Germany, September 18-23, 1994, Proceedings"
  editor:
  - name: "Bernhard Nebel"
    link: "https://researchr.org/alias/bernhard-nebel"
  - name: "Leonie S. Dreschler-Fischer"
    link: "https://researchr.org/alias/leonie-s.-dreschler-fischer"
  volume: "861"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-58467-6"
  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: "Algebraic Methodology and Software Technology, 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings"
  editor:
  - name: "Charles Rattray"
    link: "https://researchr.org/alias/charles-rattray"
  - name: "Savi Maharaj"
    link: "https://researchr.org/alias/savi-maharaj"
  - name: "Carron Shankland"
    link: "https://researchr.org/alias/carron-shankland"
  volume: "3116"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-22381-9"
  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: "6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), Honolulu, Hawaii, USA, May 14-18, 2007"
  editor:
  - name: "Edmund H. Durfee"
    link: "https://researchr.org/alias/edmund-h.-durfee"
  - name: "Makoto Yokoo"
    link: "https://researchr.org/alias/makoto-yokoo"
  - name: "Michael N. Huhns"
    link: "https://researchr.org/alias/michael-n.-huhns"
  - name: "Onn Shehory"
    link: "https://researchr.org/alias/onn-shehory"
  publisher: "IFAAMAS"
  isbn: "978-81-904262-7-5"
  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: "Intelligent Agents II, Agent Theories, Architectures, and Languages, IJCAI  95, Workshop (ATAL), Montreal, Canada, August 19-20, 1995, Proceedings"
  editor:
  - name: "Michael Wooldridge"
    link: "https://researchr.org/alias/michael-wooldridge"
  - name: "Jörg P. Müller"
    link: "https://researchr.org/alias/j%C3%B6rg-p.-m%C3%BCller"
  - name: "Milind Tambe"
    link: "https://researchr.org/alias/milind-tambe"
  volume: "1037"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-60805-2"
  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: "The First International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002, July 15-19, 2002, Bologna, Italy, Proceedings"
  publisher: "ACM"
  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 2006, 17th European Conference on Artificial Intelligence, August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious Applications of Intelligent Systems (PAIS 2006), Proceedings"
  editor:
  - name: "Gerhard Brewka"
    link: "https://researchr.org/alias/gerhard-brewka"
  - name: "Silvia Coradeschi"
    link: "https://researchr.org/alias/silvia-coradeschi"
  - name: "Anna Perini"
    link: "https://researchr.org/alias/anna-perini"
  - name: "Paolo Traverso"
    link: "https://researchr.org/alias/paolo-traverso"
  volume: "141"
  series: "Frontiers in Artificial Intelligence and Applications"
  publisher: "IOS Press"
  isbn: "1-58603-642-4"
  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: "5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006"
  editor:
  - name: "Hideyuki Nakashima"
    link: "https://researchr.org/alias/hideyuki-nakashima"
  - name: "Michael P. Wellman"
    link: "https://researchr.org/alias/michael-p.-wellman"
  - name: "Gerhard Weiss"
    link: "https://researchr.org/alias/gerhard-weiss"
  - name: "Peter Stone"
    link: "https://researchr.org/alias/peter-stone"
  publisher: "ACM"
  isbn: "1-59593-303-4"
  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 2000 - Concurrency Theory, 11th International Conference, University Park, PA, USA, August 22-25, 2000, Proceedings"
  editor:
  - name: "Catuscia Palamidessi"
    link: "https://researchr.org/alias/catuscia-palamidessi"
  volume: "1877"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-67897-2"
  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: "4rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands"
  editor:
  - name: "Frank Dignum"
    link: "https://researchr.org/alias/frank-dignum"
  - name: "Virginia Dignum"
    link: "https://researchr.org/alias/virginia-dignum"
  - name: "Sven Koenig"
    link: "https://researchr.org/alias/sven-koenig"
  - name: "Sarit Kraus"
    link: "https://researchr.org/alias/sarit-kraus"
  - name: "Munindar P. Singh"
    link: "https://researchr.org/alias/munindar-p.-singh"
  - name: "Michael Wooldridge"
    link: "https://researchr.org/alias/michael-wooldridge"
  publisher: "ACM"
  isbn: "1-59593-094-9"
  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: "Topics in Artificial Intelligence, 4th Congress of the Italian Association for Artificial Intelligence, AI*IA 95, Florence, Italy, October 11-13, 1995, Proceedings"
  editor:
  - name: "Marco Gori"
    link: "https://researchr.org/alias/marco-gori"
  - name: "Giovanni Soda"
    link: "https://researchr.org/alias/giovanni-soda"
  volume: "992"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-60437-5"
  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: "Studia Logica"
  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: "Declarative Agent Languages and Technologies II, Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers"
  editor:
  - name: "João Alexandre Leite"
    link: "https://researchr.org/alias/jo%C3%A3o-alexandre-leite"
  - name: "Andrea Omicini"
    link: "https://researchr.org/alias/andrea-omicini"
  - name: "Paolo Torroni"
    link: "https://researchr.org/alias/paolo-torroni"
  - name: "Pinar Yolum"
    link: "https://researchr.org/alias/pinar-yolum"
  volume: "3476"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-26172-9"
  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: "Journal of Logic, Language and Information"
  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: "Symbolic and Quantitative Approaches to Reasoning and Uncertainty, European Conference, ECSQARU 95, Fribourg, Switzerland, July 3-5, 1995, Proceedings"
  editor:
  - name: "Christine Froidevaux"
    link: "https://researchr.org/alias/christine-froidevaux"
  - name: "Jürg Kohlas"
    link: "https://researchr.org/alias/j%C3%BCrg-kohlas"
  volume: "946"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-60112-0"
  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: "Annals of Mathematics and Artificial Intelligence"
  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: "3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 19-23 August 2004, New York, NY, USA"
  publisher: "IEEE Computer Society"
  isbn: "1-58113-864-4"
  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: "Agent-Oriented Software Engineering V, 5th International Workshop, AOSE 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers"
  editor:
  - name: "James Odell"
    link: "https://researchr.org/alias/james-odell"
  - name: "Paolo Giorgini"
    link: "https://researchr.org/alias/paolo-giorgini"
  - name: "Jörg P. Müller"
    link: "https://researchr.org/alias/j%C3%B6rg-p.-m%C3%BCller"
  volume: "3382"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-24286-4"
  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: "Fundamenta Informaticae"
  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: "Computational Logic in Multi-Agent Systems, 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers"
  editor:
  - name: "João Alexandre Leite"
    link: "https://researchr.org/alias/jo%C3%A3o-alexandre-leite"
  - name: "Paolo Torroni"
    link: "https://researchr.org/alias/paolo-torroni"
  volume: "3487"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-28060-X"
  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: "Programming Multi-Agent Systems, First International Workshop, PROMAS 2003, Melbourne, Australia, July 15, 2003, Selected Revised and Invited Papers"
  editor:
  - 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: "3067"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-22180-8"
  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: "TIME"
  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: "The Second International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2003, July 14-18, 2003, Melbourne, Victoria, Australia, Proceedings"
  publisher: "ACM"
  isbn: "1-58113-683-8"
  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: "Fundamenta Informaticae"
  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: "Theoretical Computer Science"
  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: "Computational Logic in Multi-Agent Systems, 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers"
  editor:
  - name: "João Alexandre Leite"
    link: "https://researchr.org/alias/jo%C3%A3o-alexandre-leite"
  - name: "Paolo Torroni"
    link: "https://researchr.org/alias/paolo-torroni"
  volume: "3487"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-28060-X"
  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: "Journal of Logic and Computation"
  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: "Electronic Notes in Theoretical Computer Science"
  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: "Programming Multi-Agent Systems, 5th International Workshop, ProMAS 2007, Honolulu, HI, USA, May 15, 2007, Revised and Invited Papers"
  editor:
  - name: "Mehdi Dastani"
    link: "http://people.cs.uu.nl/mehdi/"
  - name: "Amal El Fallah-Seghrouchni"
    link: "https://researchr.org/alias/amal-el-fallah-seghrouchni"
  - name: "Alessandro Ricci"
    link: "https://researchr.org/alias/alessandro-ricci"
  - name: "Michael Winikoff"
    link: "https://researchr.org/alias/michael-winikoff"
  volume: "4908"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-79042-6"
  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: "Int. J. Intell. Syst."
  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: "5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006"
  editor:
  - name: "Hideyuki Nakashima"
    link: "https://researchr.org/alias/hideyuki-nakashima"
  - name: "Michael P. Wellman"
    link: "https://researchr.org/alias/michael-p.-wellman"
  - name: "Gerhard Weiss"
    link: "https://researchr.org/alias/gerhard-weiss"
  - name: "Peter Stone"
    link: "https://researchr.org/alias/peter-stone"
  publisher: "ACM"
  isbn: "1-59593-303-4"
  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: "Discrete Applied Mathematics"
  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: "Distributed Computing"
  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: "Discrete Mathematics"
  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: "Declarative Agent Languages and Technologies VI, 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers"
  editor:
  - name: "Matteo Baldoni"
    link: "https://researchr.org/alias/matteo-baldoni"
  - name: "Tran Cao Son"
    link: "https://researchr.org/alias/tran-cao-son"
  - name: "M. Birna van Riemsdijk"
    link: "http://mmi.tudelft.nl/~birna/"
  - name: "Michael Winikoff"
    link: "https://researchr.org/alias/michael-winikoff"
  volume: "5397"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-93919-1"
  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: "4rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands"
  editor:
  - name: "Frank Dignum"
    link: "https://researchr.org/alias/frank-dignum"
  - name: "Virginia Dignum"
    link: "https://researchr.org/alias/virginia-dignum"
  - name: "Sven Koenig"
    link: "https://researchr.org/alias/sven-koenig"
  - name: "Sarit Kraus"
    link: "https://researchr.org/alias/sarit-kraus"
  - name: "Munindar P. Singh"
    link: "https://researchr.org/alias/munindar-p.-singh"
  - name: "Michael Wooldridge"
    link: "https://researchr.org/alias/michael-wooldridge"
  publisher: "ACM"
  isbn: "1-59593-094-9"
  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: "Advanced Topics in Artificial Intelligence, 11th Australian Joint Conference on Artificial Intelligence, AI  98, Brisbane, Australia, July 13-17, 1998, Selected Papers"
  editor:
  - name: "Grigoris Antoniou"
    link: "https://researchr.org/alias/grigoris-antoniou"
  - name: "John K. Slaney"
    link: "https://researchr.org/alias/john-k.-slaney"
  volume: "1502"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-65138-1"
  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: "Journal of Logic, Language and Information"
  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: "Appl. Algebra Eng. Commun. Comput."
  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: "Proceedings of the 15th Eureopean Conference on Artificial Intelligence, ECAI 2002, Lyon, France, July 2002"
  editor:
  - name: "Frank van Harmelen"
    link: "https://researchr.org/alias/frank-van-harmelen"
  publisher: "IOS Press"
  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: "Object-Oriented Technology, ECOOP 99 Workshop Reader, ECOOP 99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings"
  editor:
  - name: "Ana M. D. Moreira"
    link: "https://researchr.org/alias/ana-m.-d.-moreira"
  - name: "Serge Demeyer"
    link: "https://researchr.org/alias/serge-demeyer"
  volume: "1743"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-66954-X"
  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: "Theoretical Computer Science"
  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: "Computational Logic in Multi-Agent Systems, 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers"
  editor:
  - name: "Katsumi Inoue"
    link: "https://researchr.org/alias/katsumi-inoue"
  - name: "Ken Satoh"
    link: "https://researchr.org/alias/ken-satoh"
  - name: "Francesca Toni"
    link: "https://researchr.org/alias/francesca-toni"
  volume: "4371"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-69618-6"
  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: "Objects, Agents, and Features, International Seminar, Dagstuhl Castle, Germany, February 2003, Revised and Invited Papers"
  editor:
  - name: "Mark Dermot Ryan"
    link: "https://researchr.org/alias/mark-dermot-ryan"
  - name: "John-Jules Ch. Meyer"
    link: "https://researchr.org/alias/john-jules-ch.-meyer"
  - name: "Hans-Dieter Ehrich"
    link: "https://researchr.org/alias/hans-dieter-ehrich"
  volume: "2975"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-21989-7"
  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: "Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR 94 and META 94, Pisa, Italy, June 20-21, 1994, Proceedings"
  editor:
  - name: "Laurent Fribourg"
    link: "https://researchr.org/alias/laurent-fribourg"
  - name: "Franco Turini"
    link: "https://researchr.org/alias/franco-turini"
  volume: "883"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-58792-6"
  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: "Normative Multi-agent Systems, 18.03. - 23.03.2007"
  editor:
  - name: "Guido Boella"
    link: "https://researchr.org/alias/guido-boella"
  - name: "Leendert W. N. van der Torre"
    link: "https://researchr.org/alias/leendert-w.-n.-van-der-torre"
  - name: "Harko Verhagen"
    link: "https://researchr.org/alias/harko-verhagen"
  volume: "07122"
  series: "Dagstuhl Seminar Proceedings"
  publisher: "Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany"
  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-95: Advances in Artificial Intelligence, 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11-13, 1995, Proceedings"
  editor:
  - name: "Ipke Wachsmuth"
    link: "https://researchr.org/alias/ipke-wachsmuth"
  - name: "Claus-Rainer Rollinger"
    link: "https://researchr.org/alias/claus-rainer-rollinger"
  - name: "Wilfried Brauer"
    link: "https://researchr.org/alias/wilfried-brauer"
  volume: "981"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-60343-3"
  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: "Foundations and Practice of Programming Multi-Agent Systems, 25.06. - 30.06.2006"
  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: "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: "Autonomous Agents and Multi-Agent Systems"
  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: "Languages, Methodologies and Development Tools for Multi-Agent Systems, First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007. Revised Selected Papers"
  editor:
  - name: "Mehdi Dastani"
    link: "http://people.cs.uu.nl/mehdi/"
  - name: "Amal El Fallah-Seghrouchni"
    link: "https://researchr.org/alias/amal-el-fallah-seghrouchni"
  - name: "João Leite"
    link: "https://researchr.org/alias/jo%C3%A3o-leite"
  - name: "Paolo Torroni"
    link: "https://researchr.org/alias/paolo-torroni"
  volume: "5118"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-85057-1"
  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: "Intelligent Agents VII. Agent Theories Architectures and Languages, 7th International Workshop, ATAL 2000, Boston, MA, USA, July 7-9, 2000, Proceedings"
  editor:
  - name: "Cristiano Castelfranchi"
    link: "https://researchr.org/alias/cristiano-castelfranchi"
  - name: "Yves Lespérance"
    link: "https://researchr.org/alias/yves-lesp%C3%A9rance"
  volume: "1986"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-42422-9"
  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: "Logical Foundations of Computer Science - Tver  92, Second International Symposium, Tver, Russia, July 20-24, 1992, Proceedings"
  editor:
  - name: "Anil Nerode"
    link: "https://researchr.org/alias/anil-nerode"
  - name: "Michael A. Taitslin"
    link: "https://researchr.org/alias/michael-a.-taitslin"
  volume: "620"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-55707-5"
  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: "Theoretical Computer Science"
  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: "Autonomous Agents and Multi-Agent Systems"
  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: "6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), Honolulu, Hawaii, USA, May 14-18, 2007"
  editor:
  - name: "Edmund H. Durfee"
    link: "https://researchr.org/alias/edmund-h.-durfee"
  - name: "Makoto Yokoo"
    link: "https://researchr.org/alias/makoto-yokoo"
  - name: "Michael N. Huhns"
    link: "https://researchr.org/alias/michael-n.-huhns"
  - name: "Onn Shehory"
    link: "https://researchr.org/alias/onn-shehory"
  publisher: "IFAAMAS"
  isbn: "978-81-904262-7-5"
  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: "Agents and Computational Autonomy - Potential, Risks, and Solutions - Postproceedings of the 1st International Workshop on Computational Autonomy - Potential, Risks, Solutions (AUTONOMY 2003), held at the 2nd International Joint Conference on Autonomous A"
  editor:
  - name: "Matthias Nickles"
    link: "https://researchr.org/alias/matthias-nickles"
  - name: "Michael Rovatsos"
    link: "https://researchr.org/alias/michael-rovatsos"
  - name: "Gerhard Weiß"
    link: "https://researchr.org/alias/gerhard-wei%C3%9F"
  volume: "2969"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-22477-7"
  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: "6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), Honolulu, Hawaii, USA, May 14-18, 2007"
  editor:
  - name: "Edmund H. Durfee"
    link: "https://researchr.org/alias/edmund-h.-durfee"
  - name: "Makoto Yokoo"
    link: "https://researchr.org/alias/makoto-yokoo"
  - name: "Michael N. Huhns"
    link: "https://researchr.org/alias/michael-n.-huhns"
  - name: "Onn Shehory"
    link: "https://researchr.org/alias/onn-shehory"
  publisher: "IFAAMAS"
  isbn: "978-81-904262-7-5"
  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: "8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 1"
  editor:
  - name: "Carles Sierra"
    link: "https://researchr.org/alias/carles-sierra"
  - name: "Cristiano Castelfranchi"
    link: "https://researchr.org/alias/cristiano-castelfranchi"
  - name: "Keith S. Decker"
    link: "https://researchr.org/alias/keith-s.-decker"
  - name: "Jaime Simão Sichman"
    link: "https://researchr.org/alias/jaime-sim%C3%A3o-sichman"
  publisher: "IFAAMAS"
  isbn: "978-0-9817381-6-1"
  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: "Automated Reasoning with Analytic Tableaux and Related Methods, 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings"
  editor:
  - name: "Nicola Olivetti"
    link: "https://researchr.org/alias/nicola-olivetti"
  volume: "4548"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-73098-9"
  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: "Artificial Intelligence"
  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: "From Theory to Practice in Multi-Agent Systems, Second International Workshop of Central and Eastern Europe on Multi-Agent Systems, CEEMAS 2001 Cracow, Poland, September 26-29, 2001, Revised Papers"
  editor:
  - name: "Barbara Dunin-Keplicz"
    link: "https://researchr.org/alias/barbara-dunin-keplicz"
  - name: "Edward Nawarecki"
    link: "https://researchr.org/alias/edward-nawarecki"
  volume: "2296"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-43370-8"
  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: "Intelligent Agents and Multi-Agent Systems, 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008. Proceedings"
  editor:
  - name: "The Duy Bui"
    link: "https://researchr.org/alias/the-duy-bui"
  - name: "Tuong Vinh Ho"
    link: "https://researchr.org/alias/tuong-vinh-ho"
  - name: "Quang-Thuy Ha"
    link: "https://researchr.org/alias/quang-thuy-ha"
  volume: "5357"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-89673-9"
  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: "Deontic Logic in Computer Science, 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings"
  editor:
  - name: "Alessio Lomuscio"
    link: "https://researchr.org/alias/alessio-lomuscio"
  - name: "Donald Nute"
    link: "https://researchr.org/alias/donald-nute"
  volume: "3065"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-22111-5"
  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: "Cooperative Information Agents XI, 11th International Workshop, CIA 2007, Delft, The Netherlands, September 19-21, 2007, Proceedings"
  editor:
  - name: "Matthias Klusch"
    link: "https://researchr.org/alias/matthias-klusch"
  - name: "Koen V. Hindriks"
    link: "http://mmi.tudelft.nl/~koen/"
  - name: "Mike P. Papazoglou"
    link: "https://researchr.org/alias/mike-p.-papazoglou"
  - name: "Leon Sterling"
    link: "https://researchr.org/alias/leon-sterling"
  volume: "4676"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-75118-2"
  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: "Artificial Intelligence: Methodology, Systems, and Applications, 8th International Conference, AIMSA  98, Sozopol, Bulgaria, September 21-13, 1998, Proceedings"
  editor:
  - name: "Fausto Giunchiglia"
    link: "https://researchr.org/alias/fausto-giunchiglia"
  volume: "1480"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-64993-X"
  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: "5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006"
  editor:
  - name: "Hideyuki Nakashima"
    link: "https://researchr.org/alias/hideyuki-nakashima"
  - name: "Michael P. Wellman"
    link: "https://researchr.org/alias/michael-p.-wellman"
  - name: "Gerhard Weiss"
    link: "https://researchr.org/alias/gerhard-weiss"
  - name: "Peter Stone"
    link: "https://researchr.org/alias/peter-stone"
  publisher: "ACM"
  isbn: "1-59593-303-4"
  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: "Logical Foundations of Computer Science, Third International Symposium, LFCS 94, St. Petersburg, Russia, July 11-14, 1994, Proceedings"
  editor:
  - name: "Anil Nerode"
    link: "https://researchr.org/alias/anil-nerode"
  - name: "Yuri Matiyasevich"
    link: "https://researchr.org/alias/yuri-matiyasevich"
  volume: "813"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-58140-5"
  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: "Intelligent Agents IV, Agent Theories, Architectures, and Languages, 4th International Workshop, ATAL  97, Providence, Rhode Island, USA, July 24-26, 1997, Proceedings"
  editor:
  - name: "Munindar P. Singh"
    link: "https://researchr.org/alias/munindar-p.-singh"
  - name: "Anand S. Rao"
    link: "https://researchr.org/alias/anand-s.-rao"
  - name: "Michael Wooldridge"
    link: "https://researchr.org/alias/michael-wooldridge"
  volume: "1365"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-64162-9"
  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: "Data \\& Knowledge Engineering"
  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: "Logics in AI, European Workshop, JELIA  90, Amsterdam, The Netherlands, September  10-14, 1990, Proceedings"
  editor:
  - name: "Jan van Eijck"
    link: "https://researchr.org/alias/jan-van-eijck"
  volume: "478"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-53686-8"
  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: "Fundamenta Informaticae"
  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"