{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:48:23Z","timestamp":1725490103395},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540415220"},{"type":"electronic","value":"9783540445616"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44561-7_17","type":"book-chapter","created":{"date-parts":[[2007,8,28]],"date-time":"2007-08-28T10:18:02Z","timestamp":1188296282000},"page":"229-243","source":"Crossref","is-referenced-by-count":3,"title":["Mapping the Envelope of Social Simulation Trajectories"],"prefix":"10.1007","author":[{"given":"Oswaldo","family":"Ter\u00e1n","sequence":"first","affiliation":[]},{"given":"Bruce","family":"Edmonds","sequence":"additional","affiliation":[]},{"given":"Steve","family":"Wallis","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,6,11]]},"reference":[{"issue":"2","key":"17_CR1","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/BF01299065","volume":"1","author":"R. Axtell","year":"1996","unstructured":"Axtell, R., R. Axelrod, J. M. Epstein, and M. D. Cohen, \u201cAligning Simulation Models: A Case of Study and Results\u201d, Computational Mathematical Organization Theory, 1(2) (1996), pp. 123\u2013141.","journal-title":"Computational Mathematical Organization Theory"},{"key":"17_CR2","unstructured":"Chiang, C.L., and R. C.T. Lee, Symbolic Logic and Mechanical Theorem Proving, Academic Press, London, UK, 1973"},{"key":"17_CR3","unstructured":"Domingo C., G. Tonella and O. Ter\u00e1n, \u201cGenerating Scenarios by Structural Simulation\u201d, in AI, Simulation and Planning High Autonomy Systems, The Univ. of Arizona (1996), pp 331\u2013336."},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"Edmonds, B., \u201cModelling Bounded Rationality In Agent-Based Simulations using the Evolution of Mental Models\u201d. In Brenner, T. (Ed.), Computational Techniques for Modelling Learning in Economics, Kluwer (1999), 305\u2013332.","DOI":"10.1007\/978-1-4615-5029-7_13"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Engelfriet, J., C. Jonker and J. Treur, \u201cCompositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic\u201d, AI Group, Vrije Universiteit Amsterdam, The Netherlands, (1998).","DOI":"10.1007\/3-540-49057-4_12"},{"key":"17_CR6","first-page":"217","volume":"4","author":"K. Konolige","year":"1995","unstructured":"Konolige, K., \u201cAutoepistemic Logic\u201d, in Handbook of Logic in Artificial Intelligence and Logic Programming (4), Oxford Science Publications, 1995, pp. 217\u2013295.","journal-title":"Handbook of Logic in Artificial Intelligence and Logic Programming"},{"key":"17_CR7","unstructured":"McCune, W. (1995), OTTER 3.0 Reference Manual Guide, Argonne National Laboratory, Argonne, IL, 1995."},{"issue":"1","key":"17_CR8","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1023\/A:1009600530279","volume":"4","author":"S. Moss","year":"1998","unstructured":"Moss, S., H. Gaylard, S. Wallis, B. Edmonds, \u201cSDML: A Multi-Agent Language for Organizational Modelling\u201d, Computational Mathematical Organization Theory, 4(1) (1998), 43\u201369.","journal-title":"Computational Mathematical Organization Theory"},{"key":"17_CR9","unstructured":"Moss, S., B. Edmonds, S. Wallis, \u201cValidation and Verification of Computational Models with Multiple Cognitive Agents\u201d, Centre for Policy Modelling Report (1997), CPM-97-25, http:\/\/www.cpm.mmu.ac.uk\/cpmrep25.html"},{"key":"17_CR10","unstructured":"Wos, L., Automated Reasoning: 33 Basis Research Problems, Prentice Hall, New Jersey, USA, 1988."},{"issue":"N\u00b04","key":"17_CR11","first-page":"698","volume":"14","author":"L. Wos","year":"1965","unstructured":"Wos, L., Robinson, G. A., and Carson, D. F., \u201cEfficiency and Completeness of the Set of Support Strategy in Theorem Proving\u201d, J. ACM14,N\u00b04 (1965), 698\u2013709.","journal-title":"J. ACM"},{"key":"17_CR12","volume-title":"Theory of Modelling and Simulation","author":"B. Zeigler","year":"1976","unstructured":"Zeigler, B., Theory of Modelling and Simulation, Robert E. Krieger Publishing Company, Malabar, Fl, USA, 1976."}],"container-title":["Lecture Notes in Computer Science","Multi-Agent-Based Simulation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44561-7_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T13:07:40Z","timestamp":1556802460000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44561-7_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540415220","9783540445616"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-44561-7_17","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}