publications:
- title: "An interface agent for attention manipulation"
  author:
  - name: "Tibor Bosse"
    link: "https://researchr.org/alias/tibor-bosse"
  - name: "Rianne van Lambalgen"
    link: "https://researchr.org/alias/rianne-van-lambalgen"
  - name: "Peter-Paul van Maanen"
    link: "https://researchr.org/alias/peter-paul-van-maanen"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1558109.1558194"
  links:
    doi: "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:
  - name: "Carles Sierra"
    link: "https://researchr.org/alias/carles-sierra"
  - name: "Cristiano Castelfranchi"
    link: "https://researchr.org/alias/cristiano-castelfranchi"
  - name: "Keith S. Decker"
    link: "https://researchr.org/alias/keith-s.-decker"
  - name: "Jaime Simão Sichman"
    link: "https://researchr.org/alias/jaime-sim%C3%A3o-sichman"
  publisher: "IFAAMAS"
  isbn: "978-0-9817381-7-8"
  kind: "inproceedings"
  key: "BosseLMT09"
- title: "Temporal Theories of Reasoning"
  author:
  - name: "Joeri Engelfriet"
    link: "https://researchr.org/alias/joeri-engelfriet"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~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:
  - name: "Craig MacNish"
    link: "https://researchr.org/alias/craig-macnish"
  - name: "David Pearce"
    link: "https://researchr.org/alias/david-pearce"
  - name: "Luís Moniz Pereira"
    link: "https://researchr.org/alias/lu%C3%ADs-moniz-pereira"
  volume: "838"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-58332-7"
  kind: "inproceedings"
  key: "EngelfrietT94"
- title: "A Compositional Knowledge Level Process Model of Requirements Engineering"
  author:
  - name: "Daniela E. Herlea"
    link: "https://researchr.org/alias/daniela-e.-herlea"
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  - name: "Niek J. E. Wijngaards"
    link: "https://researchr.org/alias/niek-j.-e.-wijngaards"
  year: "2002"
  doi: "http://dx.doi.org/10.1142/S0218194002000792"
  links:
    doi: "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"
  kind: "article"
  key: "HerleaJTW02"
- title: "Organisational Change: Deliberation and Modification"
  author:
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Martijn C. Schut"
    link: "https://researchr.org/alias/martijn-c.-schut"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2782&spage=336"
  links:
    doi: "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:
  - name: "Matthias Klusch"
    link: "https://researchr.org/alias/matthias-klusch"
  - name: "Sascha Ossowski"
    link: "https://researchr.org/alias/sascha-ossowski"
  - name: "Andrea Omicini"
    link: "https://researchr.org/alias/andrea-omicini"
  - name: "Heimo Laamanen"
    link: "https://researchr.org/alias/heimo-laamanen"
  volume: "2782"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-40798-7"
  kind: "inproceedings"
  key: "JonkerST03"
- title: "Modelling multiple mind-matter interaction"
  author:
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "2002"
  doi: "http://dx.doi.org/10.1016/S1071-5819(02)91023-2"
  links:
    doi: "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"
  kind: "article"
  key: "JonkerT02:0"
- title: "Modelling Internal Dynamic Behaviour of BDI Agents"
  author:
  - name: "Frances M. T. Brazier"
    link: "https://researchr.org/alias/frances-m.-t.-brazier"
  - name: "Barbara Dunin-Keplicz"
    link: "https://researchr.org/alias/barbara-dunin-keplicz"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  - name: "Rineke Verbrugge"
    link: "https://researchr.org/alias/rineke-verbrugge"
  year: "1997"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1760/17600036.htm"
  links:
    doi: "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:
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  volume: "1760"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-67027-0"
  kind: "inproceedings"
  key: "BrazierDTV97"
- title: "Compositional Verification of Knowledge-Based Systems: A Case Study for Diagnostic Reasoning"
  author:
  - name: "Frank Cornelissen"
    link: "https://researchr.org/alias/frank-cornelissen"
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~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:
  - name: "Enric Plaza"
    link: "https://researchr.org/alias/enric-plaza"
  - name: "V. Richard Benjamins"
    link: "https://researchr.org/alias/v.-richard-benjamins"
  volume: "1319"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-63592-0"
  kind: "inproceedings"
  key: "CornelissenJT97"
- title: "Human Experiments in Trust Dynamics"
  author:
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Joost J. P. Schalken"
    link: "https://researchr.org/alias/joost-j.-p.-schalken"
  - name: "Jan Theeuwes"
    link: "https://researchr.org/alias/jan-theeuwes"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2995&spage=206"
  links:
    doi: "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:
  - name: "Christian Damsgaard Jensen"
    link: "https://researchr.org/alias/christian-damsgaard-jensen"
  - name: "Stefan Poslad"
    link: "https://researchr.org/alias/stefan-poslad"
  - name: "Theodosis Dimitrakos"
    link: "https://researchr.org/alias/theodosis-dimitrakos"
  volume: "2995"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-21312-0"
  kind: "inproceedings"
  key: "JonkerSTT04"
- title: "An Executable Modal of the Interaction between Verbal and Non-verbal Communication"
  author:
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  - name: "Wouter C. A. Wijngaards"
    link: "https://researchr.org/alias/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:
  - name: "Frank Dignum"
    link: "https://researchr.org/alias/frank-dignum"
  - name: "Mark Greaves"
    link: "https://researchr.org/alias/mark-greaves"
  volume: "1916"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-41144-5"
  kind: "inproceedings"
  key: "JonkerTW00"
- title: "Agent Modelling in METATEM and DESIRE"
  author:
  - name: "Marco Mulder"
    link: "https://researchr.org/alias/marco-mulder"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  - name: "Michael Fisher"
    link: "https://researchr.org/alias/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:
  - name: "Munindar P. Singh"
    link: "https://researchr.org/alias/munindar-p.-singh"
  - name: "Anand S. Rao"
    link: "https://researchr.org/alias/anand-s.-rao"
  - name: "Michael Wooldridge"
    link: "https://researchr.org/alias/michael-wooldridge"
  volume: "1365"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-64162-9"
  kind: "inproceedings"
  key: "MulderTF97"
- title: "A requirement specification language for configuration dynamics of multiagent systems"
  author:
  - name: "Mehdi Dastani"
    link: "http://people.cs.uu.nl/mehdi/"
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "2004"
  doi: "http://dx.doi.org/10.1002/int.10171"
  links:
    doi: "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"
  kind: "article"
  key: "DastaniJT04"
- title: "Agent-oriented modeling of the dynamics of biological organisms"
  author:
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/s10489-006-0026-y"
  links:
    doi: "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"
  kind: "article"
  key: "JonkerT07"
- title: "A Language and Environment for Analysis of Dynamics by Simulation"
  author:
  - name: "Tibor Bosse"
    link: "https://researchr.org/alias/tibor-bosse"
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Lourens van der Meij"
    link: "https://researchr.org/alias/lourens-van-der-meij"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "2007"
  doi: "http://dx.doi.org/10.1142/S0218213007003357"
  links:
    doi: "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"
  kind: "article"
  key: "BosseJMT07"
- title: "A Multi-agent Architecture for an Intelligent Website in Insurance"
  author:
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  - name: "Remco A. Lam"
    link: "https://researchr.org/alias/remco-a.-lam"
  year: "1999"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1652/16520086.htm"
  links:
    doi: "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:
  - name: "Matthias Klusch"
    link: "https://researchr.org/alias/matthias-klusch"
  - name: "Onn Shehory"
    link: "https://researchr.org/alias/onn-shehory"
  - name: "Gerhard Weiß"
    link: "https://researchr.org/alias/gerhard-wei%C3%9F"
  volume: "1652"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-55325-8"
  kind: "inproceedings"
  key: "JonkerTL99"
- title: "Analysis of multi-interpretable ecological monitoring information"
  author:
  - name: "Frances M. T. Brazier"
    link: "https://researchr.org/alias/frances-m.-t.-brazier"
  - name: "Joeri Engelfriet"
    link: "https://researchr.org/alias/joeri-engelfriet"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1455/14550303.htm"
  links:
    doi: "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:
  - name: "Anthony Hunter"
    link: "https://researchr.org/alias/anthony-hunter"
  - name: "Simon Parsons"
    link: "https://researchr.org/alias/simon-parsons"
  volume: "1455"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-65312-0"
  kind: "inproceedings"
  key: "BrazierET98"
- title: "Panel: Methodologies for Multi-Agent Systems"
  author:
  - name: "David Kinny"
    link: "https://researchr.org/alias/david-kinny"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  - name: "Les Gasser"
    link: "https://researchr.org/alias/les-gasser"
  - name: "Steve Clark"
    link: "https://researchr.org/alias/steve-clark"
  - name: "Jörg P. Müller"
    link: "https://researchr.org/alias/j%C3%B6rg-p.-m%C3%BCller"
  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:
  - name: "Munindar P. Singh"
    link: "https://researchr.org/alias/munindar-p.-singh"
  - name: "Anand S. Rao"
    link: "https://researchr.org/alias/anand-s.-rao"
  - name: "Michael Wooldridge"
    link: "https://researchr.org/alias/michael-wooldridge"
  volume: "1365"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-64162-9"
  kind: "inproceedings"
  key: "KinnyTGCM97"
- title: "Specification, analysis and simulation of the dynamics within an organisation"
  author:
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  - name: "Wouter C. A. Wijngaards"
    link: "https://researchr.org/alias/wouter-c.-a.-wijngaards"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/s10489-006-0024-0"
  links:
    doi: "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"
  kind: "article"
  key: "JonkerTW07"
- title: "Formal Analysis of Meeting Protocols"
  author:
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Martijn C. Schut"
    link: "https://researchr.org/alias/martijn-c.-schut"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  - name: "Pinar Yolum"
    link: "https://researchr.org/alias/pinar-yolum"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3415&spage=114"
  links:
    doi: "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:
  - name: "Paul Davidsson"
    link: "https://researchr.org/alias/paul-davidsson"
  - name: "Brian Logan"
    link: "https://researchr.org/alias/brian-logan"
  - name: "Keiki Takadama"
    link: "https://researchr.org/alias/keiki-takadama"
  volume: "3415"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-25262-2"
  kind: "inproceedings"
  key: "JonkerSTY04"
