{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,16]],"date-time":"2026-01-16T09:24:20Z","timestamp":1768555460710,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540261728","type":"print"},{"value":"9783540319276","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11493402_16","type":"book-chapter","created":{"date-parts":[[2010,7,13]],"date-time":"2010-07-13T01:52:26Z","timestamp":1278985946000},"page":"270-288","source":"Crossref","is-referenced-by-count":3,"title":["Representational Content and the Reciprocal Interplay of Agent and Environment"],"prefix":"10.1007","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":"297","reference":[{"key":"16_CR1","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":"16_CR2","volume-title":"Being There: Putting Brain, Body and World Together Again","author":"A. Clark","year":"1997","unstructured":"Clark, A.: Being There: Putting Brain, Body and World Together Again. MIT Press, Cambridge (1997)"},{"key":"16_CR3","unstructured":"Jonker, C.M., Snoep, J.L., Treur, J., Westerhoff, H.V., Wijngaards, W.C.A.: BDI-Modelling of Intracellular Dynamics. In: Williams, A.B., Decker, K. (eds.) Proc. of the First International Workshop on Bioinformatics and Multi-Agent Systems, BIXMAS 2002, pp. 15\u201323 (2002)"},{"key":"16_CR4","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":"16_CR5","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"},{"issue":"3","key":"16_CR6","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(3), 191\u2013210 (2003)","journal-title":"Cognitive Systems Research Journal"},{"key":"16_CR7","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":"16_CR8","volume-title":"Philosophy of Mind","author":"J. Kim","year":"1996","unstructured":"Kim, J.: Philosophy of Mind. Westview Press, Boulder (1996)"},{"key":"16_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/11493402_9","volume-title":"Declarative Agent Languages and Technologies II","author":"L.R. Pokorny","year":"2005","unstructured":"Pokorny, L.R., Ramakrishnan, C.R.: Modeling and Verification of Distributed Autonomous Agents using Logic Programming. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol.\u00a03476, pp. 148\u2013165. Springer, Heidelberg (2005)"},{"key":"16_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/11493402_2","volume-title":"Declarative Agent Languages and Technologies II","author":"P. Pozos Parra","year":"2005","unstructured":"Pozos Parra, P., Nayak, A., Demolombe, R.: Theories of Intentions in the Framework of Situation Calculus. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol.\u00a03476, pp. 19\u201334. Springer, Heidelberg (2005)"},{"key":"16_CR11","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)"},{"issue":"2","key":"16_CR12","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":"16_CR13","doi-asserted-by":"crossref","unstructured":"Sun, R.: Duality of the Mind. Lawrence Erlbaum Associates (2002)","DOI":"10.4324\/9781410604378"},{"key":"16_CR14","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/11493402_10","volume-title":"Declarative Agent Languages and Technologies II","author":"W.W. Vasconcelos","year":"2005","unstructured":"Vasconcelos, W.W.: Norm Verification and Analysis of Electronic Institutions. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol.\u00a03476, pp. 166\u2013182. Springer, Heidelberg (2005)"},{"key":"16_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-45319-9_1","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"M.Y. Vardi","year":"2001","unstructured":"Vardi, M.Y.: Branching vs. Linear Time: Final Showdown. In: Margaria, T., Yi, W. (eds.) TACAS 2001. LNCS, vol.\u00a02031, pp. 1\u201322. Springer, Heidelberg (2001)"},{"key":"16_CR16","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/11493402_8","volume-title":"Declarative Agent Languages and Technologies II","author":"C. Walton","year":"2005","unstructured":"Walton, C.: Model Checking Agent Dialogues. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol.\u00a03476, pp. 132\u2013147. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Declarative Agent Languages and Technologies II"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11493402_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:58:41Z","timestamp":1605643121000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11493402_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540261728","9783540319276"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/11493402_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}