{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:16:02Z","timestamp":1725484562983},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540678397"},{"type":"electronic","value":"9783540449140"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44914-0_19","type":"book-chapter","created":{"date-parts":[[2007,5,22]],"date-time":"2007-05-22T17:26:14Z","timestamp":1179854774000},"page":"291-301","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Abstraction and Phase Transitions in Relational Learning"],"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","published-online":{"date-parts":[[2000,8,11]]},"reference":[{"key":"19_CR1","unstructured":"Choueiry, B., S. McIlraith, Y. Iwasaki, T. Loeser, T. Neller, R. Engelmore and R. Fikes (1998). \u201cThoughts on a Practical Theory of Reformulation for Reasoning about Physical Systems\u201d. In Proc. SARA\u2019 98, Pacific Grove, California."},{"key":"19_CR2","unstructured":"Ellman, T. (1993). Hillclimbing in a Hierarchy of Abstraction Spaces.Rutgers University."},{"key":"19_CR3","volume-title":"Human Problem Solving","author":"A. Newell","year":"1972","unstructured":"Newell, A. and H. Simon (1972). Human Problem Solving. Englewood Cliff, NJ: Prentice-Hall."},{"key":"19_CR4","first-page":"131","volume-title":"Methods of Heuristics","author":"S. Amarel","year":"1983","unstructured":"Amarel, S. (1983). \u201cRepresentation in Problem Solving\u201d. In Methods of Heuristics. Lawrence Erlbaum: Palo Alto,CA, p. 131\u2013171."},{"key":"19_CR5","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/0004-3702(80)90033-8","volume":"14","author":"R.E. Korf","year":"1980","unstructured":"Korf, R.E. (1980). \u201cTowards a Model for Representation Change\u201d. Artificial Intelligence, 14, 41\u201378.","journal-title":"Artificial Intelligence"},{"key":"19_CR6","unstructured":"Cheeseman P., Kanefsky B., and Taylor W.M. (1991). \u201cWhere the Really Hard Problems Are\u201d. In Proc. 12th Int. Joint Confon Artificial Intelligence (Sidney, Australia), pp. 331\u2013337."},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"Hogg, T., B.A. Huberman and C.P. Williams, (Eds). (1996). Artificial Intelligence, Special Issue on Frontiers in Problem Solving: Phase Transitions and Complexity, 81 (1\u20132).","DOI":"10.1016\/0004-3702(95)00044-5"},{"key":"19_CR8","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1016\/S0004-3702(96)00030-6","volume":"81","author":"I.P. Gent","year":"1996","unstructured":"Gent, I.P. and Walsh T. (1996). \u201cThe TSP Phase Transition. Artificial Intelligence, 81, 349\u2013358.","journal-title":"Artificial Intelligence"},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"Giordana, A. and Saitta L. (2000). \u201cPhase Transitions in Relational Learning\u201d. Machine Learning, In press.","DOI":"10.1023\/A:1007620705405"},{"key":"19_CR10","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(95)00048-8","volume":"81","author":"P. Prosser","year":"1996","unstructured":"Prosser, P. (1996). \u201cAn Empirical Study of Phase Transitions in Binary Constraint Satisfaction Problems\u201d. Artificial Intelligence, 81, 81\u2013110.","journal-title":"Artificial Intelligence"},{"key":"19_CR11","first-page":"257","volume":"16","author":"T. Dietterich","year":"1981","unstructured":"Dietterich, T. and R. Michalski, Inductive Learning of Structural Description. Artificial Intelligence, 1981. 16: p. 257\u2013294.","journal-title":"Inductive Learning of Structural Description. Artificial Intelligence"},{"key":"19_CR12","first-page":"221","volume":"27","author":"A. Giordana","year":"1998","unstructured":"Giordana A., Neri F., Saitta L., and Botta M. (1998). \u201cIntegrating Multiple Learning Strategies in First Order Logics\u201d. Machine Learning, 27, 221\u2013226.","journal-title":"Machine Learning"},{"volume-title":"Inductive Logic Programming","year":"1992","key":"19_CR13","unstructured":"Muggleton S. (Ed.) (1992). Inductive Logic Programming, Academic Press, London. UK."},{"key":"19_CR14","volume-title":"Proc. Int. Conf. on Machine Learning","author":"A. Giordana","year":"2000","unstructured":"Giordana, A., Saitta L., Sebag M., and Botta M (2000). \u201cConcept Generalization as Search in a Critical Region\u201d. In Proc. Int. Conf. on Machine Learning. Stanford,US: MorganKaufmann."},{"key":"19_CR15","first-page":"323","volume":"56","author":"G. F","year":"1992","unstructured":"Giunchiglia, F. and T. Walsh (1992). \u201cA Theory of Abstraction\u201d. Artificial Intelligence, 56, 323\u2013390.","journal-title":"Artificial Intelligence"},{"key":"19_CR16","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0004-3702(94)90104-X","volume":"70","author":"C.P. Williams","year":"1994","unstructured":"Williams, C.P. and Hogg T. (1994). \u201cExploiting the Deep Structure of Constraint Problems\u201d. Artificial Intelligence, 70, 73\u2013117.","journal-title":"Artificial Intelligence"},{"key":"19_CR17","unstructured":"Botta, M., Giordana A. and Saitta L. (1999). \u201cRelational Learning: Hard Problems and Phase Transitions\u201d. In Proc. 16th Int. Joint Conf. on Artificial Intelligence. Stockholm,Sweden."},{"key":"19_CR18","volume-title":"Symposium on Abstraction, Reformulation and Approximation (SARA\u201998)","author":"L. Saitta","year":"1998","unstructured":"Saitta, L. and Zucker J.-D. (1998). \u201cSemantic Abstraction for Concept Representation and Learning\u201d. In Symposium on Abstraction, Reformulation and Approximation (SARA\u201998), Asilomar Conference Center, Pacific Grove,California."},{"key":"19_CR19","unstructured":"Nayak, P. and A. Levy (1995). \u201cA Semantic Theory of Abstraction\u201d. In Proc. IJCAI-95."},{"key":"19_CR20","unstructured":"Imielinski, T. (1987). \u201cDomain Abstraction and Limited Reasoning\u201d, In Proc. Int. Joint Conf. on Artificial Intelligence (Milano, Italy, 1987), pp. 997\u20131003."},{"key":"19_CR21","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, 1981. 16: p. 47\u2013108.","journal-title":"Artificial Intelligence"},{"key":"19_CR22","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/0004-3702(95)00054-2","volume":"81","author":"W. Zhang","year":"1996","unstructured":"Zhang W., and Korf R.E. (1996). \u201cA Study of Complexity Transition on the Asymmetric Travelling Salesman Problem\u201d. Artificial Intelligence, 81, 223\u2013239.","journal-title":"Artificial Intelligence"},{"key":"19_CR23","unstructured":"Zucker J-D. (1996). \u201cRepresentation Changes for Efficient Learning in Structural Domains\u201d. In Proc. 13\n                           \n                    th\n                  \n                           Int. Conf. on Machine Learning (Bari, Italy), pp. 543\u2013551."},{"key":"19_CR24","first-page":"239","volume":"5","author":"Q. R","year":"1990","unstructured":"Quinlan R. (1990). \u201cLearning Logical Definitions from Relations\u201d, Machine Learning, 5, 239\u2013266.","journal-title":"Machine Learning"},{"key":"19_CR25","unstructured":"Giordana A., Roverso D., and Saitta L. (1991). \u201cAbstracting Background Knowledge for Concept Learning\u201d In Proc. EWSL-91, Porto, Portugal."},{"key":"19_CR26","unstructured":"Giordana, A. and Saitta L. (1990). \u201cAbstraction: A General Framework for Learning\u201d. In AAAI Workshop on Automated Generation of Approximations and Abstraction. Boston, MA."}],"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\/3-540-44914-0_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T09:34:23Z","timestamp":1558258463000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44914-0_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540678397","9783540449140"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-44914-0_19","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]},"assertion":[{"value":"11 August 2000","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}