- title: "On the Complexity Monotonicity Thesis for Environment, Behaviour and Cognition"
  author:
  - name: "Tibor Bosse"
    link: "https://researchr.org/alias/tibor-bosse"
  - name: "Alexei Sharpanskykh"
    link: "https://researchr.org/alias/alexei-sharpanskykh"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-77564-5_11"
  links:
    doi: "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:
  - name: "Matteo Baldoni"
    link: "https://researchr.org/alias/matteo-baldoni"
  - name: "Tran Cao Son"
    link: "https://researchr.org/alias/tran-cao-son"
  - name: "M. Birna van Riemsdijk"
    link: "https://researchr.org/alias/m.-birna-van-riemsdijk"
  - name: "Michael Winikoff"
    link: "https://researchr.org/alias/michael-winikoff"
  volume: "4897"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-77563-8"
  kind: "inproceedings"
  key: "BosseST07a"
- title: "Modelling Interaction with Experts: The Role of a Shared Task Model"
  author:
  - name: "Frances M. T. Brazier"
    link: "https://researchr.org/alias/frances-m.-t.-brazier"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  - name: "Niek J. E. Wijngaards"
    link: "https://researchr.org/alias/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:
  - name: "Wolfgang Wahlster"
    link: "https://researchr.org/alias/wolfgang-wahlster"
  publisher: "John Wiley and Sons, Chichester"
  kind: "inproceedings"
  key: "BrazierTW96"
- title: "Formal Specification of Compositional Architectures"
  author:
  - name: "I. van Langevelde"
    link: "https://researchr.org/alias/i.-van-langevelde"
  - name: "A. Philipsen"
    link: "https://researchr.org/alias/a.-philipsen"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "1992"
  tags:
  - "architecture"
  - "composition"
  researchr: "https://researchr.org/publication/LangeveldePT92"
  cites: 0
  citedby: 0
  pages: "272-276"
  booktitle: "ECAI"
  kind: "inproceedings"
  key: "LangeveldePT92"
- title: "Automated formal analysis of human multi-issue negotiation processes"
  author:
  - name: "Tibor Bosse"
    link: "https://researchr.org/alias/tibor-bosse"
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Lourens van der Meij"
    link: "https://researchr.org/alias/lourens-van-der-meij"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "2008"
  doi: "http://iospress.metapress.com/content/xj28716r76x24823/"
  links:
    doi: "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"
  kind: "article"
  key: "BosseJMT08"
- title: "Representational Content and the Reciprocal Interplay of Agent and Environment"
  author:
  - name: "Tibor Bosse"
    link: "https://researchr.org/alias/tibor-bosse"
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "2004"
  doi: "http://dx.doi.org/10.1007/11493402_16"
  links:
    doi: "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:
  - name: "João Alexandre Leite"
    link: "https://researchr.org/alias/jo%C3%A3o-alexandre-leite"
  - name: "Andrea Omicini"
    link: "https://researchr.org/alias/andrea-omicini"
  - name: "Paolo Torroni"
    link: "https://researchr.org/alias/paolo-torroni"
  - name: "Pinar Yolum"
    link: "https://researchr.org/alias/pinar-yolum"
  volume: "3476"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-26172-9"
  kind: "inproceedings"
  key: "BosseJT04"
- title: "LEADSTO: A Language and Environment for Analysis of Dynamics by SimulaTiOn"
  author:
  - name: "Tibor Bosse"
    link: "https://researchr.org/alias/tibor-bosse"
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Lourens van der Meij"
    link: "https://researchr.org/alias/lourens-van-der-meij"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11504894_51"
  links:
    doi: "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:
  - name: "Moonis Ali"
    link: "https://researchr.org/alias/moonis-ali"
  - name: "Floriana Esposito"
    link: "https://researchr.org/alias/floriana-esposito"
  volume: "3533"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-26551-1"
  kind: "inproceedings"
  key: "BosseJMT05"
- title: "A Specification Language for Organisational Performance Indicators"
  author:
  - name: "Viara Popova"
    link: "https://researchr.org/alias/viara-popova"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11504894_92"
  links:
    doi: "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:
  - name: "Moonis Ali"
    link: "https://researchr.org/alias/moonis-ali"
  - name: "Floriana Esposito"
    link: "https://researchr.org/alias/floriana-esposito"
  volume: "3533"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-26551-1"
  kind: "inproceedings"
  key: "PopovaT05"
- title: "Organization Models and Behavioral Requirements Specification for Multi-Agent Systems"
  author:
  - name: "Jacques Ferber"
    link: "https://researchr.org/alias/jacques-ferber"
  - name: "Olivier Gutknecht"
    link: "https://researchr.org/alias/olivier-gutknecht"
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  - name: "Jean-Pierre Müller"
    link: "https://researchr.org/alias/jean-pierre-m%C3%BCller"
  year: "2000"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ICMAS.2000.858488"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "FerberGJTM00"
- title: "Augmented Metacognition Addressing Dynamic Allocation of Tasks Requiring Visual Attention"
  author:
  - name: "Tibor Bosse"
    link: "https://researchr.org/alias/tibor-bosse"
  - name: "Willem A. van Doesburg"
    link: "https://researchr.org/alias/willem-a.-van-doesburg"
  - name: "Peter-Paul van Maanen"
    link: "https://researchr.org/alias/peter-paul-van-maanen"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-73216-7_19"
  links:
    doi: "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:
  - name: "Dylan Schmorrow"
    link: "https://researchr.org/alias/dylan-schmorrow"
  - name: "Leah Reeves"
    link: "https://researchr.org/alias/leah-reeves"
  volume: "4565"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-73215-0"
  kind: "inproceedings"
  key: "BosseDMT07"
- title: "Simulation and Analysis of Complex Biological Processes: an Organisation Modelling Perspective"
  author:
  - name: "Tibor Bosse"
    link: "https://researchr.org/alias/tibor-bosse"
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "2006"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ANSS.2006.41"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "BosseJT06"
- title: "A Modelling Environment for Mind and Matter Aspects of Intentional Behaviour"
  author:
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  - name: "Wouter C. A. Wijngaards"
    link: "https://researchr.org/alias/wouter-c.-a.-wijngaards"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2296/22960141.htm"
  links:
    doi: "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:
  - name: "Barbara Dunin-Keplicz"
    link: "https://researchr.org/alias/barbara-dunin-keplicz"
  - name: "Edward Nawarecki"
    link: "https://researchr.org/alias/edward-nawarecki"
  volume: "2296"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-43370-8"
  kind: "inproceedings"
  key: "JonkerTW01:0"
- title: "Design and Analysis of an Ambient Intelligent System Supporting Depression Therapy"
  author:
  - name: "Fiemke Both"
    link: "https://researchr.org/alias/fiemke-both"
  - name: "Mark Hoogendoorn"
    link: "https://researchr.org/alias/mark-hoogendoorn"
  - name: "Michel C. A. Klein"
    link: "https://researchr.org/alias/michel-c.-a.-klein"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~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:
  - name: "Luís Azevedo"
    link: "https://researchr.org/alias/lu%C3%ADs-azevedo"
  - name: "Ana Rita Londral"
    link: "https://researchr.org/alias/ana-rita-londral"
  publisher: "INSTICC Press"
  isbn: "978-989-8111-63-0"
  kind: "inproceedings"
  key: "BothHKT09"
- title: "Nonmonotonic Reasoning with Multiple Belief Sets"
  author:
  - name: "Joeri Engelfriet"
    link: "https://researchr.org/alias/joeri-engelfriet"
  - name: "Heinrich Herre"
    link: "https://researchr.org/alias/heinrich-herre"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~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:
  - name: "Dov M. Gabbay"
    link: "https://researchr.org/alias/dov-m.-gabbay"
  - name: "Hans Jürgen Ohlbach"
    link: "https://researchr.org/alias/hans-j%C3%BCrgen-ohlbach"
  volume: "1085"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-61313-7"
  kind: "inproceedings"
  key: "EngelfrietHT96"
- title: "Deliberate Evolution in Multi-Agent Systems (extended abstract)"
  author:
  - name: "Frances M. T. Brazier"
    link: "https://researchr.org/alias/frances-m.-t.-brazier"
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  - name: "Niek J. E. Wijngaards"
    link: "https://researchr.org/alias/niek-j.-e.-wijngaards"
  year: "1999"
  doi: "http://doi.acm.org/10.1145/301136.301232"
  links:
    doi: "http://doi.acm.org/10.1145/301136.301232"
  researchr: "https://researchr.org/publication/BrazierJTW99"
  cites: 0
  citedby: 0
  pages: "356-357"
  booktitle: "Agents"
  kind: "inproceedings"
  key: "BrazierJTW99"
- title: "Specification of Nonmonotonic Reasonong"
  author:
  - name: "Joeri Engelfriet"
    link: "https://researchr.org/alias/joeri-engelfriet"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~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:
  - name: "Dov M. Gabbay"
    link: "https://researchr.org/alias/dov-m.-gabbay"
  - name: "Hans Jürgen Ohlbach"
    link: "https://researchr.org/alias/hans-j%C3%BCrgen-ohlbach"
  volume: "1085"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-61313-7"
  kind: "inproceedings"
  key: "EngelfrietT96:1"
- title: "Formal Semantics of Temporal Epistemic Reflection"
  author:
  - name: "Wiebe van der Hoek"
    link: "http://www.csc.liv.ac.uk/~wiebe/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "1994"
  tags:
  - "semantics"
  - "formal semantics"
  - "reflection"
  researchr: "https://researchr.org/publication/HoekMT94"
  cites: 0
  citedby: 0
  pages: "332-352"
  booktitle: "Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR 94 and META 94, Pisa, Italy, June 20-21, 1994, Proceedings"
  editor:
  - name: "Laurent Fribourg"
    link: "https://researchr.org/alias/laurent-fribourg"
  - name: "Franco Turini"
    link: "https://researchr.org/alias/franco-turini"
  volume: "883"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-58792-6"
  kind: "inproceedings"
  key: "HoekMT94"
