{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T23:01:26Z","timestamp":1648854086106},"reference-count":40,"publisher":"Informa UK Limited","issue":"10","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Applied Artificial Intelligence"],"published-print":{"date-parts":[[2007,11,5]]},"DOI":"10.1080\/08839510701527226","type":"journal-article","created":{"date-parts":[[2007,11,14]],"date-time":"2007-11-14T11:35:53Z","timestamp":1195040153000},"page":"973-1018","source":"Crossref","is-referenced-by-count":0,"title":["SIMULATION AND ANALYSIS OF CONTROLLED MULTI-REPRESENTATIONAL REASONING PROCESSES"],"prefix":"10.1080","volume":"21","author":[{"given":"Tibor","family":"Bosse","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Catholijn M.","family":"Jonker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Treur","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"key":"CIT0001","doi-asserted-by":"crossref","unstructured":"Aridor , Y. and D. B. Lange . 1998 . Agent design patterns: Elements of agent application design . In Proc. of the Second Annual Conference on Autonomous Agents (Agents'98) , pages 108 \u2013 115 . ACM Press .","DOI":"10.1145\/280765.280784"},{"key":"CIT0002","volume-title":"The Imperative Future: Principles of Executable Temporal Logic","author":"Barringer H.","year":"1996"},{"key":"CIT0003","volume-title":"Object-Oriented Analysis and Design,","author":"Booch G.","year":"1994","edition":"2"},{"key":"CIT0004","volume-title":"Teaching Primary Mathematics","author":"Booker G.","year":"1997"},{"key":"CIT0005","first-page":"247","volume-title":"In Proceedings of the Sixth International Conference on Intelligent Agent Technology (IAT'06)","author":"Bosse T.","year":"2006"},{"key":"CIT0006","doi-asserted-by":"publisher","DOI":"10.1016\/S1567-4223(02)00013-3"},{"key":"CIT0007","doi-asserted-by":"publisher","DOI":"10.1142\/S0218843000000120"},{"key":"CIT0008","first-page":"36","volume-title":"Formal Models of Agents (Selected papers from final ModelAge Workshop)","volume":"1760","author":"Brazier F.","year":"1999"},{"key":"CIT0009","doi-asserted-by":"publisher","DOI":"10.1006\/ijhc.1999.0322"},{"key":"CIT0010","doi-asserted-by":"publisher","DOI":"10.1080\/088395100403397"},{"key":"CIT0011","doi-asserted-by":"publisher","DOI":"10.1016\/S0169-023X(01)00058-1"},{"key":"CIT0012","volume-title":"Toward a Theory of Instruction","author":"Bruner J. S.","year":"1968"},{"key":"CIT0013","doi-asserted-by":"publisher","DOI":"10.1007\/10719619_27"},{"key":"CIT0014","volume-title":"Model Checking","author":"E. M. Clarke","year":"2000"},{"key":"CIT0015","volume-title":"Cijferend vermenigvuldigen en delen volgens Wiskobas","author":"Dekker A.","year":"1982"},{"key":"CIT0016","doi-asserted-by":"publisher","DOI":"10.1002\/int.10108"},{"key":"CIT0017","volume-title":"Mathematics Education: Models and Processes","author":"English L.","year":"1995"},{"key":"CIT0018","first-page":"307","volume-title":"Intelligent Agents\u2014Proceedings of the International Workshop on Agent Theories, Architectures, and Languages ATAL'94","volume":"890","author":"Fisher M.","year":"1995"},{"key":"CIT0019","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-004-3140-4"},{"key":"CIT0020","volume-title":"Temporal Logic","author":"Galton A.","year":"2003"},{"key":"CIT0021","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-005-5516-7"},{"key":"CIT0022","volume-title":"Desing Patterns: Elements of Reusable Object-Oriented Software","author":"Gamma E. E.","year":"1994"},{"key":"CIT0023","doi-asserted-by":"crossref","unstructured":"Hegarty , M.2002.Mental visualizations and external visualizations. In Proceedings of the 24th Annual Conference of the Cognitive Science Society CogSci'02, page40.Lawrence Erlbaum Associates, Inc.","DOI":"10.4324\/9781315782379-30"},{"key":"CIT0024","doi-asserted-by":"publisher","DOI":"10.1016\/j.knosys.2005.05.002"},{"key":"CIT0025","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037518"},{"key":"CIT0026","first-page":"8","volume":"81","author":"Hutton J.","year":"1977","journal-title":"Mathematics Teaching"},{"key":"CIT0027","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/978-3-662-03678-5_1","volume-title":"Agent Technology: Foundations, Applications, and Markets","author":"Jennings N. R.","year":"1998"},{"key":"CIT0028","volume-title":"Mental Models","author":"Johnson-Laird P. N.","year":"1983"},{"key":"CIT0029","doi-asserted-by":"publisher","DOI":"10.1016\/S1389-0417(02)00102-X"},{"key":"CIT0030","doi-asserted-by":"publisher","DOI":"10.1142\/S0218843002000480"},{"key":"CIT0031","first-page":"542","volume-title":"Proceedings of the 24th Annual Conference of the Cognitive Science Society CogSci'02","author":"Koedinger K. R.","year":"2002"},{"key":"CIT0032","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037383"},{"key":"CIT0033","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0026759"},{"key":"CIT0034","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":"CIT0035","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5680.001.0001","volume-title":"The Psychology of Proof: Deductive Reasoning in Human Thinking","author":"Rips L. J.","year":"1994"},{"key":"CIT0036","doi-asserted-by":"publisher","DOI":"10.1145\/375735.376473"},{"key":"CIT0037","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-58855-8","volume-title":"Intelligent Agents","volume":"890","author":"Wooldridge M. J.","year":"1995"},{"key":"CIT0038","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-58855-8_1","volume-title":"Inteligents Agents","author":"Wooldridge M. J.","year":"1995"},{"key":"CIT0039","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888900008122"},{"key":"CIT0040","first-page":"767","volume-title":"Proceedings of the Twenty First Annual Conference of the Cognitive Science Society","author":"Yang Y.","year":"1999"}],"container-title":["Applied Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/08839510701527226","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,28]],"date-time":"2020-04-28T03:25:48Z","timestamp":1588044348000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/08839510701527226"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,11,5]]},"references-count":40,"journal-issue":{"issue":"10","published-print":{"date-parts":[[2007,11,5]]}},"alternative-id":["10.1080\/08839510701527226"],"URL":"https:\/\/doi.org\/10.1080\/08839510701527226","relation":{},"ISSN":["0883-9514","1087-6545"],"issn-type":[{"value":"0883-9514","type":"print"},{"value":"1087-6545","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,11,5]]}}}