@article{RiemsdijkBM06,
  title = {Dynamic Logic for Plan Revision in Agent Programming},
  author = {M. Birna van Riemsdijk and Frank S. de Boer and John-Jules Ch. Meyer},
  year = {2006},
  doi = {10.1093/logcom/exi084},
  url = {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},
}

@inproceedings{ArbabABDMT08,
  title = {Reo Connectors as Coordination Artifacts in 2APL Systems},
  author = {Farhad Arbab and Lacramioara Astefanoaei and Frank S. de Boer and Mehdi Dastani and John-Jules Ch. Meyer and Nick A. M. Tinnemeier},
  year = {2008},
  doi = {10.1007/978-3-540-89674-6_8},
  url = {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 = {The Duy Bui and Tuong Vinh Ho and Quang-Thuy Ha},
  volume = {5357},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-89673-9},
}

@inproceedings{VriesBHHM01,
  title = {A Programming Language for Coordinating Group Actions},
  author = {Wieke de Vries and Frank S. de Boer and Koen V. Hindriks and Wiebe van der Hoek and John-Jules Ch. Meyer},
  year = {2001},
  url = {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 = {Barbara Dunin-Keplicz and Edward Nawarecki},
  volume = {2296},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-43370-8},
}

@inproceedings{HindriksBHM98:0,
  title = {A Formal Embedding of AgentSpeak(L) in 3APL},
  author = {Koen V. Hindriks and Frank S. de Boer and Wiebe van der Hoek and John-Jules Ch. Meyer},
  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 = {Grigoris Antoniou and John K. Slaney},
  volume = {1502},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-65138-1},
}

@inproceedings{BoerPEM03,
  title = {Coordinating Agents in OO},
  author = {Frank S. de Boer and Cees Pierik and Rogier M. van Eijk and John-Jules Ch. Meyer},
  year = {2003},
  url = {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 = {Mark Dermot Ryan and John-Jules Ch. Meyer and Hans-Dieter Ehrich},
  volume = {2975},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-21989-7},
}

@inproceedings{DastaniBDM03,
  title = {Programming agent deliberation: an approach illustrated using the 3APL language},
  author = {Mehdi Dastani and Frank S. de Boer and Frank Dignum and John-Jules Ch. Meyer},
  year = {2003},
  doi = {10.1145/860575.860592},
  url = {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},
}

@inproceedings{HindriksBHM98,
  title = {Control Structures of Rule-Based Agent Languages},
  author = {Koen V. Hindriks and Frank S. de Boer and Wiebe van der Hoek and John-Jules Ch. Meyer},
  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 = {Jörg P. Müller and Munindar P. Singh and Anand S. Rao},
  volume = {1555},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-65713-4},
}

@inproceedings{RiemsdijkBDM06:0,
  title = {Prototyping 3APL in the Maude term rewriting language},
  author = {M. Birna van Riemsdijk and Frank S. de Boer and Mehdi Dastani and John-Jules Ch. Meyer},
  year = {2006},
  doi = {10.1145/1160633.1160865},
  url = {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 = {Hideyuki Nakashima and Michael P. Wellman and Gerhard Weiss and Peter Stone},
  publisher = {ACM},
  isbn = {1-59593-303-4},
}

@article{RiemsdijkMB06,
  title = {Semantics of plan revision in intelligent agents},
  author = {M. Birna van Riemsdijk and John-Jules Ch. Meyer and Frank S. de Boer},
  year = {2006},
  doi = {10.1016/j.tcs.2005.09.070},
  url = {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},
}

@article{MeyerBEHH01,
  title = {On Programming KARO Agents},
  author = {John-Jules Ch. Meyer and Frank S. de Boer and Rogier M. van Eijk and Koen V. Hindriks and Wiebe van der Hoek},
  year = {2001},
  url = {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},
}

@inproceedings{RiemsdijkBDM06,
  title = {Prototyping 3APL in the Maude Term Rewriting Language},
  author = {M. Birna van Riemsdijk and Frank S. de Boer and Mehdi Dastani and John-Jules Ch. Meyer},
  year = {2006},
  doi = {10.1007/978-3-540-69619-3_6},
  url = {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 = {Katsumi Inoue and Ken Satoh and Francesca Toni},
  volume = {4371},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-69618-6},
}

@inproceedings{DeGouw2010,
  title = {Prototyping a tool environment for run-time assertion checking in JML with Communication Histories},
  author = {Stijn de Gouw and Frank S. de Boer and Jurgen J.  Vinju},
  year = {2010},
  doi = {10.1145/1924520.1924526},
  url = {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},
}

@inproceedings{BoerEHM99,
  title = {Failure Semantics for the Exchange of Information in Multi-agent Systems},
  author = {Frank S. de Boer and Rogier M. van Eijk and Wiebe van der Hoek and John-Jules Ch. Meyer},
  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 = {Ana M. D. Moreira and Serge Demeyer},
  volume = {1743},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66954-X},
}

@article{EijkBHM01:0,
  title = {On dynamically generated ontology translators in agent communication},
  author = {Rogier M. van Eijk and Frank S. de Boer and Wiebe van der Hoek and John-Jules Ch. Meyer},
  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},
}