- title: "A Compositional Process Control Model and Its Application to Biochemical Processes"
  author:
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~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:
  - name: "Ibrahim F. Imam"
    link: "https://researchr.org/alias/ibrahim-f.-imam"
  - name: "Yves Kodratoff"
    link: "https://researchr.org/alias/yves-kodratoff"
  - name: "Ayman El-Dessouki"
    link: "https://researchr.org/alias/ayman-el-dessouki"
  - name: "Moonis Ali"
    link: "https://researchr.org/alias/moonis-ali"
  volume: "1611"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-66076-3"
  kind: "inproceedings"
  key: "JonkerT99:0"
- title: "Reasoning by Assumption: Formalisation and Analysis of Human Reasoning Traces"
  author:
  - name: "Tibor Bosse"
    link: "https://researchr.org/alias/tibor-bosse"
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11499220_44"
  links:
    doi: "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:
  - name: "José Mira"
    link: "https://researchr.org/alias/jos%C3%A9-mira"
  - name: "José R. Álvarez"
    link: "https://researchr.org/alias/jos%C3%A9-r.-%C3%A1lvarez"
  volume: "3561"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-26298-9"
  kind: "inproceedings"
  key: "BosseJT05"
- title: "Compositional Verification of Knowledge-Based Task Models and Problem-Solving Methods"
  author:
  - name: "Frank Cornelissen"
    link: "https://researchr.org/alias/frank-cornelissen"
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "2003"
  doi: "http://dx.doi.org/10.1007/10.1007/s10115-002-0083-4"
  links:
    doi: "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"
  kind: "article"
  key: "CornelissenJT03"
- title: "An Agent-Based Meta-level Architecture for Strategic Reasoning in Naval Planning"
  author:
  - name: "Mark Hoogendoorn"
    link: "https://researchr.org/alias/mark-hoogendoorn"
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Peter-Paul van Maanen"
    link: "https://researchr.org/alias/peter-paul-van-maanen"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11916291_15"
  links:
    doi: "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:
  - name: "Manuel Kolp"
    link: "https://researchr.org/alias/manuel-kolp"
  - name: "Paolo Bresciani"
    link: "https://researchr.org/alias/paolo-bresciani"
  - name: "Brian Henderson-Sellers"
    link: "https://researchr.org/alias/brian-henderson-sellers"
  - name: "Michael Winikoff"
    link: "https://researchr.org/alias/michael-winikoff"
  volume: "3529"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-48291-1"
  kind: "inproceedings"
  key: "HoogendoornJMT05"
- title: "A semantical perspective on verification of knowledge"
  author:
  - name: "Paul Leemans"
    link: "https://researchr.org/alias/paul-leemans"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  - name: "Mark Willems"
    link: "https://researchr.org/alias/mark-willems"
  year: "2002"
  doi: "http://dx.doi.org/10.1016/S0169-023X(01)00045-3"
  links:
    doi: "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"
  kind: "article"
  key: "LeemansTW02"
- title: "Verifying Interlevel Relations Within Multi-Agent Systems"
  author:
  - name: "Alexei Sharpanskykh"
    link: "https://researchr.org/alias/alexei-sharpanskykh"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~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:
  - name: "Gerhard Brewka"
    link: "https://researchr.org/alias/gerhard-brewka"
  - name: "Silvia Coradeschi"
    link: "https://researchr.org/alias/silvia-coradeschi"
  - name: "Anna Perini"
    link: "https://researchr.org/alias/anna-perini"
  - name: "Paolo Traverso"
    link: "https://researchr.org/alias/paolo-traverso"
  volume: "141"
  series: "Frontiers in Artificial Intelligence and Applications"
  publisher: "IOS Press"
  isbn: "1-58603-642-4"
  kind: "inproceedings"
  key: "SharpanskykhT06"
- title: "LEADSTO: A Language and Environment for Analysis of Dynamics by SimulaTiOn"
  author:
  - name: "Tibor Bosse"
    link: "https://researchr.org/alias/tibor-bosse"
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Lourens van der Meij"
    link: "https://researchr.org/alias/lourens-van-der-meij"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11550648_15"
  links:
    doi: "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:
  - name: "Torsten Eymann"
    link: "https://researchr.org/alias/torsten-eymann"
  - name: "Franziska Klügl"
    link: "https://researchr.org/alias/franziska-kl%C3%BCgl"
  - name: "Winfried Lamersdorf"
    link: "https://researchr.org/alias/winfried-lamersdorf"
  - name: "Matthias Klusch"
    link: "https://researchr.org/alias/matthias-klusch"
  - name: "Michael N. Huhns"
    link: "https://researchr.org/alias/michael-n.-huhns"
  volume: "3550"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-28740-X"
  kind: "inproceedings"
  key: "BosseJMT05:0"
- title: "Formal Notions for Verification of Dynamics of Knowledge-Based Systems"
  author:
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  - name: "Mark Willems"
    link: "https://researchr.org/alias/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:
  - name: "Marc Ayel"
    link: "https://researchr.org/alias/marc-ayel"
  - name: "Marie-Christine Rousset"
    link: "https://researchr.org/alias/marie-christine-rousset"
  publisher: "ADERIAS-LIA, Universite de Savoie"
  kind: "inproceedings"
  key: "TreurW95"
- title: "Representation Theory for Default Logic"
  author:
  - name: "V. Wiktor Marek"
    link: "https://researchr.org/alias/v.-wiktor-marek"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  - name: "Miroslaw Truszczynski"
    link: "https://researchr.org/alias/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"
  kind: "article"
  key: "MarekTT97"
- title: "A Specification Language for Coordination in Agent Systems"
  author:
  - name: "Tibor Bosse"
    link: "https://researchr.org/alias/tibor-bosse"
  - name: "Mark Hoogendoorn"
    link: "https://researchr.org/alias/mark-hoogendoorn"
  - name: "Radu Serban"
    link: "https://researchr.org/alias/radu-serban"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "2007"
  doi: "http://doi.ieeecomputersociety.org/10.1109/IAT.2007.16"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "BosseHST07"
- title: "Integrating Agent Models and Dynamical Systems"
  author:
  - name: "Tibor Bosse"
    link: "https://researchr.org/alias/tibor-bosse"
  - name: "Alexei Sharpanskykh"
    link: "https://researchr.org/alias/alexei-sharpanskykh"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-77564-5_4"
  links:
    doi: "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:
  - name: "Matteo Baldoni"
    link: "https://researchr.org/alias/matteo-baldoni"
  - name: "Tran Cao Son"
    link: "https://researchr.org/alias/tran-cao-son"
  - name: "M. Birna van Riemsdijk"
    link: "https://researchr.org/alias/m.-birna-van-riemsdijk"
  - name: "Michael Winikoff"
    link: "https://researchr.org/alias/michael-winikoff"
  volume: "4897"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-77563-8"
  kind: "inproceedings"
  key: "BosseST07"
- title: "Modelling dynamics of cognitive agents by higher-order potentialities"
  author:
  - name: "Tibor Bosse"
    link: "https://researchr.org/alias/tibor-bosse"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1160633.1160650"
  links:
    doi: "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:
  - name: "Hideyuki Nakashima"
    link: "https://researchr.org/alias/hideyuki-nakashima"
  - name: "Michael P. Wellman"
    link: "https://researchr.org/alias/michael-p.-wellman"
  - name: "Gerhard Weiss"
    link: "https://researchr.org/alias/gerhard-weiss"
  - name: "Peter Stone"
    link: "https://researchr.org/alias/peter-stone"
  publisher: "ACM"
  isbn: "1-59593-303-4"
  kind: "inproceedings"
  key: "BosseT06"
- title: "Formalisation and Analysis of the Temporal Dynamics of Conditioning"
  author:
  - name: "Tibor Bosse"
    link: "https://researchr.org/alias/tibor-bosse"
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Sander A. Los"
    link: "https://researchr.org/alias/sander-a.-los"
  - name: "Leendert W. N. van der Torre"
    link: "https://researchr.org/alias/leendert-w.-n.-van-der-torre"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11752660_5"
  links:
    doi: "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:
  - name: "Jörg P. Müller"
    link: "https://researchr.org/alias/j%C3%B6rg-p.-m%C3%BCller"
  - name: "Franco Zambonelli"
    link: "https://researchr.org/alias/franco-zambonelli"
  volume: "3950"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-34097-1"
  kind: "inproceedings"
  key: "BosseJLTT05"
- title: "Temporalizing Epistemic Default Logic"
  author:
  - name: "Wiebe van der Hoek"
    link: "http://www.csc.liv.ac.uk/~wiebe/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "1998"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/HoekMT98"
  cites: 0
  citedby: 0
  journal: "Journal of Logic, Language and Information"
  volume: "7"
  number: "3"
  pages: "341-367"
  kind: "article"
  key: "HoekMT98"
- title: "A Logical Foundation for Verification"
  author:
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  - name: "Mark Willems"
    link: "https://researchr.org/alias/mark-willems"
  year: "1994"
  researchr: "https://researchr.org/publication/TreurW94"
  cites: 0
  citedby: 0
  pages: "745-749"
  booktitle: "ECAI"
  kind: "inproceedings"
  key: "TreurW94"
- title: "A Virtual Human Agent Model with Behaviour Based on Feeling Exhaustion"
  author:
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-02568-6_2"
  links:
    doi: "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:
  - name: "Been-Chian Chien"
    link: "https://researchr.org/alias/been-chian-chien"
  - name: "Tzung-Pei Hong"
    link: "https://researchr.org/alias/tzung-pei-hong"
  - name: "Shyi-Ming Chen"
    link: "https://researchr.org/alias/shyi-ming-chen"
  - name: "Moonis Ali"
    link: "https://researchr.org/alias/moonis-ali"
  volume: "5579"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-02567-9"
  kind: "inproceedings"
  key: "Treur09"
