{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,25]],"date-time":"2025-10-25T14:10:29Z","timestamp":1761401429186},"reference-count":35,"publisher":"World Scientific Pub Co Pte Ltd","issue":"01","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Coop. Info. Syst."],"published-print":{"date-parts":[[2009,3]]},"abstract":"<jats:p>Within many domains, among which biological, cognitive, and social areas, multiple interacting processes occur among agents with dynamics that are hard to handle. This paper presents the predicate logical Temporal Trace Language (TTL) for the formal specification and analysis of dynamic properties of agents and multi-agent systems. This language supports the specification of both qualitative and quantitative aspects, and therefore subsumes specification languages based on differential equations and qualitative, logical approaches. A software environment has been developed for TTL, which supports editing TTL properties and enables the formal verification of properties against a set of traces. The TTL environment proved its value in a number of projects within different biological, cognitive and social domains.<\/jats:p>","DOI":"10.1142\/s0218843009001987","type":"journal-article","created":{"date-parts":[[2009,3,12]],"date-time":"2009-03-12T10:54:47Z","timestamp":1236855287000},"page":"167-193","source":"Crossref","is-referenced-by-count":101,"title":["SPECIFICATION AND VERIFICATION OF DYNAMICS IN AGENT MODELS"],"prefix":"10.1142","volume":"18","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":"Delft University of Technology, Department of Mediametics, Man Machine Interaction Group, Mekelweg 4, 2628 CD Delft, 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":"ALEXEI","family":"SHARPANSKYKH","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":[[2012,1,25]]},"reference":[{"key":"rf1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1004275029985"},{"key":"rf2","volume-title":"The Imperative Future: Principles of Executable Temporal Logic","author":"Barringer H.","year":"1996"},{"key":"rf3","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-010-9868-7"},{"key":"rf4","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(97)00050-7"},{"key":"rf5","doi-asserted-by":"publisher","DOI":"10.1080\/09528139308953775"},{"key":"rf6","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195131581.001.0001","volume-title":"Swarm Intelligence: From Natural to Artificial Systems","author":"Bonabeau J.","year":"1999"},{"key":"rf9","doi-asserted-by":"publisher","DOI":"10.1177\/0037549705060260"},{"key":"rf10","doi-asserted-by":"publisher","DOI":"10.1016\/j.cogsys.2005.11.007"},{"key":"rf13","doi-asserted-by":"publisher","DOI":"10.1207\/s15516709cog0000_51"},{"key":"rf14","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0015452"},{"key":"rf15","volume-title":"Being There: Putting Brain, Body and World Together Again","author":"Clark A.","year":"1997"},{"key":"rf16","doi-asserted-by":"publisher","DOI":"10.1111\/1468-0017.00162"},{"key":"rf17","volume-title":"Model Checking","author":"Clarke E. M.","year":"2000"},{"key":"rf18","doi-asserted-by":"publisher","DOI":"10.1109\/5.871305"},{"key":"rf19","volume-title":"Psychology","author":"Gleitman H.","year":"1999"},{"key":"rf20","series-title":"CSLI Lecture Notes","volume-title":"Logics of Time and Computation","volume":"7","author":"Goldblatt R.","year":"1992"},{"key":"rf21","doi-asserted-by":"publisher","DOI":"10.1016\/j.knosys.2005.05.002"},{"key":"rf22","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511583315"},{"key":"rf23","doi-asserted-by":"publisher","DOI":"10.1093\/analys\/50.2.107"},{"key":"rf24","doi-asserted-by":"publisher","DOI":"10.1016\/S1389-0417(02)00103-1"},{"key":"rf25","volume-title":"Philosophy of Mind","author":"Kim J.","year":"1996"},{"key":"rf26","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4629.001.0001","volume-title":"Mind in a Physical World: An Essay on the Mind-Body Problem and Mental Causation","author":"Kim J.","year":"1998"},{"key":"rf27","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037383"},{"key":"rf28","volume-title":"Qualitative Reasoning: Modeling and Simulation with Incomplete Knowledge","author":"Kuipers B.","year":"1994"},{"key":"rf29","doi-asserted-by":"publisher","DOI":"10.1037\/0096-1523.27.2.370"},{"key":"rf30","doi-asserted-by":"publisher","DOI":"10.1037\/0033-295X.104.2.241"},{"key":"rf31","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4222-2"},{"key":"rf32","unstructured":"A.\u00a0Mazurkiewicz, Advances in Petri Nets II: Applications and Relationships to Other Models of Concurrency, LNCS\u00a0255 (Springer, 1987)\u00a0pp. 279\u2013324."},{"key":"rf33","volume-title":"Extensions of First Order Logic","author":"Manzano M.","year":"1996"},{"key":"rf34","volume-title":"Numerical Methods in Engineering and Science","author":"Pearson C. E.","year":"1986"},{"key":"rf35","volume-title":"Mind as Motion: Explorations in the Dynamics of Cognition","author":"Port R. F.","year":"1995"},{"key":"rf36","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4074.001.0001","volume-title":"Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems","author":"Reiter R.","year":"2001"},{"key":"rf38","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3550-5"},{"key":"rf39","doi-asserted-by":"publisher","DOI":"10.1046\/j.1432-1327.2000.01527.x"},{"key":"rf40","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(83)80051-5"}],"container-title":["International Journal of Cooperative Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218843009001987","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,3]],"date-time":"2021-10-03T04:44:05Z","timestamp":1633236245000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218843009001987"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,3]]},"references-count":35,"journal-issue":{"issue":"01","published-online":{"date-parts":[[2012,1,25]]},"published-print":{"date-parts":[[2009,3]]}},"alternative-id":["10.1142\/S0218843009001987"],"URL":"https:\/\/doi.org\/10.1142\/s0218843009001987","relation":{},"ISSN":["0218-8430","1793-6365"],"issn-type":[{"value":"0218-8430","type":"print"},{"value":"1793-6365","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,3]]}}}