{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,25]],"date-time":"2025-10-25T14:12:28Z","timestamp":1761401548396},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642199677"},{"type":"electronic","value":"9783642199684"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-19968-4_7","type":"book-chapter","created":{"date-parts":[[2011,5,31]],"date-time":"2011-05-31T04:14:14Z","timestamp":1306815254000},"page":"128-151","source":"Crossref","is-referenced-by-count":1,"title":["Patterns in World Dynamics Indicating Agency"],"prefix":"10.1007","author":[{"given":"Tibor","family":"Bosse","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Treur","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"publisher","DOI":"10.1142\/p023","volume-title":"Impossible Minds: My Neurons, My Consciousness","author":"I. Aleksander","year":"1996","unstructured":"Aleksander, I.: Impossible Minds: My Neurons, My Consciousness. Imperial College Press, London (1996)"},{"key":"7_CR2","first-page":"413","volume-title":"Proc. 6th European Conference on AI, ECAI 1984","author":"G. Attardi","year":"1984","unstructured":"Attardi, G., Simi, M.: Metalanguage and reasoning across viewpoints. In: O\u2019Shea, T. (ed.) Proc. 6th European Conference on AI, ECAI 1984, pp. 413\u2013422. North-Holland, Amsterdam (1984)"},{"key":"7_CR3","volume-title":"Introduction a l\u2019etude de la medecine experimentale","author":"C. Bernard","year":"1865","unstructured":"Bernard, C.: Introduction a l\u2019etude de la medecine experimentale. J. Baillierre et fils, Paris (1865)"},{"key":"7_CR4","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1080\/09528139308953775","volume":"5","author":"M.H. Bickhard","year":"1993","unstructured":"Bickhard, M.H.: Representational Content in Humans and Machines. Journal of Experimental and Theoretical Artificial Intelligence\u00a05, 285\u2013333 (1993)","journal-title":"Journal of Experimental and Theoretical Artificial Intelligence"},{"key":"7_CR5","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1142\/S0218213007003357","volume":"16","author":"T. Bosse","year":"2007","unstructured":"Bosse, T., Jonker, C.M., van der Meij, L., Treur, J.: A Language and Environment for Analysis of Dynamics by Simulation. International Journal of Artificial Intelligence Tools\u00a016, 435\u2013464 (2007)","journal-title":"International Journal of Artificial Intelligence Tools"},{"key":"7_CR6","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1142\/S0218843009001987","volume":"18","author":"T. Bosse","year":"2009","unstructured":"Bosse, T., Jonker, C.M., van der Meij, L., Sharpanskykh, A., Treur, J.: Specification and Verification of Dynamics in Agent Models. International Journal of Cooperative Information Systems\u00a018, 167\u2013193 (2009)","journal-title":"International Journal of Cooperative Information Systems"},{"key":"7_CR7","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1016\/j.cogsys.2008.11.002","volume":"10","author":"T. Bosse","year":"2009","unstructured":"Bosse, T., Jonker, C.M., Treur, J.: Representation for Reciprocal Agent-Environment Interaction. Cognitive Systems Research Journal\u00a010, 366\u2013376 (2009)","journal-title":"Cognitive Systems Research Journal"},{"key":"7_CR8","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/BF03037077","volume":"3","author":"K.A. Bowen","year":"1985","unstructured":"Bowen, K.A.: Meta-Level Programming and Knowledge Representation. New Generation Computing\u00a03, 359\u2013383 (1985)","journal-title":"New Generation Computing"},{"key":"7_CR9","volume-title":"Logic programming","author":"K. Bowen","year":"1982","unstructured":"Bowen, K., Kowalski, R.: Amalgamating language and meta-language in logic programming. In: Clark, K., Tarnlund, S. (eds.) Logic programming. Academic Press, London (1982)"},{"key":"7_CR10","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1093\/mind\/101.401.17","volume":"101","author":"B. Brewer","year":"1992","unstructured":"Brewer, B.: Self-location and agency. Mind\u00a0101, 17\u201334 (1992)","journal-title":"Mind"},{"key":"7_CR11","volume-title":"The Wisdom of the Body","author":"W.B. Cannon","year":"1932","unstructured":"Cannon, W.B.: The Wisdom of the Body. W.W. Norton and Co., New York (1932)"},{"key":"7_CR12","volume-title":"Model theory","author":"C.C. Chang","year":"1973","unstructured":"Chang, C.C., Keisler, H.J.: Model theory. North Holland, Amsterdam (1973)"},{"issue":"1","key":"7_CR13","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1093\/analys\/58.1.7","volume":"58","author":"A. Clark","year":"1998","unstructured":"Clark, A., Chalmers, D.J.: The Extended Mind. Analysis\u00a058(1), 7\u201319 (1998)","journal-title":"Analysis"},{"key":"7_CR14","volume-title":"Model Checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"7_CR15","volume-title":"The Feeling of What Happens: Body, Emotion and the Making of Consciousness","author":"A. Damasio","year":"2000","unstructured":"Damasio, A.: The Feeling of What Happens: Body, Emotion and the Making of Consciousness. MIT Press, Cambridge (2000)"},{"key":"7_CR16","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1023\/A:1022997315561","volume":"13","author":"C. Dobbyn","year":"2003","unstructured":"Dobbyn, C., Stuart, S.: The Self as an Embedded Agent. Minds and Machines\u00a013, 187\u2013201 (2003)","journal-title":"Minds and Machines"},{"key":"7_CR17","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/s10458-004-3140-4","volume":"10","author":"M. Fisher","year":"2005","unstructured":"Fisher, M.: Temporal Development Methods for Agent-Based Systems. Journal of Autonomous Agents and Multi-Agent Systems\u00a010, 41\u201366 (2005)","journal-title":"Journal of Autonomous Agents and Multi-Agent Systems"},{"key":"7_CR18","unstructured":"Galton, A.: Temporal Logic. Stanford Encyclopedia of Philosophy (2003), http:\/\/plato.stanford.edu\/entries\/logic-temporal\/#2"},{"key":"7_CR19","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1007\/s11229-005-5516-7","volume":"150","author":"A. Galton","year":"2006","unstructured":"Galton, A.: Operators vs Arguments: The Ins and Outs of Reification. Synthese\u00a0150, 415\u2013441 (2006)","journal-title":"Synthese"},{"key":"7_CR20","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511583315","volume-title":"What Minds Can Do: Intentionality in a Non-Intentional World","author":"P. Jacob","year":"1997","unstructured":"Jacob, P.: What Minds Can Do: Intentionality in a Non-Intentional World. Cambridge University Press, Cambridge (1997)"},{"key":"7_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.jtbi.2007.10.017","volume":"251","author":"C.M. Jonker","year":"2008","unstructured":"Jonker, C.M., Snoep, J.L., Treur, J., Westerhoff, H.V., Wijngaards, W.C.A.: BDI-Modelling of Complex Intracellular Dynamics. Journal of Theoretical Biology\u00a0251, 1\u201323 (2008)","journal-title":"Journal of Theoretical Biology"},{"key":"7_CR22","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"},{"key":"7_CR23","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/S1389-0417(02)00103-1","volume":"4","author":"C.M. Jonker","year":"2003","unstructured":"Jonker, C.M., Treur, J.: A Temporal-Interactivist Perspective on the Dynamics of Mental States. Cognitive Systems Research Journal\u00a04, 137\u2013155 (2003)","journal-title":"Cognitive Systems Research Journal"},{"key":"7_CR24","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/S1389-0417(03)00004-4","volume":"4","author":"C.M. Jonker","year":"2003","unstructured":"Jonker, C.M., Treur, J., Wijngaards, W.C.A.: A Temporal Modelling Environment for Internally Grounded Beliefs, Desires and Intentions. Cognitive Systems Research Journal\u00a04, 191\u2013210 (2003)","journal-title":"Cognitive Systems Research Journal"},{"key":"7_CR25","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1016\/S1389-0417(02)00043-8","volume":"3","author":"F. Keijzer","year":"2002","unstructured":"Keijzer, F.: Representation in Dynamical and Embodied Cognition. Cognitive Systems Research Journal\u00a03, 275\u2013288 (2002)","journal-title":"Cognitive Systems Research Journal"},{"key":"7_CR26","volume-title":"Philosophy of Mind","author":"J. Kim","year":"1996","unstructured":"Kim, J.: Philosophy of Mind. Westview Press, Boulder (1996)"},{"key":"7_CR27","volume-title":"Physicalism, or Something Near Enough","author":"J. Kim","year":"2005","unstructured":"Kim, J.: Physicalism, or Something Near Enough. Princeton University Press, Princeton (2005)"},{"key":"7_CR28","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R. Kowalski","year":"1986","unstructured":"Kowalski, R., Sergot, M.: A Logic-Based Calculus of Events. New Generation Computing\u00a04, 67\u201395 (1986)","journal-title":"New Generation Computing"},{"key":"7_CR29","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/S0169-023X(01)00045-3","volume":"40","author":"N.E.M. Leemans","year":"2002","unstructured":"Leemans, N.E.M., Treur, J., Willems, M.: A Semantical Perspective on Verification of Knowledge. Data and Knowledge Engineering\u00a040, 33\u201370 (2002)","journal-title":"Data and Knowledge Engineering"},{"key":"7_CR30","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3190-6","volume-title":"Symbolic Model Checking: An Approach to the State Explosion Problem. PhD thesis, School of Computer Science, Carnegie Mellon University, Pittsburgh, 1992","author":"K.L. McMillan","year":"1993","unstructured":"McMillan, K.L.: Symbolic Model Checking: An Approach to the State Explosion Problem. PhD thesis, School of Computer Science, Carnegie Mellon University, Pittsburgh, 1992. Kluwer Academic Publishers, Dordrecht (1993)"},{"key":"7_CR31","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":"R. Reiter","year":"2001","unstructured":"Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge (2001)"},{"key":"7_CR32","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/978-1-4419-6984-2_11","volume-title":"Specification and Verification of Multi-Agent Systems","author":"A. Sharpanskykh","year":"2010","unstructured":"Sharpanskykh, A., Treur, J.: A Temporal Trace Language for Formal Modelling and Analysis of Agent Systems. In: Dastani, M., Hindriks, K.V., Meyer, J.J.C. (eds.) Specification and Verification of Multi-Agent Systems, pp. 317\u2013352. Springer, Heidelberg (2010)"},{"key":"7_CR33","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1111\/1467-9973.00219","volume":"33","author":"S. Stuart","year":"2002","unstructured":"Stuart, S.: A Radical Notion of Embeddedness: A Logically Necessary Precondition for Agency and Self-Awareness. Journal of Metaphilosophy\u00a033, 98\u2013109 (2002)","journal-title":"Journal of Metaphilosophy"},{"issue":"2","key":"7_CR34","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1080\/09515080050075663","volume":"13","author":"R. Sun","year":"2000","unstructured":"Sun, R.: Symbol grounding: a new look at an old idea. Philosophical Psychology\u00a013(2), 149\u2013172 (2000)","journal-title":"Philosophical Psychology"},{"key":"7_CR35","doi-asserted-by":"publisher","first-page":"645","DOI":"10.1002\/int.10043","volume":"17","author":"J. Treur","year":"2002","unstructured":"Treur, J.: Semantic Formalisation of Interactive Reasoning Functionality. International Journal of Intelligent Systems\u00a017, 645\u2013686 (2002)","journal-title":"International Journal of Intelligent Systems"},{"key":"7_CR36","doi-asserted-by":"crossref","unstructured":"Vila, L., Reichgelt, H.: The Token Reificacion Approach to Temporal Reasoning. Artificial Intelligence\u00a083 (May 1996)","DOI":"10.1016\/0004-3702(94)00093-X"},{"key":"7_CR37","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/0004-3702(80)90015-6","volume":"13","author":"R.W. Weyhrauch","year":"1980","unstructured":"Weyhrauch, R.W.: Prolegomena to a theory of mechanized formal reasoning. Artificial Intelligence\u00a013, 133\u2013170 (1980)","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Transactions on Computational Collective Intelligence III"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-19968-4_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,11]],"date-time":"2019-06-11T05:22:47Z","timestamp":1560230567000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-19968-4_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642199677","9783642199684"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-19968-4_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}