- title: "Agent-Based and Population-Based Simulation of Displacement of Crime (extended abstract)"
  author:
  - name: "Tibor Bosse"
    link: "http://www.cs.vu.nl/~tbosse"
  - name: "Charlotte Gerritsen"
    link: "http://www.few.vu.nl/~cg"
  - name: "Mark Hoogendoorn"
    link: "http://www.cs.vu.nl/~mhoogen"
  - name: "Syed Waqar Jaffry"
    link: "http://www.few.vu.nl/~swjaffry"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "2008"
  doi: "http://dx.doi.org/10.3233/978-1-58603-891-5-877"
  abstract: "Within Criminology, the process of crime displacement is usually explained by referring to the interaction of three types of agents: criminals, passers-by, and guardians. Most existing simulation models of this process are agent-based. However, when the number of agents considered becomes large, population-based simulation has computational advantages over agent-based simulation. This paper presents both an agent-based and a population-based simulation model of crime displacement, and reports a comparative evaluation of the two models. In addition, an approach is put forward to analyse the behaviour of both models by means of formal techniques."
  links:
    doi: "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:
  - name: "Malik Ghallab"
    link: "https://researchr.org/alias/malik-ghallab"
  - name: "Constantine D. Spyropoulos"
    link: "https://researchr.org/alias/constantine-d.-spyropoulos"
  - name: "Nikos Fakotakis"
    link: "https://researchr.org/alias/nikos-fakotakis"
  - name: "Nikolaos M. Avouris"
    link: "https://researchr.org/alias/nikolaos-m.-avouris"
  volume: "178"
  series: "Frontiers in Artificial Intelligence and Applications"
  publisher: "IOS Press"
  isbn: "978-1-58603-891-5"
  kind: "inproceedings"
  key: "BosseGHJT08"
- title: "Redesign and reuse in compositional knowledge-based systems"
  author:
  - name: "Frances M. T. Brazier"
    link: "https://researchr.org/alias/frances-m.-t.-brazier"
  - name: "Pieter H. G. van Langen"
    link: "https://researchr.org/alias/pieter-h.-g.-van-langen"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  - name: "Niek J. E. Wijngaards"
    link: "https://researchr.org/alias/niek-j.-e.-wijngaards"
  year: "1996"
  doi: "http://dx.doi.org/10.1016/0950-7051(95)01026-2"
  links:
    doi: "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"
  kind: "article"
  key: "BrazierLTW96"
- title: "Compositional Verification of Multi-Agent Systems: A Formal Analysis of Pro-activeness and Reactiveness"
  author:
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "2002"
  doi: "http://ejournals.wspc.com.sg/ijcis/11/1101n02/S0218843002000480.html"
  links:
    doi: "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"
  kind: "article"
  key: "JonkerT02:3"
- title: "A Reusable Multi-Agent Architecture for Active Intelligent Websites"
  author:
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Remco A. Lam"
    link: "https://researchr.org/alias/remco-a.-lam"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~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"
  kind: "article"
  key: "JonkerLT01:0"
- title: "Embodied intentional dynamics of bacterial behaviour"
  author:
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Jacky L. Snoep"
    link: "https://researchr.org/alias/jacky-l.-snoep"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  - name: "Hans V. Westerhoff"
    link: "https://researchr.org/alias/hans-v.-westerhoff"
  - name: "Wouter C. A. Wijngaards"
    link: "https://researchr.org/alias/wouter-c.-a.-wijngaards"
  year: "2002"
  doi: "http://doi.acm.org/10.1145/544741.544851"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "JonkerSTWW02"
- title: "Strategic knowledge in design: a compositional approach"
  author:
  - name: "Frances M. T. Brazier"
    link: "https://researchr.org/alias/frances-m.-t.-brazier"
  - name: "Pieter H. G. van Langen"
    link: "https://researchr.org/alias/pieter-h.-g.-van-langen"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "1998"
  doi: "http://dx.doi.org/10.1016/S0950-7051(98)00074-4"
  links:
    doi: "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"
  kind: "article"
  key: "BrazierLT98"
- title: "Temporal Languages for Simulation and Analysis of the Dynamics within an Organisation"
  author:
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  - name: "Wouter C. A. Wijngaards"
    link: "https://researchr.org/alias/wouter-c.-a.-wijngaards"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2296/22960151.htm"
  links:
    doi: "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:
  - name: "Barbara Dunin-Keplicz"
    link: "https://researchr.org/alias/barbara-dunin-keplicz"
  - name: "Edward Nawarecki"
    link: "https://researchr.org/alias/edward-nawarecki"
  volume: "2296"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-43370-8"
  kind: "inproceedings"
  key: "JonkerTW01a"
- title: "Formal Modeling and Analysis of Organizations"
  author:
  - name: "Egon L. van den Broek"
    link: "https://researchr.org/alias/egon-l.-van-den-broek"
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Alexei Sharpanskykh"
    link: "https://researchr.org/alias/alexei-sharpanskykh"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  - name: "Pinar Yolum"
    link: "https://researchr.org/alias/pinar-yolum"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11775331_2"
  links:
    doi: "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:
  - name: "Olivier Boissier"
    link: "https://researchr.org/alias/olivier-boissier"
  - name: "Julian A. Padget"
    link: "https://researchr.org/alias/julian-a.-padget"
  - name: "Virginia Dignum"
    link: "https://researchr.org/alias/virginia-dignum"
  - name: "Gabriela Lindemann"
    link: "https://researchr.org/alias/gabriela-lindemann"
  - name: "Eric T. Matson"
    link: "https://researchr.org/alias/eric-t.-matson"
  - name: "Sascha Ossowski"
    link: "https://researchr.org/alias/sascha-ossowski"
  - name: "Jaime Simão Sichman"
    link: "https://researchr.org/alias/jaime-sim%C3%A3o-sichman"
  - name: "Javier Vázquez-Salceda"
    link: "https://researchr.org/alias/javier-v%C3%A1zquez-salceda"
  volume: "3913"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-35173-6"
  kind: "inproceedings"
  key: "BroekJSTY05"
- title: "An Agent Model for a Human s Functional State and Performance"
  author:
  - name: "Tibor Bosse"
    link: "https://researchr.org/alias/tibor-bosse"
  - name: "Fiemke Both"
    link: "https://researchr.org/alias/fiemke-both"
  - name: "Rianne van Lambalgen"
    link: "https://researchr.org/alias/rianne-van-lambalgen"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "2008"
  doi: "http://dx.doi.org/10.1109/WIIAT.2008.266"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "BosseBLT08"
- title: "Modeling User Preferences and Mediating Agents in Electronic Commerce"
  author:
  - name: "Mehdi Dastani"
    link: "http://people.cs.uu.nl/mehdi/"
  - name: "Nico Jacobs"
    link: "https://researchr.org/alias/nico-jacobs"
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1991/19910163.htm"
  links:
    doi: "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:
  - name: "Frank Dignum"
    link: "https://researchr.org/alias/frank-dignum"
  - name: "Carles Sierra"
    link: "https://researchr.org/alias/carles-sierra"
  volume: "1991"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-41671-4"
  kind: "inproceedings"
  key: "DastaniJJT01"
- title: "A Component-Based Ambient Agent Model for Assessment of Driving Behaviour"
  author:
  - name: "Tibor Bosse"
    link: "https://researchr.org/alias/tibor-bosse"
  - name: "Mark Hoogendoorn"
    link: "https://researchr.org/alias/mark-hoogendoorn"
  - name: "Michel C. A. Klein"
    link: "https://researchr.org/alias/michel-c.-a.-klein"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-69293-5_19"
  links:
    doi: "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:
  - name: "Frode Eika Sandnes"
    link: "https://researchr.org/alias/frode-eika-sandnes"
  - name: "Yan Zhang"
    link: "https://researchr.org/alias/yan-zhang"
  - name: "Chunming Rong"
    link: "https://researchr.org/alias/chunming-rong"
  - name: "Laurence Tianruo Yang"
    link: "https://researchr.org/alias/laurence-tianruo-yang"
  - name: "Jianhua Ma"
    link: "https://researchr.org/alias/jianhua-ma"
  volume: "5061"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-69292-8"
  kind: "inproceedings"
  key: "BosseHKT08"
- title: "Inforamtion Broker Agents in Intelligent Websites"
  author:
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~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:
  - name: "Ibrahim F. Imam"
    link: "https://researchr.org/alias/ibrahim-f.-imam"
  - name: "Yves Kodratoff"
    link: "https://researchr.org/alias/yves-kodratoff"
  - name: "Ayman El-Dessouki"
    link: "https://researchr.org/alias/ayman-el-dessouki"
  - name: "Moonis Ali"
    link: "https://researchr.org/alias/moonis-ali"
  volume: "1611"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-66076-3"
  kind: "inproceedings"
  key: "JonkerT99a"
- title: "Visual and Textual Knowledge Representation in DESIRE"
  author:
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Rob Kremer"
    link: "https://researchr.org/alias/rob-kremer"
  - name: "Pim van Leeuwen"
    link: "https://researchr.org/alias/pim-van-leeuwen"
  - name: "Dong Pan"
    link: "https://researchr.org/alias/dong-pan"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~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:
  - name: "Ibrahim F. Imam"
    link: "https://researchr.org/alias/ibrahim-f.-imam"
  - name: "Yves Kodratoff"
    link: "https://researchr.org/alias/yves-kodratoff"
  - name: "Ayman El-Dessouki"
    link: "https://researchr.org/alias/ayman-el-dessouki"
  - name: "Moonis Ali"
    link: "https://researchr.org/alias/moonis-ali"
  volume: "1611"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-66076-3"
  kind: "inproceedings"
  key: "JonkerKLPT99"