@inproceedings{HindriksBHM97,
  title = {Formal Semantics for an Abstract Agent Programming Language},
  author = {Koen V. Hindriks and Frank S. de Boer and Wiebe van der Hoek and John-Jules Ch. Meyer},
  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 = {Munindar P. Singh and Anand S. Rao and Michael Wooldridge},
  volume = {1365},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-64162-9},
}

@inproceedings{RiemsdijkDMB06,
  title = {Goal-oriented modularity in agent programming},
  author = {M. Birna van Riemsdijk and Mehdi Dastani and John-Jules Ch. Meyer and Frank S. de Boer},
  year = {2006},
  doi = {10.1145/1160633.1160864},
  url = {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 = {Hideyuki Nakashima and Michael P. Wellman and Gerhard Weiss and Peter Stone},
  publisher = {ACM},
  isbn = {1-59593-303-4},
}

@article{BoerEHM03,
  title = {A fully abstract model for the exchange of information in multi-agent systems},
  author = {Frank S. de Boer and Rogier M. van Eijk and Wiebe van der Hoek and John-Jules Ch. Meyer},
  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},
}

@inproceedings{BoerEHM00,
  title = {Failure Semantics for the Exchange of Information in Multi-Agent Systems},
  author = {Frank S. de Boer and Rogier M. van Eijk and Wiebe van der Hoek and John-Jules Ch. Meyer},
  year = {2000},
  url = {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 = {Catuscia Palamidessi},
  volume = {1877},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-67897-2},
}

@inproceedings{AstefanoaeiDMB08,
  title = {A Verification Framework for Normative Multi-Agent Systems},
  author = {Lacramioara Astefanoaei and Mehdi Dastani and John-Jules Ch. Meyer and Frank S. de Boer},
  year = {2008},
  doi = {10.1007/978-3-540-89674-6_9},
  url = {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 = {The Duy Bui and Tuong Vinh Ho and Quang-Thuy Ha},
  volume = {5357},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-89673-9},
}

@article{EijkBHM01,
  title = {Modal Logic with Bounded Quantification over Worlds},
  author = {Rogier M. van Eijk and Frank S. de Boer and Wiebe van der Hoek and John-Jules Ch. Meyer},
  year = {2001},
  url = {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},
}

@inproceedings{HindriksBHM00,
  title = {Semantics of Communicating Agents Based on Deduction and Abduction},
  author = {Koen V. Hindriks and Frank S. de Boer and Wiebe van der Hoek and John-Jules Ch. Meyer},
  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 = {Frank Dignum and Mark Greaves},
  volume = {1916},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-41144-5},
}

@inproceedings{AstefanoaeiBD09,
  title = {On coordination, autonomy and time},
  author = {Lacramioara Astefanoaei and Frank S. de Boer and Mehdi Dastani},
  year = {2009},
  doi = {10.1145/1558109.1558292},
  url = {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 = {Carles Sierra and Cristiano Castelfranchi and Keith S. Decker and Jaime Simão Sichman},
  publisher = {IFAAMAS},
  isbn = {978-0-9817381-7-8},
}

@article{BoerVMEH05,
  title = {Process algebra and constraint programming for modeling interactions in MAS},
  author = {Frank S. de Boer and Wieke de Vries and John-Jules Ch. Meyer and Rogier M. van Eijk and Wiebe van der Hoek},
  year = {2005},
  doi = {10.1007/s00200-005-0173-0},
  url = {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},
}

@inproceedings{RiemsdijkMB04,
  title = {Semantics of Plan Revision in Intelligent Agents},
  author = {M. Birna van Riemsdijk and John-Jules Ch. Meyer and Frank S. de Boer},
  year = {2004},
  url = {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 = {Charles Rattray and Savi Maharaj and Carron Shankland},
  volume = {3116},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-22381-9},
}

@inproceedings{EijkBHM98,
  title = {Constructing Translations Between Individual Vocabularies in Multi-Agent Systems},
  author = {Rogier M. van Eijk and Frank S. de Boer and Wiebe van der Hoek and John-Jules Ch. Meyer},
  year = {1998},
  url = {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 = {Fausto Giunchiglia},
  volume = {1480},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-64993-X},
}

@inproceedings{RiemsdijkBM04,
  title = {Dynamic Logic for Plan Revision in Intelligent Agents},
  author = {M. Birna van Riemsdijk and Frank S. de Boer and John-Jules Ch. Meyer},
  year = {2004},
  doi = {10.1007/11533092_2},
  url = {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 = {João Alexandre Leite and Paolo Torroni},
  volume = {3487},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-28060-X},
}

@inproceedings{VriesBHM01,
  title = {A Truly Concurrent Model for Interacting Agents},
  author = {Wieke de Vries and Frank S. de Boer and Wiebe van der Hoek and John-Jules Ch. Meyer},
  year = {2001},
  url = {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 = {Soe-Tsyr Yuan and Makoto Yokoo},
  volume = {2132},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-42434-2},
}

@inproceedings{HindriksBHM00:0,
  title = {Agent Programming with Declarative Goals},
  author = {Koen V. Hindriks and Frank S. de Boer and Wiebe van der Hoek and John-Jules Ch. Meyer},
  year = {2000},
  url = {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 = {Cristiano Castelfranchi and Yves Lespérance},
  volume = {1986},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-42422-9},
}