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: "atal" 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: "jelia" 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: "ijseke" 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: "cia" 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: "ijmms" 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: "modelage" 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: "ekaw" 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: "itrust" 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: "agentCL" 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: "atal" 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: "ijis" 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: "apin" 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: "ijait" 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: "cia" 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: "drums" 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: "atal" 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: "apin" 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: "mabs" 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: "dalt" 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: "ecai" 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: "mags" 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: "dalt" 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: "ieaaie" 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: "ieaaie" 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: "icmas" 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: "hci" 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: "anss" 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: "ceemas" 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: "biostec" 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: "fapr" 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: "fapr" 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: "LOPSTR" 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: "ieaaie" 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: "iwinac" 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: "kais" 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: "aois" 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: "DKE" 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" 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: "MATES" 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: "eurovav" 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: "AMAI" 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: "iat" 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: "dalt" 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: "atal" 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: "aose" 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: "jolli" 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: "ieaaie" 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" 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: "kbs" 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: "ijcis" 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: "apin" 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: "atal" 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: "kbs" 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: "ceemas" 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: "atal" 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: "iat" 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: "agentlink" 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: "uic" 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: "ieaaie" 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: "ieaaie" 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" 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: "icmas" 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: "ecsqaru" 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: "SC" 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: "mabs" 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: "mabs" 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: "ekaw" 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: "ijmms" 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: "ijis" 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: "atal" 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: "iat" 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" 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: "wetice" 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: "iat" 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: "aai" 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: "JSC" 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: "AMAI" 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: "maamaw" 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: "iat" 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: "mabs" 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: "aose" 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: "ijcis" 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: "ieaaie" 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: "cia" 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: "sbia" 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: "ecal" 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: "maamaw" 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: "kbs" 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: "maamaw" 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: "ieaaie" 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: "atal" 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: "apin" 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: "DKE" 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: "mabs" 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: "apin" 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: "DKE" 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: "ekaw" 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: "ieaaie" 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: "ieaaie" 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: "LOPSTR" 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: "aai" 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: "ekaw" 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: "aose" 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: "cogsci" 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: "atal" 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: "ijis" 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: "ekaw" 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: "iat" 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: "jancl" 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: "eurovav" 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: "iat" 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: "apin" 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: "jolli" 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: "icmas" 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: "ijis" 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: "ijseke" 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: "apin" 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: "pdk" 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: "ecai" 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: "jolli" 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: "ijis" 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: "ekaw" 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: "biostec" 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: "ekaw" 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: "mags" 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: "jancl" 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: "iccS" 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: "iat" 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: "iat" kind: "inproceedings" key: "Treur08"