- title: "Higher-Order Potentialities and their Reducers: A Philosophical Foundation Unifying Dynamic Modeling Methods"
  author:
  - name: "Tibor Bosse"
    link: "https://researchr.org/alias/tibor-bosse"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "2007"
  doi: "http://dli.iiit.ac.in/ijcai/IJCAI-2007/PDF/IJCAI07-040.pdf"
  links:
    doi: "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:
  - name: "Manuela M. Veloso"
    link: "https://researchr.org/alias/manuela-m.-veloso"
  kind: "inproceedings"
  key: "BosseT07"
- title: "Formal Specification of Multi-Agent Systems: A Real-World Case"
  author:
  - name: "Frances M. T. Brazier"
    link: "https://researchr.org/alias/frances-m.-t.-brazier"
  - name: "Barbara Dunin-Keplicz"
    link: "https://researchr.org/alias/barbara-dunin-keplicz"
  - name: "Nick R. Jennings"
    link: "https://researchr.org/alias/nick-r.-jennings"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~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:
  - name: "Victor R. Lesser"
    link: "https://researchr.org/alias/victor-r.-lesser"
  - name: "Les Gasser"
    link: "https://researchr.org/alias/les-gasser"
  publisher: "The MIT Press"
  isbn: "0-262-62102-9"
  kind: "inproceedings"
  key: "BrazierDJT95"
- title: "A Compositional Reasoning System for Executing Nonmonotonic Theories of Reasoning"
  author:
  - name: "Joeri Engelfriet"
    link: "https://researchr.org/alias/joeri-engelfriet"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~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:
  - name: "Dov M. Gabbay"
    link: "https://researchr.org/alias/dov-m.-gabbay"
  - name: "Rudolf Kruse"
    link: "https://researchr.org/alias/rudolf-kruse"
  - name: "Andreas Nonnengart"
    link: "https://researchr.org/alias/andreas-nonnengart"
  - name: "Hans Jürgen Ohlbach"
    link: "https://researchr.org/alias/hans-j%C3%BCrgen-ohlbach"
  volume: "1244"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-63095-3"
  kind: "inproceedings"
  key: "EngelfrietT97"
- title: "Compositional Verification of Multi-Agent Systems: A Formal Analysis of Pro-activeness and Reactiveness"
  author:
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "1997"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1536/15360350.htm"
  links:
    doi: "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:
  - name: "Willem P. de Roever"
    link: "https://researchr.org/alias/willem-p.-de-roever"
  - name: "Hans Langmaack"
    link: "https://researchr.org/alias/hans-langmaack"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  volume: "1536"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-65493-3"
  kind: "inproceedings"
  key: "JonkerT97"
- title: "Simulation and Analysis of Shared Extended Mind"
  author:
  - name: "Tibor Bosse"
    link: "https://researchr.org/alias/tibor-bosse"
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Martijn C. Schut"
    link: "https://researchr.org/alias/martijn-c.-schut"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3415&spage=248"
  links:
    doi: "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:
  - name: "Paul Davidsson"
    link: "https://researchr.org/alias/paul-davidsson"
  - name: "Brian Logan"
    link: "https://researchr.org/alias/brian-logan"
  - name: "Keiki Takadama"
    link: "https://researchr.org/alias/keiki-takadama"
  volume: "3415"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-25262-2"
  kind: "inproceedings"
  key: "BosseJST04"
- title: "Formal Interpretation and Analysis of Collective Intelligence as Individual Intelligence"
  author:
  - name: "Tibor Bosse"
    link: "https://researchr.org/alias/tibor-bosse"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11734680_5"
  links:
    doi: "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:
  - name: "Jaime Simão Sichman"
    link: "https://researchr.org/alias/jaime-sim%C3%A3o-sichman"
  - name: "Luis Antunes"
    link: "https://researchr.org/alias/luis-antunes"
  volume: "3891"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-33380-0"
  kind: "inproceedings"
  key: "BosseT05"
- title: "The REVISE Project: A Purpose Driven Method for Language Comparison"
  author:
  - name: "Frances M. T. Brazier"
    link: "https://researchr.org/alias/frances-m.-t.-brazier"
  - name: "Frank van Harmelen"
    link: "https://researchr.org/alias/frank-van-harmelen"
  - name: "Remco Straatman"
    link: "https://researchr.org/alias/remco-straatman"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  - name: "Niek J. E. Wijngaards"
    link: "https://researchr.org/alias/niek-j.-e.-wijngaards"
  - name: "Mark Willems"
    link: "https://researchr.org/alias/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:
  - name: "Nigel Shadbolt"
    link: "https://researchr.org/alias/nigel-shadbolt"
  - name: "Kieron O Hara"
    link: "https://researchr.org/alias/kieron-o-hara"
  - name: "Guus Schreiber"
    link: "https://researchr.org/alias/guus-schreiber"
  volume: "1076"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-61273-4"
  kind: "inproceedings"
  key: "BrazierHSTWW96"
- title: "Modelling an elevator design task in DESIRE: the VT example"
  author:
  - name: "Frances M. T. Brazier"
    link: "https://researchr.org/alias/frances-m.-t.-brazier"
  - name: "Pieter H. G. van Langen"
    link: "https://researchr.org/alias/pieter-h.-g.-van-langen"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  - name: "Niek J. E. Wijngaards"
    link: "https://researchr.org/alias/niek-j.-e.-wijngaards"
  - name: "Mark Willems"
    link: "https://researchr.org/alias/mark-willems"
  year: "1996"
  doi: "http://dx.doi.org/10.1006/ijhc.1996.0022"
  links:
    doi: "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"
  kind: "article"
  key: "BrazierLTWW96"
- title: "Dynamics and control in component-based agent models"
  author:
  - name: "Frances M. T. Brazier"
    link: "https://researchr.org/alias/frances-m.-t.-brazier"
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "2002"
  doi: "http://dx.doi.org/10.1002/int.10060"
  links:
    doi: "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"
  kind: "article"
  key: "BrazierJT02:0"
- title: "Experiments in Human Multi-Issue Negotiation: Analysis and Support"
  author:
  - name: "Tibor Bosse"
    link: "https://researchr.org/alias/tibor-bosse"
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "2004"
  doi: "http://csdl.computer.org/comp/proceedings/aamas/2004/2092/02/20920671abs.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "BosseJT04a"
- title: "A Cognitive Model for Visual Attention and Its Application"
  author:
  - name: "Tibor Bosse"
    link: "https://researchr.org/alias/tibor-bosse"
  - name: "Peter-Paul van Maanen"
    link: "https://researchr.org/alias/peter-paul-van-maanen"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "2006"
  doi: "http://doi.ieeecomputersociety.org/10.1109/IAT.2006.2"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "BosseMT06"
- title: "A Meta-Level Architecture for Strategic Reasoning in Naval Planning (extended abstract)"
  author:
  - name: "Mark Hoogendoorn"
    link: "https://researchr.org/alias/mark-hoogendoorn"
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Peter-Paul van Maanen"
    link: "https://researchr.org/alias/peter-paul-van-maanen"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~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:
  - name: "Katja Verbeeck"
    link: "https://researchr.org/alias/katja-verbeeck"
  - name: "Karl Tuyls"
    link: "https://researchr.org/alias/karl-tuyls"
  - name: "Ann Nowé"
    link: "https://researchr.org/alias/ann-now%C3%A9"
  - name: "Bernard Manderick"
    link: "https://researchr.org/alias/bernard-manderick"
  - name: "Bart Kuijpers"
    link: "https://researchr.org/alias/bart-kuijpers"
  publisher: "Koninklijke Vlaamse Academie van Belie voor Wetenschappen en Kunsten"
  kind: "inproceedings"
  key: "HoogendoornJMT05:0"
- title: "Modelling project coordination in a multi-agent framework"
  author:
  - name: "Frances M. T. Brazier"
    link: "https://researchr.org/alias/frances-m.-t.-brazier"
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "1996"
  doi: "http://computer.org/proceedings/wet-ice/7445/74450148abs.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "BrazierJT96"
- title: "Emergent Storylines Based on Autonomous Characters with Mindreading Capabilities"
  author:
  - name: "Tibor Bosse"
    link: "https://researchr.org/alias/tibor-bosse"
  - name: "Zulfiqar A. Memon"
    link: "https://researchr.org/alias/zulfiqar-a.-memon"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "2007"
  doi: "http://doi.ieeecomputersociety.org/10.1109/IAT.2007.52"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "BosseMT07"
- title: "Completeness and Definability in Diagnostic Expert Systems"
  author:
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "1988"
  tags:
  - "completeness"
  - "diagnostics"
  researchr: "https://researchr.org/publication/Treur88"
  cites: 0
  citedby: 0
  pages: "619-624"
  booktitle: "ECAI"
  kind: "inproceedings"
  key: "Treur88"
- title: "A Compositional Process Control Model and its Application to Biochemical Processes"
  author:
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "2002"
  doi: "http://taylorandfrancis.metapress.com/openurl.asp?genre=article&issn=0883-9514&volume=16&issue=1&spage=51"
  links:
    doi: "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"
  kind: "article"
  key: "JonkerT02:2"
- title: "Executable Temporal Logic for Non-Monotonic Reasoning"
  author:
  - name: "Joeri Engelfriet"
    link: "https://researchr.org/alias/joeri-engelfriet"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~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"
  kind: "article"
  key: "EngelfrietT96"
- title: "Nonmonotonic Reasoning with Multiple Belief Sets"
  author:
  - name: "Joeri Engelfriet"
    link: "https://researchr.org/alias/joeri-engelfriet"
  - name: "Heinrich Herre"
    link: "https://researchr.org/alias/heinrich-herre"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~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"
  kind: "article"
  key: "EngelfrietHT98"
- title: "Modelling an Agent s Mind and Matter"
  author:
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~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:
  - name: "Magnus Boman"
    link: "https://researchr.org/alias/magnus-boman"
  - name: "Walter Van de Velde"
    link: "https://researchr.org/alias/walter-van-de-velde"
  volume: "1237"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-63077-5"
  kind: "inproceedings"
  key: "JonkerT97:0"
