{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T02:28:57Z","timestamp":1761964137996},"reference-count":20,"publisher":"World Scientific Pub Co Pte Lt","issue":"03","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Artif. Intell. Tools"],"published-print":{"date-parts":[[2007,6]]},"abstract":"<jats:p> This article presents the language and software environment LEADSTO that has been developed to model and simulate dynamic processes in terms of both qualitative and quantitative concepts. The LEADSTO language is a declarative order-sorted temporal language, extended with quantitative notions like integer and real. Dynamic processes can be modelled in LEADSTO by specifying the direct temporal dependencies between state properties in successive states. Based on the LEADSTO language, a software environment was developed that performs simulations of LEADSTO specifications, generates data-files containing traces of simulation for further analysis, and constructs visual representations of traces. The approach proved its worth in a number of research projects in different domains. <\/jats:p>","DOI":"10.1142\/s0218213007003357","type":"journal-article","created":{"date-parts":[[2007,6,14]],"date-time":"2007-06-14T07:53:32Z","timestamp":1181807612000},"page":"435-464","source":"Crossref","is-referenced-by-count":154,"title":["A LANGUAGE AND ENVIRONMENT FOR ANALYSIS OF DYNAMICS BY SIMULATION"],"prefix":"10.1142","volume":"16","author":[{"given":"TIBOR","family":"BOSSE","sequence":"first","affiliation":[{"name":"Vrije Universiteit Amsterdam, Department of Artificial Intelligence, De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"CATHOLIJN M.","family":"JONKER","sequence":"additional","affiliation":[{"name":"Radboud Universiteit Nijmegen, Nijmegen Institute for Cognition and Information, Montessorilaan 3, 6525 HR Nijmegen, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"LOURENS","family":"VAN DER MEIJ","sequence":"additional","affiliation":[{"name":"Vrije Universiteit Amsterdam, Department of Artificial Intelligence, De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"JAN","family":"TREUR","sequence":"additional","affiliation":[{"name":"Vrije Universiteit Amsterdam, Department of Artificial Intelligence, De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2011,11,21]]},"reference":[{"key":"rf1","volume-title":"The Imperative Future: Principles of Executable Temporal Logic","author":"Barringer H.","year":"1996"},{"key":"rf2","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(84)90038-9"},{"key":"rf3","volume-title":"Mind as Motion: Explorations in the Dynamics of Cognition","author":"Port R. F.","year":"1995"},{"key":"rf5","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-004-3140-4"},{"key":"rf6","author":"Galton A.","journal-title":"Stanford Encyclopedia of Philosophy"},{"key":"rf7","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-005-5516-7"},{"key":"rf8","volume-title":"Dynamic Patterns: the Self-Organisation of Brain and Behaviour","author":"Kelso J. A. S.","year":"1995"},{"key":"rf9","volume-title":"Design for a Brain","author":"Ashby W. R.","year":"1952"},{"key":"rf10","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-1741-0"},{"key":"rf11","volume-title":"Extensions of First Order Logic","author":"Manzano M.","year":"1996"},{"key":"rf12","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-5203-4_1"},{"key":"rf14","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/7.4.429"},{"key":"rf16","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0013976"},{"key":"rf17","unstructured":"I.\u00a0Hodkinson and M.\u00a0Reynolds, We Will Show Them: Essays in Honour of Dov Gabbay\u00a02, eds. S.\u00a0Artemov (College Publications, 2005)\u00a0pp. 117\u2013142."},{"key":"rf21","volume-title":"Lost Figure: Treatment of Anorexia, Bulimia and Obesitas (in Dutch)","author":"Delfos M. F.","year":"2002"},{"key":"rf22","doi-asserted-by":"publisher","DOI":"10.1037\/0033-295X.104.2.241"},{"key":"rf23","first-page":"269","volume":"40","author":"Zhou C.","journal-title":"Information Processing Letter"},{"key":"rf27","doi-asserted-by":"publisher","DOI":"10.1093\/ije\/31.5.1030"},{"key":"rf28","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(97)00050-7"},{"key":"rf30","doi-asserted-by":"publisher","DOI":"10.1006\/jtbi.2001.2444"}],"container-title":["International Journal on Artificial Intelligence Tools"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218213007003357","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T13:09:34Z","timestamp":1565183374000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218213007003357"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,6]]},"references-count":20,"journal-issue":{"issue":"03","published-online":{"date-parts":[[2011,11,21]]},"published-print":{"date-parts":[[2007,6]]}},"alternative-id":["10.1142\/S0218213007003357"],"URL":"https:\/\/doi.org\/10.1142\/s0218213007003357","relation":{},"ISSN":["0218-2130","1793-6349"],"issn-type":[{"value":"0218-2130","type":"print"},{"value":"1793-6349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,6]]}}}