{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T05:16:07Z","timestamp":1737436567603,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540735793"},{"type":"electronic","value":"9783540735809"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-73580-9_29","type":"book-chapter","created":{"date-parts":[[2007,8,23]],"date-time":"2007-08-23T05:52:00Z","timestamp":1187848320000},"page":"375-390","source":"Crossref","is-referenced-by-count":1,"title":["Abstraction and Complexity Measures"],"prefix":"10.1007","author":[{"given":"Lorenza","family":"Saitta","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Daniel","family":"Zucker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"29_CR1","series-title":"Lecture Notes in Artificial Intelligence","first-page":"1","volume-title":"Abstraction, Reformulation and Approximation","author":"S. Anderson","year":"2005","unstructured":"Anderson, S., Revesz, P.Z.: Verifying the incorrectness of programs and automata. In: Zucker, J.-D., Saitta, L. (eds.) SARA 2005. LNCS (LNAI), vol.\u00a03607, pp. 1\u201313. Springer, Heidelberg (2005)"},{"key":"29_CR2","doi-asserted-by":"crossref","unstructured":"Bennett, C.: Logical depth and physical complexity. In: Bennett, C. (ed.) The Universal Turing Machine: A Half-Century Survey, pp. 227\u2013257 (1988)","DOI":"10.1093\/oso\/9780198537748.003.0008"},{"issue":"2","key":"29_CR3","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1109\/TSMCC.2006.871139","volume":"36","author":"N. Bredeche","year":"2006","unstructured":"Bredeche, N., Shi, Z., Zucker, J.-D.: Perceptual learning and abstraction in machine learning: an application to autonomous robotics. IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews\u00a036(2), 172\u2013181 (2006)","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews"},{"issue":"1-2","key":"29_CR4","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1016\/j.artint.2004.01.004","volume":"162","author":"B.Y. Choueiry","year":"2006","unstructured":"Choueiry, B.Y., Iwasaki, Y., McIlraith, S.: Towards a practical theory of reformulation for reasoning about physical systems. Artificial Intelligence\u00a0162(1-2), 145\u2013204 (2006)","journal-title":"Artificial Intelligence"},{"key":"29_CR5","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1016\/S0375-9601(97)00855-4","volume":"238","author":"D.P. Feldman","year":"1998","unstructured":"Feldman, D.P., Crutchfield, J.P.: Measures of statistical complexity: Why? Physics Letters A\u00a0238, 244\u2013252 (1998)","journal-title":"Physics Letters A"},{"key":"29_CR6","volume-title":"International Conference on Machine Learning","author":"T. Ellman","year":"1993","unstructured":"Ellman, T.: Synthesis of abstraction hierarchies for constraint satisfaction by clustering approximatively equivalent objects. In: International Conference on Machine Learning, Amherst, MA, Morgan Kaufmann, Seattle, Washington, USA (1993)"},{"issue":"1","key":"29_CR7","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1002\/(SICI)1099-0526(199609\/10)2:1<44::AID-CPLX10>3.0.CO;2-X","volume":"2","author":"M. Gell-Mann","year":"1996","unstructured":"Gell-Mann, M., Lloyd, S.: Information measures, effective complexity, and total information. Complexity\u00a02(1), 44\u201352 (1996)","journal-title":"Complexity"},{"key":"29_CR8","unstructured":"Giordana, A., Saitta, L.: Abstraction: a general framework for learning. In: Working notes of the AAAI Workshop on Automated Generation of Approximations and Abstraction, pp. 245\u2013256, Boston, MA (1990)"},{"issue":"2-3","key":"29_CR9","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1016\/0004-3702(92)90021-O","volume":"56","author":"F. Giunchiglia","year":"1992","unstructured":"Giunchiglia, F., Walsh, T.: A theory of abstraction. Artificial Intelligence\u00a056(2-3), 323\u2013390 (1992)","journal-title":"Artificial Intelligence"},{"key":"29_CR10","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/S0010-0277(97)00047-4","volume":"65","author":"R. Goldstone","year":"1998","unstructured":"Goldstone, R., Barsalou, L.: Reuniting perception and conception. Cognition\u00a065, 231\u2013262 (1998)","journal-title":"Cognition"},{"key":"29_CR11","unstructured":"Hobbs, J.: Granularity. In: Int. Joint Conf. on Artificial Intelligence, pp. 432\u2013435 (1985)"},{"key":"29_CR12","doi-asserted-by":"crossref","unstructured":"Holte, R.C., Grajkowski, J., Tanner, B.: Hierarchical heuristic search revisited. In: SARA, pp. 121\u2013133 (2005)","DOI":"10.1007\/11527862_9"},{"key":"29_CR13","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1016\/0004-3702(95)00111-5","volume":"85","author":"R.C. Holte","year":"1996","unstructured":"Holte, R.C., Mkadmi, T., Zimmer, R.M., MacDonald, A.J.: Speeding up problem-solving by abstraction: A graph-oriented approach. Artificial Intelligence\u00a085, 321\u2013361 (1996)","journal-title":"Artificial Intelligence"},{"key":"29_CR14","unstructured":"Imielinski, T.: Domain abstraction and limited reasoning. In: Proceedings of the Intern. Joint Conf. on Artificial Intelligence, pp. 997\u20131003 (1987)"},{"key":"29_CR15","doi-asserted-by":"publisher","first-page":"1459","DOI":"10.1103\/PhysRevE.59.1459","volume":"59","author":"J.S. Shiner","year":"1999","unstructured":"Shiner, J.S., Davison, M., Landsberg, P.T.: Simple measure for complexity. Physical review E\u00a059, 1459\u20131464 (1999)","journal-title":"Physical review E"},{"key":"29_CR16","doi-asserted-by":"crossref","unstructured":"Knoblock, C.: Learning hierarchies of abstraction spaces. In: 6th International Workshop on Machine Learning, pp. 241\u2013245, Ithaca, NY (1989)","DOI":"10.1016\/B978-1-55860-036-2.50069-2"},{"key":"29_CR17","first-page":"1087","volume":"1","author":"M. Koppel","year":"1987","unstructured":"Koppel, M.: Complexity, depth and sophistication. Complex Systems\u00a01, 1087\u20131091 (1987)","journal-title":"Complex Systems"},{"key":"29_CR18","unstructured":"Lowry, M.: The abstraction\/implementation model of problem reformulation. In: Int. Joint Conf. on Artificial Intelligence, pp. 1004\u20131010, Milano, Italy (1987)"},{"key":"29_CR19","unstructured":"Marczyk, J., Deshpande, B.: Measuring and tracking complexity in science. In: Proceedings of the 6th International Conference on Complex Systems (2006)"},{"key":"29_CR20","unstructured":"Mustiere, S., Zucker, J.-D., Saitta, L.: An abstraction-based machine learning approach to cartographic generalization. In: Spatial Data Handling 2000 (SDH), pp. 150\u2013163, Beijing, China (2000)"},{"key":"29_CR21","unstructured":"Nayak, P., Levy, A.: A semantic theory of abstraction. In: IJCAI 1995. International Joint Conference on Artificial Intelligence, pp. 192\u2013196 (1995)"},{"key":"29_CR22","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/0004-3702(81)90015-1","volume":"16","author":"D. Plaisted","year":"1981","unstructured":"Plaisted, D.: Theorem proving with abstraction. Artificial Intelligence\u00a016, 47\u2013108 (1981)","journal-title":"Artificial Intelligence"},{"key":"29_CR23","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1016\/0375-9601(95)00867-5","volume":"209","author":"R. Lopez-Ruiz","year":"1995","unstructured":"Lopez-Ruiz, R., Mancini, H., Calbet, X.: A statistical measure of complexity. Physics Letters A\u00a0209, 209\u2013321 (1995)","journal-title":"Physics Letters A"},{"key":"29_CR24","doi-asserted-by":"crossref","unstructured":"Ravishankar, K.C., Prasad, B.G., Gupta, S.K., Biswas, K.K.: Dominant color region based indexing for cbir. In: iciap, 00:887 (1999)","DOI":"10.1109\/ICIAP.1999.797707"},{"key":"29_CR25","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/0004-3702(74)90026-5","volume":"5","author":"E. Sacerdoti","year":"1974","unstructured":"Sacerdoti, E.: Planning in a hierarchy of abstraction spaces. Artificial Intelligence\u00a05, 115\u2013135 (1974)","journal-title":"Artificial Intelligence"},{"key":"29_CR26","unstructured":"Saitta, L., Torasso, P., Torta, G.: Formalizing the abstraction process in model-based diagnosis. Tr cs-2006\/34, Univ. of Torino, Italy (2006)"},{"key":"29_CR27","unstructured":"Saitta, L., Zucker, J-D.: Semantic abstraction for concept representation and learning. In: Proc. of the Intern. Symposium on Approximation, Reformulation and Abstraction (Asilomar, CA) (1998)"},{"issue":"8","key":"29_CR28","doi-asserted-by":"publisher","first-page":"761","DOI":"10.1080\/088395101317018591","volume":"15","author":"L. Saitta","year":"2001","unstructured":"Saitta, L., Zucker, J.-D.: A model of abstraction in visual perception. Applied Artificial Intelligence\u00a015(8), 761\u2013776 (2001)","journal-title":"Applied Artificial Intelligence"},{"key":"29_CR29","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-0-387-33532-2_2","volume-title":"Complex Systems Science in Biomedicine","author":"C. Shalizi","year":"2006","unstructured":"Shalizi, C.: Methods and techniques of complex systems science: An overview. In: Complex Systems Science in Biomedicine, pp. 33\u2013114. Springer, New York (2006)"},{"key":"29_CR30","first-page":"617","volume-title":"Developments in Spatial Data Handling","author":"D. Sheeren","year":"2004","unstructured":"Sheeren, D., Mustiere, S., Zucker, J.-D.: Consistency assessment between multiple representations of geographical databases: a specification-based approach. In: Fisher, P. (ed.) Developments in Spatial Data Handling, pp. 617\u2013628. Springer, Heidelberg (2004)"},{"key":"29_CR31","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/978-1-4613-1523-0_8","volume-title":"Change of Representation and Inductive Bias","author":"D. Subramanian","year":"1990","unstructured":"Subramanian, D.: A theory of justified reformulations. In: Paul, D. (ed.) Change of Representation and Inductive Bias, pp. 147\u2013167. Kluwer Academic Publishers, Boston (1990)"},{"key":"29_CR32","unstructured":"Tenenberg, J.: Preserving consistency across abstraction mappings. In: Proceedings of IJCAI-87, pp. 1011\u20131014, Milan, Italy (1987)"},{"key":"29_CR33","doi-asserted-by":"publisher","first-page":"4617","DOI":"10.1109\/TIT.2006.881729","volume":"52","author":"P. Vitanyi","year":"2006","unstructured":"Vitanyi, P.: Meaningful information. IEEE Transactions on Information Theory\u00a052, 4617\u20134630 (2006)","journal-title":"IEEE Transactions on Information Theory"},{"key":"29_CR34","unstructured":"Wolpert, D., Macready, W.: Self-dissimilarity: An empirically observable complexity measure. In: Proc. of the Intern. Conf. on Complex Systems (Nashua, NH) (1997)"}],"container-title":["Lecture Notes in Computer Science","Abstraction, Reformulation, and Approximation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73580-9_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T15:01:47Z","timestamp":1737385307000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73580-9_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540735793","9783540735809"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73580-9_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}