publications:
- 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: "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: "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 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: "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: "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: "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: "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: "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: "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: "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: "Prototyping a tool environment for run-time assertion checking in JML with Communication Histories"
  author:
  - name: "Stijn de Gouw"
    link: "http://www.cwi.nl/en/people/2306"
  - name: "Frank S. de Boer"
    link: "http://homepages.cwi.nl/~frb/"
  - name: "Jurgen J.  Vinju"
    link: "http://homepages.cwi.nl/~jurgenv/"
  year: "2010"
  doi: "http://dx.doi.org/10.1145/1924520.1924526"
  abstract: "In this paper we present prototype tool-support for the runtime assertion checking of the Java Modeling Language (JML) extended with communication histories specified by attribute grammars. Our tool suite integrates Rascal, a meta programming language and ANTLR, a popular parser generator. Rascal instantiates a generic model of history updates for a given Java program annotated with history specifications. ANTLR is used for the actual evaluation of history assertions."
  links:
    doi: "http://dx.doi.org/10.1145/1924520.1924526"
  tags:
  - "rascal"
  - "programming languages"
  - "Java"
  - "attribute grammars"
  - "meta programming"
  - "generic programming"
  - "model checking"
  - "meta-model"
  - "modeling language"
  - "modeling"
  - "language modeling"
  - "programming"
  - "history"
  - "Meta-Environment"
  - "parsing"
  - "meta-objects"
  - "grammar"
  researchr: "https://researchr.org/publication/DeGouw2010"
  cites: 0
  citedby: 0
  booktitle: "12th Workshop on  Formal Techniques for Java-like Programs"
  kind: "inproceedings"
  key: "DeGouw2010"
- 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: "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: "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: "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 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: "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: "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: "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: "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: "On coordination, autonomy and time"
  author:
  - 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/"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1558109.1558292"
  links:
    doi: "http://doi.acm.org/10.1145/1558109.1558292"
  researchr: "https://researchr.org/publication/AstefanoaeiBD09"
  cites: 0
  citedby: 0
  pages: "1357-1358"
  booktitle: "8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 2"
  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-7-8"
  kind: "inproceedings"
  key: "AstefanoaeiBD09"
- 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: "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: "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: "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 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: "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"