{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T23:49:46Z","timestamp":1742946586091,"version":"3.40.3"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031610332"},{"type":"electronic","value":"9783031610349"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-61034-9_4","type":"book-chapter","created":{"date-parts":[[2024,5,13]],"date-time":"2024-05-13T16:02:20Z","timestamp":1715616140000},"page":"46-57","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Combining Constraint-Based and Imperative Programming in MABS for More Reliable Modelling"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3903-2507","authenticated-orcid":false,"given":"Bruce","family":"Edmonds","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8596-0590","authenticated-orcid":false,"given":"J. Gareth","family":"Polhill","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,5,14]]},"reference":[{"key":"4_CR1","doi-asserted-by":"publisher","first-page":"105802","DOI":"10.1016\/j.envsoft.2023.105802","volume":"168","author":"P Antosz","year":"2023","unstructured":"Antosz, P., et al.: What do you want theory for? - A pragmatic analysis of the roles of \u201ctheory\u201d in agent-based modelling. Environ. Model. Softw. 168, 105802 (2023). https:\/\/doi.org\/10.1016\/j.envsoft.2023.105802","journal-title":"Environ. Model. Softw."},{"issue":"6","key":"4_CR2","doi-asserted-by":"publisher","first-page":"172096","DOI":"10.1098\/rsos.172096","volume":"5","author":"M Calder","year":"2018","unstructured":"Calder, M., Craig, C., Culley, D., et al.: Computational modelling for decision-making: where, why, what, who and how. R. Soc. Open Sci. 5(6), 172096 (2018)","journal-title":"R. Soc. Open Sci."},{"key":"4_CR3","doi-asserted-by":"publisher","first-page":"538","DOI":"10.1007\/s13280-016-0772-y","volume":"45","author":"RL Chazdon","year":"2016","unstructured":"Chazdon, R.L., et al.: When is a forest a forest? Forest concepts and definitions in the era of forest and landscape restoration. Ambio 45, 538\u2013550 (2016). https:\/\/doi.org\/10.1007\/s13280-016-0772-y","journal-title":"Ambio"},{"key":"4_CR4","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1142\/S0219525900000078","volume":"3","author":"G Deffuant","year":"2000","unstructured":"Deffuant, G., Neau, D., Amblard, F., Weisbuch, G.: Mixing beliefs among interacting agents. Adv. Complex Syst. 3, 87\u201398 (2000)","journal-title":"Adv. Complex Syst."},{"key":"4_CR5","unstructured":"Edmonds, B.: Assessing the safety of (Numerical) representation in social simulation. In: The 3rd European Social Simulation Association Conference (ESSA 2005), Koblenz, Germany, September 2005. http:\/\/cfpm.org\/cpmrep153.html"},{"key":"4_CR6","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/978-3-642-01109-2_13","volume-title":"Epistemological Aspects of Computer Simulation in the Social Sciences","author":"B Edmonds","year":"2009","unstructured":"Edmonds, B.: The nature of noise. In: Squazzoni, F. (ed.) EPOS 2006. LNCS (LNAI), vol. 5466, pp. 169\u2013182. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-01109-2_13"},{"key":"4_CR7","doi-asserted-by":"publisher","unstructured":"Edmonds, B., Wallis, S.: Towards an ideal social simulation language. In: Sim\u00e3o Sichman, J., Bousquet, F., Davidsson, P. (eds.) 3rd International Workshop on Multi-Agent Based Simulation (MABS 2002), Bologna, July 2002. LNAI, vol. 2581, pp. 104\u2013124. Springer, Cham (2002). https:\/\/doi.org\/10.1007\/3-540-36483-8_8","DOI":"10.1007\/3-540-36483-8_8"},{"key":"4_CR8","unstructured":"Edmonds, B., Ter\u00e1n, O., Polhill, G.: To the outer limits and beyond \u2013 characterising the envelope of sets of social simulation trajectories. In: 1st World Congress on Social Simulation (WCSS'06), Kyoto, Japan, August 2006. http:\/\/cfpm.org\/cpmrep162.html"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Edmonds, B.: How formal logic can fail to be useful for modelling or designing MAS. In: Regulated Agent-Based Social Systems. LNAI, vol. 2934, pp. 1\u201315. Springer, Cham (2004)","DOI":"10.1007\/978-3-540-25867-4_1"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Flache, A., et al.: Models of social influence: towards the next frontiers. J. Artif. Soc. Soc. Simul. 20(4), 2 (2017). https:\/\/www.jasss.org\/20\/4\/2.html","DOI":"10.18564\/jasss.3521"},{"issue":"1\u20133","key":"4_CR11","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/S0743-1066(98)10005-5","volume":"37","author":"T Fruhwirth","year":"1998","unstructured":"Fruhwirth, T.: Theory and practice of constraint handling rules. J. Log. Program. 37(1\u20133), 95\u2013138 (1998)","journal-title":"J. Log. Program."},{"key":"4_CR12","unstructured":"Gal\u00e1n, J.M., Izquierdo, L.R., Izquierdo, et al.: Errors and artefacts in agent-based modelling. J. Artif. Soc. Soc. Simul. 12(1), 1 (2009). https:\/\/www.jasss.org\/12\/1\/1.html"},{"key":"4_CR13","volume-title":"Prolog","author":"F Giannesini","year":"1986","unstructured":"Giannesini, F., Kanoui, H., Pasero, R., Van Caneghem, M.: Prolog. Addison-Wesley, New York (1986)"},{"key":"4_CR14","doi-asserted-by":"publisher","unstructured":"Gotts, N.M., et al.: Agent-based modelling of socio-ecological systems: models, projects and ontologies. Ecol. Complexity 40(Part B), 100728 (2019). https:\/\/doi.org\/10.1016\/j.ecocom.2018.07.007","DOI":"10.1016\/j.ecocom.2018.07.007"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Grimm, V., et al.: The ODD protocol for describing agent-based and other simulation models: a second update to improve clarity, replication, and structural realism. J. Artif. Soc. Soc. Simul. 23(2), 7 (2020). http:\/\/jasss.soc.surrey.ac.uk\/23\/2\/7.html","DOI":"10.18564\/jasss.4259"},{"key":"4_CR16","unstructured":"Guly\u00e1s, L., Szab\u00f3, A., Leg\u00e9ndi, R., M\u00e1hr, T., Bocsi, R., Kampis, G.: Tools for large scale (distributed) agent-based computational experiments. In: Proceedings of the Computational Social Science Society of the Americas (2011)"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Jaffar, J., Lassez, J.L.: Constraint logic programming. In: Proceedings of the ACM Symposium on Principles of Programming Languages. ACM (1987)","DOI":"10.1145\/41625.41635"},{"issue":"1","key":"4_CR18","first-page":"1","volume":"2","author":"HG Lund","year":"2014","unstructured":"Lund, H.G.: What is a forest? Definitions do make a difference: an example from Turkey. Avrasya Terim Dergisi 2(1), 1\u20138 (2014)","journal-title":"Avrasya Terim Dergisi"},{"key":"4_CR19","doi-asserted-by":"publisher","unstructured":"Meyer, R., Edmonds, B.: The importance of dynamic networks within a model of politics. In: Squazzoni, F. (eds.) Advances in Social Simulation. ESSA 2022. Springer Proceedings in Complexity, Milan, Italy. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-34920-1_25, https:\/\/cfpm.org\/discussionpapers\/292","DOI":"10.1007\/978-3-031-34920-1_25"},{"key":"4_CR20","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1023\/A:1009600530279","volume":"4","author":"S Moss","year":"1998","unstructured":"Moss, S., Gaylard, H., Wallis, S., Edmonds, B.: SDML: a multi-agent language for organizational modelling. Comput. Math. Organ. Theory 4, 43\u201369 (1998)","journal-title":"Comput. Math. Organ. Theory"},{"key":"4_CR21","unstructured":"North, M.J., Howe, T.R., Collier, N.T., Vos, J.R.: The repast Simphony development environment. In: Proceedings of the Agent 2005 Conference on Generative Social Processes, Models, and Mechanisms, vol. 13, p. 15, October 2005"},{"key":"4_CR22","unstructured":"Parker, D.C., Polhill, J.G., Mussavi Rizi, S.M.: An OWL (Web Ontology Language) representation of the MR POTATOHEAD agent-based land-use change meta-model. Presentation to the American Association of Geographers Annual Meeting, Boston, 15\u201319 April 2008"},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"Pignotti, E., Polhill, G., Edwards, P.: Using provenance to analyse agent-based simulations. In: Proceedings of the Joint EDBT\/ICDT 2013 Workshops, pp. 319\u2013322 (2013)","DOI":"10.1145\/2457317.2457371"},{"key":"4_CR24","doi-asserted-by":"crossref","unstructured":"Pignotti, E., Polhill, G., Edwards, P.: PROV-O provenance traces from agent-based social simulation. In: Proceedings of the Joint EDBT\/ICDT 2013 Workshops, pp. 333\u2013334 (2013)","DOI":"10.1145\/2457317.2457377"},{"key":"4_CR25","unstructured":"Polhill, G., Gotts, N.: Semantic model integration: an application for OWL. In: Seventh Conference of the European Social Simulation Association, Montpellier, France, 19\u201323 September 2011 (2011)"},{"key":"4_CR26","doi-asserted-by":"publisher","first-page":"1255","DOI":"10.1007\/s10980-009-9381-5","volume":"24","author":"JG Polhill","year":"2009","unstructured":"Polhill, J.G., Gotts, N.M.: Ontologies for transparent integrated human-natural system modelling. Landscape Ecol. 24, 1255\u20131267 (2009)","journal-title":"Landscape Ecol."},{"key":"4_CR27","unstructured":"Schrijvers, T., Demoen, B.: The K.U.Leuven CHR system: implementation and application. In: 1st Workshop on Constraint Handling Rules, University of Ulm, Germany, Ulmer Informatik-Bericht (2004)"},{"issue":"2","key":"4_CR28","doi-asserted-by":"publisher","first-page":"10","DOI":"10.18564\/jasss.4298","volume":"23","author":"F Squazzoni","year":"2020","unstructured":"Squazzoni, F., Polhill, J.G., Edmonds, B., et al.: Computational models that matter during a global pandemic outbreak: a call to action. J. Artif. Soc. Soc. Simul. 23(2), 10 (2020). https:\/\/doi.org\/10.18564\/jasss.4298","journal-title":"J. Artif. Soc. Soc. Simul."},{"key":"4_CR29","doi-asserted-by":"publisher","unstructured":"Stepney, S., Polack, F.A.C.: Engineering Simulations as Scientific Instruments: A Pattern Language. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-01938-9","DOI":"10.1007\/978-3-030-01938-9"},{"key":"4_CR30","unstructured":"Ter\u00e1n, O., Edmonds, B.: Constraint Model-based Exploration of Simulation Trajectories in a MABS Model. CPM Report 06-161, MMU (2004). http:\/\/cfpm.org\/cpmrep161.html"},{"key":"4_CR31","doi-asserted-by":"publisher","unstructured":"Ter\u00e1n, O., Edmonds, B., Wallis, S.: Determining the envelope of emergent agent behaviour via architectural transformation. In: 7th International Workshop on Agent Theories, Architectures and Languages (ATAL 2000), Boston, MA, 8th\u20139th July 2000. LNAI, vol. 1986, pp. 122\u2013135. Springer, Cham (2001). https:\/\/doi.org\/10.1007\/3-540-44631-1_9","DOI":"10.1007\/3-540-44631-1_9"},{"key":"4_CR32","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/j.envsoft.2012.05.014","volume":"39","author":"A Voinov","year":"2013","unstructured":"Voinov, A., Shugart, H.H.: \u2018Integronsters\u2019, integral and integrated modeling. Environ. Model. Softw. 39, 149\u2013158 (2013)","journal-title":"Environ. Model. Softw."}],"container-title":["Lecture Notes in Computer Science","Multi-Agent-Based Simulation XXIV"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-61034-9_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,13]],"date-time":"2024-05-13T16:02:52Z","timestamp":1715616172000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-61034-9_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031610332","9783031610349"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-61034-9_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"14 May 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"MABS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Multi-Agent Systems and Agent-Based Simulation","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"London","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Kingdom","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 May 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2 June 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"mabs2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/mabsworkshop.github.io\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}