{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T11:41:14Z","timestamp":1762429274829,"version":"3.37.3"},"reference-count":74,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2017,2,8]],"date-time":"2017-02-08T00:00:00Z","timestamp":1486512000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Minds & Machines"],"published-print":{"date-parts":[[2017,9]]},"DOI":"10.1007\/s11023-017-9423-8","type":"journal-article","created":{"date-parts":[[2017,2,8]],"date-time":"2017-02-08T04:24:55Z","timestamp":1486527895000},"page":"521-543","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Algorithmic Iteration for Computational Intelligence"],"prefix":"10.1007","volume":"27","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3264-7100","authenticated-orcid":false,"given":"Giuseppe","family":"Primiero","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,2,8]]},"reference":[{"key":"9423_CR1","unstructured":"Adelson, B., & Soloway, E. (2007). A model of software design. International Journal of Intelligent Systems, 1(3), 195\u2013213, 1986 (republished)."},{"key":"9423_CR2","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1002\/9780470751466.ch7","volume-title":"The Blackwell companion to consciousness","author":"IL Aleksander","year":"2007","unstructured":"Aleksander, I. L. (2007). Machine consciousness. In M. Velmans & S. Schneider (Eds.), The Blackwell companion to consciousness (pp. 87\u201398). New York: Blackwell Publishing."},{"key":"9423_CR3","doi-asserted-by":"crossref","first-page":"412","DOI":"10.1016\/j.ins.2009.12.019","volume":"259","author":"A Arcuri","year":"2014","unstructured":"Arcuri, A., & Yao, X. (2014). Co-evolutionary automatic programming for software development. Information Sciences, 259, 412\u2013432.","journal-title":"Information Sciences"},{"key":"9423_CR4","volume-title":"The nature of mind and other essays","author":"DM Armstrong","year":"1981","unstructured":"Armstrong, D. M. (1981). The nature of mind and other essays. Ithaca: Cornell University Press."},{"key":"9423_CR5","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1016\/j.ic.2013.08.010","volume":"231","author":"JCM Baeten","year":"2013","unstructured":"Baeten, J. C. M., Luttik, B., & van Tilburg, P. J. A. (2013). Reactive turing machines. Information and Computation, 231, 143\u2013166.","journal-title":"Information and Computation"},{"issue":"11","key":"9423_CR6","doi-asserted-by":"crossref","first-page":"1257","DOI":"10.1109\/TSE.1985.231877","volume":"11","author":"R Balzer","year":"1985","unstructured":"Balzer, R. (1985). A 15 year perspective on automatic programming. IEEE Transactions on Software Engineering, 11(11), 1257\u20131268.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9423_CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2269159","volume":"11","author":"RC Barcan","year":"1946","unstructured":"Barcan, R. C. (1946). A functional calculus of first order based on strict implication. Journal of Symbolic Logic, 11, 1\u201316.","journal-title":"Journal of Symbolic Logic"},{"issue":"1","key":"9423_CR8","first-page":"5","volume":"5","author":"D Barstow","year":"1984","unstructured":"Barstow, D. (1984). A perspective on automatic programming. AI Magazine, 5(1), 5\u201327.","journal-title":"AI Magazine"},{"key":"9423_CR9","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/S0747-7171(85)80010-9","volume":"1","author":"AW Biermann","year":"1985","unstructured":"Biermann, A. W. (1985). Automatic programming: A tutorial on formal methodologies. Journal of Symbolic Computation, 1, 119\u2013142.","journal-title":"Journal of Symbolic Computation"},{"issue":"5","key":"9423_CR10","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/S1571-0661(04)80596-6","volume":"70","author":"T Bolander","year":"2002","unstructured":"Bolander, T. (2002). Maximal introspection of agents. Electronic Notes in Theoretical Computer Science, 70(5), 183\u2013198.","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"9423_CR11","unstructured":"Bolander, T. (2003). Logical theories for agent introspection. Ph.D. thesis, informatics and mathematical modelling, Technical University of Denmark."},{"issue":"1","key":"9423_CR12","doi-asserted-by":"crossref","first-page":"9","DOI":"10.3166\/jancl.21.9-34","volume":"21","author":"T Bolander","year":"2011","unstructured":"Bolander, T., & Andersen, M. B. (2011). Epistemic planning for single and multi-agent systems. Journal of Applied Non-Classical Logics, 21(1), 9\u201334.","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"9423_CR13","unstructured":"Bolander, T. (2015). Self-reference. The Stanford encyclopedia of philosophy. In E. N. Zalta (Ed.), Spring Edition. http:\/\/plato.stanford.edu\/archives\/spr2015\/entries\/self-reference\/ ."},{"key":"9423_CR14","volume-title":"Superintelligence: Paths, dangers, strategies","author":"N Bostrom","year":"2014","unstructured":"Bostrom, N. (2014). Superintelligence: Paths, dangers, strategies. New York: Oxford University Press."},{"issue":"1","key":"9423_CR16","doi-asserted-by":"crossref","first-page":"79","DOI":"10.5840\/philtopics20053312","volume":"33","author":"A Byrne","year":"2005","unstructured":"Byrne, A. (2005). Introspection. Philosophical Topics, 33(1), 79\u2013104.","journal-title":"Philosophical Topics"},{"key":"9423_CR17","unstructured":"Chalmers, D. (1996). The conscious mind: In search of a fundamental theory. Oxford: Oxford University Press."},{"issue":"1\u20132","key":"9423_CR18","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0004-3702(99)00047-8","volume":"112","author":"MT Cox","year":"1999","unstructured":"Cox, M. T., & Ram, A. (1999). Introspective multistrategy learning: On the construction of learning strategies. Artificial Intelligence, 112(1\u20132), 1\u201355.","journal-title":"Artificial Intelligence"},{"key":"9423_CR19","volume-title":"Combinatory logic","author":"Haskell B Curry","year":"1958","unstructured":"Curry, Haskell B., & Feys, R. (1958). Combinatory logic (Vol. I). North-Holland: Amsterdam."},{"key":"9423_CR20","doi-asserted-by":"crossref","unstructured":"Daylight, E. G. (2015). Towards a historical notion of \u2018Turing\u2014The Father of Computer Science\u2019. History and Philosophy of Logic, 36(3), 205\u2013228. http:\/\/www.tandfonline.com\/doi\/full\/10.1080\/01445340.2015.1082050 .","DOI":"10.1080\/01445340.2015.1082050"},{"key":"9423_CR15","doi-asserted-by":"crossref","unstructured":"De Bruijn, N. (1983). Automath, a language for mathematics. Department of Mathematics, Eindhoven University of Technology, TH-report 68-WSK-05, 1968. Reprinted in revised form, with two pages commentary. In Automation and Reasoning, vol. 2, Classical papers on computational logic 1967\u20131970, pp. 159\u2013200. Berlin: Springer.","DOI":"10.1007\/978-3-642-81955-1_11"},{"key":"9423_CR21","unstructured":"De Grave, K. (Ed.) (2015). Formalism and intuition in software development. A conversation with Michael A. Jackson conducted by Edgar G. Daylight and Bas van Vlijmen. Conversations, Issue 5, Lonely Scholar."},{"key":"9423_CR23","volume-title":"The varieties of reference","author":"G Evans","year":"1982","unstructured":"Evans, G. (1982). The varieties of reference. Oxford: Oxford University Press."},{"key":"9423_CR24","unstructured":"Fallenstein, B., & Soares, N. (2015). Vingean reflection: Reliable reasoning for self-improving agents. Technical Report 2015-2, Machine Intelligence Research Institute."},{"key":"9423_CR25","doi-asserted-by":"crossref","unstructured":"Fischer, M. J., & Ladner, R. E. (1977). Propositional modal logic of programs. In STOC \u201977 Proceedings of the ninth annual ACM symposium on theory of computing, pp. 286\u2013294 .","DOI":"10.1145\/800105.803418"},{"issue":"3","key":"9423_CR26","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1007\/s11023-008-9113-7","volume":"8","author":"L Floridi","year":"2008","unstructured":"Floridi, L. (2008). The method of levels of abstractions. Minds and Machines, 8(3), 303\u2013329.","journal-title":"Minds and Machines"},{"issue":"2","key":"9423_CR27","first-page":"7","volume":"14","author":"L Floridi","year":"2015","unstructured":"Floridi, L. (2015). Singularitarians, aitheists, and why the problem with artificial intelligence is H.A.L. (humanity at large), not HAL. APA Newsletter, 14(2), 7\u201311.","journal-title":"APA Newsletter"},{"issue":"4","key":"9423_CR28","doi-asserted-by":"crossref","first-page":"1199","DOI":"10.1007\/s11229-014-0610-3","volume":"192","author":"L Floridi","year":"2015","unstructured":"Floridi, L., Fresco, N., & Primiero, G. (2015). On malfunctioning software. Synthese, 192(4), 1199\u20131220.","journal-title":"Synthese"},{"issue":"1","key":"9423_CR29","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1080\/09528130010029794","volume":"13","author":"S Fox","year":"2001","unstructured":"Fox, S., & Leake, D. B. (2001). Introspective reasoning for index refinement in case-based reasoning. Journal of Experimental and Theoretical Artificial Intelligence, 13(1), 63\u201388.","journal-title":"Journal of Experimental and Theoretical Artificial Intelligence"},{"issue":"1","key":"9423_CR30","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/s13347-011-0061-4","volume":"26","author":"N Fresco","year":"2013","unstructured":"Fresco, N. (2013). Information processing as an account of concrete digital computation. Philosophy and Technology, 26(1), 31\u201360.","journal-title":"Philosophy and Technology"},{"issue":"3","key":"9423_CR31","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1007\/s13347-013-0112-0","volume":"26","author":"N Fresco","year":"2013","unstructured":"Fresco, N., & Primiero, G. (2013). Miscomputation. Philosophy and Technology, 26(3), 253\u2013272.","journal-title":"Philosophy and Technology"},{"key":"9423_CR32","doi-asserted-by":"crossref","first-page":"887","DOI":"10.1016\/j.concog.2007.04.005","volume":"17","author":"D Gamez","year":"2008","unstructured":"Gamez, D. (2008). Progress in machine consciousness. Consciousness and Cognition, 17, 887\u2013910.","journal-title":"Consciousness and Cognition"},{"key":"9423_CR33","first-page":"386","volume":"1991","author":"M Gelfond","year":"1991","unstructured":"Gelfond, M. (1991). Strong introspection. AAAI, 1991, 386\u2013391.","journal-title":"AAAI"},{"key":"9423_CR34","unstructured":"Gertler, B. Self-knowledge. The Stanford Encyclopedia of Philosophy (Summer 2015 Edition). In E. N. Zalta (Ed.) http:\/\/plato.stanford.edu\/archives\/sum2015\/entries\/self-knowledge\/ ."},{"issue":"2","key":"9423_CR35","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1145\/564585.564601","volume":"33","author":"S Gilbert","year":"2002","unstructured":"Gilbert, S., & Lynch, N. (2002). Brewer\u2019s conjecture and the feasibility of consistent, available, partition-tolerant web services. Newsletter ACM SIGACT News, 33(2), 51\u201359.","journal-title":"Newsletter ACM SIGACT News"},{"key":"9423_CR36","first-page":"2009","volume":"37\u201347","author":"AK Goel","year":"2009","unstructured":"Goel, A. K., Morse, E. L., Raja, A., Scholtz, J., & Stasko, J. T. (2009). Computational explanations for report generation in intelligence analysis. ExaCt, 37\u201347, 2009.","journal-title":"ExaCt"},{"volume-title":"Artificial general intelligence","year":"2007","key":"9423_CR37","unstructured":"Goertzel, B., & Pennachin, C. (Eds.). (2007). Artificial general intelligence. Berlin: Springer."},{"key":"9423_CR38","doi-asserted-by":"crossref","unstructured":"Good, I. J. (1965) Speculations concerning the First ultraintelligent machine. In F. L. Alt and M. Rubinoff (eds.), Advances in computers (Vol. 6, pp. 31\u201388).","DOI":"10.1016\/S0065-2458(08)60418-0"},{"key":"9423_CR39","doi-asserted-by":"crossref","unstructured":"Gurevich, Y. (2012). What is an algorithm? SOFSEM 2012: Theory and practice of computer science. Lecture Notes in Computer Science, (Vol. 7147, pp. 31\u201342).","DOI":"10.1007\/978-3-642-27660-6_3"},{"key":"9423_CR40","doi-asserted-by":"crossref","unstructured":"Halpern, J. Y., & Vardi, M. (1994). Algorithmic knowledge. In R. Fagin (Ed.), Proceedings of the 5th conference on theoretical aspects of reasoning about knowledge (pp. 255\u2013266). Morgan Kaufmann.","DOI":"10.1016\/B978-1-4832-1453-5.50022-2"},{"key":"9423_CR41","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic logic","author":"D Harel","year":"2000","unstructured":"Harel, D., Kozen, D., & Tiuryn, J. (2000). Dynamic logic. London: MIT Press."},{"key":"9423_CR42","doi-asserted-by":"crossref","unstructured":"Hibbard, B. (2012). Decision support for safe AI design. In J. Bach, B. Goertzel and M. Ikl\u00e9 (Eds.), Artificial general intelligence. Lecture notes in artificial intelligence (Vol. 7716, pp. 117\u201325). New York: Springer.","DOI":"10.1007\/978-3-642-35506-6_13"},{"issue":"1","key":"9423_CR43","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/s13347-014-0184-5","volume":"29","author":"R Hill","year":"2016","unstructured":"Hill, R. (2016). What an algorithm is. Philosophy and Technology, 29(1), 35\u201359.","journal-title":"Philosophy and Technology"},{"key":"9423_CR44","doi-asserted-by":"crossref","first-page":"475","DOI":"10.1007\/BF00558761","volume":"4","author":"J Hintikka","year":"1975","unstructured":"Hintikka, J. (1975). Impossible possible worlds vindicated. Journal of Philosophical Logic, 4, 475\u2013484.","journal-title":"Journal of Philosophical Logic"},{"key":"9423_CR45","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"CAR Hoare","year":"1969","unstructured":"Hoare, C. A. R. (1969). An axiomatic basis for computer programming. Communications of the ACM, 12, 576\u2013580.","journal-title":"Communications of the ACM"},{"key":"9423_CR46","unstructured":"Howard, W. A. (1980). The formulae-as-types notion of construction. In Seldin, Jonathan P., Hindley, J. Roger, To H.B. Curry: Essays on combinatory logic, lambda calculus and formalism (pp. 479\u2013490). Boston, MA: Academic Press (original paper manuscript from 1969)."},{"key":"9423_CR47","volume-title":"Cognitive skills and their acquisition, ch. 8","author":"R Jeffries","year":"1981","unstructured":"Jeffries, R., Turner, A. A., & Polson, P. G. (1981). The processes involved in designing software. In J. R. Anderson (Ed.), Cognitive skills and their acquisition, ch. 8. Hillsdale, NJ: Lawrence Erlbaum."},{"key":"9423_CR48","doi-asserted-by":"crossref","unstructured":"Kant, E. (1985). Understanding and automating algorithm design. IEEE Transactions on Software Engineering, SE-11, 1243\u20131253.","DOI":"10.1109\/TSE.1985.231884"},{"key":"9423_CR49","volume-title":"Algorithm design","author":"J Kleinberg","year":"2005","unstructured":"Kleinberg, J., & Tardos, E. (2005). Algorithm design. Reading, MA: Pearson Addison-Wesley."},{"key":"9423_CR50","first-page":"503","volume":"85","author":"K Konolige","year":"1985","unstructured":"Konolige, K. (1985). A computational theory of belief introspection. IJCAI, 85, 503\u2013508.","journal-title":"IJCAI"},{"key":"9423_CR51","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/0004-3702(95)00063-1","volume":"84","author":"G Lakemeyer","year":"1996","unstructured":"Lakemeyer, G. (1996). Limited reasoning in first-order knowledge bases with full introspection. Artificial Intelligence, 84, 209\u2013255.","journal-title":"Artificial Intelligence"},{"key":"9423_CR52","doi-asserted-by":"crossref","unstructured":"van Leeuwen, J. J., & Wiedermann, J. (2001). Beyond the Turing limit: Evolving interactive systems. In L. Pacholski, P. Ruzicka (Eds.), SOFSEM, in Lecture Notes in Computer Science (vol. 2234, pp. 90\u2013109).","DOI":"10.1007\/3-540-45627-9_8"},{"key":"9423_CR53","unstructured":"McKay, T., Nelson, M. (2014). Propositional attitude reports. In E. N. Zalta (Ed.), The Stanford encyclopedia of philosophy (Spring Edition). http:\/\/plato.stanford.edu\/archives\/spr2014\/entries\/prop-attitude-reports\/ ."},{"key":"9423_CR54","unstructured":"Menzel, C. A. (2016). The Stanford encyclopedia of philosophy (Summer Edition), E. N. Zalta (ed.). http:\/\/plato.stanford.edu\/archives\/sum2016\/entries\/actualism\/ ."},{"key":"9423_CR55","unstructured":"Moschovakis, Y. N. (1994). Sense and denotation as algorithm and value. In J. Oikkonen and J. Vaananen (Eds.), Lecture notes in logic (Vol. 2, pp. 210\u2013249). Berlin: Springer"},{"key":"9423_CR56","doi-asserted-by":"crossref","unstructured":"Moschovakis, Y. N. (2001). What is an algorithm? In B. Engquist and W. Schmid (Eds.), Mathematics unlimited\u20142001 and beyond (pp. 919\u2013936). Berlin: Springer.","DOI":"10.1007\/978-3-642-56478-9_17"},{"key":"9423_CR57","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/s10988-005-6920-7","volume":"29","author":"Y Moschovakis","year":"2006","unstructured":"Moschovakis, Y. (2006). A logical calculus of meaning and synonymy. Linguistics and Philosophy, 29, 27\u201389.","journal-title":"Linguistics and Philosophy"},{"key":"9423_CR58","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511819346","volume-title":"The quest for artificial intelligence: A history of ideas and achievements","author":"N Nilsson","year":"2009","unstructured":"Nilsson, N. (2009). The quest for artificial intelligence: A history of ideas and achievements. Cambridge: Cambridge University Press."},{"key":"9423_CR59","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1086\/522851","volume":"74","author":"G Piccinini","year":"2007","unstructured":"Piccinini, G. (2007). Computing mechanisms. Philosophy of Science, 74, 501\u2013526.","journal-title":"Philosophy of Science"},{"key":"9423_CR60","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780199658855.001.0001","volume-title":"Physical computation\u2014A mechanistic account","author":"G Piccinini","year":"2015","unstructured":"Piccinini, G. (2015). Physical computation\u2014A mechanistic account. Oxford: Oxford University Press."},{"key":"9423_CR61","unstructured":"Pratt, V. R. (1976) Semantical considerations on Floyd-Hoare Logic. In SFCS \u201976 proceedings of the 17th annual symposium on foundations of computer science, pp. 109\u2013121"},{"key":"9423_CR62","doi-asserted-by":"crossref","unstructured":"Primiero, G. (2015). Realist consequence, epistemic inference, computational correctness. In A. Koslow & A. Buchsbaum (Eds.), The road to universal logic, Part of the series Studies in Universal Logic (Vol. 2, pp. 573\u2013588). Springer, Birkhauser.","DOI":"10.1007\/978-3-319-15368-1_26"},{"key":"9423_CR63","unstructured":"Primiero, G. (2016). Information in the philosophy of computer science. In L. Floridi (Ed.), The Routledge handbook of philosophy of information, ch. 10 (pp. 90\u2013106)."},{"issue":"1","key":"9423_CR64","doi-asserted-by":"crossref","first-page":"109","DOI":"10.5840\/monist19998212","volume":"82","author":"WJ Rapaport","year":"1999","unstructured":"Rapaport, W. J. (1999). Implementation is semantic interpretation. The Monist, 82(1), 109\u2013130.","journal-title":"The Monist"},{"issue":"4","key":"9423_CR65","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1080\/09528130500283998","volume":"17","author":"WJ Rapaport","year":"2005","unstructured":"Rapaport, W. J. (2005). Implementation as semantic interpretation: Further thoughts. Journal of Experimental and Theoretical Artificial Intelligence, 17(4), 385\u2013417.","journal-title":"Journal of Experimental and Theoretical Artificial Intelligence"},{"key":"9423_CR66","unstructured":"Schwitzgebel, E. (2014). Introspection. In E. N. Zalta (Ed.), The Stanford encyclopedia of philosophy (Summer Edition). http:\/\/plato.stanford.edu\/archives\/sum2014\/entries\/introspection\/ ."},{"key":"9423_CR67","doi-asserted-by":"crossref","unstructured":"Shoemaker, S. (1994). Self-knowledge and \u2018Inner-Sense\u2019. Philosophy and Phenomenological Research, 54, 249\u2013314. Reprinted in The First Person Perspective and other Essays, OUP, 1996.","DOI":"10.2307\/2108488"},{"key":"9423_CR68","unstructured":"Sonntag, D. (2008). On introspection, metacognitive control and augmented data mining live cycles. 0807.4417[CoRRabs]."},{"key":"9423_CR69","unstructured":"S\u00f8rensen, M. H., & Urzyczyn, P. (2006). Lectures on the Curry-Howard isomorphism. Studies in Logic and the Foundations of Mathematics (Vol. 149). London: Elsevier."},{"key":"9423_CR70","doi-asserted-by":"crossref","unstructured":"Sotala, K., Yampolskiy, R. (2015). Responses to catastrophic AGI risk: A survey. Physica Scripta, 90. Royal Swedish Academy of Sciences, IOP.","DOI":"10.1088\/0031-8949\/90\/1\/018001"},{"key":"9423_CR71","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1007\/BF00413506","volume":"89","author":"R Stalnaker","year":"1991","unstructured":"Stalnaker, R. (1991). The problem of logical omniscience I. Synthese, 89, 425\u2013440.","journal-title":"Synthese"},{"key":"9423_CR22","doi-asserted-by":"crossref","unstructured":"van Ditmarsch, H., & French, T. (2011). On the interactions of awareness and certainty. Australasian Conference on Artificial Intelligence, pp. 727\u2013738.","DOI":"10.1007\/978-3-642-25832-9_74"},{"key":"9423_CR72","doi-asserted-by":"crossref","unstructured":"Voss, P. (2007). Essentials of general intelligence: The direct path to artificial general intelligence In B. Goertzel & C. Pennachin (Eds.),\u00a0Artificial General Intelligence (pp. 131\u2013157). Heidelberg: Springer.","DOI":"10.1007\/978-3-540-68677-4_4"},{"issue":"3","key":"9423_CR74","doi-asserted-by":"crossref","first-page":"236","DOI":"10.1007\/s12559-012-9124-9","volume":"4","author":"J Wiedermann","year":"2012","unstructured":"Wiedermann, J. (2012). A computability argument against superintelligence. Cognitive Computation, 4(3), 236\u2013245.","journal-title":"Cognitive Computation"},{"key":"9423_CR75","doi-asserted-by":"crossref","DOI":"10.1093\/0199241406.001.0001","volume-title":"Knowing our own minds","author":"C Wright","year":"2000","unstructured":"Wright, C. (2000). Self-knowledge: The Wittgensteinean legacy. In C. Wright, B. Smith, & C. MacDonald (Eds.), Knowing our own minds. Oxford: Oxford University Press."}],"container-title":["Minds and Machines"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11023-017-9423-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11023-017-9423-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11023-017-9423-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,18]],"date-time":"2019-09-18T07:57:55Z","timestamp":1568793475000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11023-017-9423-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,2,8]]},"references-count":74,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2017,9]]}},"alternative-id":["9423"],"URL":"https:\/\/doi.org\/10.1007\/s11023-017-9423-8","relation":{},"ISSN":["0924-6495","1572-8641"],"issn-type":[{"type":"print","value":"0924-6495"},{"type":"electronic","value":"1572-8641"}],"subject":[],"published":{"date-parts":[[2017,2,8]]}}}