{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,11]],"date-time":"2025-07-11T10:42:10Z","timestamp":1752230530568},"reference-count":15,"publisher":"Elsevier","isbn-type":[{"value":"9781558602007","type":"print"}],"license":[{"start":{"date-parts":[[1991,1,1]],"date-time":"1991-01-01T00:00:00Z","timestamp":662688000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1016\/b978-1-55860-200-7.50032-5","type":"book-chapter","created":{"date-parts":[[2014,6,30]],"date-time":"2014-06-30T06:08:51Z","timestamp":1404108531000},"page":"142-146","source":"Crossref","is-referenced-by-count":6,"title":["Abstracting Concepts with Inverse Resolution"],"prefix":"10.1016","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":"D.","family":"Roverso","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/B978-1-55860-200-7.50032-5_bib1","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/0004-3702(88)90001-X","article-title":"\u201cGeneralized Subsumption and its Applications to Induction and Redundancy\u2015","volume":"36","author":"Buntine","year":"1988","journal-title":"Artificial Intelligence"},{"key":"10.1016\/B978-1-55860-200-7.50032-5_bib2","series-title":"Logic and Databases","first-page":"293","article-title":"\u201cNegation as failure\u2015","author":"Clark","year":"1978"},{"key":"10.1016\/B978-1-55860-200-7.50032-5_bib3","unstructured":"G. Drastal, G. Czako & S. Raatz (1989). \u201cInduction in an Abstraction Space\u2015, Proc. IJCAI-89, (Detroit, MI), pp. 708\u2013712."},{"key":"10.1016\/B978-1-55860-200-7.50032-5_bib4","unstructured":"A. Giordana & L. Saitta (1990). \u201cAbstraction: a General Framework for Learning\u2015, Working notes of the AGAA-90 Workshop, (Boston, MA), pp. 245\u2013256."},{"key":"10.1016\/B978-1-55860-200-7.50032-5_bib5","doi-asserted-by":"crossref","unstructured":"C. Knoblock (1989). \u201cLearning Hierarchies of Abstraction Spaces\u2015, Proc. 6th Int. Workshop on Machine Learning (Ithaca, NY), pp. 241\u2013245.","DOI":"10.1016\/B978-1-55860-036-2.50069-2"},{"key":"10.1016\/B978-1-55860-200-7.50032-5_bib6","unstructured":"C. Knoblock (1990). \u201cAbstractiong the Tower of Hanoi\u2015, Working notes of the AGAA-90 Workshop, (Boston, MA, pp. 13\u201323."},{"key":"10.1016\/B978-1-55860-200-7.50032-5_bib7","unstructured":"I. Mozetic (1990). \u201cAbstractions in Model-Based Diagnosis\u2015, Working notes of the AGAA-90 Workshop, (Boston, MA), pp. 64\u201375."},{"key":"10.1016\/B978-1-55860-200-7.50032-5_bib8","unstructured":"S. Muggleton (1987). \u201cDuce, an Oracle Based Approach to Constructive Induction\u2015, Proc IJCAI-87, (Milano, Italy), pp. 287\u2013292."},{"key":"10.1016\/B978-1-55860-200-7.50032-5_bib9","unstructured":"S. Muggleton & W.Buntine (1988). \u201cMachine Invention of First-Order Predicates by Inverting Resolution\u2015, Proc. Fifth Int. Conf. on Machine Learning, (Ann Arbor, MI), pp. 339\u2013352."},{"key":"10.1016\/B978-1-55860-200-7.50032-5_bib10","series-title":"Human Problem Solving","author":"Newell","year":"1972"},{"key":"10.1016\/B978-1-55860-200-7.50032-5_bib11","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/0004-3702(81)90015-1","article-title":"\u201cTheorem Proving with Abstraction\u2015","volume":"16","author":"Plaisted","year":"1981","journal-title":"Artificial Intelligence"},{"key":"10.1016\/B978-1-55860-200-7.50032-5_bib12","first-page":"101","article-title":"\u201cA Note on Inductive Generalisation\u2015","author":"Plotkin","year":"1970","journal-title":"Machine Intelligence"},{"key":"10.1016\/B978-1-55860-200-7.50032-5_bib13","series-title":"Logic and Databases","first-page":"55","article-title":"\u201cOn Closed World Databases\u2015","author":"Reiter","year":"1978"},{"key":"10.1016\/B978-1-55860-200-7.50032-5_bib14","unstructured":"C. Rouveirol & J.F. Puget (1990). \u201cBeyond Inversion of Resolution\u2015, Proc Seventh Int. Conf. on Machine Learning, (Austin, TX). pp.122\u2013131."},{"key":"10.1016\/B978-1-55860-200-7.50032-5_bib15","unstructured":"J. Tenenberg (1987). \u201cPreserving Consistency across Abstraction Mappings\u2015, Proc IJCAI-87, (Milano, Italy), pp. 1011\u20131014."}],"container-title":["Machine Learning Proceedings 1991"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:B9781558602007500325?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:B9781558602007500325?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,8,11]],"date-time":"2019-08-11T23:25:49Z","timestamp":1565565949000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/B9781558602007500325"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9781558602007"],"references-count":15,"URL":"https:\/\/doi.org\/10.1016\/b978-1-55860-200-7.50032-5","relation":{},"subject":[],"published":{"date-parts":[[1991]]}}}