@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 = {prima},
}

@article{GobleM08,
  title = {Editorial},
  author = {Lou Goble and John-Jules Ch. Meyer},
  year = {2008},
  doi = {10.1016/j.jal.2007.06.004},
  url = {http://dx.doi.org/10.1016/j.jal.2007.06.004},
  researchr = {https://researchr.org/publication/GobleM08},
  cites = {0},
  citedby = {0},
  journal = {japll},
  volume = {6},
  number = {2},
  pages = {133-134},
}

@inproceedings{SteunebrinkDM08,
  title = {A Formal Model of Emotions: Integrating Qualitative and Quantitative Aspects},
  author = {Bas R. Steunebrink and Mehdi Dastani and John-Jules Ch. Meyer},
  year = {2008},
  doi = {10.3233/978-1-58603-891-5-256},
  url = {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},
}

@article{RoordaHM03,
  title = {Iterated Belief Change in Multi-Agent Systems},
  author = {Jan-Willem Roorda and Wiebe van der Hoek and John-Jules Ch. Meyer},
  year = {2003},
  url = {http://www3.oup.co.uk/igpl/Volume_11/Issue_02/#Roorda},
  researchr = {https://researchr.org/publication/RoordaHM03},
  cites = {0},
  citedby = {0},
  journal = {igpl},
  volume = {11},
  number = {2},
  pages = {223-246},
}

@inproceedings{LinderHM94,
  title = {Tests as Epistemic Updates},
  author = {Bernd van Linder and Wiebe van der Hoek and John-Jules Ch. Meyer},
  year = {1994},
  tags = {testing},
  researchr = {https://researchr.org/publication/LinderHM94},
  cites = {0},
  citedby = {0},
  pages = {331-335},
  booktitle = {ecai},
}

@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 = {prima},
}

@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 = {agentCL},
}

@article{MeyerH96,
  title = {A Modal Contrastive Logic: The Logic of  but },
  author = {John-Jules Ch. Meyer and Wiebe van der Hoek},
  year = {1996},
  tags = {modal logic, logic},
  researchr = {https://researchr.org/publication/MeyerH96},
  cites = {0},
  citedby = {0},
  journal = {AMAI},
  volume = {17},
  number = {3-4},
  pages = {291-313},
}

@article{Meier87:0,
  title = {Process modalities obtained as fixed points (Part one)},
  author = {John-Jules Ch. Meyer},
  year = {1987},
  researchr = {https://researchr.org/publication/Meier87%3A0},
  cites = {0},
  citedby = {0},
  journal = {eatcs},
  volume = {32},
  pages = {98-106},
}

@inproceedings{BentaharM07:0,
  title = {Model Checking Communicative Agent-Based Systems},
  author = {Jamal Bentahar and John-Jules Ch. Meyer},
  year = {2007},
  tags = {rule-based, agent based modeling, model checking, meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/BentaharM07%3A0},
  cites = {0},
  citedby = {0},
  pages = {239-265},
  booktitle = {somet},
}

@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 = {logcom},
  volume = {11},
  number = {5},
  pages = {701-715},
}

@incollection{DastaniRM05,
  title = {Programming Multi-Agent Systems in 3APL},
  author = {Mehdi Dastani and M. Birna van Riemsdijk and John-Jules Ch. Meyer},
  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 = {Rafael H. Bordini and Mehdi Dastani and Jürgen Dix and Amal El Fallah-Seghrouchni},
  volume = {15},
  series = {Multiagent Systems, Artificial Societies, and Simulated Organizations},
  publisher = {Springer},
  isbn = {0-387-24568-5},
}

@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 = {atal},
}

@inproceedings{BroersenMMT08:1,
  title = {A Deontic Logic for Socially Optimal Norms},
  author = {Jan Broersen and Rosja Mastop and John-Jules Ch. Meyer and Paolo Turrini},
  year = {2008},
  doi = {10.1007/978-3-540-70525-3_17},
  url = {http://dx.doi.org/10.1007/978-3-540-70525-3_17},
  tags = {logic, social},
  researchr = {https://researchr.org/publication/BroersenMMT08%3A1},
  cites = {0},
  citedby = {0},
  pages = {218-232},
  booktitle = {deon},
}

@article{MeyerH95,
  title = {A Default Logic Based on Epistemic States},
  author = {John-Jules Ch. Meyer and Wiebe van der Hoek},
  year = {1995},
  tags = {rule-based, logic},
  researchr = {https://researchr.org/publication/MeyerH95},
  cites = {0},
  citedby = {0},
  journal = {FUIN},
  volume = {23},
  number = {1},
  pages = {33-65},
}

@inproceedings{VergunstSDDM07,
  title = {Towards Programming Multimodal Dialogues},
  author = {N. L. Vergunst and Bas R. Steunebrink and Mehdi Dastani and F. P. M. Dignum and John-Jules Ch. Meyer},
  year = {2007},
  doi = {10.1109/WIIATW.2007.4427603},
  url = {http://dx.doi.org/10.1109/WIIATW.2007.4427603},
  tags = {programming},
  researchr = {https://researchr.org/publication/VergunstSDDM07},
  cites = {0},
  citedby = {0},
  pages = {342-345},
  booktitle = {iat},
}

@inproceedings{DastaniMB06a,
  title = {06261 Abstracts Collection -- Foundations and Practice of Programming Multi-Agent Systems},
  author = {Mehdi Dastani and John-Jules Ch. Meyer and Rafael H. Bordini},
  year = {2006},
  url = {http://drops.dagstuhl.de/opus/volltexte/2007/847},
  tags = {programming},
  researchr = {https://researchr.org/publication/DastaniMB06a},
  cites = {0},
  citedby = {0},
  booktitle = {Dagstuhl},
}

@inproceedings{RiemsdijkDM05,
  title = {Subgoal Semantics in Agent Programming},
  author = {M. Birna van Riemsdijk and Mehdi Dastani and John-Jules Ch. Meyer},
  year = {2005},
  doi = {10.1007/11595014_54},
  url = {http://dx.doi.org/10.1007/11595014_54},
  tags = {semantics, programming},
  researchr = {https://researchr.org/publication/RiemsdijkDM05},
  cites = {0},
  citedby = {0},
  pages = {548-559},
  booktitle = {epia},
}

@inproceedings{RiemsdijkM06,
  title = {A Compositional Semantics of Plan Revision in Intelligent Agents},
  author = {M. Birna van Riemsdijk and John-Jules Ch. Meyer},
  year = {2006},
  doi = {10.1007/11784180_27},
  url = {http://dx.doi.org/10.1007/11784180_27},
  tags = {semantics, composition},
  researchr = {https://researchr.org/publication/RiemsdijkM06},
  cites = {0},
  citedby = {0},
  pages = {353-367},
  booktitle = {amast},
}

@inproceedings{LebbinkWM06,
  title = {Can I Please Drop It? Dialogues About Belief Contraction},
  author = {Henk-Jan Lebbink and Cilia Witteman and John-Jules Ch. Meyer},
  year = {2006},
  doi = {10.1007/978-3-540-68143-4_16},
  url = {http://dx.doi.org/10.1007/978-3-540-68143-4_16},
  researchr = {https://researchr.org/publication/LebbinkWM06},
  cites = {0},
  citedby = {0},
  pages = {227-242},
  booktitle = {acom},
}

@inproceedings{MeyerH93:0,
  title = {A Default Logic Based on Epistemic States},
  author = {John-Jules Ch. Meyer and Wiebe van der Hoek},
  year = {1993},
  tags = {rule-based, logic},
  researchr = {https://researchr.org/publication/MeyerH93%3A0},
  cites = {0},
  citedby = {0},
  pages = {265-273},
  booktitle = {ecsqaru},
}

@inproceedings{WeideDMPV08,
  title = {Personality-Based Practical Reasoning},
  author = {Thomas L. van der Weide and Frank Dignum and John-Jules Ch. Meyer and Henry Prakken and Gerard Vreeswijk},
  year = {2008},
  doi = {10.1007/978-3-642-00207-6_1},
  url = {http://dx.doi.org/10.1007/978-3-642-00207-6_1},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/WeideDMPV08},
  cites = {0},
  citedby = {0},
  pages = {3-18},
  booktitle = {argmas},
}

@inproceedings{DastaniM06,
  title = {Programming Agents with Emotions},
  author = {Mehdi Dastani and John-Jules Ch. Meyer},
  year = {2006},
  tags = {programming},
  researchr = {https://researchr.org/publication/DastaniM06},
  cites = {0},
  citedby = {0},
  pages = {215-219},
  booktitle = {ecai},
}

@inproceedings{DastaniRM07,
  title = {A grounded specification language for agent programs},
  author = {Mehdi Dastani and M. Birna van Riemsdijk and John-Jules Ch. Meyer},
  year = {2007},
  doi = {10.1145/1329125.1329304},
  url = {http://doi.acm.org/10.1145/1329125.1329304},
  tags = {programming languages},
  researchr = {https://researchr.org/publication/DastaniRM07},
  cites = {0},
  citedby = {0},
  pages = {147},
  booktitle = {atal},
}

@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 = {igpl},
  volume = {9},
  number = {2},
  pages = {245-256},
}

@inproceedings{RiemsdijkHM02,
  title = {Agent Programming in Dribble: From Beliefs to Goals with Plans},
  author = {M. Birna van Riemsdijk and Wiebe van der Hoek and John-Jules Ch. Meyer},
  year = {2002},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2699&spage=294},
  tags = {programming},
  researchr = {https://researchr.org/publication/RiemsdijkHM02},
  cites = {0},
  citedby = {0},
  pages = {294-295},
  booktitle = {faabs},
}

@inproceedings{TurriniMC07,
  title = {Rational Agents That Blush},
  author = {Paolo Turrini and John-Jules Ch. Meyer and Cristiano Castelfranchi},
  year = {2007},
  doi = {10.1007/978-3-540-74889-2_28},
  url = {http://dx.doi.org/10.1007/978-3-540-74889-2_28},
  researchr = {https://researchr.org/publication/TurriniMC07},
  cites = {0},
  citedby = {0},
  pages = {314-325},
  booktitle = {acii},
}

@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 = {atal},
}

@inproceedings{AlechinaDLM07,
  title = {A Logic of Agent Programs},
  author = {Natasha Alechina and Mehdi Dastani and Brian Logan and John-Jules Ch. Meyer},
  year = {2007},
  tags = {logic programming, logic},
  researchr = {https://researchr.org/publication/AlechinaDLM07},
  cites = {0},
  citedby = {0},
  pages = {795-800},
  booktitle = {AAAI},
}

@inproceedings{SteunebrinkDM07,
  title = {A Logic of Emotions for Intelligent Agents},
  author = {Bas R. Steunebrink and Mehdi Dastani and John-Jules Ch. Meyer},
  year = {2007},
  tags = {logic},
  researchr = {https://researchr.org/publication/SteunebrinkDM07},
  cites = {0},
  citedby = {0},
  pages = {142-147},
  booktitle = {AAAI},
}

@inproceedings{LinderHM94:0,
  title = {Communicating Rational Agents},
  author = {Bernd van Linder and Wiebe van der Hoek and John-Jules Ch. Meyer},
  year = {1994},
  researchr = {https://researchr.org/publication/LinderHM94%3A0},
  cites = {0},
  citedby = {0},
  pages = {202-213},
  booktitle = {ki},
}

@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 = {amast},
}

@inproceedings{AldewereldDM07,
  title = {Designing protocols for agent institutions},
  author = {Huib Aldewereld and Frank Dignum and John-Jules Ch. Meyer},
  year = {2007},
  doi = {10.1145/1329125.1329163},
  url = {http://doi.acm.org/10.1145/1329125.1329163},
  tags = {protocol},
  researchr = {https://researchr.org/publication/AldewereldDM07},
  cites = {0},
  citedby = {0},
  pages = {31},
  booktitle = {atal},
}

@inproceedings{LinderHM95:0,
  title = {Formalising Motivational Attitudes of Agents},
  author = {Bernd van Linder and Wiebe van der Hoek and John-Jules Ch. Meyer},
  year = {1995},
  researchr = {https://researchr.org/publication/LinderHM95%3A0},
  cites = {0},
  citedby = {0},
  pages = {17-32},
  booktitle = {atal},
}

@inproceedings{RoordaHM02,
  title = {Iterated belief change in multi-agent systems},
  author = {Jan-Willem Roorda and Wiebe van der Hoek and John-Jules Ch. Meyer},
  year = {2002},
  doi = {10.1145/544862.544949},
  url = {http://doi.acm.org/10.1145/544862.544949},
  researchr = {https://researchr.org/publication/RoordaHM02},
  cites = {0},
  citedby = {0},
  pages = {889-896},
  booktitle = {atal},
}

@inproceedings{DastaniRM06,
  title = {Goal Types in Agent Programming},
  author = {Mehdi Dastani and M. Birna van Riemsdijk and John-Jules Ch. Meyer},
  year = {2006},
  tags = {programming},
  researchr = {https://researchr.org/publication/DastaniRM06},
  cites = {0},
  citedby = {0},
  pages = {220-224},
  booktitle = {ecai},
}

@inproceedings{DiggelenBDEM06:0,
  title = {ANEMONE: an effective minimal ontology negotiation environment},
  author = {Jurriaan van Diggelen and Robbert-Jan Beun and Frank Dignum and Rogier M. van Eijk and John-Jules Ch. Meyer},
  year = {2006},
  doi = {10.1145/1160633.1160794},
  url = {http://doi.acm.org/10.1145/1160633.1160794},
  tags = {ontologies, ontology, meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/DiggelenBDEM06%3A0},
  cites = {0},
  citedby = {0},
  pages = {899-906},
  booktitle = {atal},
}

@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},
}

@inproceedings{RiemsdijkDM05:0,
  title = {Semantics of declarative goals in agent programming},
  author = {M. Birna van Riemsdijk and Mehdi Dastani and John-Jules Ch. Meyer},
  year = {2005},
  doi = {10.1145/1082473.1082494},
  url = {http://doi.acm.org/10.1145/1082473.1082494},
  tags = {semantics, programming},
  researchr = {https://researchr.org/publication/RiemsdijkDM05%3A0},
  cites = {0},
  citedby = {0},
  pages = {133-140},
  booktitle = {atal},
}

@inproceedings{LinderHM95,
  title = {Seeing is Believing},
  author = {Bernd van Linder and Wiebe van der Hoek and John-Jules Ch. Meyer},
  year = {1995},
  researchr = {https://researchr.org/publication/LinderHM95},
  cites = {0},
  citedby = {0},
  pages = {402-413},
  booktitle = {aiia},
}

@article{HoekLM00,
  title = {On Agents That Have the Ability to Choose},
  author = {Wiebe van der Hoek and Bernd van Linder and John-Jules Ch. Meyer},
  year = {2000},
  researchr = {https://researchr.org/publication/HoekLM00},
  cites = {0},
  citedby = {0},
  journal = {sLogica},
  volume = {66},
  number = {1},
  pages = {79-119},
}

@inproceedings{RiemsdijkDDM04,
  title = {Dynamics of Declarative Goals in Agent Programming},
  author = {M. Birna van Riemsdijk and Mehdi Dastani and Frank Dignum and John-Jules Ch. Meyer},
  year = {2004},
  doi = {10.1007/11493402_1},
  url = {http://dx.doi.org/10.1007/11493402_1},
  tags = {programming},
  researchr = {https://researchr.org/publication/RiemsdijkDDM04},
  cites = {0},
  citedby = {0},
  pages = {1-18},
  booktitle = {dalt},
}

@article{LinderHM97,
  title = {Seeing Is Believing},
  author = {Bernd van Linder and Wiebe van der Hoek and John-Jules Ch. Meyer},
  year = {1997},
  researchr = {https://researchr.org/publication/LinderHM97},
  cites = {0},
  citedby = {0},
  journal = {jolli},
  volume = {6},
  number = {1},
  pages = {33-61},
}

@inproceedings{LinderHM95:1,
  title = {The Dynamics of Default Reasoning (Extended Abstract)},
  author = {Bernd van Linder and Wiebe van der Hoek and John-Jules Ch. Meyer},
  year = {1995},
  researchr = {https://researchr.org/publication/LinderHM95%3A1},
  cites = {0},
  citedby = {0},
  pages = {277-284},
  booktitle = {ecsqaru},
}

@article{MeyerH93,
  title = {Counterfactual Reasoning by (means of) Defaults},
  author = {John-Jules Ch. Meyer and Wiebe van der Hoek},
  year = {1993},
  researchr = {https://researchr.org/publication/MeyerH93},
  cites = {0},
  citedby = {0},
  journal = {AMAI},
  volume = {9},
  number = {3-4},
  pages = {345-360},
}

@inproceedings{BentaharMMC04:0,
  title = {A Logical Model for Commitment and Argument Network for Agent Communication},
  author = {Jamal Bentahar and Bernard Moulin and John-Jules Ch. Meyer and Brahim Chaib-draa},
  year = {2004},
  url = {http://csdl.computer.org/comp/proceedings/aamas/2004/2092/02/20920792abs.htm},
  researchr = {https://researchr.org/publication/BentaharMMC04%3A0},
  cites = {0},
  citedby = {0},
  pages = {792-799},
  booktitle = {atal},
}

@inproceedings{DastaniRHDM04,
  title = {Enacting and Deacting Roles in Agent Programming},
  author = {Mehdi Dastani and M. Birna van Riemsdijk and Joris Hulstijn and Frank Dignum and John-Jules Ch. Meyer},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3382&spage=189},
  tags = {programming},
  researchr = {https://researchr.org/publication/DastaniRHDM04},
  cites = {0},
  citedby = {0},
  pages = {189-204},
  booktitle = {aose},
}

@article{BroersenWM02,
  title = {A Fixed-point Characterization of a Deontic Logic of Regular Action},
  author = {Jan Broersen and Roel Wieringa and John-Jules Ch. Meyer},
  year = {2002},
  tags = {logic},
  researchr = {https://researchr.org/publication/BroersenWM02},
  cites = {0},
  citedby = {0},
  journal = {FUIN},
  volume = {49},
  number = {4},
  pages = {107-128},
}

@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 = {clima},
}

@inproceedings{DastaniRDM03,
  title = {A Programming Language for Cognitive Agents Goal Directed 3APL},
  author = {Mehdi Dastani and M. Birna van Riemsdijk and Frank Dignum and John-Jules Ch. Meyer},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3067&spage=111},
  tags = {programming languages, programming},
  researchr = {https://researchr.org/publication/DastaniRDM03},
  cites = {0},
  citedby = {0},
  pages = {111-130},
  booktitle = {promas},
}

@inproceedings{HustadtDSFMH01,
  title = {Reasoning about agents in the KARO framework},
  author = {Ullrich Hustadt and Clare Dixon and Renate A. Schmidt and Michael Fisher and John-Jules Ch. Meyer and Wiebe van der Hoek},
  year = {2001},
  url = {http://www.computer.org/proceedings/time/1107/11070206abs.htm},
  researchr = {https://researchr.org/publication/HustadtDSFMH01},
  cites = {0},
  citedby = {0},
  pages = {206-213},
  booktitle = {rtas},
}

@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 = {atal},
}

@article{HarrensteinHMW03,
  title = {A Modal Characterization of Nash Equilibrium},
  author = {Paul Harrenstein and Wiebe van der Hoek and John-Jules Ch. Meyer and Cees Witteveen},
  year = {2003},
  url = {http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=57&issue=2&spage=281},
  researchr = {https://researchr.org/publication/HarrensteinHMW03},
  cites = {0},
  citedby = {0},
  journal = {FUIN},
  volume = {57},
  number = {2-4},
  pages = {281-321},
}

@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 = {TCS},
  volume = {290},
  number = {3},
  pages = {1753-1773},
}

@inproceedings{GrossiDM04,
  title = {Contextual Taxonomies},
  author = {Davide Grossi and Frank Dignum and John-Jules Ch. Meyer},
  year = {2004},
  doi = {10.1007/11533092_3},
  url = {http://dx.doi.org/10.1007/11533092_3},
  tags = {taxonomy},
  researchr = {https://researchr.org/publication/GrossiDM04},
  cites = {0},
  citedby = {0},
  pages = {33-51},
  booktitle = {clima},
}

@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 = {logcom},
  volume = {16},
  number = {3},
  pages = {375-402},
}

@article{HommersomMV05,
  title = {Toward Reasoning about Security Protocols: A Semantic Approach},
  author = {Arjen Hommersom and John-Jules Ch. Meyer and Erik P. de Vink},
  year = {2005},
  doi = {10.1016/j.entcs.2004.11.013},
  url = {http://dx.doi.org/10.1016/j.entcs.2004.11.013},
  tags = {protocol, security, systematic-approach},
  researchr = {https://researchr.org/publication/HommersomMV05},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {126},
  pages = {53-75},
}

@inproceedings{DastaniM07,
  title = {A Practical Agent Programming Language},
  author = {Mehdi Dastani and John-Jules Ch. Meyer},
  year = {2007},
  doi = {10.1007/978-3-540-79043-3_7},
  url = {http://dx.doi.org/10.1007/978-3-540-79043-3_7},
  tags = {programming languages, programming},
  researchr = {https://researchr.org/publication/DastaniM07},
  cites = {0},
  citedby = {0},
  pages = {107-123},
  booktitle = {promas},
}

@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 = {ijis},
  volume = {16},
  number = {5},
  pages = {587-607},
}

@inproceedings{DastaniRM06:0,
  title = {Goal types in agent programming},
  author = {Mehdi Dastani and M. Birna van Riemsdijk and John-Jules Ch. Meyer},
  year = {2006},
  doi = {10.1145/1160633.1160867},
  url = {http://doi.acm.org/10.1145/1160633.1160867},
  tags = {programming},
  researchr = {https://researchr.org/publication/DastaniRM06%3A0},
  cites = {0},
  citedby = {0},
  pages = {1285-1287},
  booktitle = {atal},
}

@article{HeydemannMS89,
  title = {On forwarding indices of networks},
  author = {Marie-Claude Heydemann and John-Jules Ch. Meyer and Dominique Sotteau},
  year = {1989},
  doi = {10.1016/0166-218X(89)90022-X},
  url = {http://dx.doi.org/10.1016/0166-218X(89)90022-X},
  researchr = {https://researchr.org/publication/HeydemannMS89},
  cites = {0},
  citedby = {0},
  journal = {DAM},
  volume = {23},
  number = {2},
  pages = {103-123},
}

@article{MeyerV89:0,
  title = {Step Semantics for  True  Concurrency with Recursion},
  author = {John-Jules Ch. Meyer and Erik P. de Vink},
  year = {1989},
  tags = {semantics},
  researchr = {https://researchr.org/publication/MeyerV89%3A0},
  cites = {0},
  citedby = {0},
  journal = {dc},
  volume = {3},
  number = {3},
  pages = {130-145},
}

@article{FavaronHMS90,
  title = {A parameter linked with G-factors and the binding number},
  author = {Odile Favaron and Marie-Claude Heydemann and John-Jules Ch. Meyer and Dominique Sotteau},
  year = {1990},
  doi = {10.1016/0012-365X(90)90239-E},
  url = {http://dx.doi.org/10.1016/0012-365X(90)90239-E},
  researchr = {https://researchr.org/publication/FavaronHMS90},
  cites = {0},
  citedby = {0},
  journal = {DM},
  volume = {91},
  number = {3},
  pages = {311-316},
}

@inproceedings{SindlarDDM08,
  title = {Mental State Abduction of BDI-Based Agents},
  author = {Michal P. Sindlar and Mehdi Dastani and Frank Dignum and John-Jules Ch. Meyer},
  year = {2008},
  doi = {10.1007/978-3-540-93920-7_11},
  url = {http://dx.doi.org/10.1007/978-3-540-93920-7_11},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/SindlarDDM08},
  cites = {0},
  citedby = {0},
  pages = {161-178},
  booktitle = {dalt},
}

@inproceedings{AldewereldVDM05,
  title = {Norm compliance of protocols in electronic institutions},
  author = {Huib Aldewereld and Javier Vázquez-Salceda and Frank Dignum and John-Jules Ch. Meyer},
  year = {2005},
  doi = {10.1145/1082473.1082738},
  url = {http://doi.acm.org/10.1145/1082473.1082738},
  tags = {protocol},
  researchr = {https://researchr.org/publication/AldewereldVDM05},
  cites = {0},
  citedby = {0},
  pages = {1291-1292},
  booktitle = {atal},
}

@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 = {ausai},
}

@article{HoekMT98,
  title = {Temporalizing Epistemic Default Logic},
  author = {Wiebe van der Hoek and John-Jules Ch. Meyer and Jan Treur},
  year = {1998},
  tags = {logic},
  researchr = {https://researchr.org/publication/HoekMT98},
  cites = {0},
  citedby = {0},
  journal = {jolli},
  volume = {7},
  number = {3},
  pages = {341-367},
}

@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 = {aaecc},
  volume = {16},
  number = {2-3},
  pages = {113-150},
}

@inproceedings{HarrensteinHMW02,
  title = {On Modal Logic Interpretations of Games},
  author = {Paul Harrenstein and Wiebe van der Hoek and John-Jules Ch. Meyer and Cees Witteveen},
  year = {2002},
  tags = {modal logic, logic},
  researchr = {https://researchr.org/publication/HarrensteinHMW02},
  cites = {0},
  citedby = {0},
  pages = {28-32},
  booktitle = {ecai},
}

@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 = {ECOOPW},
}

@article{Meyer86:3,
  title = {Merging Regular Processes by Means of Fixed-Point Theory},
  author = {John-Jules Ch. Meyer},
  year = {1986},
  researchr = {https://researchr.org/publication/Meyer86%3A3},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {45},
  number = {2},
  pages = {193-260},
}

@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 = {clima},
}

@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 = {Dagstuhl},
}

@inproceedings{HoekMT94,
  title = {Formal Semantics of Temporal Epistemic Reflection},
  author = {Wiebe van der Hoek and John-Jules Ch. Meyer and Jan Treur},
  year = {1994},
  tags = {semantics, formal semantics, reflection},
  researchr = {https://researchr.org/publication/HoekMT94},
  cites = {0},
  citedby = {0},
  pages = {332-352},
  booktitle = {LOPSTR},
}

@inproceedings{GrossiMD07,
  title = {On the Logic of Constitutive Rules},
  author = {Davide Grossi and John-Jules Ch. Meyer and Frank Dignum},
  year = {2007},
  url = {http://drops.dagstuhl.de/opus/volltexte/2007/913},
  tags = {rule-based, rules, logic},
  researchr = {https://researchr.org/publication/GrossiMD07},
  cites = {0},
  citedby = {0},
  booktitle = {Dagstuhl},
}

@inproceedings{LinderHM95:2,
  title = {Actions That Make You Change Your Mind (Extended Abstract)},
  author = {Bernd van Linder and Wiebe van der Hoek and John-Jules Ch. Meyer},
  year = {1995},
  researchr = {https://researchr.org/publication/LinderHM95%3A2},
  cites = {0},
  citedby = {0},
  pages = {185-196},
  booktitle = {ki},
}

@inproceedings{DastaniMB06,
  title = {06261 Executive Summary -- Foundations and Practice of Programming Multi-Agent Systems},
  author = {Mehdi Dastani and John-Jules Ch. Meyer and Rafael H. Bordini},
  year = {2006},
  url = {http://drops.dagstuhl.de/opus/volltexte/2007/846},
  tags = {programming},
  researchr = {https://researchr.org/publication/DastaniMB06},
  cites = {0},
  citedby = {0},
  booktitle = {Dagstuhl},
}

@article{HindriksM09,
  title = {Toward a programming theory for rational agents},
  author = {Koen V. Hindriks and John-Jules Ch. Meyer},
  year = {2009},
  doi = {10.1007/s10458-008-9065-6},
  url = {http://dx.doi.org/10.1007/s10458-008-9065-6},
  tags = {programming},
  researchr = {https://researchr.org/publication/HindriksM09},
  cites = {0},
  citedby = {0},
  journal = {AAMAS},
  volume = {19},
  number = {1},
  pages = {4-29},
}

@inproceedings{TinnemeierDM07,
  title = {Goal Selection Strategies for Rational Agents},
  author = {Nick A. M. Tinnemeier and Mehdi Dastani and John-Jules Ch. Meyer},
  year = {2007},
  doi = {10.1007/978-3-540-85058-8_4},
  url = {http://dx.doi.org/10.1007/978-3-540-85058-8_4},
  researchr = {https://researchr.org/publication/TinnemeierDM07},
  cites = {0},
  citedby = {0},
  pages = {54-70},
  booktitle = {lads},
}

@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 = {atal},
}

@inproceedings{HoekM92,
  title = {Graded Modalities in Epistemic Logic},
  author = {Wiebe van der Hoek and John-Jules Ch. Meyer},
  year = {1992},
  tags = {modal logic, logic},
  researchr = {https://researchr.org/publication/HoekM92},
  cites = {0},
  citedby = {0},
  pages = {503-514},
  booktitle = {lfcs},
}

@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 = {TCS},
  volume = {351},
  number = {2},
  pages = {240-257},
}

@article{RiemsdijkDM09,
  title = {Goals in conflict: semantic foundations of goals in agent programming},
  author = {M. Birna van Riemsdijk and Mehdi Dastani and John-Jules Ch. Meyer},
  year = {2009},
  doi = {10.1007/s10458-008-9067-4},
  url = {http://dx.doi.org/10.1007/s10458-008-9067-4},
  tags = {programming},
  researchr = {https://researchr.org/publication/RiemsdijkDM09},
  cites = {0},
  citedby = {0},
  journal = {AAMAS},
  volume = {18},
  number = {3},
  pages = {471-500},
}

@inproceedings{GrossiDM07,
  title = {A formal road from institutional norms to organizational structures},
  author = {Davide Grossi and Frank Dignum and John-Jules Ch. Meyer},
  year = {2007},
  doi = {10.1145/1329125.1329234},
  url = {http://doi.acm.org/10.1145/1329125.1329234},
  researchr = {https://researchr.org/publication/GrossiDM07},
  cites = {0},
  citedby = {0},
  pages = {89},
  booktitle = {atal},
}

@inproceedings{DastaniDM03,
  title = {Autonomy and Agent Deliberation},
  author = {Mehdi Dastani and Frank Dignum and John-Jules Ch. Meyer},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2969&spage=114},
  researchr = {https://researchr.org/publication/DastaniDM03},
  cites = {0},
  citedby = {0},
  pages = {114-127},
  booktitle = {atal},
}

@inproceedings{DastaniHM07,
  title = {Practical extensions in agent programming languages},
  author = {Mehdi Dastani and Dirk Hobo and John-Jules Ch. Meyer},
  year = {2007},
  doi = {10.1145/1329125.1329294},
  url = {http://doi.acm.org/10.1145/1329125.1329294},
  tags = {programming languages, programming},
  researchr = {https://researchr.org/publication/DastaniHM07},
  cites = {0},
  citedby = {0},
  pages = {138},
  booktitle = {atal},
}

@inproceedings{TinnemeierDM09,
  title = {Roles and norms for programming agent organizations},
  author = {Nick Tinnemeier and Mehdi Dastani and John-Jules Ch. Meyer},
  year = {2009},
  doi = {10.1145/1558013.1558029},
  url = {http://doi.acm.org/10.1145/1558013.1558029},
  tags = {programming},
  researchr = {https://researchr.org/publication/TinnemeierDM09},
  cites = {0},
  citedby = {0},
  pages = {121-128},
  booktitle = {atal},
}

@inproceedings{Meyer07:3,
  title = {Our Quest for the Holy Grail of Agent Verification},
  author = {John-Jules Ch. Meyer},
  year = {2007},
  doi = {10.1007/978-3-540-73099-6_2},
  url = {http://dx.doi.org/10.1007/978-3-540-73099-6_2},
  researchr = {https://researchr.org/publication/Meyer07%3A3},
  cites = {0},
  citedby = {0},
  pages = {2-9},
  booktitle = {tableaux},
}

@article{MeyerHL99,
  title = {A Logical Approach to the Dynamics of Commitments},
  author = {John-Jules Ch. Meyer and Wiebe van der Hoek and Bernd van Linder},
  year = {1999},
  doi = {10.1016/S0004-3702(99)00061-2},
  url = {http://dx.doi.org/10.1016/S0004-3702(99)00061-2},
  tags = {systematic-approach},
  researchr = {https://researchr.org/publication/MeyerHL99},
  cites = {0},
  citedby = {0},
  journal = {ai},
  volume = {113},
  number = {1-2},
  pages = {1-40},
}

@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 = {ceemas},
}

@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 = {prima},
}

@inproceedings{BroersenDDM04,
  title = {Designing a Deontic Logic of Deadlines},
  author = {Jan Broersen and Frank Dignum and Virginia Dignum and John-Jules Ch. Meyer},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3065&spage=43},
  tags = {logic},
  researchr = {https://researchr.org/publication/BroersenDDM04},
  cites = {0},
  citedby = {0},
  pages = {43-56},
  booktitle = {deon},
}

@inproceedings{DohertyM07,
  title = {Towards a Delegation Framework for Aerial Robotic Mission Scenarios},
  author = {Patrick Doherty and John-Jules Ch. Meyer},
  year = {2007},
  doi = {10.1007/978-3-540-75119-9_2},
  url = {http://dx.doi.org/10.1007/978-3-540-75119-9_2},
  researchr = {https://researchr.org/publication/DohertyM07},
  cites = {0},
  citedby = {0},
  pages = {5-26},
  booktitle = {cia},
}

@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 = {aimsa},
}

@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 = {atal},
}

@inproceedings{HoekLM94,
  title = {A Logic of Capabilities},
  author = {Wiebe van der Hoek and Bernd van Linder and John-Jules Ch. Meyer},
  year = {1994},
  tags = {logic},
  researchr = {https://researchr.org/publication/HoekLM94},
  cites = {0},
  citedby = {0},
  pages = {366-378},
  booktitle = {lfcs},
}

@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 = {atal},
}

@article{LinderHM97:0,
  title = {The Dynamics of Default Reasoning},
  author = {Bernd van Linder and Wiebe van der Hoek and John-Jules Ch. Meyer},
  year = {1997},
  doi = {10.1016/S0169-023X(96)00021-3},
  url = {http://dx.doi.org/10.1016/S0169-023X(96)00021-3},
  researchr = {https://researchr.org/publication/LinderHM97%3A0},
  cites = {0},
  citedby = {0},
  journal = {DKE},
  volume = {21},
  number = {3},
  pages = {317-346},
}

@inproceedings{MeyerH90,
  title = {Non-Monotonic Reasoning by Monotonic Means},
  author = {John-Jules Ch. Meyer and Wiebe van der Hoek},
  year = {1990},
  researchr = {https://researchr.org/publication/MeyerH90},
  cites = {0},
  citedby = {0},
  pages = {399-411},
  booktitle = {jelia},
}

@article{AldewereldHM04,
  title = {Rational Teams: Logical Aspects of Multi-Agent Systems},
  author = {Huib Aldewereld and Wiebe van der Hoek and John-Jules Ch. Meyer},
  year = {2004},
  url = {http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=63&issue=2&spage=159},
  researchr = {https://researchr.org/publication/AldewereldHM04},
  cites = {0},
  citedby = {0},
  journal = {FUIN},
  volume = {63},
  number = {2-3},
  pages = {159-183},
}
@proceedings{modelage:1997,
  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 = {John-Jules Ch. Meyer and Pierre Yves Schobbens},
  volume = {1760},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-67027-0},
}

@proceedings{dagstuhl:2006P6261,
  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 = {Rafael H. Bordini and Mehdi Dastani and John-Jules Ch. Meyer},
  volume = {06261},
  series = {Dagstuhl Seminar Proceedings},
  publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
}