- title: "A Computational Model for Adaptive Emotion Regulation"
  author:
  - name: "Tibor Bosse"
    link: "https://researchr.org/alias/tibor-bosse"
  - name: "Matthijs Pontier"
    link: "https://researchr.org/alias/matthijs-pontier"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "2007"
  doi: "http://doi.ieeecomputersociety.org/10.1109/IAT.2007.5"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "BossePT07"
- title: "Relating Structure and Dynamics in Organisation Models"
  author:
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2581/25810050.htm"
  links:
    doi: "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:
  - name: "Jaime Simão Sichman"
    link: "https://researchr.org/alias/jaime-sim%C3%A3o-sichman"
  - name: "François Bousquet"
    link: "https://researchr.org/alias/fran%C3%A7ois-bousquet"
  - name: "Paul Davidsson"
    link: "https://researchr.org/alias/paul-davidsson"
  volume: "2581"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-00607-9"
  kind: "inproceedings"
  key: "JonkerT02"
- title: "Reuse and Abstraction in Verification: Agents Acting in Dynamic Environments"
  author:
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  - name: "Wieke de Vries"
    link: "https://researchr.org/alias/wieke-de-vries"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1957/19570253.htm"
  links:
    doi: "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:
  - name: "Paolo Ciancarini"
    link: "https://researchr.org/alias/paolo-ciancarini"
  - name: "Michael Wooldridge"
    link: "https://researchr.org/alias/michael-wooldridge"
  volume: "1957"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-41594-7"
  kind: "inproceedings"
  key: "JonkerTV00"
- title: "Specification and Verification of Dynamics in Agent Models"
  author:
  - name: "Tibor Bosse"
    link: "https://researchr.org/alias/tibor-bosse"
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Lourens van der Meij"
    link: "https://researchr.org/alias/lourens-van-der-meij"
  - name: "Alexei Sharpanskykh"
    link: "https://researchr.org/alias/alexei-sharpanskykh"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "2009"
  doi: "http://dx.doi.org/10.1142/S0218843009001987"
  links:
    doi: "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"
  kind: "article"
  key: "BosseJMST09"
- title: "An Agent Model of Temporal Dynamics in Relapse and Recurrence in Depression"
  author:
  - name: "Azizi A. Aziz"
    link: "https://researchr.org/alias/azizi-a.-aziz"
  - name: "Michel C. A. Klein"
    link: "https://researchr.org/alias/michel-c.-a.-klein"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-02568-6_4"
  links:
    doi: "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:
  - name: "Been-Chian Chien"
    link: "https://researchr.org/alias/been-chian-chien"
  - name: "Tzung-Pei Hong"
    link: "https://researchr.org/alias/tzung-pei-hong"
  - name: "Shyi-Ming Chen"
    link: "https://researchr.org/alias/shyi-ming-chen"
  - name: "Moonis Ali"
    link: "https://researchr.org/alias/moonis-ali"
  volume: "5579"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-02567-9"
  kind: "inproceedings"
  key: "AzizKT09"
- title: "Temporal and Spatial Analysis to Personalise an Agent s Dynamic Belief, Desire, and Intention Profiles"
  author:
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Vagan Y. Terziyan"
    link: "https://researchr.org/alias/vagan-y.-terziyan"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2782&spage=298"
  links:
    doi: "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:
  - name: "Matthias Klusch"
    link: "https://researchr.org/alias/matthias-klusch"
  - name: "Sascha Ossowski"
    link: "https://researchr.org/alias/sascha-ossowski"
  - name: "Andrea Omicini"
    link: "https://researchr.org/alias/andrea-omicini"
  - name: "Heimo Laamanen"
    link: "https://researchr.org/alias/heimo-laamanen"
  volume: "2782"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-40798-7"
  kind: "inproceedings"
  key: "JonkerTT03"
- title: "Adaptive Estimation of Emotion Generation for an Ambient Agent Model"
  author:
  - name: "Tibor Bosse"
    link: "https://researchr.org/alias/tibor-bosse"
  - name: "Zulfiqar A. Memon"
    link: "https://researchr.org/alias/zulfiqar-a.-memon"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-89617-3_10"
  links:
    doi: "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:
  - name: "Emile H. L. Aarts"
    link: "https://researchr.org/alias/emile-h.-l.-aarts"
  - name: "James L. Crowley"
    link: "https://researchr.org/alias/james-l.-crowley"
  - name: "Boris E. R. de Ruyter"
    link: "https://researchr.org/alias/boris-e.-r.-de-ruyter"
  - name: "Heinz Gerhäuser"
    link: "https://researchr.org/alias/heinz-gerh%C3%A4user"
  - name: "Alexander Pflaum"
    link: "https://researchr.org/alias/alexander-pflaum"
  - name: "Janina Schmidt"
    link: "https://researchr.org/alias/janina-schmidt"
  - name: "Reiner Wichert"
    link: "https://researchr.org/alias/reiner-wichert"
  volume: "5355"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-89616-6"
  kind: "inproceedings"
  key: "BosseMT08"
- title: "Constructive Default Logic and the Control of defeasible reasoning"
  author:
  - name: "Yao-Hua Tan"
    link: "https://researchr.org/alias/yao-hua-tan"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "1992"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/TanT92"
  cites: 0
  citedby: 0
  pages: "299-303"
  booktitle: "ECAI"
  kind: "inproceedings"
  key: "TanT92"
- title: "Modeling Decentralized Organizational Change in Honeybee Societies"
  author:
  - name: "Mark Hoogendoorn"
    link: "https://researchr.org/alias/mark-hoogendoorn"
  - name: "Martijn C. Schut"
    link: "https://researchr.org/alias/martijn-c.-schut"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-74913-4_62"
  links:
    doi: "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:
  - name: "Fernando Almeida e Costa"
    link: "https://researchr.org/alias/fernando-almeida-e-costa"
  - name: "Luis Mateus Rocha"
    link: "https://researchr.org/alias/luis-mateus-rocha"
  - name: "Ernesto Costa"
    link: "https://researchr.org/alias/ernesto-costa"
  - name: "Inman Harvey"
    link: "https://researchr.org/alias/inman-harvey"
  - name: "António Coutinho"
    link: "https://researchr.org/alias/ant%C3%B3nio-coutinho"
  volume: "4648"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-74912-7"
  kind: "inproceedings"
  key: "HoogendoornST07"
- title: "Specification of Bahavioural Requirements within Compositional Multi-agent System Design"
  author:
  - name: "Daniela E. Herlea"
    link: "https://researchr.org/alias/daniela-e.-herlea"
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  - name: "Niek J. E. Wijngaards"
    link: "https://researchr.org/alias/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:
  - name: "Francisco J. Garijo"
    link: "https://researchr.org/alias/francisco-j.-garijo"
  - name: "Magnus Boman"
    link: "https://researchr.org/alias/magnus-boman"
  volume: "1647"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-66281-2"
  kind: "inproceedings"
  key: "HerleaJTW99:1"
- title: "Modelling user preferences and mediating agents in electronic commerce"
  author:
  - name: "Mehdi Dastani"
    link: "http://people.cs.uu.nl/mehdi/"
  - name: "Nico Jacobs"
    link: "https://researchr.org/alias/nico-jacobs"
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.knosys.2005.05.001"
  links:
    doi: "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"
  kind: "article"
  key: "DastaniJJT05"
- title: "A Formal Model for the Dynamics of Compositional Reasoning Systems"
  author:
  - name: "Ioa Gavrila"
    link: "https://researchr.org/alias/ioa-gavrila"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "1994"
  tags:
  - "composition"
  researchr: "https://researchr.org/publication/GavrilaT94"
  cites: 0
  citedby: 0
  pages: "307-311"
  booktitle: "ECAI"
  kind: "inproceedings"
  key: "GavrilaT94"
- title: "Formal Analysis of Models for the Dynamics of Trust Based on Experiences"
  author:
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~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:
  - name: "Francisco J. Garijo"
    link: "https://researchr.org/alias/francisco-j.-garijo"
  - name: "Magnus Boman"
    link: "https://researchr.org/alias/magnus-boman"
  volume: "1647"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-66281-2"
  kind: "inproceedings"
  key: "JonkerT99:1"
- title: "Agent-Based Simulation of Reactive, Pro-active and Social animal Behaviour"
  author:
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~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:
  - name: "José Mira"
    link: "https://researchr.org/alias/jos%C3%A9-mira"
  - name: "Angel P. Del Pobil"
    link: "https://researchr.org/alias/angel-p.-del-pobil"
  volume: "1415"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-64582-9"
  kind: "inproceedings"
  key: "JonkerT98"
- title: "A dynamic perspective on an agent s mental states and interaction with its environment"
  author:
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "2002"
  doi: "http://doi.acm.org/10.1145/544862.544945"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "JonkerT02:1"
- title: "Modelling a Society of Simple Agents: From Conceptual Specification to Experimentation"
  author:
  - name: "Frances M. T. Brazier"
    link: "https://researchr.org/alias/frances-m.-t.-brazier"
  - name: "Pascal van Eck"
    link: "https://researchr.org/alias/pascal-van-eck"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~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"
  kind: "article"
  key: "BrazierET01"
- title: "Principles of component-based design of intelligent agents"
  author:
  - name: "Frances M. T. Brazier"
    link: "https://researchr.org/alias/frances-m.-t.-brazier"
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "2002"
  doi: "http://dx.doi.org/10.1016/S0169-023X(01)00058-1"
  links:
    doi: "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"
  kind: "article"
  key: "BrazierJT02"
