{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:49:54Z","timestamp":1740098994366,"version":"3.37.3"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319701684"},{"type":"electronic","value":"9783319701691"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-70169-1_31","type":"book-chapter","created":{"date-parts":[[2017,11,6]],"date-time":"2017-11-06T02:14:23Z","timestamp":1509934463000},"page":"418-427","source":"Crossref","is-referenced-by-count":2,"title":["Providing Self-aware Systems with Reflexivity"],"prefix":"10.1007","author":[{"given":"Alessandro","family":"Valitutti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giuseppe","family":"Trautteur","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,11,7]]},"reference":[{"key":"31_CR1","unstructured":"Amir, E., Anderson, M., Chaudhri, V.K.: Report on DARPA workshop on self-aware computer systems. Technical report, Artificial Intelligence Center SRI International, Washington DC (2004)"},{"issue":"4","key":"31_CR2","doi-asserted-by":"crossref","first-page":"1036","DOI":"10.1037\/0033-295X.111.4.1036","volume":"111","author":"JR Anderson","year":"2004","unstructured":"Anderson, J.R., Bothell, D., Byrne, M.D., Douglass, S., Lebiere, C., Qin, Y.: An integrated theory of the mind. Psychol. Rev. 111(4), 1036\u20131060 (2004)","journal-title":"Psychol. Rev."},{"key":"31_CR3","unstructured":"Batali, J.: Computational introspection. Technical report AI-M-701, Massachussetts Institute of Technology (MIT), Cambridge, MA, US (1983)"},{"key":"31_CR4","volume-title":"The Calculi of Lambda-Conversion","author":"A Church","year":"1941","unstructured":"Church, A.: The Calculi of Lambda-Conversion. Princeton University Press, Princeton (1941)"},{"issue":"2","key":"31_CR5","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1016\/j.artint.2005.10.009","volume":"169","author":"MT Cox","year":"2005","unstructured":"Cox, M.T.: Metacognition in computation: a selected research review. Artif. Intell. 169(2), 104\u2013141 (2005)","journal-title":"Artif. Intell."},{"key":"31_CR6","volume-title":"The Feeling of What Happens: Body and Emotion in the Making of Consciousness","author":"A Damasio","year":"1999","unstructured":"Damasio, A.: The Feeling of What Happens: Body and Emotion in the Making of Consciousness. Harcourt Brace, New York (1999)"},{"key":"31_CR7","volume-title":"Essentials of Programming Languages","author":"DP Friedman","year":"2008","unstructured":"Friedman, D.P., Wand, M.: Essentials of Programming Languages. The MIT Press, Cambridge (2008)"},{"key":"31_CR8","unstructured":"Graham, P.: The roots of lisp, 18 January 2002. http:\/\/lib.store.yahoo.net\/lib\/paulgraham\/jmc.ps"},{"key":"31_CR9","doi-asserted-by":"crossref","DOI":"10.1353\/book.3280","volume-title":"Concept of Simultaneity: From Antiquity to Einstein and Beyond","author":"M Jammer","year":"2006","unstructured":"Jammer, M.: Concept of Simultaneity: From Antiquity to Einstein and Beyond. The Johns Hopkins University Press, Baltimore (2006)"},{"key":"31_CR10","first-page":"499","volume":"6","author":"PN Johnson-Laird","year":"1983","unstructured":"Johnson-Laird, P.N.: A computational analysis of consciousness. Cogn. Brain Theory 6, 499\u2013508 (1983)","journal-title":"Cogn. Brain Theory"},{"key":"31_CR11","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7688.001.0001","volume-title":"The Soar Cognitive Architecture","author":"J Laird","year":"2012","unstructured":"Laird, J.: The Soar Cognitive Architecture. MIT Press, Cambridge (2012)"},{"key":"31_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1007\/3-540-36554-0_18","volume-title":"Self-Adaptive Software: Applications","author":"C Landauer","year":"2003","unstructured":"Landauer, C., Bellman, K.L.: Self-modeling systems. In: Laddaga, R., Shrobe, H., Robertson, P. (eds.) IWSAS 2001. LNCS, vol. 2614, pp. 238\u2013256. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/3-540-36554-0_18"},{"issue":"8","key":"31_CR13","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1109\/MC.2015.235","volume":"48","author":"PR Lewis","year":"2015","unstructured":"Lewis, P.R., Chandra, A., Faniyi, F., Glette, K., Chen, T., Bahsoon, R., Torresen, J., Yao, X.: Architectural aspects of self-aware and self-expressive computing systems: from psychology to engineering. Computer 48(8), 62\u201370 (2015)","journal-title":"Computer"},{"key":"31_CR14","unstructured":"McCarthy, J.: Programs with common sense. In: Proceedings of the Teddington Conference on the Mechanization of Thought Processes, London (1959)"},{"key":"31_CR15","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1145\/367177.367199","volume":"3","author":"J McCarthy","year":"1960","unstructured":"McCarthy, J.: Recursive functions of symbolic expressions and their computation by machine, part I. Commun. ACM 3, 184\u2013195 (1960)","journal-title":"Commun. ACM"},{"issue":"8","key":"31_CR16","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1145\/960118.808387","volume":"13","author":"J McCarthy","year":"1978","unstructured":"McCarthy, J.: History of LISP. ACM SIGPLAN Not. - Special Issue: Hist. Program. Lang. Conf. 13(8), 217\u2013223 (1978)","journal-title":"ACM SIGPLAN Not. - Special Issue: Hist. Program. Lang. Conf."},{"key":"31_CR17","first-page":"425","volume-title":"Semantic Information Processing","author":"M Minsky","year":"1969","unstructured":"Minsky, M.: Matter, mind, and models. In: Minsky, M. (ed.) Semantic Information Processing, pp. 425\u2013432. MIT Press, Cambridge (1969)"},{"key":"31_CR18","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/s13164-016-0303-6","volume":"8","author":"M Overgaard","year":"2016","unstructured":"Overgaard, M., Mogensen, J.: An integrative view on consciousness and introspection. Rev. Phil. Psych. 8, 129\u2013141 (2016). https:\/\/doi.org\/10.1007\/s13164-016-0303-6","journal-title":"Rev. Phil. Psych."},{"key":"31_CR19","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1111\/phil.12018","volume":"44","author":"F Peters","year":"2013","unstructured":"Peters, F.: Theories of consciousness as reflexivity. Philos. Forum 44, 341\u2013372 (2013)","journal-title":"Philos. Forum"},{"key":"31_CR20","unstructured":"Smith, B.: Reflection and semantics in a procedural language. Technical report 272, MlT Laboratory of Computer Science (1982)"},{"key":"31_CR21","first-page":"127","volume-title":"Proceedings of the 1995 AAAI Spring Symposium on Representing Mental States and Mechanisms","author":"G Stein","year":"1995","unstructured":"Stein, G., Barnden, J.: Towards more flexible and common-sensical reasoning about beliefs. In: Cox, M., Freed, M. (eds.) Proceedings of the 1995 AAAI Spring Symposium on Representing Mental States and Mechanisms, pp. 127\u2013135. AAAI Press, Menlo Park (1995)"},{"key":"31_CR22","first-page":"79","volume-title":"Cognition and Multi-Agent Interaction","author":"R Sun","year":"2006","unstructured":"Sun, R.: The clarion cognitive architecture: extending cognitive modeling to social simulation. In: Sun, R. (ed.) Cognition and Multi-Agent Interaction, pp. 79\u201399. Cambridge University Press, New York (2006)"},{"key":"31_CR23","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1016\/j.cogsys.2005.09.001","volume":"7","author":"R Sun","year":"2006","unstructured":"Sun, R., Zhang, X., Mathews, R.: Modeling meta-cognition in a cognitive architecture. Cogn. Syst. Res. 7, 327\u2013338 (2006)","journal-title":"Cogn. Syst. Res."},{"issue":"7","key":"31_CR24","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1109\/MC.2015.205","volume":"48","author":"J Torresen","year":"2015","unstructured":"Torresen, J., Plessl, C., Yao, X.: Self-aware and self-expressive systems. Computer 48(7), 18\u201320 (2015)","journal-title":"Computer"},{"key":"31_CR25","first-page":"165","volume":"3\u20134","author":"G Trautteur","year":"2004","unstructured":"Trautteur, G.: Some remarks about consciousness. Networks 3\u20134, 165\u2013172 (2004)","journal-title":"Networks"},{"issue":"4","key":"31_CR26","first-page":"779","volume":"4","author":"A Valdemir","year":"2007","unstructured":"Valdemir, A., Neto, J.: Adaptivity in programming languages. Trans. Inf. Sci. Appl. 4(4), 779\u2013786 (2007)","journal-title":"Trans. Inf. Sci. Appl."},{"key":"31_CR27","unstructured":"Van Gulick, R.: Consciousness. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy. The Metaphysics Research Lab, Spring 2014 edn. (2014)"},{"issue":"1","key":"31_CR28","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/0004-3702(80)90015-6","volume":"13","author":"R Weyhrauch","year":"1980","unstructured":"Weyhrauch, R.: Prolegomena to a theory of formal reasoning. Artif. Intell. 13(1), 133\u2013176 (1980)","journal-title":"Artif. Intell."}],"container-title":["Lecture Notes in Computer Science","AI*IA 2017 Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-70169-1_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,28]],"date-time":"2023-08-28T00:45:20Z","timestamp":1693183520000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-70169-1_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319701684","9783319701691"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-70169-1_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}