{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T17:13:25Z","timestamp":1649006005216},"reference-count":24,"publisher":"World Scientific Pub Co Pte Lt","issue":"01","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Model. Simul. Sci. Comput."],"published-print":{"date-parts":[[2013,3]]},"abstract":"<jats:p>Multi-agent systems for a certain application area can be modeled at multiple levels of abstraction. Interlevel relations are a means to relate models from different abstraction levels. Three dimensions of abstraction often occurring are the process abstraction, temporal abstraction, and agent cluster abstraction dimension. In this paper a unifying formalization is presented that can be used as a framework to specify interlevel relations for any of such dimensions. The approach is illustrated by showing how a variety of different types of abstraction relations between multi-agent system models can be formally specified in a unified manner.<\/jats:p>","DOI":"10.1142\/s1793962312500262","type":"journal-article","created":{"date-parts":[[2012,9,4]],"date-time":"2012-09-04T09:30:17Z","timestamp":1346751017000},"page":"1250026","source":"Crossref","is-referenced-by-count":1,"title":["A UNIFIED SPECIFICATION FORMAT FOR INTERLEVEL RELATIONS BETWEEN AGENT MODELS IN MULTIPLE ABSTRACTION DIMENSIONS"],"prefix":"10.1142","volume":"04","author":[{"given":"JAN","family":"TREUR","sequence":"first","affiliation":[{"name":"VU University Amsterdam, Department of Artificial Intelligence to Agents Systems Research Group, De Boelelaan 1081, 1081 HV Amsterdam, The Netherlands"}]}],"member":"219","published-online":{"date-parts":[[2012,12,27]]},"reference":[{"key":"rf1","doi-asserted-by":"publisher","DOI":"10.1080\/0951508021000042012"},{"key":"rf2","volume-title":"Philosophy of Mind","author":"Kim J.","year":"1996"},{"key":"rf3","doi-asserted-by":"crossref","first-page":"81","DOI":"10.3233\/WIA-2011-0207","volume":"9","author":"Treur J.","year":"2011","journal-title":"Web Intell. Agent Syst."},{"key":"rf4","volume-title":"Understanding Behaviorism: Science, Behavior, and Culture","author":"Baum W. M.","year":"1994"},{"key":"rf6","volume-title":"Undecidable Theories","author":"Tarski A.","year":"1953"},{"key":"rf8","doi-asserted-by":"publisher","DOI":"10.1023\/B:APIN.0000013334.33853.0c"},{"key":"rf10","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-1320-3"},{"key":"rf11","volume-title":"Principles of Model Checking","author":"Baier C.","year":"2008"},{"key":"rf12","volume-title":"The Imperative Future:Principles of Executable Temporal Logic","author":"Barringer H.","year":"1996"},{"key":"rf13","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-006-5955-7"},{"key":"rf14","doi-asserted-by":"crossref","first-page":"147","DOI":"10.3233\/WIA-2011-0212","volume":"9","author":"Bosse T.","year":"2011","journal-title":"Web Intell. Agent Syst."},{"key":"rf15","volume-title":"Industrial Dynamics","author":"Forrester J. W.","year":"1961"},{"key":"rf16","volume-title":"Animal Ecology","author":"Volterra V.","year":"1931"},{"key":"rf17","doi-asserted-by":"publisher","DOI":"10.1086\/286106"},{"key":"rf19","doi-asserted-by":"publisher","DOI":"10.1007\/s10489-006-0024-0"},{"key":"rf20","volume-title":"The Society of Mind","author":"Minsky M.","year":"1986"},{"key":"rf23","doi-asserted-by":"publisher","DOI":"10.1142\/S0218213007003357"},{"key":"rf24","volume-title":"Dynamic Patterns: The Self-Organization of Brain and Behavior","author":"Kelso J. A. S.","year":"1995"},{"key":"rf25","volume-title":"Mind as Motion: Explorations in the Dynamics of Cognition","author":"Port R. F.","year":"1995"},{"key":"rf26","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-005-5516-7"},{"key":"rf27","doi-asserted-by":"publisher","DOI":"10.1142\/S0218843009001987"},{"key":"rf29","doi-asserted-by":"publisher","DOI":"10.1142\/S0218843002000480"},{"key":"rf30","volume-title":"Gaia: A New Look at Life on Earth","author":"Lovelock J.","year":"1979"},{"key":"rf31","volume-title":"Ontology Matching","author":"Euzenat J.","year":"2007"}],"container-title":["International Journal of Modeling, Simulation, and Scientific Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S1793962312500262","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,13]],"date-time":"2020-07-13T04:49:40Z","timestamp":1594615780000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S1793962312500262"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,12,27]]},"references-count":24,"journal-issue":{"issue":"01","published-online":{"date-parts":[[2012,12,27]]},"published-print":{"date-parts":[[2013,3]]}},"alternative-id":["10.1142\/S1793962312500262"],"URL":"https:\/\/doi.org\/10.1142\/s1793962312500262","relation":{},"ISSN":["1793-9623","1793-9615"],"issn-type":[{"value":"1793-9623","type":"print"},{"value":"1793-9615","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,12,27]]}}}