- title: "Trust-Based Inter-temporal Decision Making: Emergence of Altruism in a Simulated Society"
  author:
  - name: "Tibor Bosse"
    link: "https://researchr.org/alias/tibor-bosse"
  - name: "Martijn C. Schut"
    link: "https://researchr.org/alias/martijn-c.-schut"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  - name: "David Wendt"
    link: "https://researchr.org/alias/david-wendt"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-70916-9_8"
  links:
    doi: "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:
  - name: "Luis Antunes"
    link: "https://researchr.org/alias/luis-antunes"
  - name: "Mario Paolucci"
    link: "https://researchr.org/alias/mario-paolucci"
  - name: "Emma Norling"
    link: "https://researchr.org/alias/emma-norling"
  volume: "5003"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-70915-2"
  kind: "inproceedings"
  key: "BosseSTW07"
- title: "Agent-Based Simulation of Animal Behaviour"
  author:
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~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"
  kind: "article"
  key: "JonkerT01:0"
- title: "Temporal Semantics of Compositional Task Models and Problem Solving Methods"
  author:
  - name: "Frances M. T. Brazier"
    link: "https://researchr.org/alias/frances-m.-t.-brazier"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  - name: "Niek J. E. Wijngaards"
    link: "https://researchr.org/alias/niek-j.-e.-wijngaards"
  - name: "Mark Willems"
    link: "https://researchr.org/alias/mark-willems"
  year: "1999"
  doi: "http://dx.doi.org/10.1016/S0169-023X(98)00029-9"
  links:
    doi: "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"
  kind: "article"
  key: "BrazierTWW99"
- title: "The Acquisition of a Shared Task Model"
  author:
  - name: "Frances M. T. Brazier"
    link: "https://researchr.org/alias/frances-m.-t.-brazier"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  - name: "Niek J. E. Wijngaards"
    link: "https://researchr.org/alias/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:
  - name: "Nigel Shadbolt"
    link: "https://researchr.org/alias/nigel-shadbolt"
  - name: "Kieron O Hara"
    link: "https://researchr.org/alias/kieron-o-hara"
  - name: "Guus Schreiber"
    link: "https://researchr.org/alias/guus-schreiber"
  volume: "1076"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-61273-4"
  kind: "inproceedings"
  key: "BrazierTW96:0"
- title: "An Ecological Model-Based Reasoning Model to Support Nature Park Managers"
  author:
  - name: "Mark Hoogendoorn"
    link: "https://researchr.org/alias/mark-hoogendoorn"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  - name: "Muhammad Umair"
    link: "https://researchr.org/alias/muhammad-umair"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-02568-6_18"
  links:
    doi: "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:
  - name: "Been-Chian Chien"
    link: "https://researchr.org/alias/been-chian-chien"
  - name: "Tzung-Pei Hong"
    link: "https://researchr.org/alias/tzung-pei-hong"
  - name: "Shyi-Ming Chen"
    link: "https://researchr.org/alias/shyi-ming-chen"
  - name: "Moonis Ali"
    link: "https://researchr.org/alias/moonis-ali"
  volume: "5579"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-02567-9"
  kind: "inproceedings"
  key: "HoogendoornTU09"
- title: "Development of an Ecological Decision Support System"
  author:
  - name: "Frits van Beusekom"
    link: "https://researchr.org/alias/frits-van-beusekom"
  - name: "Frances M. T. Brazier"
    link: "https://researchr.org/alias/frances-m.-t.-brazier"
  - name: "Piet Schipper"
    link: "https://researchr.org/alias/piet-schipper"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~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:
  - name: "Angel P. Del Pobil"
    link: "https://researchr.org/alias/angel-p.-del-pobil"
  - name: "José Mira"
    link: "https://researchr.org/alias/jos%C3%A9-mira"
  - name: "Moonis Ali"
    link: "https://researchr.org/alias/moonis-ali"
  volume: "1416"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-64574-8"
  kind: "inproceedings"
  key: "BeusekomBST98"
- title: "Temporal Semantics of Meta-Level Architectures for Dynamic Control of Reasoning"
  author:
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~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:
  - name: "Laurent Fribourg"
    link: "https://researchr.org/alias/laurent-fribourg"
  - name: "Franco Turini"
    link: "https://researchr.org/alias/franco-turini"
  volume: "883"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-58792-6"
  kind: "inproceedings"
  key: "Treur94"
- title: "Analysis of Multi-Interpretable Ecological Monitoring Information"
  author:
  - name: "Frances M. T. Brazier"
    link: "https://researchr.org/alias/frances-m.-t.-brazier"
  - name: "Joeri Engelfriet"
    link: "https://researchr.org/alias/joeri-engelfriet"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "2002"
  doi: "http://taylorandfrancis.metapress.com/openurl.asp?genre=article&issn=0883-9514&volume=16&issue=1&spage=29"
  links:
    doi: "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"
  kind: "article"
  key: "BrazierET02"
- title: "Integration of Behavioural Requirements Specification within Knowledge Engineering"
  author:
  - name: "Daniela E. Herlea"
    link: "https://researchr.org/alias/daniela-e.-herlea"
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  - name: "Niek J. E. Wijngaards"
    link: "https://researchr.org/alias/niek-j.-e.-wijngaards"
  year: "1999"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1621/16210173.htm"
  links:
    doi: "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:
  - name: "Dieter Fensel"
    link: "https://researchr.org/alias/dieter-fensel"
  - name: "Rudi Studer"
    link: "https://researchr.org/alias/rudi-studer"
  volume: "1621"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-66044-5"
  kind: "inproceedings"
  key: "HerleaJTW99:0"
- title: "Diagnosis of the Dynamics within an Organization by Trace Checking of Behavioural Requirements"
  author:
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Ioan Alfred Letia"
    link: "https://researchr.org/alias/ioan-alfred-letia"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2222/22220017.htm"
  links:
    doi: "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:
  - name: "Michael Wooldridge"
    link: "https://researchr.org/alias/michael-wooldridge"
  - name: "Gerhard Weiß"
    link: "https://researchr.org/alias/gerhard-wei%C3%9F"
  - name: "Paolo Ciancarini"
    link: "https://researchr.org/alias/paolo-ciancarini"
  volume: "2222"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-43282-5"
  kind: "inproceedings"
  key: "JonkerLT01"
- title: "Formalization and Analysis of Reasoning by Assumption"
  author:
  - name: "Tibor Bosse"
    link: "https://researchr.org/alias/tibor-bosse"
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "2006"
  doi: "http://dx.doi.org/10.1207/s15516709cog0000_51"
  links:
    doi: "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"
  kind: "article"
  key: "BosseJT06:0"
- title: "Cognitive and social simulation of criminal behaviour: the intermittent explosive disorder case"
  author:
  - name: "Tibor Bosse"
    link: "https://researchr.org/alias/tibor-bosse"
  - name: "Charlotte Gerritsen"
    link: "https://researchr.org/alias/charlotte-gerritsen"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1329125.1329195"
  links:
    doi: "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:
  - name: "Edmund H. Durfee"
    link: "https://researchr.org/alias/edmund-h.-durfee"
  - name: "Makoto Yokoo"
    link: "https://researchr.org/alias/makoto-yokoo"
  - name: "Michael N. Huhns"
    link: "https://researchr.org/alias/michael-n.-huhns"
  - name: "Onn Shehory"
    link: "https://researchr.org/alias/onn-shehory"
  publisher: "IFAAMAS"
  isbn: "978-81-904262-7-5"
  kind: "inproceedings"
  key: "BosseGT07"
- title: "A compositional reasoning system for executing nonmonotonic theories of reasoning"
  author:
  - name: "Joeri Engelfriet"
    link: "https://researchr.org/alias/joeri-engelfriet"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "2003"
  doi: "http://dx.doi.org/10.1002/int.10108"
  links:
    doi: "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"
  kind: "article"
  key: "EngelfrietT03:0"
- title: "Modelling Competitive Co-operation of Agents in a Compositional Multi-Agent Framework"
  author:
  - name: "Frances M. T. Brazier"
    link: "https://researchr.org/alias/frances-m.-t.-brazier"
  - name: "Pascal van Eck"
    link: "https://researchr.org/alias/pascal-van-eck"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~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:
  - name: "Enric Plaza"
    link: "https://researchr.org/alias/enric-plaza"
  - name: "V. Richard Benjamins"
    link: "https://researchr.org/alias/v.-richard-benjamins"
  volume: "1319"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-63592-0"
  kind: "inproceedings"
  key: "BrazierET97"
- title: "An Adaptive Multi-agent Organization Model Based on Dynamic Role Allocation"
  author:
  - name: "Mark Hoogendoorn"
    link: "https://researchr.org/alias/mark-hoogendoorn"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "2006"
  doi: "http://doi.ieeecomputersociety.org/10.1109/IAT.2006.29"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "HoogendoornT06"
- title: "Temporal Theories of Reasoning"
  author:
  - name: "Joeri Engelfriet"
    link: "https://researchr.org/alias/joeri-engelfriet"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~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"
  kind: "article"
  key: "EngelfrietT95a"
- title: "Compositional Verification of Knowledge-based Systems: a Case Study in Diagnostic Reasoning"
  author:
  - name: "Frank Cornelissen"
    link: "https://researchr.org/alias/frank-cornelissen"
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~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:
  - name: "Jan Vanthienen"
    link: "https://researchr.org/alias/jan-vanthienen"
  - name: "Frank van Harmelen"
    link: "https://researchr.org/alias/frank-van-harmelen"
  publisher: "Katholieke Universiteit Leuven, Belgium"
  kind: "inproceedings"
  key: "CornelissenJT97:0"
- title: "Specification and Verification of Dynamics in Cognitive Agent Models"
  author:
  - name: "Tibor Bosse"
    link: "https://researchr.org/alias/tibor-bosse"
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Lourens van der Meij"
    link: "https://researchr.org/alias/lourens-van-der-meij"
  - name: "Alexei Sharpanskykh"
    link: "https://researchr.org/alias/alexei-sharpanskykh"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "2006"
  doi: "http://doi.ieeecomputersociety.org/10.1109/IAT.2006.112"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "BosseJMST06"
