{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,7,5]],"date-time":"2023-07-05T02:10:25Z","timestamp":1688523025468},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2013,10,5]],"date-time":"2013-10-05T00:00:00Z","timestamp":1380931200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Minds & Machines"],"published-print":{"date-parts":[[2014,2]]},"DOI":"10.1007\/s11023-013-9321-7","type":"journal-article","created":{"date-parts":[[2013,10,4]],"date-time":"2013-10-04T06:44:16Z","timestamp":1380869056000},"page":"5-17","source":"Crossref","is-referenced-by-count":3,"title":["On Floridi\u2019s Method of Levels of Abstraction"],"prefix":"10.1007","volume":"24","author":[{"given":"Jan","family":"van Leeuwen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,10,5]]},"reference":[{"issue":"6","key":"9321_CR1","first-page":"1289","volume":"270","author":"M. Burgin","year":"1983","unstructured":"Burgin, M. (1983). Inductive Turing machines. Notices of the Russian Academy of Sciences, 270(6), 1289\u20131293.","journal-title":"Notices of the Russian Academy of Sciences"},{"key":"9321_CR2","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1007\/s11023-007-9061-7","volume":"17","author":"T. Colburn","year":"2007","unstructured":"Colburn, T., & Shute, G. (2007). Abstraction in computer science. Minds and Machines, 17, 169\u2013184.","journal-title":"Minds and Machines"},{"key":"9321_CR3","unstructured":"Cravotta, R. (2004). Driving out complexity with abstraction tools. In Electrical Design News (EDN), June 24, 2004. URL: http:\/\/www.edn.com\/design\/systems-design\/4333448\/Driving-out-complexity-with-abstraction-tools ."},{"issue":"10","key":"9321_CR4","doi-asserted-by":"crossref","first-page":"859","DOI":"10.1145\/355604.361591","volume":"15","author":"E. W. Dijkstra","year":"1972","unstructured":"Dijkstra, E. W. (1972). The humble programmer. Communications of the ACM, 15(10), 859\u2013866.","journal-title":"Communications of the ACM"},{"key":"9321_CR5","unstructured":"Dijkstra, E. W. (1972). Notes on structured programming. In O.-J. Dahl, E. W. Dijkstra & C. A. R. Hoare (Eds.), Structured programming. APIC studies in data processing (Vol. 8, pp. 1\u201382). London: Academic Press."},{"key":"9321_CR6","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780199232383.001.0001","volume-title":"The philosophy of information","author":"L. Floridi","year":"2011","unstructured":"Floridi, L. (2011). The philosophy of information. Oxford: Oxford University Press."},{"key":"9321_CR7","unstructured":"Gurevich, Y. (2012). Foundational analysis of computation. In S. B. Cooper, A. Dawar, B. L\u00f6we (Eds.), How the world computes? Proceedings CiE 2012 (Vol. 7318, pp. 264\u2013275). Lecture Notes in Computer Science."},{"key":"9321_CR8","doi-asserted-by":"crossref","first-page":"681","DOI":"10.1093\/bjps\/55.4.681","volume":"55","author":"M. Hogarth","year":"2004","unstructured":"Hogarth, M. (2004). Deciding arithmetic using SAD computers. British Journal for the Philosophy of Science, 55, 681\u2013691.","journal-title":"British Journal for the Philosophical of Science"},{"key":"9321_CR9","unstructured":"Huang, S. S. (2009). Structural abstraction\u2014A mechanism for modular program construction. Ph.D. thesis, College of Computing, Georgia Institute of Technology."},{"key":"9321_CR10","volume-title":"Introduction to metamathematics","author":"S. C. Kleene","year":"1952","unstructured":"Kleene, S. C. (1952). Introduction to metamathematics. Amsterdam: North-Holland."},{"issue":"4","key":"9321_CR11","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1145\/1232743.1232745","volume":"50","author":"J. Kramer","year":"2007","unstructured":"Kramer, J. (2007). Is abstraction the key to computing? Communications of the ACM, 50(4), 37\u201342.","journal-title":"Communications of the ACM"},{"issue":"3","key":"9321_CR12","doi-asserted-by":"crossref","first-page":"19","DOI":"10.5381\/jot.2010.9.3.c2","volume":"9","author":"D. Lyon","year":"2010","unstructured":"Lyon, D. (2010). Semantic annotation for Java. Journal of Object Technology, 9(3), 19\u201329.","journal-title":"Journal of Object Technology"},{"key":"9321_CR13","unstructured":"Marr, D. (1982). Vision\u2014A computational investigation into the human representation and processing of visual information. San Francisco: W. H. Freeman."},{"key":"9321_CR14","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1007\/BF00361036","volume":"1","author":"R. McClamrock","year":"1991","unstructured":"McClamrock, R. (1991). Marr\u2019s three levels: A re-evaluation. Minds and Machines, 1, 185\u2013196.","journal-title":"Minds and Machines"},{"key":"9321_CR15","unstructured":"Naur, P., & Randell, B. (Eds.). (1969). Software engineering. Report on a conference sponsored by the NATO Science Committee (Garmisch, Germany, 7\u201311 Oct. 1968). Scientific Affairs Division, NATO, Brussels."},{"key":"9321_CR16","unstructured":"Sloman, A. (2009). What cognitive scientists need to know about virtual machines. In N. A. Taatgen & H. van Rijn (Eds.), Proceedings of the 31st annual conference of the Cognitive Science Society (CogSci 2009) (pp. 1210\u20131215). Cognitive Science Society."},{"key":"9321_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-387-49970-3","volume-title":"Hypercomputation\u2014Computing beyond the Church\u2013Turing barrier","author":"A. Syropoulos","year":"2008","unstructured":"Syropoulos, A. (2008). Hypercomputation\u2014Computing beyond the Church\u2013Turing barrier. New York: Springer."},{"key":"9321_CR18","first-page":"230","volume":"42","author":"A. M. Turing","year":"1936","unstructured":"Turing, A. M. (1936). On computable numbers, with an application to the Entscheidungsproblem. Proceedings of the London Mathematical Society, Series 2, 42(1), 230\u2013265.","journal-title":"Proceedings of the London Mathematical Society, Series 2"},{"key":"9321_CR19","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1112\/plms\/s2-45.1.161","volume":"45","author":"A. M. Turing","year":"1939","unstructured":"Turing, A. M. (1939). Systems of logic based on ordinals. Proceedings of the London Mathematical Society, Series 2, 45(1), 161\u2013228.","journal-title":"Proceedings of the London Mathematical Society, Series 2"},{"key":"9321_CR20","first-page":"22","volume":"42","author":"J. Leeuwen van","year":"2009","unstructured":"van Leeuwen, J. (2009). Towards a philosophy of the information and computing sciences. NIAS Newsletter, 42, 22\u201325.","journal-title":"NIAS Newsletter"},{"key":"9321_CR21","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1016\/j.tcs.2011.12.040","volume":"429","author":"J. Leeuwen van","year":"2012","unstructured":"van Leeuwen, J., & Wiedermann, J. (2012). Computation as an unbounded process. Theoretical Computer Science, 429, 202\u2013212.","journal-title":"Theoretical Computer Science"},{"key":"9321_CR22","unstructured":"Wiedermann, J., & van Leeuwen, J. (2013). Rethinking computation. In Proceedings of the 6th AISB Symposium on Computing and Philosophy(pp. 6\u201310). AISB\u00a0Convention, Exeter."}],"container-title":["Minds and Machines"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11023-013-9321-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11023-013-9321-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11023-013-9321-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,5]],"date-time":"2023-07-05T01:41:32Z","timestamp":1688521292000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11023-013-9321-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,10,5]]},"references-count":22,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2014,2]]}},"alternative-id":["9321"],"URL":"https:\/\/doi.org\/10.1007\/s11023-013-9321-7","relation":{},"ISSN":["0924-6495","1572-8641"],"issn-type":[{"value":"0924-6495","type":"print"},{"value":"1572-8641","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,10,5]]}}}