{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T01:50:55Z","timestamp":1725501055019},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540775638"},{"type":"electronic","value":"9783540775645"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-77564-5_4","type":"book-chapter","created":{"date-parts":[[2008,1,16]],"date-time":"2008-01-16T14:43:02Z","timestamp":1200494582000},"page":"50-68","source":"Crossref","is-referenced-by-count":5,"title":["Integrating Agent Models and Dynamical Systems"],"prefix":"10.1007","author":[{"given":"Tibor","family":"Bosse","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexei","family":"Sharpanskykh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Treur","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","volume-title":"The atomic components of thought","author":"J.R. Anderson","year":"1998","unstructured":"Anderson, J.R., Lebiere, C.: The atomic components of thought. Lawrence Erlbaum Associates, Mahwah, NJ (1998)"},{"issue":"1-3","key":"4_CR2","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1016\/S0743-1066(96)00141-0","volume":"31","author":"C. Baral","year":"1997","unstructured":"Baral, C., Gelfond, M., Provetti, A.: Representing Actions: Laws, Observation and Hypothesis. Journal of Logic Programming\u00a031(1-3), 201\u2013243 (1997)","journal-title":"Journal of Logic Programming"},{"key":"4_CR3","unstructured":"Barringer, H., Fisher, M., Gabbay, D., Owens, R., Reynolds, M.: The Imperative Future: Principles of Executable Temporal Logic. Research Studies Press Ltd. and John Wiley & Sons (1996)"},{"key":"4_CR4","volume-title":"Graduate Texts in Contemporary Physics series","author":"N. Boccara","year":"2004","unstructured":"Boccara, N.: Modeling Complex Systems. In: Graduate Texts in Contemporary Physics series, Springer, Heidelberg (2004)"},{"key":"4_CR5","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1177\/0037549706065676","volume":"82","author":"T. Bosse","year":"2006","unstructured":"Bosse, T., Delfos, M.F., Jonker, C.M., Treur, J.: Modelling Adaptive Dynamical Systems to analyse Eating Regulation Disorders. Simulation Journal: Transactions of the Society for Modeling and Simulation International\u00a082, 159\u2013171 (2006)","journal-title":"Simulation Journal: Transactions of the Society for Modeling and Simulation International"},{"key":"4_CR6","series-title":"Lecture Notes in Computer Science","first-page":"157","volume-title":"AOSE 2005","author":"T. Bosse","year":"2006","unstructured":"Bosse, T., Jonker, C.M., Los, S.A., van der Torre, L., Treur, J.: Formalisation and Analysis of the Temporal Dynamics of Conditioning. In: M\u00fcller, J.P., Zambonelli, F. (eds.) AOSE 2005. LNCS, vol.\u00a03950, pp. 157\u2013168. Springer, Heidelberg (2006)"},{"key":"4_CR7","series-title":"Lecture Notes in Artificial Intelligence","first-page":"165","volume-title":"MATES 2005","author":"T. Bosse","year":"2005","unstructured":"Bosse, T., Jonker, C.M., Meij, L., van der, L., Treur, J.: LEADSTO: A Language and Environment for Analysis of Dynamics by Simulation. In: Eymann, T., Kl\u00fcgl, F., Lamersdorf, W., Klusch, M., Huhns, M.N. (eds.) MATES 2005. LNCS (LNAI), vol.\u00a03550, pp. 165\u2013178. Springer, Heidelberg (2005) Extended version in: International Journal of Artificial Intelligence Tools (to appear, 2007)"},{"key":"4_CR8","first-page":"247","volume-title":"IAT 2006","author":"T. Bosse","year":"2006","unstructured":"Bosse, T., Jonker, C.M., Meij, L., van der Sharpanskykh, A., Treur, J.: Specification and Verification of Dynamics in Cognitive Agent Models. In: Nishida, T. (ed.) IAT 2006, pp. 247\u2013254. IEEE Computer Society Press, Los Alamitos (2006)"},{"issue":"7","key":"4_CR9","doi-asserted-by":"publisher","first-page":"985","DOI":"10.1109\/5.871305","volume":"88","author":"J.M. Davoren","year":"2000","unstructured":"Davoren, J.M., Nerode, A.: Logics for Hybrid Systems. Proceedings of the IEEE\u00a088(7), 985\u20131010 (2000)","journal-title":"Proceedings of the IEEE"},{"key":"4_CR10","volume-title":"Calculus with Analytic Geometry","author":"C.H. Edwards","year":"1998","unstructured":"Edwards, C.H., Penney, D.L.: Calculus with Analytic Geometry, 5th edn. Prentice-Hall, London (1998)","edition":"5"},{"key":"4_CR11","volume-title":"Numerical Initial Value Problems in Ordinary Differential Equations","author":"C.W. Gear","year":"1971","unstructured":"Gear, C.W.: Numerical Initial Value Problems in Ordinary Differential Equations. Prentice-Hall, Englewood Cliffs (1971)"},{"key":"4_CR12","unstructured":"Gelfond, M., Lifschitz, V.: Action languages. Electronic Transactions on AI\u00a03(16) (1998)"},{"issue":"1-2","key":"4_CR13","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/S0301-4622(01)00229-0","volume":"94","author":"F. Hynne","year":"2001","unstructured":"Hynne, F., Dano, S., Sorensen, P.G.: Full-scale model of glycolysis in Saccharomyces cerevisiae. Biophys. Chem.\u00a094(1-2), 121\u2013163 (2001)","journal-title":"Biophys. Chem."},{"key":"4_CR14","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1142\/S0218843002000480","volume":"11","author":"C.M. Jonker","year":"2002","unstructured":"Jonker, C.M., Treur, J.: Compositional Verification of Multi-Agent Systems: A Formal Analysis of Pro-activeness and Reactiveness. International Journal of Cooperative Information Systems\u00a011, 51\u201392 (2002)","journal-title":"International Journal of Cooperative Information Systems"},{"issue":"1","key":"4_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(87)90050-6","volume":"33","author":"J.E. Laird","year":"1987","unstructured":"Laird, J.E., Newell, A., Rosenbloom, P.S.: Soar: An architecture for general intelligence. Artificial Intelligence\u00a033(1), 1\u201364 (1987)","journal-title":"Artificial Intelligence"},{"key":"4_CR16","volume-title":"Differential equations: Geometric theory","author":"S. Lefschetz","year":"2005","unstructured":"Lefschetz, S.: Differential equations: Geometric theory. Dover Publications, Mineola (2005)"},{"issue":"5","key":"4_CR17","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1109\/37.793443","volume":"19","author":"D. Liberzon","year":"1999","unstructured":"Liberzon, D., Morse, A.S.: Basic problems in stability and design of switched systems. IEEE Control Systems Magazine\u00a019(5), 59\u201370 (1999)","journal-title":"IEEE Control Systems Magazine"},{"key":"4_CR18","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1037\/0033-295X.104.2.241","volume":"104","author":"A. Machado","year":"1997","unstructured":"Machado, A.: Learning the Temporal Dynamics of Behaviour. Psychological Review\u00a0104, 241\u2013265 (1997)","journal-title":"Psychological Review"},{"key":"4_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1007\/3-540-57318-6_22","volume-title":"Hybrid Systems","author":"Z. Manna","year":"1993","unstructured":"Manna, Z., Pnueli, A.: Verifying Hybrid Systems. In: Grossman, R.L., Ravn, A.P., Rischel, H., Nerode, A. (eds.) Hybrid Systems. LNCS, vol.\u00a0736, pp. 4\u201335. Springer, Heidelberg (1993)"},{"key":"4_CR20","volume-title":"Defeasible Reasoning and Uncertainty Management Systems","author":"J.J.C.. Meyer","year":"2002","unstructured":"Meyer, J.J.C., Treur, J.: Agent-based Defeasible Control in Dynamic Environments. In: Gabbay, D., Smets, P. (eds.) Defeasible Reasoning and Uncertainty Management Systems, vol.\u00a07, Kluwer Academic Publishers, Dordrecht (2002)"},{"key":"4_CR21","volume-title":"Community Ecology","author":"P.J. Morin","year":"1999","unstructured":"Morin, P.J.: Community Ecology. Blackwell Publishing, USA (1999)"},{"key":"4_CR22","volume-title":"Numerical Methods in Engineering and Science","author":"C.E.. Pearson","year":"1986","unstructured":"Pearson, C.E.: Numerical Methods in Engineering and Science. CRC Press, Boca Raton (1986)"},{"volume-title":"Mind as Motion: Explorations in the Dynamics of Cognition","year":"1995","key":"4_CR23","unstructured":"Port, R.F., van Gelder, T. (eds.): Mind as Motion: Explorations in the Dynamics of Cognition. MIT Press, Cambridge, Mass (1995)"},{"key":"4_CR24","volume-title":"Numerical recipes in C: The art of scientific computing","author":"W.H. Press","year":"1992","unstructured":"Press, W.H., Teukolsky, S.A., Vetterling, W.T., Flannery, B.P.: Numerical recipes in C: The art of scientific computing, 2nd edn. Cambridge university press, Cambridge (1992)","edition":"2"},{"key":"4_CR25","first-page":"702","volume-title":"CDC","author":"A. Rajeev","year":"1997","unstructured":"Rajeev, A., Henzinger, T.A., Wong-Toi, H.: Symbolic analysis of hybrid systems. In: CDC. Proceedings of the 36th Annual Conference on Decision and Control, pp. 702\u2013707. IEEE Computer Society Press, Los Alamitos (1997)"},{"key":"4_CR26","volume-title":"Eco-Logic: Logic-Based Approaches to Ecological Modelling","author":"D. Robertson","year":"1991","unstructured":"Robertson, D., Bundy, A., Muetzelfeldt, R., Haggith, M., Ushold, M.: Eco-Logic: Logic-Based Approaches to Ecological Modelling. MIT Press, Cambridge (1991)"},{"key":"4_CR27","first-page":"290","volume-title":"ECAI 2006","author":"A. Sharpanskykh","year":"2006","unstructured":"Sharpanskykh, A., Treur, J.: Verifying Interlevel Relations within Multi-Agent Systems. In: Brewka, G., Coradeschi, S., Perini, A., Traverso, P. (eds.) ECAI 2006. Proc. of the 17th European Conference on Artificial Intelligence, pp. 290\u2013294. IOS Press, Amsterdam (2006)"}],"container-title":["Lecture Notes in Computer Science","Declarative Agent Languages and Technologies V"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77564-5_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,28]],"date-time":"2019-02-28T22:30:25Z","timestamp":1551393025000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77564-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540775638","9783540775645"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77564-5_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}