{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:05:50Z","timestamp":1725663950666},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540547129"},{"type":"electronic","value":"9783540464433"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54712-6_236","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T23:09:58Z","timestamp":1330211398000},"page":"238-247","source":"Crossref","is-referenced-by-count":0,"title":["Extending inverse resolution to build up abstractions"],"prefix":"10.1007","author":[{"given":"A.","family":"Giordana","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L.","family":"Saitta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Finelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Paderni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.","family":"Roverso","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"24_CR1","volume-title":"Human Problem Solving","author":"A. Newell","year":"1972","unstructured":"A. Newell, H. Simon: Human Problem Solving, Prentice-Hall, (Englewood Cliffs, NJ, 1972)."},{"key":"24_CR2","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/0004-3702(81)90015-1","volume":"16","author":"D. Plaisted","year":"1981","unstructured":"D. Plaisted: \u201cTheorem Proving with Abstraction\u201d, Artificial Intelligence, 16, 47\u2013108 (1981).","journal-title":"Artificial Intelligence"},{"key":"24_CR3","unstructured":"J. Tenenberg: \u201cPreserving Consistency across Abstraction Mappings\u201d, Proc IJCAI-87, (Milano, Italy, 1987), pp. 1011\u20131014."},{"key":"24_CR4","unstructured":"C. Knoblock: \u201cAbstractiong the Tower of Hanoi\u201d, Working notes of the AGAA-90 Workshop, (Boston, MA, 1990), pp. 13\u201323."},{"key":"24_CR5","doi-asserted-by":"crossref","unstructured":"C. Knoblock: \u201cLearning Hierarchies of Abstraction Spaces\u201d, Proc. 6th Int. Workshop on Machine Learning (Ithaca, NY, 1989).","DOI":"10.1016\/B978-1-55860-036-2.50069-2"},{"key":"24_CR6","unstructured":"G. Drastal, G. Czako, S. Raatz: \u201cInduction in an Abstraction Space\u201d, Proc. IJCAI-89, (Detroit, MI, 1989), pp. 708\u2013712."},{"key":"24_CR7","unstructured":"I. Mozetic, \u201cAbstractions in Model-Based Diagnosis\u201d, Working notes of the AGAA-90 Workshop, (Boston, MA, 1990), pp. 64\u201375."},{"key":"24_CR8","unstructured":"A.Giordana, L.Saitta, \u201cAbstraction: a General Framework for Learning\u201d, Working notes of the AGAA-90 Workshop, (Boston, MA, 1990), pp. 245\u2013256."},{"key":"24_CR9","volume-title":"Report CMU-CS-89-189","author":"J. Carbonell","year":"1989","unstructured":"J. Carbonell, C. Knoblock, S. Minton: \u201cPRODIGY: An Integrated Architecture for Planning and Learning\u201d, Report CMU-CS-89-189, Carnegie-Mellon Univ. (Pittsbugh, PA), (1989)."},{"key":"24_CR10","first-page":"471","volume-title":"Machine Learning: An AI Approach, Vol. II","author":"R. Stepp","year":"1985","unstructured":"R.Stepp, R. Michalski, \u201cConceptual Clustering, Inventing Goal-Oriented Classifications of Structured Objects\u201d, in Michalski R., Carbonell J. & Mitchell T.(Eds) Machine Learning: An AI Approach, Vol. II. Los Altos, CA: Morgan Kaufmann (1985), pp. 471\u2013498."},{"key":"24_CR11","first-page":"107","volume-title":"Machine Learning: An AI Approach, Vol. II","author":"P. Utgoff","year":"1985","unstructured":"P.Utgoff, \u201cShift of Bias For Inductive Concept Learning\u201d, in Michalski R., Carbonell J. & Mitchell T.(Eds) Machine Learning: An AI Approach, Vol. II. Los Altos, CA: Morgan Kaufmann (1985), pp. 107\u2013148."},{"key":"24_CR12","doi-asserted-by":"crossref","unstructured":"S.Muggleton, W.Buntine, \u201cMachine Invention of First-Order Predicates by Inverting Resolution\u201d, Proc. Fifth Int. Conf. on Machine Learning, (Ann Arbor, MI, 1988), pp.339\u2013352.","DOI":"10.1016\/B978-0-934613-64-4.50040-2"},{"key":"24_CR13","doi-asserted-by":"crossref","unstructured":"C.Rouveirol, J.F. Puget,\u201cBeyond Inversion of Resolution\u201d, Proc. Seventh Int. Conf. on Machine Learning, (Austin, TE, 1990). pp. 122\u2013131.","DOI":"10.1016\/B978-1-55860-141-3.50018-3"},{"key":"24_CR14","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/0004-3702(88)90001-X","volume":"36","author":"W. Buntine","year":"1988","unstructured":"W. Buntine: \u201cGeneralized Subsumption and its Applications to Induction and Redundancy\u201d, Artificial Intelligence, 36, 149\u2013176 (1988).","journal-title":"Artificial Intelligence"},{"key":"24_CR15","unstructured":"G.Plotkin, \u201cAutomatic Methods of Inductive Inference\u201d, Doctoral thesis, Edimburg University."},{"key":"24_CR16","unstructured":"S. Muggleton, \u201cDuce, an Oracle Based Approach to Constructive Induction,\u201d in Proc IJCAI-87, (Milano, Italy, 1987), pp. 287\u2013292."}],"container-title":["Lecture Notes in Computer Science","Trends in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54712-6_236.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:23:55Z","timestamp":1619573035000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54712-6_236"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540547129","9783540464433"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-54712-6_236","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}