- title: "Compositional Verification of a Multi-Agent System for One-to-Many Negotiation"
  author:
  - name: "Frances M. T. Brazier"
    link: "https://researchr.org/alias/frances-m.-t.-brazier"
  - name: "Frank Cornelissen"
    link: "https://researchr.org/alias/frank-cornelissen"
  - name: "Rune Gustavsson"
    link: "https://researchr.org/alias/rune-gustavsson"
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Olle Lindeberg"
    link: "https://researchr.org/alias/olle-lindeberg"
  - name: "Bianca Polak"
    link: "https://researchr.org/alias/bianca-polak"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "2004"
  doi: "http://dx.doi.org/10.1023/B:APIN.0000013334.33853.0c"
  links:
    doi: "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"
  kind: "article"
  key: "BrazierCGJLPT04"
- title: "An Interpretation of Default Logic in Minimal Temporal Epistemic Logic"
  author:
  - name: "Joeri Engelfriet"
    link: "https://researchr.org/alias/joeri-engelfriet"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~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"
  kind: "article"
  key: "EngelfrietT98"
- title: "An Agent Architecture for Dynamic Re-Design of Agents"
  author:
  - name: "Frances M. T. Brazier"
    link: "https://researchr.org/alias/frances-m.-t.-brazier"
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  - name: "Niek J. E. Wijngaards"
    link: "https://researchr.org/alias/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:
  - name: "Yves Demazeau"
    link: "https://researchr.org/alias/yves-demazeau"
  publisher: "IEEE Computer Society"
  isbn: "0-8186-8500-X"
  kind: "inproceedings"
  key: "BrazierJTW98"
- title: "Formal semantics of meta-level architectures: Dynamic control of reasoning"
  author:
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~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"
  kind: "article"
  key: "Treur02"
- title: "Deliberative Evolution in Multi-Agent Systems"
  author:
  - name: "Frances M. T. Brazier"
    link: "https://researchr.org/alias/frances-m.-t.-brazier"
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  - name: "Niek J. E. Wijngaards"
    link: "https://researchr.org/alias/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"
  kind: "article"
  key: "BrazierJTW01"
- title: "A framework for formal modeling and analysis of organizations"
  author:
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Alexei Sharpanskykh"
    link: "https://researchr.org/alias/alexei-sharpanskykh"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  - name: "Pinar Yolum"
    link: "https://researchr.org/alias/pinar-yolum"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/s10489-006-0030-2"
  links:
    doi: "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"
  kind: "article"
  key: "JonkerSTY07"
- title: "External attribution of intentional notions to explain and predict agent behaviour"
  author:
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  - name: "Wieke de Vries"
    link: "https://researchr.org/alias/wieke-de-vries"
  year: "2001"
  doi: "http://portal.acm.org/citation.cfm?id=375735.375865"
  links:
    doi: "http://portal.acm.org/citation.cfm?id=375735.375865"
  researchr: "https://researchr.org/publication/JonkerTV01"
  cites: 0
  citedby: 0
  pages: "41-42"
  booktitle: "Agents"
  kind: "inproceedings"
  key: "JonkerTV01"
- title: "Declarative Functionality Descriptions of Interactive Reasoning Modules"
  author:
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~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:
  - name: "Harold Boley"
    link: "https://researchr.org/alias/harold-boley"
  - name: "Michael M. Richter"
    link: "https://researchr.org/alias/michael-m.-richter"
  volume: "567"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-55033-X"
  kind: "inproceedings"
  key: "Treur91"
- title: "Analysis of Design Process Dynamics"
  author:
  - name: "Tibor Bosse"
    link: "https://researchr.org/alias/tibor-bosse"
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~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:
  - name: "Ramon López de Mántaras"
    link: "https://researchr.org/alias/ramon-l%C3%B3pez-de-m%C3%A1ntaras"
  - name: "Lorenza Saitta"
    link: "https://researchr.org/alias/lorenza-saitta"
  publisher: "IOS Press"
  isbn: "1-58603-452-9"
  kind: "inproceedings"
  key: "BosseJT04:0"
- title: "Linear, Branching Time and Joint Closure Semantics for Temporal Logic"
  author:
  - name: "Joeri Engelfriet"
    link: "https://researchr.org/alias/joeri-engelfriet"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~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"
  kind: "article"
  key: "EngelfrietT02"
- title: "Semantic formalization of interactive reasoning functionality"
  author:
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~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"
  kind: "article"
  key: "Treur02a"
- title: "Towards a Formal Framework to Compare Protocol Interpretations and Task Specifications"
  author:
  - name: "Pieter Geelen"
    link: "https://researchr.org/alias/pieter-geelen"
  - name: "Zsófia Ruttkay"
    link: "https://researchr.org/alias/zs%C3%B3fia-ruttkay"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~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:
  - name: "Thomas Wetter"
    link: "https://researchr.org/alias/thomas-wetter"
  - name: "Klaus-Dieter Althoff"
    link: "https://researchr.org/alias/klaus-dieter-althoff"
  - name: "John H. Boose"
    link: "https://researchr.org/alias/john-h.-boose"
  - name: "Brian R. Gaines"
    link: "https://researchr.org/alias/brian-r.-gaines"
  - name: "Marc Linster"
    link: "https://researchr.org/alias/marc-linster"
  volume: "599"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-55546-3"
  kind: "inproceedings"
  key: "GeelenRT92"
- title: "Formal Analysis of Intelligent Agents for Model-Based Medicine Usage Management"
  author:
  - name: "Mark Hoogendoorn"
    link: "https://researchr.org/alias/mark-hoogendoorn"
  - name: "Michel C. A. Klein"
    link: "https://researchr.org/alias/michel-c.-a.-klein"
  - name: "Zulfiqar A. Memon"
    link: "https://researchr.org/alias/zulfiqar-a.-memon"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~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:
  - name: "Luís Azevedo"
    link: "https://researchr.org/alias/lu%C3%ADs-azevedo"
  - name: "Ana Rita Londral"
    link: "https://researchr.org/alias/ana-rita-londral"
  publisher: "INSTICC - Institute for Systems and Technologies of Information, Control and Communication"
  isbn: "978-989-8111-16-6"
  kind: "inproceedings"
  key: "HoogendoornKMT08"
- title: "User Centered Knowledge-Based System Design: a Formal Modelling Approach"
  author:
  - name: "Frances M. T. Brazier"
    link: "https://researchr.org/alias/frances-m.-t.-brazier"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~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:
  - name: "Luc Steels"
    link: "https://researchr.org/alias/luc-steels"
  - name: "Guus Schreiber"
    link: "https://researchr.org/alias/guus-schreiber"
  - name: "Walter Van de Velde"
    link: "https://researchr.org/alias/walter-van-de-velde"
  volume: "867"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-58487-0"
  kind: "inproceedings"
  key: "BrazierT94"
- title: "On the use of organisation modelling techniques to address biological organisation"
  author:
  - name: "Tibor Bosse"
    link: "https://researchr.org/alias/tibor-bosse"
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "2007"
  doi: "http://iospress.metapress.com/content/n4525l1n82816547/"
  links:
    doi: "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"
  kind: "article"
  key: "BosseJT07"
- title: "Specification of nonmonotonic reasoning"
  author:
  - name: "Joeri Engelfriet"
    link: "https://researchr.org/alias/joeri-engelfriet"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~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"
  kind: "article"
  key: "EngelfrietT00"
- title: "A Re-Usable Broker Agent Architecture with Dynamic Maintenance Capabilities"
  author:
  - name: "Catholijn M. Jonker"
    link: "http://www.mmi.tudelft.nl/~catholijn/"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "1999"
  doi: "http://doi.acm.org/10.1145/301136.301242"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "JonkerT99"
- title: "Integration of Biological, Psychological, and Social Aspects in Agent-Based Simulation of a Violent Psychopath"
  author:
  - name: "Tibor Bosse"
    link: "https://researchr.org/alias/tibor-bosse"
  - name: "Charlotte Gerritsen"
    link: "https://researchr.org/alias/charlotte-gerritsen"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-72586-2_124"
  links:
    doi: "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:
  - name: "Yong Shi"
    link: "https://researchr.org/alias/yong-shi"
  - name: "G. Dick van Albada"
    link: "https://researchr.org/alias/g.-dick-van-albada"
  - name: "Jack Dongarra"
    link: "https://researchr.org/alias/jack-dongarra"
  - name: "Peter M. A. Sloot"
    link: "https://researchr.org/alias/peter-m.-a.-sloot"
  volume: "4488"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-72585-5"
  kind: "inproceedings"
  key: "BosseGT07:0"
- title: "Comparison of Agent-Based and Population-Based Simulations of Displacement of Crime"
  author:
  - name: "Tibor Bosse"
    link: "http://www.cs.vu.nl/~tbosse"
  - name: "Charlotte Gerritsen"
    link: "http://www.few.vu.nl/~cg"
  - name: "Mark Hoogendoorn"
    link: "http://www.cs.vu.nl/~mhoogen/"
  - name: "Syed Waqar Jaffry"
    link: "http://www.few.vu.nl/~swjaffry"
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "2008"
  doi: "http://dx.doi.org/10.1109/WIIAT.2008.333"
  abstract: "Within Criminology, the process of crime displacement is usually explained by referring to the interaction of three types of agents: criminals, passers-by, and guardians. Most existing simulation models of this process are agent-based. However, when the number of agents considered becomes large, population-based simulation has computational advantages over agent-based simulation. This paper presents both an agent-based and a population-based simulation model of crime displacement, and reports a comparative evaluation of the two models. In addition, an approach is put forward to analyse the behaviour of both models by means of formal techniques."
  links:
    doi: "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"
  kind: "inproceedings"
  key: "BosseGHJT08:0"
- title: "Reduction Relations for Agent Models"
  author:
  - name: "Jan Treur"
    link: "http://www.cs.vu.nl/~treur/"
  year: "2008"
  doi: "http://dx.doi.org/10.1109/WIIAT.2008.273"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "Treur08"