@inproceedings{BosseLMT09,
  title = {An interface agent for attention manipulation},
  author = {Tibor Bosse and Rianne van Lambalgen and Peter-Paul van Maanen and Jan Treur},
  year = {2009},
  doi = {10.1145/1558109.1558194},
  url = {http://doi.acm.org/10.1145/1558109.1558194},
  researchr = {https://researchr.org/publication/BosseLMT09},
  cites = {0},
  citedby = {0},
  pages = {1167-1168},
  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},
}

@inproceedings{EngelfrietT94,
  title = {Temporal Theories of Reasoning},
  author = {Joeri Engelfriet and Jan Treur},
  year = {1994},
  researchr = {https://researchr.org/publication/EngelfrietT94},
  cites = {0},
  citedby = {0},
  pages = {279-299},
  booktitle = {Logics in Artificial Intelligence, European Workshop, JELIA  94, York, UK, September 5-8, 1994, Proceedings},
  editor = {Craig MacNish and David Pearce and Luís Moniz Pereira},
  volume = {838},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-58332-7},
}

@article{HerleaJTW02,
  title = {A Compositional Knowledge Level Process Model of Requirements Engineering},
  author = {Daniela E. Herlea and Catholijn M. Jonker and Jan Treur and Niek J. E. Wijngaards},
  year = {2002},
  doi = {10.1142/S0218194002000792},
  url = {http://dx.doi.org/10.1142/S0218194002000792},
  tags = {meta-model, composition, requirements engineering, model-driven engineering, e-science, Meta-Environment, process modeling},
  researchr = {https://researchr.org/publication/HerleaJTW02},
  cites = {0},
  citedby = {0},
  journal = {International Journal of Software Engineering and Knowledge Engineering},
  volume = {12},
  number = {1},
  pages = {41-75},
}

@inproceedings{JonkerST03,
  title = {Organisational Change: Deliberation and Modification},
  author = {Catholijn M. Jonker and Martijn C. Schut and Jan Treur},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2782&spage=336},
  tags = {C++},
  researchr = {https://researchr.org/publication/JonkerST03},
  cites = {0},
  citedby = {0},
  pages = {336-344},
  booktitle = {Cooperative Information Agents VII, 7th International Workshop, CIA 2003, Helsinki, Finland, August 27-29, 2003, Proceedings},
  editor = {Matthias Klusch and Sascha Ossowski and Andrea Omicini and Heimo Laamanen},
  volume = {2782},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-40798-7},
}

@article{JonkerT02:0,
  title = {Modelling multiple mind-matter interaction},
  author = {Catholijn M. Jonker and Jan Treur},
  year = {2002},
  doi = {10.1016/S1071-5819(02)91023-2},
  url = {http://dx.doi.org/10.1016/S1071-5819(02)91023-2},
  tags = {meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/JonkerT02%3A0},
  cites = {0},
  citedby = {0},
  journal = {International Journal of Man-Machine Studies},
  volume = {57},
  number = {3},
  pages = {165-214},
}

@inproceedings{BrazierDTV97,
  title = {Modelling Internal Dynamic Behaviour of BDI Agents},
  author = {Frances M. T. Brazier and Barbara Dunin-Keplicz and Jan Treur and Rineke Verbrugge},
  year = {1997},
  url = {http://link.springer.de/link/service/series/0558/bibs/1760/17600036.htm},
  researchr = {https://researchr.org/publication/BrazierDTV97},
  cites = {0},
  citedby = {0},
  pages = {36-56},
  booktitle = {Formal Models of Agents, ESPRIT Project ModelAge Final Workshop, Selected Papers},
  editor = {John-Jules Ch. Meyer and Pierre Yves Schobbens},
  volume = {1760},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-67027-0},
}

@inproceedings{CornelissenJT97,
  title = {Compositional Verification of Knowledge-Based Systems: A Case Study for Diagnostic Reasoning},
  author = {Frank Cornelissen and Catholijn M. Jonker and Jan Treur},
  year = {1997},
  tags = {rule-based, model-based diagnostics, case study, composition, diagnostics},
  researchr = {https://researchr.org/publication/CornelissenJT97},
  cites = {0},
  citedby = {0},
  pages = {65-80},
  booktitle = {Knowledge Acquisition, Modeling and Management, 10th European Workshop, EKAW 97, Sant Feliu de Guixols, Catalonia, Spain, October 15-18, 1997, Proceedings},
  editor = {Enric Plaza and V. Richard Benjamins},
  volume = {1319},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-63592-0},
}

@inproceedings{JonkerSTT04,
  title = {Human Experiments in Trust Dynamics},
  author = {Catholijn M. Jonker and Joost J. P. Schalken and Jan Theeuwes and Jan Treur},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2995&spage=206},
  researchr = {https://researchr.org/publication/JonkerSTT04},
  cites = {0},
  citedby = {0},
  pages = {206-220},
  booktitle = {Trust Management, Second International Conference, iTrust 2004, Oxford, UK, March 29 - April 1, 2004, Proceedings},
  editor = {Christian Damsgaard Jensen and Stefan Poslad and Theodosis Dimitrakos},
  volume = {2995},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-21312-0},
}

@inproceedings{JonkerTW00,
  title = {An Executable Modal of the Interaction between Verbal and Non-verbal Communication},
  author = {Catholijn M. Jonker and Jan Treur and Wouter C. A. Wijngaards},
  year = {2000},
  tags = {C++},
  researchr = {https://researchr.org/publication/JonkerTW00},
  cites = {0},
  citedby = {0},
  pages = {331-350},
  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{MulderTF97,
  title = {Agent Modelling in METATEM and DESIRE},
  author = {Marco Mulder and Jan Treur and Michael Fisher},
  year = {1997},
  tags = {meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/MulderTF97},
  cites = {0},
  citedby = {0},
  pages = {193-207},
  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},
}

@article{DastaniJT04,
  title = {A requirement specification language for configuration dynamics of multiagent systems},
  author = {Mehdi Dastani and Catholijn M. Jonker and Jan Treur},
  year = {2004},
  doi = {10.1002/int.10171},
  url = {http://dx.doi.org/10.1002/int.10171},
  researchr = {https://researchr.org/publication/DastaniJT04},
  cites = {0},
  citedby = {0},
  journal = {Int. J. Intell. Syst.},
  volume = {19},
  number = {3},
  pages = {277-300},
}

@article{JonkerT07,
  title = {Agent-oriented modeling of the dynamics of biological organisms},
  author = {Catholijn M. Jonker and Jan Treur},
  year = {2007},
  doi = {10.1007/s10489-006-0026-y},
  url = {http://dx.doi.org/10.1007/s10489-006-0026-y},
  tags = {modeling},
  researchr = {https://researchr.org/publication/JonkerT07},
  cites = {0},
  citedby = {0},
  journal = {Appl. Intell.},
  volume = {27},
  number = {1},
  pages = {1-20},
}

@article{BosseJMT07,
  title = {A Language and Environment for Analysis of Dynamics by Simulation},
  author = {Tibor Bosse and Catholijn M. Jonker and Lourens van der Meij and Jan Treur},
  year = {2007},
  doi = {10.1142/S0218213007003357},
  url = {http://dx.doi.org/10.1142/S0218213007003357},
  tags = {meta-model, analysis, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/BosseJMT07},
  cites = {0},
  citedby = {0},
  journal = {International Journal on Artificial Intelligence Tools},
  volume = {16},
  number = {3},
  pages = {435-464},
}

@inproceedings{JonkerTL99,
  title = {A Multi-agent Architecture for an Intelligent Website in Insurance},
  author = {Catholijn M. Jonker and Jan Treur and Remco A. Lam},
  year = {1999},
  url = {http://link.springer.de/link/service/series/0558/bibs/1652/16520086.htm},
  tags = {architecture},
  researchr = {https://researchr.org/publication/JonkerTL99},
  cites = {0},
  citedby = {0},
  pages = {86-100},
  booktitle = {Cooperative Information Agents III, Third International Workshop, CIA  99, Uppsala, Sweden, July 31 - August 2, 1999, Proceedings},
  editor = {Matthias Klusch and Onn Shehory and Gerhard Weiß},
  volume = {1652},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-55325-8},
}

@inproceedings{BrazierET98,
  title = {Analysis of multi-interpretable ecological monitoring information},
  author = {Frances M. T. Brazier and Joeri Engelfriet and Jan Treur},
  year = {1998},
  url = {http://link.springer.de/link/service/series/0558/bibs/1455/14550303.htm},
  tags = {analysis},
  researchr = {https://researchr.org/publication/BrazierET98},
  cites = {0},
  citedby = {0},
  pages = {303-324},
  booktitle = {Applications of Uncertainty Formalisms},
  editor = {Anthony Hunter and Simon Parsons},
  volume = {1455},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-65312-0},
}

@inproceedings{KinnyTGCM97,
  title = {Panel: Methodologies for Multi-Agent Systems},
  author = {David Kinny and Jan Treur and Les Gasser and Steve Clark and Jörg P. Müller},
  year = {1997},
  researchr = {https://researchr.org/publication/KinnyTGCM97},
  cites = {0},
  citedby = {0},
  pages = {1},
  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},
}

@article{JonkerTW07,
  title = {Specification, analysis and simulation of the dynamics within an organisation},
  author = {Catholijn M. Jonker and Jan Treur and Wouter C. A. Wijngaards},
  year = {2007},
  doi = {10.1007/s10489-006-0024-0},
  url = {http://dx.doi.org/10.1007/s10489-006-0024-0},
  tags = {analysis, C++},
  researchr = {https://researchr.org/publication/JonkerTW07},
  cites = {0},
  citedby = {0},
  journal = {Appl. Intell.},
  volume = {27},
  number = {2},
  pages = {131-152},
}

@inproceedings{JonkerSTY04,
  title = {Formal Analysis of Meeting Protocols},
  author = {Catholijn M. Jonker and Martijn C. Schut and Jan Treur and Pinar Yolum},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3415&spage=114},
  tags = {protocol, analysis, C++},
  researchr = {https://researchr.org/publication/JonkerSTY04},
  cites = {0},
  citedby = {0},
  pages = {114-129},
  booktitle = {Multi-Agent and Multi-Agent-Based Simulation, Joint Workshop MABS 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers},
  editor = {Paul Davidsson and Brian Logan and Keiki Takadama},
  volume = {3415},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-25262-2},
}

@inproceedings{BosseST07a,
  title = {On the Complexity Monotonicity Thesis for Environment, Behaviour and Cognition},
  author = {Tibor Bosse and Alexei Sharpanskykh and Jan Treur},
  year = {2007},
  doi = {10.1007/978-3-540-77564-5_11},
  url = {http://dx.doi.org/10.1007/978-3-540-77564-5_11},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/BosseST07a},
  cites = {0},
  citedby = {0},
  pages = {175-192},
  booktitle = {Declarative Agent Languages and Technologies V, 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers},
  editor = {Matteo Baldoni and Tran Cao Son and M. Birna van Riemsdijk and Michael Winikoff},
  volume = {4897},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-77563-8},
}

@inproceedings{BrazierTW96,
  title = {Modelling Interaction with Experts: The Role of a Shared Task Model},
  author = {Frances M. T. Brazier and Jan Treur and Niek J. E. Wijngaards},
  year = {1996},
  tags = {meta-model, object-role modeling, e-science, Meta-Environment},
  researchr = {https://researchr.org/publication/BrazierTW96},
  cites = {0},
  citedby = {0},
  pages = {241-245},
  booktitle = {12th European Conference on Artificial Intelligence, Budapest, Hungary, August 11-16, 1996, Proceedings},
  editor = {Wolfgang Wahlster},
  publisher = {John Wiley and Sons, Chichester},
}

@inproceedings{LangeveldePT92,
  title = {Formal Specification of Compositional Architectures},
  author = {I. van Langevelde and A. Philipsen and Jan Treur},
  year = {1992},
  tags = {architecture, composition},
  researchr = {https://researchr.org/publication/LangeveldePT92},
  cites = {0},
  citedby = {0},
  pages = {272-276},
  booktitle = {ECAI},
}

@article{BosseJMT08,
  title = {Automated formal analysis of human multi-issue negotiation processes},
  author = {Tibor Bosse and Catholijn M. Jonker and Lourens van der Meij and Jan Treur},
  year = {2008},
  url = {http://iospress.metapress.com/content/xj28716r76x24823/},
  tags = {analysis},
  researchr = {https://researchr.org/publication/BosseJMT08},
  cites = {0},
  citedby = {0},
  journal = {Multiagent and Grid Systems},
  volume = {4},
  number = {2},
  pages = {213-233},
}

@inproceedings{BosseJT04,
  title = {Representational Content and the Reciprocal Interplay of Agent and Environment},
  author = {Tibor Bosse and Catholijn M. Jonker and Jan Treur},
  year = {2004},
  doi = {10.1007/11493402_16},
  url = {http://dx.doi.org/10.1007/11493402_16},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/BosseJT04},
  cites = {0},
  citedby = {0},
  pages = {270-288},
  booktitle = {Declarative Agent Languages and Technologies II, Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers},
  editor = {João Alexandre Leite and Andrea Omicini and Paolo Torroni and Pinar Yolum},
  volume = {3476},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-26172-9},
}

@inproceedings{BosseJMT05,
  title = {LEADSTO: A Language and Environment for Analysis of Dynamics by SimulaTiOn},
  author = {Tibor Bosse and Catholijn M. Jonker and Lourens van der Meij and Jan Treur},
  year = {2005},
  doi = {10.1007/11504894_51},
  url = {http://dx.doi.org/10.1007/11504894_51},
  tags = {meta-model, analysis, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/BosseJMT05},
  cites = {0},
  citedby = {0},
  pages = {363-366},
  booktitle = {Innovations in Applied Artificial Intelligence, 18th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2005, Bari, Italy, June 22-24, 2005, Proceedings},
  editor = {Moonis Ali and Floriana Esposito},
  volume = {3533},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-26551-1},
}

@inproceedings{PopovaT05,
  title = {A Specification Language for Organisational Performance Indicators},
  author = {Viara Popova and Jan Treur},
  year = {2005},
  doi = {10.1007/11504894_92},
  url = {http://dx.doi.org/10.1007/11504894_92},
  researchr = {https://researchr.org/publication/PopovaT05},
  cites = {0},
  citedby = {0},
  pages = {667-677},
  booktitle = {Innovations in Applied Artificial Intelligence, 18th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2005, Bari, Italy, June 22-24, 2005, Proceedings},
  editor = {Moonis Ali and Floriana Esposito},
  volume = {3533},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-26551-1},
}

@inproceedings{FerberGJTM00,
  title = {Organization Models and Behavioral Requirements Specification for Multi-Agent Systems},
  author = {Jacques Ferber and Olivier Gutknecht and Catholijn M. Jonker and Jan Treur and Jean-Pierre Müller},
  year = {2000},
  doi = {10.1109/ICMAS.2000.858488},
  url = {http://doi.ieeecomputersociety.org/10.1109/ICMAS.2000.858488},
  researchr = {https://researchr.org/publication/FerberGJTM00},
  cites = {0},
  citedby = {0},
  pages = {387-388},
  booktitle = {4th International Conference on Multi-Agent Systems (ICMAS 2000), 10-12 July 2000, Boston, MA, USA},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-0625-9},
}

@inproceedings{BosseDMT07,
  title = {Augmented Metacognition Addressing Dynamic Allocation of Tasks Requiring Visual Attention},
  author = {Tibor Bosse and Willem A. van Doesburg and Peter-Paul van Maanen and Jan Treur},
  year = {2007},
  doi = {10.1007/978-3-540-73216-7_19},
  url = {http://dx.doi.org/10.1007/978-3-540-73216-7_19},
  researchr = {https://researchr.org/publication/BosseDMT07},
  cites = {0},
  citedby = {0},
  pages = {166-175},
  booktitle = {Foundations of Augmented Cognition, Third International Conference, FAC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings},
  editor = {Dylan Schmorrow and Leah Reeves},
  volume = {4565},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-73215-0},
}

@inproceedings{BosseJT06,
  title = {Simulation and Analysis of Complex Biological Processes: an Organisation Modelling Perspective},
  author = {Tibor Bosse and Catholijn M. Jonker and Jan Treur},
  year = {2006},
  doi = {10.1109/ANSS.2006.41},
  url = {http://doi.ieeecomputersociety.org/10.1109/ANSS.2006.41},
  tags = {analysis, process modeling},
  researchr = {https://researchr.org/publication/BosseJT06},
  cites = {0},
  citedby = {0},
  pages = {304-311},
  booktitle = {Proceedings 39th Annual Simulation Symposium (ANSS-39 2006), 2-6 April 2006, Huntsville, Alabama, USA},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2559-8},
}

@inproceedings{JonkerTW01:0,
  title = {A Modelling Environment for Mind and Matter Aspects of Intentional Behaviour},
  author = {Catholijn M. Jonker and Jan Treur and Wouter C. A. Wijngaards},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2296/22960141.htm},
  tags = {meta-model, C++, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/JonkerTW01%3A0},
  cites = {0},
  citedby = {0},
  pages = {141-150},
  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{BothHKT09,
  title = {Design and Analysis of an Ambient Intelligent System Supporting Depression Therapy},
  author = {Fiemke Both and Mark Hoogendoorn and Michel C. A. Klein and Jan Treur},
  year = {2009},
  tags = {analysis, C++, design},
  researchr = {https://researchr.org/publication/BothHKT09},
  cites = {0},
  citedby = {0},
  pages = {142-148},
  booktitle = {Proceedings of the Second International Conference on Health Informatics, HEALTHINF 2009, Porto, Portugal, January 14-17, 2009},
  editor = {Luís Azevedo and Ana Rita Londral},
  publisher = {INSTICC Press},
  isbn = {978-989-8111-63-0},
}

@inproceedings{EngelfrietHT96,
  title = {Nonmonotonic Reasoning with Multiple Belief Sets},
  author = {Joeri Engelfriet and Heinrich Herre and Jan Treur},
  year = {1996},
  researchr = {https://researchr.org/publication/EngelfrietHT96},
  cites = {0},
  citedby = {0},
  pages = {331-344},
  booktitle = {Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR  96, Bonn, Germany, June 3-7, 1996, Proceedings},
  editor = {Dov M. Gabbay and Hans Jürgen Ohlbach},
  volume = {1085},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-61313-7},
}

@inproceedings{BrazierJTW99,
  title = {Deliberate Evolution in Multi-Agent Systems (extended abstract)},
  author = {Frances M. T. Brazier and Catholijn M. Jonker and Jan Treur and Niek J. E. Wijngaards},
  year = {1999},
  doi = {10.1145/301136.301232},
  url = {http://doi.acm.org/10.1145/301136.301232},
  researchr = {https://researchr.org/publication/BrazierJTW99},
  cites = {0},
  citedby = {0},
  pages = {356-357},
  booktitle = {Agents},
}

@inproceedings{EngelfrietT96:1,
  title = {Specification of Nonmonotonic Reasonong},
  author = {Joeri Engelfriet and Jan Treur},
  year = {1996},
  researchr = {https://researchr.org/publication/EngelfrietT96%3A1},
  cites = {0},
  citedby = {0},
  pages = {111-125},
  booktitle = {Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR  96, Bonn, Germany, June 3-7, 1996, Proceedings},
  editor = {Dov M. Gabbay and Hans Jürgen Ohlbach},
  volume = {1085},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-61313-7},
}

@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 = {Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR 94 and META 94, Pisa, Italy, June 20-21, 1994, Proceedings},
  editor = {Laurent Fribourg and Franco Turini},
  volume = {883},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-58792-6},
}

@inproceedings{JonkerT99:0,
  title = {A Compositional Process Control Model and Its Application to Biochemical Processes},
  author = {Catholijn M. Jonker and Jan Treur},
  year = {1999},
  tags = {composition, process modeling},
  researchr = {https://researchr.org/publication/JonkerT99%3A0},
  cites = {0},
  citedby = {0},
  pages = {298-305},
  booktitle = {Multiple Approaches to Intelligent Systems, 12th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE-99, Cairo, Egypt, May 31 - June 3, 1999, Proceedings},
  editor = {Ibrahim F. Imam and Yves Kodratoff and Ayman El-Dessouki and Moonis Ali},
  volume = {1611},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66076-3},
}

@inproceedings{BosseJT05,
  title = {Reasoning by Assumption: Formalisation and Analysis of Human Reasoning Traces},
  author = {Tibor Bosse and Catholijn M. Jonker and Jan Treur},
  year = {2005},
  doi = {10.1007/11499220_44},
  url = {http://dx.doi.org/10.1007/11499220_44},
  tags = {analysis},
  researchr = {https://researchr.org/publication/BosseJT05},
  cites = {0},
  citedby = {0},
  pages = {427-436},
  booktitle = {Mechanisms, Symbols, and Models Underlying Cognition: First International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2005, Las Palmas, Canary Islands, Spain, June 15-18, 2005, Proceedings, Part I},
  editor = {José Mira and José R. Álvarez},
  volume = {3561},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-26298-9},
}

@article{CornelissenJT03,
  title = {Compositional Verification of Knowledge-Based Task Models and Problem-Solving Methods},
  author = {Frank Cornelissen and Catholijn M. Jonker and Jan Treur},
  year = {2003},
  doi = {10.1007/10.1007/s10115-002-0083-4},
  url = {http://dx.doi.org/10.1007/10.1007/s10115-002-0083-4},
  tags = {rule-based, composition},
  researchr = {https://researchr.org/publication/CornelissenJT03},
  cites = {0},
  citedby = {0},
  journal = {Knowl. Inf. Syst.},
  volume = {5},
  number = {3},
  pages = {337-367},
}

@inproceedings{HoogendoornJMT05,
  title = {An Agent-Based Meta-level Architecture for Strategic Reasoning in Naval Planning},
  author = {Mark Hoogendoorn and Catholijn M. Jonker and Peter-Paul van Maanen and Jan Treur},
  year = {2005},
  doi = {10.1007/11916291_15},
  url = {http://dx.doi.org/10.1007/11916291_15},
  tags = {rule-based, meta-model, architecture, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/HoogendoornJMT05},
  cites = {0},
  citedby = {0},
  pages = {216-230},
  booktitle = {Agent-Oriented Information Systems III, 7th International Bi-Conference Workshop, AOIS2005, Utrecht, Netherlands, July 26, 2005, and Klagenfurt, Austria, October 27, 2005, Revised Selected Papers},
  editor = {Manuel Kolp and Paolo Bresciani and Brian Henderson-Sellers and Michael Winikoff},
  volume = {3529},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-48291-1},
}

@article{LeemansTW02,
  title = {A semantical perspective on verification of knowledge},
  author = {Paul Leemans and Jan Treur and Mark Willems},
  year = {2002},
  doi = {10.1016/S0169-023X(01)00045-3},
  url = {http://dx.doi.org/10.1016/S0169-023X(01)00045-3},
  researchr = {https://researchr.org/publication/LeemansTW02},
  cites = {0},
  citedby = {0},
  journal = {Data \& Knowledge Engineering},
  volume = {40},
  number = {1},
  pages = {33-70},
}

@inproceedings{SharpanskykhT06,
  title = {Verifying Interlevel Relations Within Multi-Agent Systems},
  author = {Alexei Sharpanskykh and Jan Treur},
  year = {2006},
  researchr = {https://researchr.org/publication/SharpanskykhT06},
  cites = {0},
  citedby = {0},
  pages = {290-294},
  booktitle = {ECAI 2006, 17th European Conference on Artificial Intelligence, August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious Applications of Intelligent Systems (PAIS 2006), Proceedings},
  editor = {Gerhard Brewka and Silvia Coradeschi and Anna Perini and Paolo Traverso},
  volume = {141},
  series = {Frontiers in Artificial Intelligence and Applications},
  publisher = {IOS Press},
  isbn = {1-58603-642-4},
}

@inproceedings{BosseJMT05:0,
  title = {LEADSTO: A Language and Environment for Analysis of Dynamics by SimulaTiOn},
  author = {Tibor Bosse and Catholijn M. Jonker and Lourens van der Meij and Jan Treur},
  year = {2005},
  doi = {10.1007/11550648_15},
  url = {http://dx.doi.org/10.1007/11550648_15},
  tags = {meta-model, analysis, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/BosseJMT05%3A0},
  cites = {0},
  citedby = {0},
  pages = {165-178},
  booktitle = {Multiagent System Technologies, Third German Conference, MATES 2005, Koblenz, Germany, September 11-13, 2005, Proceedings},
  editor = {Torsten Eymann and Franziska Klügl and Winfried Lamersdorf and Matthias Klusch and Michael N. Huhns},
  volume = {3550},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-28740-X},
}

@inproceedings{TreurW95,
  title = {Formal Notions for Verification of Dynamics of Knowledge-Based Systems},
  author = {Jan Treur and Mark Willems},
  year = {1995},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/TreurW95},
  cites = {0},
  citedby = {0},
  pages = {189-199},
  booktitle = {Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, EUROVAV  95, Chambéry, June 1995},
  editor = {Marc Ayel and Marie-Christine Rousset},
  publisher = {ADERIAS-LIA, Universite de Savoie},
}

@article{MarekTT97,
  title = {Representation Theory for Default Logic},
  author = {V. Wiktor Marek and Jan Treur and Miroslaw Truszczynski},
  year = {1997},
  tags = {logic},
  researchr = {https://researchr.org/publication/MarekTT97},
  cites = {0},
  citedby = {0},
  journal = {Annals of Mathematics and Artificial Intelligence},
  volume = {21},
  number = {2-4},
  pages = {343-358},
}

@inproceedings{BosseHST07,
  title = {A Specification Language for Coordination in Agent Systems},
  author = {Tibor Bosse and Mark Hoogendoorn and Radu Serban and Jan Treur},
  year = {2007},
  doi = {10.1109/IAT.2007.16},
  url = {http://doi.ieeecomputersociety.org/10.1109/IAT.2007.16},
  researchr = {https://researchr.org/publication/BosseHST07},
  cites = {0},
  citedby = {0},
  pages = {252-256},
  booktitle = {Proceedings of the 2007 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, Silicon Valley, CA, USA, November 2-5, 2007},
  publisher = {IEEE Computer Society},
}

@inproceedings{BosseST07,
  title = {Integrating Agent Models and Dynamical Systems},
  author = {Tibor Bosse and Alexei Sharpanskykh and Jan Treur},
  year = {2007},
  doi = {10.1007/978-3-540-77564-5_4},
  url = {http://dx.doi.org/10.1007/978-3-540-77564-5_4},
  tags = {meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/BosseST07},
  cites = {0},
  citedby = {0},
  pages = {50-68},
  booktitle = {Declarative Agent Languages and Technologies V, 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers},
  editor = {Matteo Baldoni and Tran Cao Son and M. Birna van Riemsdijk and Michael Winikoff},
  volume = {4897},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-77563-8},
}

@inproceedings{BosseT06,
  title = {Modelling dynamics of cognitive agents by higher-order potentialities},
  author = {Tibor Bosse and Jan Treur},
  year = {2006},
  doi = {10.1145/1160633.1160650},
  url = {http://doi.acm.org/10.1145/1160633.1160650},
  researchr = {https://researchr.org/publication/BosseT06},
  cites = {0},
  citedby = {0},
  pages = {117-119},
  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},
}

@inproceedings{BosseJLTT05,
  title = {Formalisation and Analysis of the Temporal Dynamics of Conditioning},
  author = {Tibor Bosse and Catholijn M. Jonker and Sander A. Los and Leendert W. N. van der Torre and Jan Treur},
  year = {2005},
  doi = {10.1007/11752660_5},
  url = {http://dx.doi.org/10.1007/11752660_5},
  tags = {analysis},
  researchr = {https://researchr.org/publication/BosseJLTT05},
  cites = {0},
  citedby = {0},
  pages = {54-68},
  booktitle = {Agent-Oriented Software Engineering VI, 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers},
  editor = {Jörg P. Müller and Franco Zambonelli},
  volume = {3950},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-34097-1},
}

@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 = {Journal of Logic, Language and Information},
  volume = {7},
  number = {3},
  pages = {341-367},
}

@inproceedings{TreurW94,
  title = {A Logical Foundation for Verification},
  author = {Jan Treur and Mark Willems},
  year = {1994},
  researchr = {https://researchr.org/publication/TreurW94},
  cites = {0},
  citedby = {0},
  pages = {745-749},
  booktitle = {ECAI},
}

@inproceedings{Treur09,
  title = {A Virtual Human Agent Model with Behaviour Based on Feeling Exhaustion},
  author = {Jan Treur},
  year = {2009},
  doi = {10.1007/978-3-642-02568-6_2},
  url = {http://dx.doi.org/10.1007/978-3-642-02568-6_2},
  tags = {rule-based, agent based modeling},
  researchr = {https://researchr.org/publication/Treur09},
  cites = {0},
  citedby = {0},
  pages = {11-23},
  booktitle = {Next-Generation Applied Intelligence, 22nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2009, Tainan, Taiwan, June 24-27, 2009. Proceedings},
  editor = {Been-Chian Chien and Tzung-Pei Hong and Shyi-Ming Chen and Moonis Ali},
  volume = {5579},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-02567-9},
}

@inproceedings{BosseGHJT08,
  title = {Agent-Based and Population-Based Simulation of Displacement of Crime (extended abstract)},
  author = {Tibor Bosse and Charlotte Gerritsen and Mark Hoogendoorn and Syed Waqar Jaffry and Jan Treur},
  year = {2008},
  doi = {10.3233/978-1-58603-891-5-877},
  url = {http://dx.doi.org/10.3233/978-1-58603-891-5-877},
  tags = {rule-based, agent based modeling, meta-model, modeling, Meta-Environment, process modeling, systematic-approach},
  researchr = {https://researchr.org/publication/BosseGHJT08},
  cites = {0},
  citedby = {0},
  pages = {877-878},
  booktitle = {ECAI 2008 - 18th European Conference on Artificial Intelligence, Patras, Greece, July 21-25, 2008, Proceedings},
  editor = {Malik Ghallab and Constantine D. Spyropoulos and Nikos Fakotakis and Nikolaos M. Avouris},
  volume = {178},
  series = {Frontiers in Artificial Intelligence and Applications},
  publisher = {IOS Press},
  isbn = {978-1-58603-891-5},
}

@article{BrazierLTW96,
  title = {Redesign and reuse in compositional knowledge-based systems},
  author = {Frances M. T. Brazier and Pieter H. G. van Langen and Jan Treur and Niek J. E. Wijngaards},
  year = {1996},
  doi = {10.1016/0950-7051(95)01026-2},
  url = {http://dx.doi.org/10.1016/0950-7051(95)01026-2},
  tags = {rule-based, composition, reuse, e-science},
  researchr = {https://researchr.org/publication/BrazierLTW96},
  cites = {0},
  citedby = {0},
  journal = {Knowl.-Based Syst.},
  volume = {9},
  number = {2},
  pages = {105-118},
}

@article{JonkerT02:3,
  title = {Compositional Verification of Multi-Agent Systems: A Formal Analysis of Pro-activeness and Reactiveness},
  author = {Catholijn M. Jonker and Jan Treur},
  year = {2002},
  url = {http://ejournals.wspc.com.sg/ijcis/11/1101n02/S0218843002000480.html},
  tags = {composition, analysis},
  researchr = {https://researchr.org/publication/JonkerT02%3A3},
  cites = {0},
  citedby = {0},
  journal = {Int. J. Cooperative Inf. Syst.},
  volume = {11},
  number = {1-2},
  pages = {51-91},
}

@article{JonkerLT01:0,
  title = {A Reusable Multi-Agent Architecture for Active Intelligent Websites},
  author = {Catholijn M. Jonker and Remco A. Lam and Jan Treur},
  year = {2001},
  tags = {architecture, reuse},
  researchr = {https://researchr.org/publication/JonkerLT01%3A0},
  cites = {0},
  citedby = {0},
  journal = {Appl. Intell.},
  volume = {15},
  number = {1},
  pages = {7-24},
}

@inproceedings{JonkerSTWW02,
  title = {Embodied intentional dynamics of bacterial behaviour},
  author = {Catholijn M. Jonker and Jacky L. Snoep and Jan Treur and Hans V. Westerhoff and Wouter C. A. Wijngaards},
  year = {2002},
  doi = {10.1145/544741.544851},
  url = {http://doi.acm.org/10.1145/544741.544851},
  tags = {C++},
  researchr = {https://researchr.org/publication/JonkerSTWW02},
  cites = {0},
  citedby = {0},
  pages = {465-466},
  booktitle = {The First International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002, July 15-19, 2002, Bologna, Italy, Proceedings},
  publisher = {ACM},
}

@article{BrazierLT98,
  title = {Strategic knowledge in design: a compositional approach},
  author = {Frances M. T. Brazier and Pieter H. G. van Langen and Jan Treur},
  year = {1998},
  doi = {10.1016/S0950-7051(98)00074-4},
  url = {http://dx.doi.org/10.1016/S0950-7051(98)00074-4},
  tags = {composition, design, systematic-approach},
  researchr = {https://researchr.org/publication/BrazierLT98},
  cites = {0},
  citedby = {0},
  journal = {Knowl.-Based Syst.},
  volume = {11},
  number = {7-8},
  pages = {405-416},
}

@inproceedings{JonkerTW01a,
  title = {Temporal Languages for Simulation and Analysis of the Dynamics within an Organisation},
  author = {Catholijn M. Jonker and Jan Treur and Wouter C. A. Wijngaards},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2296/22960151.htm},
  tags = {analysis, C++},
  researchr = {https://researchr.org/publication/JonkerTW01a},
  cites = {0},
  citedby = {0},
  pages = {151-160},
  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{BroekJSTY05,
  title = {Formal Modeling and Analysis of Organizations},
  author = {Egon L. van den Broek and Catholijn M. Jonker and Alexei Sharpanskykh and Jan Treur and Pinar Yolum},
  year = {2005},
  doi = {10.1007/11775331_2},
  url = {http://dx.doi.org/10.1007/11775331_2},
  tags = {meta-model, modeling, analysis, Meta-Environment},
  researchr = {https://researchr.org/publication/BroekJSTY05},
  cites = {0},
  citedby = {0},
  pages = {18-34},
  booktitle = {Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems, AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005, Utrecht,},
  editor = {Olivier Boissier and Julian A. Padget and Virginia Dignum and Gabriela Lindemann and Eric T. Matson and Sascha Ossowski and Jaime Simão Sichman and Javier Vázquez-Salceda},
  volume = {3913},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-35173-6},
}

@inproceedings{BosseBLT08,
  title = {An Agent Model for a Human s Functional State and Performance},
  author = {Tibor Bosse and Fiemke Both and Rianne van Lambalgen and Jan Treur},
  year = {2008},
  doi = {10.1109/WIIAT.2008.266},
  url = {http://dx.doi.org/10.1109/WIIAT.2008.266},
  researchr = {https://researchr.org/publication/BosseBLT08},
  cites = {0},
  citedby = {0},
  pages = {302-307},
  booktitle = {Proceedings of the 2008 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, Sydney, NSW, Australia, December 9-12, 2008},
  publisher = {IEEE},
}

@inproceedings{DastaniJJT01,
  title = {Modeling User Preferences and Mediating Agents in Electronic Commerce},
  author = {Mehdi Dastani and Nico Jacobs and Catholijn M. Jonker and Jan Treur},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/1991/19910163.htm},
  tags = {modeling},
  researchr = {https://researchr.org/publication/DastaniJJT01},
  cites = {0},
  citedby = {0},
  pages = {163-193},
  booktitle = {Agent Mediated Electronic Commerce, The European AgentLink Perspective},
  editor = {Frank Dignum and Carles Sierra},
  volume = {1991},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-41671-4},
}

@inproceedings{BosseHKT08,
  title = {A Component-Based Ambient Agent Model for Assessment of Driving Behaviour},
  author = {Tibor Bosse and Mark Hoogendoorn and Michel C. A. Klein and Jan Treur},
  year = {2008},
  doi = {10.1007/978-3-540-69293-5_19},
  url = {http://dx.doi.org/10.1007/978-3-540-69293-5_19},
  tags = {rule-based, agent based modeling, C++},
  researchr = {https://researchr.org/publication/BosseHKT08},
  cites = {0},
  citedby = {0},
  pages = {229-243},
  booktitle = {Ubiquitous Intelligence and Computing, 5th International Conference, UIC 2008, Oslo, Norway, June 23-25, 2008, Proceedings},
  editor = {Frode Eika Sandnes and Yan Zhang and Chunming Rong and Laurence Tianruo Yang and Jianhua Ma},
  volume = {5061},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-69292-8},
}

@inproceedings{JonkerT99a,
  title = {Inforamtion Broker Agents in Intelligent Websites},
  author = {Catholijn M. Jonker and Jan Treur},
  year = {1999},
  researchr = {https://researchr.org/publication/JonkerT99a},
  cites = {0},
  citedby = {0},
  pages = {430-439},
  booktitle = {Multiple Approaches to Intelligent Systems, 12th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE-99, Cairo, Egypt, May 31 - June 3, 1999, Proceedings},
  editor = {Ibrahim F. Imam and Yves Kodratoff and Ayman El-Dessouki and Moonis Ali},
  volume = {1611},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66076-3},
}

@inproceedings{JonkerKLPT99,
  title = {Visual and Textual Knowledge Representation in DESIRE},
  author = {Catholijn M. Jonker and Rob Kremer and Pim van Leeuwen and Dong Pan and Jan Treur},
  year = {1999},
  researchr = {https://researchr.org/publication/JonkerKLPT99},
  cites = {0},
  citedby = {0},
  pages = {306-315},
  booktitle = {Multiple Approaches to Intelligent Systems, 12th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE-99, Cairo, Egypt, May 31 - June 3, 1999, Proceedings},
  editor = {Ibrahim F. Imam and Yves Kodratoff and Ayman El-Dessouki and Moonis Ali},
  volume = {1611},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66076-3},
}

@inproceedings{BosseT07,
  title = {Higher-Order Potentialities and their Reducers: A Philosophical Foundation Unifying Dynamic Modeling Methods},
  author = {Tibor Bosse and Jan Treur},
  year = {2007},
  url = {http://dli.iiit.ac.in/ijcai/IJCAI-2007/PDF/IJCAI07-040.pdf},
  tags = {modeling},
  researchr = {https://researchr.org/publication/BosseT07},
  cites = {0},
  citedby = {0},
  pages = {262-267},
  booktitle = {IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
  editor = {Manuela M. Veloso},
}

@inproceedings{BrazierDJT95,
  title = {Formal Specification of Multi-Agent Systems: A Real-World Case},
  author = {Frances M. T. Brazier and Barbara Dunin-Keplicz and Nick R. Jennings and Jan Treur},
  year = {1995},
  researchr = {https://researchr.org/publication/BrazierDJT95},
  cites = {0},
  citedby = {0},
  pages = {25-32},
  booktitle = {Proceedings of the First International Conference on Multiagent Systems, June 12-14, 1995, San Francisco, California, USA},
  editor = {Victor R. Lesser and Les Gasser},
  publisher = {The MIT Press},
  isbn = {0-262-62102-9},
}

@inproceedings{EngelfrietT97,
  title = {A Compositional Reasoning System for Executing Nonmonotonic Theories of Reasoning},
  author = {Joeri Engelfriet and Jan Treur},
  year = {1997},
  tags = {composition},
  researchr = {https://researchr.org/publication/EngelfrietT97},
  cites = {0},
  citedby = {0},
  pages = {252-266},
  booktitle = {Qualitative and Quantitative Practical Reasoning, First International Joint Conference on Qualitative and Quantitative Practical Reasoning ECSQARU-FAPR 97, Bad Honnef, Germany, June 9-12, 1997, Proceedings},
  editor = {Dov M. Gabbay and Rudolf Kruse and Andreas Nonnengart and Hans Jürgen Ohlbach},
  volume = {1244},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-63095-3},
}

@inproceedings{JonkerT97,
  title = {Compositional Verification of Multi-Agent Systems: A Formal Analysis of Pro-activeness and Reactiveness},
  author = {Catholijn M. Jonker and Jan Treur},
  year = {1997},
  url = {http://link.springer.de/link/service/series/0558/bibs/1536/15360350.htm},
  tags = {composition, analysis},
  researchr = {https://researchr.org/publication/JonkerT97},
  cites = {0},
  citedby = {0},
  pages = {350-380},
  booktitle = {Compositionality: The Significant Difference, International Symposium, COMPOS 97, Bad Malente, Germany, September 8-12, 1997. Revised Lectures},
  editor = {Willem P. de Roever and Hans Langmaack and Amir Pnueli},
  volume = {1536},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-65493-3},
}

@inproceedings{BosseJST04,
  title = {Simulation and Analysis of Shared Extended Mind},
  author = {Tibor Bosse and Catholijn M. Jonker and Martijn C. Schut and Jan Treur},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3415&spage=248},
  tags = {analysis, C++},
  researchr = {https://researchr.org/publication/BosseJST04},
  cites = {0},
  citedby = {0},
  pages = {248-264},
  booktitle = {Multi-Agent and Multi-Agent-Based Simulation, Joint Workshop MABS 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers},
  editor = {Paul Davidsson and Brian Logan and Keiki Takadama},
  volume = {3415},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-25262-2},
}

@inproceedings{BosseT05,
  title = {Formal Interpretation and Analysis of Collective Intelligence as Individual Intelligence},
  author = {Tibor Bosse and Jan Treur},
  year = {2005},
  doi = {10.1007/11734680_5},
  url = {http://dx.doi.org/10.1007/11734680_5},
  tags = {analysis},
  researchr = {https://researchr.org/publication/BosseT05},
  cites = {0},
  citedby = {0},
  pages = {58-74},
  booktitle = {Multi-Agent-Based Simulation VI, International Workshop, MABS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papers},
  editor = {Jaime Simão Sichman and Luis Antunes},
  volume = {3891},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-33380-0},
}

@inproceedings{BrazierHSTWW96,
  title = {The REVISE Project: A Purpose Driven Method for Language Comparison},
  author = {Frances M. T. Brazier and Frank van Harmelen and Remco Straatman and Jan Treur and Niek J. E. Wijngaards and Mark Willems},
  year = {1996},
  researchr = {https://researchr.org/publication/BrazierHSTWW96},
  cites = {0},
  citedby = {0},
  pages = {66-81},
  booktitle = {Advances in Knowledge Acquisition, 9th European Knowledge Acquisition Workshop, EKAW 96, Nottingham, UK, May 14-17, 1996, Proceedings},
  editor = {Nigel Shadbolt and Kieron O Hara and Guus Schreiber},
  volume = {1076},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-61273-4},
}

@article{BrazierLTWW96,
  title = {Modelling an elevator design task in DESIRE: the VT example},
  author = {Frances M. T. Brazier and Pieter H. G. van Langen and Jan Treur and Niek J. E. Wijngaards and Mark Willems},
  year = {1996},
  doi = {10.1006/ijhc.1996.0022},
  url = {http://dx.doi.org/10.1006/ijhc.1996.0022},
  tags = {design},
  researchr = {https://researchr.org/publication/BrazierLTWW96},
  cites = {0},
  citedby = {0},
  journal = {International Journal of Man-Machine Studies},
  volume = {44},
  number = {3-4},
  pages = {469-520},
}

@article{BrazierJT02:0,
  title = {Dynamics and control in component-based agent models},
  author = {Frances M. T. Brazier and Catholijn M. Jonker and Jan Treur},
  year = {2002},
  doi = {10.1002/int.10060},
  url = {http://dx.doi.org/10.1002/int.10060},
  tags = {rule-based, agent based modeling},
  researchr = {https://researchr.org/publication/BrazierJT02%3A0},
  cites = {0},
  citedby = {0},
  journal = {Int. J. Intell. Syst.},
  volume = {17},
  number = {11},
  pages = {1007-1047},
}

@inproceedings{BosseJT04a,
  title = {Experiments in Human Multi-Issue Negotiation: Analysis and Support},
  author = {Tibor Bosse and Catholijn M. Jonker and Jan Treur},
  year = {2004},
  url = {http://csdl.computer.org/comp/proceedings/aamas/2004/2092/02/20920671abs.htm},
  tags = {analysis},
  researchr = {https://researchr.org/publication/BosseJT04a},
  cites = {0},
  citedby = {0},
  pages = {671-678},
  booktitle = {3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 19-23 August 2004, New York, NY, USA},
  publisher = {IEEE Computer Society},
  isbn = {1-58113-864-4},
}

@inproceedings{BosseMT06,
  title = {A Cognitive Model for Visual Attention and Its Application},
  author = {Tibor Bosse and Peter-Paul van Maanen and Jan Treur},
  year = {2006},
  doi = {10.1109/IAT.2006.2},
  url = {http://doi.ieeecomputersociety.org/10.1109/IAT.2006.2},
  researchr = {https://researchr.org/publication/BosseMT06},
  cites = {0},
  citedby = {0},
  pages = {255-262},
  booktitle = {Proceedings of the 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, Hong Kong, China, 18-22 December 2006},
  publisher = {IEEE Computer Society},
}

@inproceedings{HoogendoornJMT05:0,
  title = {A Meta-Level Architecture for Strategic Reasoning in Naval Planning (extended abstract)},
  author = {Mark Hoogendoorn and Catholijn M. Jonker and Peter-Paul van Maanen and Jan Treur},
  year = {2005},
  tags = {meta-model, architecture, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/HoogendoornJMT05%3A0},
  cites = {0},
  citedby = {0},
  pages = {401-402},
  booktitle = {BNAIC 2005 - Proceedings of the Seventeenth Belgium-Netherlands Conference on Artificial Intelligence, Brussels, Belgium, October 17-18, 2005},
  editor = {Katja Verbeeck and Karl Tuyls and Ann Nowé and Bernard Manderick and Bart Kuijpers},
  publisher = {Koninklijke Vlaamse Academie van Belie voor Wetenschappen en Kunsten},
}

@inproceedings{BrazierJT96,
  title = {Modelling project coordination in a multi-agent framework},
  author = {Frances M. T. Brazier and Catholijn M. Jonker and Jan Treur},
  year = {1996},
  url = {http://computer.org/proceedings/wet-ice/7445/74450148abs.htm},
  researchr = {https://researchr.org/publication/BrazierJT96},
  cites = {0},
  citedby = {0},
  pages = {148-155},
  booktitle = {5th Workshop on Enabling Technologies, Infrastructure for Collaborative Enterprises (WET-ICE 96), June 19-21, 1996, Stanford, CA, USA, Proceedings},
  publisher = {IEEE Computer Society},
}

@inproceedings{BosseMT07,
  title = {Emergent Storylines Based on Autonomous Characters with Mindreading Capabilities},
  author = {Tibor Bosse and Zulfiqar A. Memon and Jan Treur},
  year = {2007},
  doi = {10.1109/IAT.2007.52},
  url = {http://doi.ieeecomputersociety.org/10.1109/IAT.2007.52},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/BosseMT07},
  cites = {0},
  citedby = {0},
  pages = {207-214},
  booktitle = {Proceedings of the 2007 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, Silicon Valley, CA, USA, November 2-5, 2007},
  publisher = {IEEE Computer Society},
}

@inproceedings{Treur88,
  title = {Completeness and Definability in Diagnostic Expert Systems},
  author = {Jan Treur},
  year = {1988},
  tags = {completeness, diagnostics},
  researchr = {https://researchr.org/publication/Treur88},
  cites = {0},
  citedby = {0},
  pages = {619-624},
  booktitle = {ECAI},
}

@article{JonkerT02:2,
  title = {A Compositional Process Control Model and its Application to Biochemical Processes},
  author = {Catholijn M. Jonker and Jan Treur},
  year = {2002},
  url = {http://taylorandfrancis.metapress.com/openurl.asp?genre=article&issn=0883-9514&volume=16&issue=1&spage=51},
  tags = {composition, process modeling},
  researchr = {https://researchr.org/publication/JonkerT02%3A2},
  cites = {0},
  citedby = {0},
  journal = {Applied Artificial Intelligence},
  volume = {16},
  number = {1},
  pages = {51-71},
}

@article{EngelfrietT96,
  title = {Executable Temporal Logic for Non-Monotonic Reasoning},
  author = {Joeri Engelfriet and Jan Treur},
  year = {1996},
  tags = {logic},
  researchr = {https://researchr.org/publication/EngelfrietT96},
  cites = {0},
  citedby = {0},
  journal = {Journal of Symbolic Computation},
  volume = {22},
  number = {5/6},
  pages = {615-625},
}

@article{EngelfrietHT98,
  title = {Nonmonotonic Reasoning with Multiple Belief Sets},
  author = {Joeri Engelfriet and Heinrich Herre and Jan Treur},
  year = {1998},
  researchr = {https://researchr.org/publication/EngelfrietHT98},
  cites = {0},
  citedby = {0},
  journal = {Annals of Mathematics and Artificial Intelligence},
  volume = {24},
  number = {1-4},
  pages = {225-248},
}

@inproceedings{JonkerT97:0,
  title = {Modelling an Agent s Mind and Matter},
  author = {Catholijn M. Jonker and Jan Treur},
  year = {1997},
  tags = {meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/JonkerT97%3A0},
  cites = {0},
  citedby = {0},
  pages = {210-224},
  booktitle = {Multi-Agent Rationality, 8th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, Ronneby, Sweden, May 13-16, 1997, Proceedings},
  editor = {Magnus Boman and Walter Van de Velde},
  volume = {1237},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-63077-5},
}

@inproceedings{BossePT07,
  title = {A Computational Model for Adaptive Emotion Regulation},
  author = {Tibor Bosse and Matthijs Pontier and Jan Treur},
  year = {2007},
  doi = {10.1109/IAT.2007.5},
  url = {http://doi.ieeecomputersociety.org/10.1109/IAT.2007.5},
  tags = {meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/BossePT07},
  cites = {0},
  citedby = {0},
  pages = {289-293},
  booktitle = {Proceedings of the 2007 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, Silicon Valley, CA, USA, November 2-5, 2007},
  publisher = {IEEE Computer Society},
}

@inproceedings{JonkerT02,
  title = {Relating Structure and Dynamics in Organisation Models},
  author = {Catholijn M. Jonker and Jan Treur},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2581/25810050.htm},
  tags = {meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/JonkerT02},
  cites = {0},
  citedby = {0},
  pages = {50-69},
  booktitle = {Multi-Agent-Based Simulation, Third International Workshop, MABS 2002, Bologna, Italy, July 15-16, 2002, Revised Papers},
  editor = {Jaime Simão Sichman and François Bousquet and Paul Davidsson},
  volume = {2581},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-00607-9},
}

@inproceedings{JonkerTV00,
  title = {Reuse and Abstraction in Verification: Agents Acting in Dynamic Environments},
  author = {Catholijn M. Jonker and Jan Treur and Wieke de Vries},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/1957/19570253.htm},
  tags = {reuse, abstraction, Meta-Environment},
  researchr = {https://researchr.org/publication/JonkerTV00},
  cites = {0},
  citedby = {0},
  pages = {253-267},
  booktitle = {Agent-Oriented Software Engineering, First International Workshop, AOSE 2000, Limerick, Ireland, June 10, 2000, Revised Papers},
  editor = {Paolo Ciancarini and Michael Wooldridge},
  volume = {1957},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-41594-7},
}

@article{BosseJMST09,
  title = {Specification and Verification of Dynamics in Agent Models},
  author = {Tibor Bosse and Catholijn M. Jonker and Lourens van der Meij and Alexei Sharpanskykh and Jan Treur},
  year = {2009},
  doi = {10.1142/S0218843009001987},
  url = {http://dx.doi.org/10.1142/S0218843009001987},
  tags = {meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/BosseJMST09},
  cites = {0},
  citedby = {0},
  journal = {Int. J. Cooperative Inf. Syst.},
  volume = {18},
  number = {1},
  pages = {167-193},
}

@inproceedings{AzizKT09,
  title = {An Agent Model of Temporal Dynamics in Relapse and Recurrence in Depression},
  author = {Azizi A. Aziz and Michel C. A. Klein and Jan Treur},
  year = {2009},
  doi = {10.1007/978-3-642-02568-6_4},
  url = {http://dx.doi.org/10.1007/978-3-642-02568-6_4},
  tags = {C++},
  researchr = {https://researchr.org/publication/AzizKT09},
  cites = {0},
  citedby = {0},
  pages = {36-45},
  booktitle = {Next-Generation Applied Intelligence, 22nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2009, Tainan, Taiwan, June 24-27, 2009. Proceedings},
  editor = {Been-Chian Chien and Tzung-Pei Hong and Shyi-Ming Chen and Moonis Ali},
  volume = {5579},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-02567-9},
}

@inproceedings{JonkerTT03,
  title = {Temporal and Spatial Analysis to Personalise an Agent s Dynamic Belief, Desire, and Intention Profiles},
  author = {Catholijn M. Jonker and Vagan Y. Terziyan and Jan Treur},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2782&spage=298},
  tags = {analysis},
  researchr = {https://researchr.org/publication/JonkerTT03},
  cites = {0},
  citedby = {0},
  pages = {298-315},
  booktitle = {Cooperative Information Agents VII, 7th International Workshop, CIA 2003, Helsinki, Finland, August 27-29, 2003, Proceedings},
  editor = {Matthias Klusch and Sascha Ossowski and Andrea Omicini and Heimo Laamanen},
  volume = {2782},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-40798-7},
}

@inproceedings{BosseMT08,
  title = {Adaptive Estimation of Emotion Generation for an Ambient Agent Model},
  author = {Tibor Bosse and Zulfiqar A. Memon and Jan Treur},
  year = {2008},
  doi = {10.1007/978-3-540-89617-3_10},
  url = {http://dx.doi.org/10.1007/978-3-540-89617-3_10},
  researchr = {https://researchr.org/publication/BosseMT08},
  cites = {0},
  citedby = {0},
  pages = {141-156},
  booktitle = {Ambient Intelligence, European Conference, AmI 2008, Nuremberg, Germany, November 19-22, 2008. Proceedings},
  editor = {Emile H. L. Aarts and James L. Crowley and Boris E. R. de Ruyter and Heinz Gerhäuser and Alexander Pflaum and Janina Schmidt and Reiner Wichert},
  volume = {5355},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-89616-6},
}

@inproceedings{TanT92,
  title = {Constructive Default Logic and the Control of defeasible reasoning},
  author = {Yao-Hua Tan and Jan Treur},
  year = {1992},
  tags = {logic},
  researchr = {https://researchr.org/publication/TanT92},
  cites = {0},
  citedby = {0},
  pages = {299-303},
  booktitle = {ECAI},
}

@inproceedings{HoogendoornST07,
  title = {Modeling Decentralized Organizational Change in Honeybee Societies},
  author = {Mark Hoogendoorn and Martijn C. Schut and Jan Treur},
  year = {2007},
  doi = {10.1007/978-3-540-74913-4_62},
  url = {http://dx.doi.org/10.1007/978-3-540-74913-4_62},
  tags = {modeling, C++},
  researchr = {https://researchr.org/publication/HoogendoornST07},
  cites = {0},
  citedby = {0},
  pages = {615-624},
  booktitle = {Advances in Artificial Life, 9th European Conference, ECAL 2007, Lisbon, Portugal, September 10-14, 2007, Proceedings},
  editor = {Fernando Almeida e Costa and Luis Mateus Rocha and Ernesto Costa and Inman Harvey and António Coutinho},
  volume = {4648},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-74912-7},
}

@inproceedings{HerleaJTW99:1,
  title = {Specification of Bahavioural Requirements within Compositional Multi-agent System Design},
  author = {Daniela E. Herlea and Catholijn M. Jonker and Jan Treur and Niek J. E. Wijngaards},
  year = {1999},
  tags = {design science, composition, e-science, design},
  researchr = {https://researchr.org/publication/HerleaJTW99%3A1},
  cites = {0},
  citedby = {0},
  pages = {8-27},
  booktitle = {MultiAgent System Engineering, 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW  99, Valencia, Spain, June 30 - July 2, 1999, Proceedings},
  editor = {Francisco J. Garijo and Magnus Boman},
  volume = {1647},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66281-2},
}

@article{DastaniJJT05,
  title = {Modelling user preferences and mediating agents in electronic commerce},
  author = {Mehdi Dastani and Nico Jacobs and Catholijn M. Jonker and Jan Treur},
  year = {2005},
  doi = {10.1016/j.knosys.2005.05.001},
  url = {http://dx.doi.org/10.1016/j.knosys.2005.05.001},
  researchr = {https://researchr.org/publication/DastaniJJT05},
  cites = {0},
  citedby = {0},
  journal = {Knowl.-Based Syst.},
  volume = {18},
  number = {7},
  pages = {335-352},
}

@inproceedings{GavrilaT94,
  title = {A Formal Model for the Dynamics of Compositional Reasoning Systems},
  author = {Ioa Gavrila and Jan Treur},
  year = {1994},
  tags = {composition},
  researchr = {https://researchr.org/publication/GavrilaT94},
  cites = {0},
  citedby = {0},
  pages = {307-311},
  booktitle = {ECAI},
}

@inproceedings{JonkerT99:1,
  title = {Formal Analysis of Models for the Dynamics of Trust Based on Experiences},
  author = {Catholijn M. Jonker and Jan Treur},
  year = {1999},
  tags = {rule-based, analysis},
  researchr = {https://researchr.org/publication/JonkerT99%3A1},
  cites = {0},
  citedby = {0},
  pages = {221-231},
  booktitle = {MultiAgent System Engineering, 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW  99, Valencia, Spain, June 30 - July 2, 1999, Proceedings},
  editor = {Francisco J. Garijo and Magnus Boman},
  volume = {1647},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66281-2},
}

@inproceedings{JonkerT98,
  title = {Agent-Based Simulation of Reactive, Pro-active and Social animal Behaviour},
  author = {Catholijn M. Jonker and Jan Treur},
  year = {1998},
  tags = {rule-based, social},
  researchr = {https://researchr.org/publication/JonkerT98},
  cites = {0},
  citedby = {0},
  pages = {584-595},
  booktitle = {Methodology and Tools in Knowledge-Based Systems, 11th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE-98, Castellón, Spain, June 1-4, 1998, Proceedings, Volume I},
  editor = {José Mira and Angel P. Del Pobil},
  volume = {1415},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-64582-9},
}

@inproceedings{JonkerT02:1,
  title = {A dynamic perspective on an agent s mental states and interaction with its environment},
  author = {Catholijn M. Jonker and Jan Treur},
  year = {2002},
  doi = {10.1145/544862.544945},
  url = {http://doi.acm.org/10.1145/544862.544945},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/JonkerT02%3A1},
  cites = {0},
  citedby = {0},
  pages = {865-872},
  booktitle = {The First International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002, July 15-19, 2002, Bologna, Italy, Proceedings},
  publisher = {ACM},
}

@article{BrazierET01,
  title = {Modelling a Society of Simple Agents: From Conceptual Specification to Experimentation},
  author = {Frances M. T. Brazier and Pascal van Eck and Jan Treur},
  year = {2001},
  tags = {Pascal},
  researchr = {https://researchr.org/publication/BrazierET01},
  cites = {0},
  citedby = {0},
  journal = {Appl. Intell.},
  volume = {14},
  number = {2},
  pages = {161-178},
}

@article{BrazierJT02,
  title = {Principles of component-based design of intelligent agents},
  author = {Frances M. T. Brazier and Catholijn M. Jonker and Jan Treur},
  year = {2002},
  doi = {10.1016/S0169-023X(01)00058-1},
  url = {http://dx.doi.org/10.1016/S0169-023X(01)00058-1},
  tags = {rule-based, principles, design},
  researchr = {https://researchr.org/publication/BrazierJT02},
  cites = {0},
  citedby = {0},
  journal = {Data \& Knowledge Engineering},
  volume = {41},
  number = {1},
  pages = {1-27},
}

@inproceedings{BosseSTW07,
  title = {Trust-Based Inter-temporal Decision Making: Emergence of Altruism in a Simulated Society},
  author = {Tibor Bosse and Martijn C. Schut and Jan Treur and David Wendt},
  year = {2007},
  doi = {10.1007/978-3-540-70916-9_8},
  url = {http://dx.doi.org/10.1007/978-3-540-70916-9_8},
  tags = {rule-based, C++},
  researchr = {https://researchr.org/publication/BosseSTW07},
  cites = {0},
  citedby = {0},
  pages = {96-111},
  booktitle = {Multi-Agent-Based Simulation VIII, International Workshop, MABS 2007, Honolulu, HI, USA, May 15, 2007, Revised and Invited Papers},
  editor = {Luis Antunes and Mario Paolucci and Emma Norling},
  volume = {5003},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-70915-2},
}

@article{JonkerT01:0,
  title = {Agent-Based Simulation of Animal Behaviour},
  author = {Catholijn M. Jonker and Jan Treur},
  year = {2001},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/JonkerT01%3A0},
  cites = {0},
  citedby = {0},
  journal = {Appl. Intell.},
  volume = {15},
  number = {2},
  pages = {83-115},
}

@article{BrazierTWW99,
  title = {Temporal Semantics of Compositional Task Models and Problem Solving Methods},
  author = {Frances M. T. Brazier and Jan Treur and Niek J. E. Wijngaards and Mark Willems},
  year = {1999},
  doi = {10.1016/S0169-023X(98)00029-9},
  url = {http://dx.doi.org/10.1016/S0169-023X(98)00029-9},
  tags = {semantics, composition, e-science},
  researchr = {https://researchr.org/publication/BrazierTWW99},
  cites = {0},
  citedby = {0},
  journal = {Data \& Knowledge Engineering},
  volume = {29},
  number = {1},
  pages = {17-42},
}

@inproceedings{BrazierTW96:0,
  title = {The Acquisition of a Shared Task Model},
  author = {Frances M. T. Brazier and Jan Treur and Niek J. E. Wijngaards},
  year = {1996},
  tags = {meta-model, e-science, Meta-Environment},
  researchr = {https://researchr.org/publication/BrazierTW96%3A0},
  cites = {0},
  citedby = {0},
  pages = {278-289},
  booktitle = {Advances in Knowledge Acquisition, 9th European Knowledge Acquisition Workshop, EKAW 96, Nottingham, UK, May 14-17, 1996, Proceedings},
  editor = {Nigel Shadbolt and Kieron O Hara and Guus Schreiber},
  volume = {1076},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-61273-4},
}

@inproceedings{HoogendoornTU09,
  title = {An Ecological Model-Based Reasoning Model to Support Nature Park Managers},
  author = {Mark Hoogendoorn and Jan Treur and Muhammad Umair},
  year = {2009},
  doi = {10.1007/978-3-642-02568-6_18},
  url = {http://dx.doi.org/10.1007/978-3-642-02568-6_18},
  tags = {rule-based, meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/HoogendoornTU09},
  cites = {0},
  citedby = {0},
  pages = {172-182},
  booktitle = {Next-Generation Applied Intelligence, 22nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2009, Tainan, Taiwan, June 24-27, 2009. Proceedings},
  editor = {Been-Chian Chien and Tzung-Pei Hong and Shyi-Ming Chen and Moonis Ali},
  volume = {5579},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-02567-9},
}

@inproceedings{BeusekomBST98,
  title = {Development of an Ecological Decision Support System},
  author = {Frits van Beusekom and Frances M. T. Brazier and Piet Schipper and Jan Treur},
  year = {1998},
  researchr = {https://researchr.org/publication/BeusekomBST98},
  cites = {0},
  citedby = {0},
  pages = {815-825},
  booktitle = {Tasks and Methods in Applied Artificial Intelligence, 11th International Conference on Industrial and Engineering Applications of Artificial In telligence and Expert Systems, IEA/AIE-98, Castellón, Spain, June 1-4, 1998, Proceedings, Volume II},
  editor = {Angel P. Del Pobil and José Mira and Moonis Ali},
  volume = {1416},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-64574-8},
}

@inproceedings{Treur94,
  title = {Temporal Semantics of Meta-Level Architectures for Dynamic Control of Reasoning},
  author = {Jan Treur},
  year = {1994},
  tags = {semantics, meta-model, architecture, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/Treur94},
  cites = {0},
  citedby = {0},
  pages = {353-376},
  booktitle = {Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR 94 and META 94, Pisa, Italy, June 20-21, 1994, Proceedings},
  editor = {Laurent Fribourg and Franco Turini},
  volume = {883},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-58792-6},
}

@article{BrazierET02,
  title = {Analysis of Multi-Interpretable Ecological Monitoring Information},
  author = {Frances M. T. Brazier and Joeri Engelfriet and Jan Treur},
  year = {2002},
  url = {http://taylorandfrancis.metapress.com/openurl.asp?genre=article&issn=0883-9514&volume=16&issue=1&spage=29},
  tags = {analysis},
  researchr = {https://researchr.org/publication/BrazierET02},
  cites = {0},
  citedby = {0},
  journal = {Applied Artificial Intelligence},
  volume = {16},
  number = {1},
  pages = {29-50},
}

@inproceedings{HerleaJTW99:0,
  title = {Integration of Behavioural Requirements Specification within Knowledge Engineering},
  author = {Daniela E. Herlea and Catholijn M. Jonker and Jan Treur and Niek J. E. Wijngaards},
  year = {1999},
  url = {http://link.springer.de/link/service/series/0558/bibs/1621/16210173.htm},
  tags = {requirements engineering, e-science},
  researchr = {https://researchr.org/publication/HerleaJTW99%3A0},
  cites = {0},
  citedby = {0},
  pages = {173-190},
  booktitle = {Knowledge Acquisition, Modeling and Management, 11th European Workshop, EKAW  99, Dagstuhl Castle, Germany, May 26-29, 1999, Proceedings},
  editor = {Dieter Fensel and Rudi Studer},
  volume = {1621},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66044-5},
}

@inproceedings{JonkerLT01,
  title = {Diagnosis of the Dynamics within an Organization by Trace Checking of Behavioural Requirements},
  author = {Catholijn M. Jonker and Ioan Alfred Letia and Jan Treur},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2222/22220017.htm},
  researchr = {https://researchr.org/publication/JonkerLT01},
  cites = {0},
  citedby = {0},
  pages = {17-32},
  booktitle = {Agent-Oriented Software Engineering II, Second International Workshop, AOSE 2001, Montreal, Canada, May 29, 2001, Revised Papers and Invited Contributions},
  editor = {Michael Wooldridge and Gerhard Weiß and Paolo Ciancarini},
  volume = {2222},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-43282-5},
}

@article{BosseJT06:0,
  title = {Formalization and Analysis of Reasoning by Assumption},
  author = {Tibor Bosse and Catholijn M. Jonker and Jan Treur},
  year = {2006},
  doi = {10.1207/s15516709cog0000_51},
  url = {http://dx.doi.org/10.1207/s15516709cog0000_51},
  tags = {analysis},
  researchr = {https://researchr.org/publication/BosseJT06%3A0},
  cites = {0},
  citedby = {0},
  journal = {Cognitive Science},
  volume = {30},
  number = {1},
  pages = {147-180},
}

@inproceedings{BosseGT07,
  title = {Cognitive and social simulation of criminal behaviour: the intermittent explosive disorder case},
  author = {Tibor Bosse and Charlotte Gerritsen and Jan Treur},
  year = {2007},
  doi = {10.1145/1329125.1329195},
  url = {http://doi.acm.org/10.1145/1329125.1329195},
  tags = {social},
  researchr = {https://researchr.org/publication/BosseGT07},
  cites = {0},
  citedby = {0},
  pages = {58},
  booktitle = {6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), Honolulu, Hawaii, USA, May 14-18, 2007},
  editor = {Edmund H. Durfee and Makoto Yokoo and Michael N. Huhns and Onn Shehory},
  publisher = {IFAAMAS},
  isbn = {978-81-904262-7-5},
}

@article{EngelfrietT03:0,
  title = {A compositional reasoning system for executing nonmonotonic theories of reasoning},
  author = {Joeri Engelfriet and Jan Treur},
  year = {2003},
  doi = {10.1002/int.10108},
  url = {http://dx.doi.org/10.1002/int.10108},
  tags = {composition},
  researchr = {https://researchr.org/publication/EngelfrietT03%3A0},
  cites = {0},
  citedby = {0},
  journal = {Int. J. Intell. Syst.},
  volume = {18},
  number = {6},
  pages = {593-607},
}

@inproceedings{BrazierET97,
  title = {Modelling Competitive Co-operation of Agents in a Compositional Multi-Agent Framework},
  author = {Frances M. T. Brazier and Pascal van Eck and Jan Treur},
  year = {1997},
  tags = {composition, Pascal},
  researchr = {https://researchr.org/publication/BrazierET97},
  cites = {0},
  citedby = {0},
  pages = {317-322},
  booktitle = {Knowledge Acquisition, Modeling and Management, 10th European Workshop, EKAW 97, Sant Feliu de Guixols, Catalonia, Spain, October 15-18, 1997, Proceedings},
  editor = {Enric Plaza and V. Richard Benjamins},
  volume = {1319},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-63592-0},
}

@inproceedings{HoogendoornT06,
  title = {An Adaptive Multi-agent Organization Model Based on Dynamic Role Allocation},
  author = {Mark Hoogendoorn and Jan Treur},
  year = {2006},
  doi = {10.1109/IAT.2006.29},
  url = {http://doi.ieeecomputersociety.org/10.1109/IAT.2006.29},
  tags = {rule-based, agent based modeling, object-role modeling},
  researchr = {https://researchr.org/publication/HoogendoornT06},
  cites = {0},
  citedby = {0},
  pages = {474-481},
  booktitle = {Proceedings of the 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, Hong Kong, China, 18-22 December 2006},
  publisher = {IEEE Computer Society},
}

@article{EngelfrietT95a,
  title = {Temporal Theories of Reasoning},
  author = {Joeri Engelfriet and Jan Treur},
  year = {1995},
  researchr = {https://researchr.org/publication/EngelfrietT95a},
  cites = {0},
  citedby = {0},
  journal = {Journal of Applied Non-Classical Logics},
  volume = {5},
  number = {2},
  pages = {239-261},
}

@inproceedings{CornelissenJT97:0,
  title = {Compositional Verification of Knowledge-based Systems: a Case Study in Diagnostic Reasoning},
  author = {Frank Cornelissen and Catholijn M. Jonker and Jan Treur},
  year = {1997},
  tags = {rule-based, model-based diagnostics, case study, composition, diagnostics},
  researchr = {https://researchr.org/publication/CornelissenJT97%3A0},
  cites = {0},
  citedby = {0},
  pages = {129-142},
  booktitle = {Proceedings of the Fourth European Symposium on the Validation and Verification of Knowledge-Based Systems, EUROVAV 97, June 26-28, 1997, Katholieke Universiteit Leuven, Leuven, Belgium},
  editor = {Jan Vanthienen and Frank van Harmelen},
  publisher = {Katholieke Universiteit Leuven, Belgium},
}

@inproceedings{BosseJMST06,
  title = {Specification and Verification of Dynamics in Cognitive Agent Models},
  author = {Tibor Bosse and Catholijn M. Jonker and Lourens van der Meij and Alexei Sharpanskykh and Jan Treur},
  year = {2006},
  doi = {10.1109/IAT.2006.112},
  url = {http://doi.ieeecomputersociety.org/10.1109/IAT.2006.112},
  researchr = {https://researchr.org/publication/BosseJMST06},
  cites = {0},
  citedby = {0},
  pages = {247-254},
  booktitle = {Proceedings of the 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, Hong Kong, China, 18-22 December 2006},
  publisher = {IEEE Computer Society},
}

@article{BrazierCGJLPT04,
  title = {Compositional Verification of a Multi-Agent System for One-to-Many Negotiation},
  author = {Frances M. T. Brazier and Frank Cornelissen and Rune Gustavsson and Catholijn M. Jonker and Olle Lindeberg and Bianca Polak and Jan Treur},
  year = {2004},
  doi = {10.1023/B:APIN.0000013334.33853.0c},
  url = {http://dx.doi.org/10.1023/B:APIN.0000013334.33853.0c},
  tags = {composition},
  researchr = {https://researchr.org/publication/BrazierCGJLPT04},
  cites = {0},
  citedby = {0},
  journal = {Appl. Intell.},
  volume = {20},
  number = {2},
  pages = {95-117},
}

@article{EngelfrietT98,
  title = {An Interpretation of Default Logic in Minimal Temporal Epistemic Logic},
  author = {Joeri Engelfriet and Jan Treur},
  year = {1998},
  tags = {logic},
  researchr = {https://researchr.org/publication/EngelfrietT98},
  cites = {0},
  citedby = {0},
  journal = {Journal of Logic, Language and Information},
  volume = {7},
  number = {3},
  pages = {369-388},
}

@inproceedings{BrazierJTW98,
  title = {An Agent Architecture for Dynamic Re-Design of Agents},
  author = {Frances M. T. Brazier and Catholijn M. Jonker and Jan Treur and Niek J. E. Wijngaards},
  year = {1998},
  tags = {architecture, design},
  researchr = {https://researchr.org/publication/BrazierJTW98},
  cites = {0},
  citedby = {0},
  pages = {401-402},
  booktitle = {Proceedings of the Third International Conference on Multiagent Systems, ICMAS 1998, 3-7 July 1998, Paris, France},
  editor = {Yves Demazeau},
  publisher = {IEEE Computer Society},
  isbn = {0-8186-8500-X},
}

@article{Treur02,
  title = {Formal semantics of meta-level architectures: Dynamic control of reasoning},
  author = {Jan Treur},
  year = {2002},
  tags = {semantics, formal semantics, meta-model, architecture, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/Treur02},
  cites = {0},
  citedby = {0},
  journal = {Int. J. Intell. Syst.},
  volume = {17},
  number = {6},
  pages = {545-567},
}

@article{BrazierJTW01,
  title = {Deliberative Evolution in Multi-Agent Systems},
  author = {Frances M. T. Brazier and Catholijn M. Jonker and Jan Treur and Niek J. E. Wijngaards},
  year = {2001},
  researchr = {https://researchr.org/publication/BrazierJTW01},
  cites = {0},
  citedby = {0},
  journal = {International Journal of Software Engineering and Knowledge Engineering},
  volume = {11},
  number = {5},
  pages = {559-581},
}

@article{JonkerSTY07,
  title = {A framework for formal modeling and analysis of organizations},
  author = {Catholijn M. Jonker and Alexei Sharpanskykh and Jan Treur and Pinar Yolum},
  year = {2007},
  doi = {10.1007/s10489-006-0030-2},
  url = {http://dx.doi.org/10.1007/s10489-006-0030-2},
  tags = {modeling, analysis},
  researchr = {https://researchr.org/publication/JonkerSTY07},
  cites = {0},
  citedby = {0},
  journal = {Appl. Intell.},
  volume = {27},
  number = {1},
  pages = {49-66},
}

@inproceedings{JonkerTV01,
  title = {External attribution of intentional notions to explain and predict agent behaviour},
  author = {Catholijn M. Jonker and Jan Treur and Wieke de Vries},
  year = {2001},
  url = {http://portal.acm.org/citation.cfm?id=375735.375865},
  researchr = {https://researchr.org/publication/JonkerTV01},
  cites = {0},
  citedby = {0},
  pages = {41-42},
  booktitle = {Agents},
}

@inproceedings{Treur91,
  title = {Declarative Functionality Descriptions of Interactive Reasoning Modules},
  author = {Jan Treur},
  year = {1991},
  researchr = {https://researchr.org/publication/Treur91},
  cites = {0},
  citedby = {0},
  pages = {221-236},
  booktitle = {Processing Declarative Knowledge, International Workshop PDK 91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings},
  editor = {Harold Boley and Michael M. Richter},
  volume = {567},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-55033-X},
}

@inproceedings{BosseJT04:0,
  title = {Analysis of Design Process Dynamics},
  author = {Tibor Bosse and Catholijn M. Jonker and Jan Treur},
  year = {2004},
  tags = {analysis, design},
  researchr = {https://researchr.org/publication/BosseJT04%3A0},
  cites = {0},
  citedby = {0},
  pages = {293-297},
  booktitle = {Proceedings of the 16th Eureopean Conference on Artificial Intelligence, ECAI 2004, including Prestigious Applicants of Intelligent Systems, PAIS 2004, Valencia, Spain, August 22-27, 2004},
  editor = {Ramon López de Mántaras and Lorenza Saitta},
  publisher = {IOS Press},
  isbn = {1-58603-452-9},
}

@article{EngelfrietT02,
  title = {Linear, Branching Time and Joint Closure Semantics for Temporal Logic},
  author = {Joeri Engelfriet and Jan Treur},
  year = {2002},
  tags = {semantics, logic},
  researchr = {https://researchr.org/publication/EngelfrietT02},
  cites = {0},
  citedby = {0},
  journal = {Journal of Logic, Language and Information},
  volume = {11},
  number = {4},
  pages = {389-425},
}

@article{Treur02a,
  title = {Semantic formalization of interactive reasoning functionality},
  author = {Jan Treur},
  year = {2002},
  researchr = {https://researchr.org/publication/Treur02a},
  cites = {0},
  citedby = {0},
  journal = {Int. J. Intell. Syst.},
  volume = {17},
  number = {7},
  pages = {645-686},
}

@inproceedings{GeelenRT92,
  title = {Towards a Formal Framework to Compare Protocol Interpretations and Task Specifications},
  author = {Pieter Geelen and Zsófia Ruttkay and Jan Treur},
  year = {1992},
  tags = {protocol},
  researchr = {https://researchr.org/publication/GeelenRT92},
  cites = {0},
  citedby = {0},
  pages = {133-152},
  booktitle = {Current Developments in Knowledge Acquisition - EKAW 92, 6th European Knowledge Acquisition Workshop, Heidelberg and Kaiserslautern, Germany, May 18-22, 1992},
  editor = {Thomas Wetter and Klaus-Dieter Althoff and John H. Boose and Brian R. Gaines and Marc Linster},
  volume = {599},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-55546-3},
}

@inproceedings{HoogendoornKMT08,
  title = {Formal Analysis of Intelligent Agents for Model-Based Medicine Usage Management},
  author = {Mark Hoogendoorn and Michel C. A. Klein and Zulfiqar A. Memon and Jan Treur},
  year = {2008},
  tags = {rule-based, agent based modeling, analysis, C++},
  researchr = {https://researchr.org/publication/HoogendoornKMT08},
  cites = {0},
  citedby = {0},
  pages = {148-155},
  booktitle = {Proceedings of the First International Conference on Health Informatics, HEALTHINF 2008, Funchal, Madeira, Portugal, January 28-31, 2008, Volume 1},
  editor = {Luís Azevedo and Ana Rita Londral},
  publisher = {INSTICC - Institute for Systems and Technologies of Information, Control and Communication},
  isbn = {978-989-8111-16-6},
}

@inproceedings{BrazierT94,
  title = {User Centered Knowledge-Based System Design: a Formal Modelling Approach},
  author = {Frances M. T. Brazier and Jan Treur},
  year = {1994},
  tags = {rule-based, design, systematic-approach},
  researchr = {https://researchr.org/publication/BrazierT94},
  cites = {0},
  citedby = {0},
  pages = {282-302},
  booktitle = {A Future for Knowledge Acquisition, 8th European Knowledge Acquisition Workshop, EKAW 94, Hoegaarden, Belgium, September 26-29, 1994, Proceedings},
  editor = {Luc Steels and Guus Schreiber and Walter Van de Velde},
  volume = {867},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-58487-0},
}

@article{BosseJT07,
  title = {On the use of organisation modelling techniques to address biological organisation},
  author = {Tibor Bosse and Catholijn M. Jonker and Jan Treur},
  year = {2007},
  url = {http://iospress.metapress.com/content/n4525l1n82816547/},
  researchr = {https://researchr.org/publication/BosseJT07},
  cites = {0},
  citedby = {0},
  journal = {Multiagent and Grid Systems},
  volume = {3},
  number = {2},
  pages = {199-223},
}

@article{EngelfrietT00,
  title = {Specification of nonmonotonic reasoning},
  author = {Joeri Engelfriet and Jan Treur},
  year = {2000},
  researchr = {https://researchr.org/publication/EngelfrietT00},
  cites = {0},
  citedby = {0},
  journal = {Journal of Applied Non-Classical Logics},
  volume = {10},
  number = {1},
  pages = {7-26},
}

@inproceedings{JonkerT99,
  title = {A Re-Usable Broker Agent Architecture with Dynamic Maintenance Capabilities},
  author = {Catholijn M. Jonker and Jan Treur},
  year = {1999},
  doi = {10.1145/301136.301242},
  url = {http://doi.acm.org/10.1145/301136.301242},
  tags = {architecture, maintenance},
  researchr = {https://researchr.org/publication/JonkerT99},
  cites = {0},
  citedby = {0},
  pages = {376-377},
  booktitle = {Agents},
}

@inproceedings{BosseGT07:0,
  title = {Integration of Biological, Psychological, and Social Aspects in Agent-Based Simulation of a Violent Psychopath},
  author = {Tibor Bosse and Charlotte Gerritsen and Jan Treur},
  year = {2007},
  doi = {10.1007/978-3-540-72586-2_124},
  url = {http://dx.doi.org/10.1007/978-3-540-72586-2_124},
  tags = {rule-based, social},
  researchr = {https://researchr.org/publication/BosseGT07%3A0},
  cites = {0},
  citedby = {0},
  pages = {888-895},
  booktitle = {Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part II},
  editor = {Yong Shi and G. Dick van Albada and Jack Dongarra and Peter M. A. Sloot},
  volume = {4488},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-72585-5},
}

@inproceedings{BosseGHJT08:0,
  title = {Comparison of Agent-Based and Population-Based Simulations of Displacement of Crime},
  author = {Tibor Bosse and Charlotte Gerritsen and Mark Hoogendoorn and Syed Waqar Jaffry and Jan Treur},
  year = {2008},
  doi = {10.1109/WIIAT.2008.333},
  url = {http://dx.doi.org/10.1109/WIIAT.2008.333},
  tags = {rule-based, agent based modeling, meta-model, modeling,  Population Based Modeling, Meta-Environment, process modeling, systematic-approach},
  researchr = {https://researchr.org/publication/BosseGHJT08%3A0},
  cites = {0},
  citedby = {0},
  pages = {469-476},
  booktitle = {Proceedings of the 2008 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, Sydney, NSW, Australia, December 9-12, 2008},
  publisher = {IEEE},
}

@inproceedings{Treur08,
  title = {Reduction Relations for Agent Models},
  author = {Jan Treur},
  year = {2008},
  doi = {10.1109/WIIAT.2008.273},
  url = {http://dx.doi.org/10.1109/WIIAT.2008.273},
  tags = {meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/Treur08},
  cites = {0},
  citedby = {0},
  pages = {176-183},
  booktitle = {Proceedings of the 2008 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, Sydney, NSW, Australia, December 9-12, 2008},
  publisher = {IEEE},
}