{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T11:36:36Z","timestamp":1743075396011,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540538165"},{"type":"electronic","value":"9783540463085"}],"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.springer.com\/tdm"},{"start":{"date-parts":[[1991,1,1]],"date-time":"1991-01-01T00:00:00Z","timestamp":662688000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/bfb0017021","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T06:31:35Z","timestamp":1132727495000},"page":"282-297","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Extending explanation-based generalization by abstraction operators"],"prefix":"10.1007","author":[{"given":"Igor","family":"Mozeti\u010d","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Holzbaur","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"22_CR1","first-page":"1350","volume-title":"Proc. 11th IJCAI","author":"M. Gallanti","year":"1989","unstructured":"Gallanti, M., Roncato, M., Stefanini, A., Tornielli, G. (1989). A diagnostic algorithm based on models at different level of abstraction. Proc. 11th IJCAI, pp. 1350\u20131355, Detroit, Morgan Kaufmann."},{"key":"22_CR2","first-page":"372","volume-title":"Proc. 11th IJCAI","author":"F. Giunchiglia","year":"1989","unstructured":"Giunchiglia, F., Walsh, T. (1989). Abstract theorem proving. Proc. 11th IJCAI, pp. 372\u2013377, Detroit, Morgan Kaufmann."},{"key":"22_CR3","series-title":"IRST Technical Report","volume-title":"Abstract theorem proving: mapping back","author":"F. Giunchiglia","year":"1990","unstructured":"Giunchiglia, F., Walsh, T. (1990). Abstract theorem proving: mapping back. IRST Technical Report 8911-16, Istituto Ricerca Scientifica e Tecnologica, Trento, Italy."},{"key":"22_CR4","volume-title":"The CLP(\u211c) programmer's manual","author":"N. Heintze","year":"1987","unstructured":"Heintze, N., Jaffar, J., Michaylov, S., Stuckey, P., Yap, R. (1987). The CLP(\u211c) programmer's manual. Dept. of Computer Science, Monash University, Australia."},{"key":"22_CR5","first-page":"675","volume-title":"Proc. 4th Intl. Conference on Logic Programming","author":"N. Heintze","year":"1987","unstructured":"Heintze, N., Michaylov, S., Stuckey, P. (1987). CLP(\u211c) and some electrical engineering problems. Proc. 4th Intl. Conference on Logic Programming, pp. 675\u2013703, Melbourne, Australia, The MIT Press."},{"key":"22_CR6","volume-title":"Specification of constraint based inference mechanisms through extended unification","author":"C. Holzbaur","year":"1990","unstructured":"Holzbaur, C. (1990). Specification of constraint based inference mechanisms through extended unification. Ph.D. Thesis, Technical University of Vienna, Austria."},{"key":"22_CR7","volume-title":"CLP(\u211c) version 1.0 reference manual","author":"J. Jaffar","year":"1990","unstructured":"Jaffar, J. (1990). CLP(\u211c) version 1.0 reference manual. IBM Research Division, T.J. Watson Research Center, Yorktown Heights, NY."},{"key":"22_CR8","first-page":"196","volume-title":"Proc. 4th Intl. Conference on Logic Programming","author":"J. Jaffar","year":"1987","unstructured":"Jaffar, J., Michaylov, S. (1987). Methodology and implementation of a CLP system. Proc. 4th Intl. Conference on Logic Programming, pp. 196\u2013218, Melbourne, Australia, The MIT Press."},{"key":"22_CR9","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1016\/0004-3702(87)90051-8","volume":"33","author":"R.E. Korf","year":"1987","unstructured":"Korf, R.E. (1987). Planning as search: a quantitative approach. Artificial Intelligence 33, pp. 65\u201388.","journal-title":"Artificial Intelligence"},{"key":"22_CR10","series-title":"SEKI working paper","volume-title":"A decision procedure for Presburger arithmetic with functions and equality","author":"F.-J. Kraemer","year":"1989","unstructured":"Kraemer, F.-J. (1989). A decision procedure for Presburger arithmetic with functions and equality. SEKI working paper SWP-89-4, FB Informatik, University of Kaiserslautern, Germany."},{"key":"22_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W. (1987). Foundations of Logic Programming (Second edition). Springer-Verlag, Berlin.","edition":"Second edition"},{"issue":"1","key":"22_CR12","first-page":"47","volume":"1","author":"T. Mitchell","year":"1986","unstructured":"Mitchell, T., Keller, R., Kedar-Cabelli, S. (1986). Explanation-based generalization: A unifying view. Machine Learning 1 (1), pp. 47\u201380.","journal-title":"Machine Learning"},{"key":"22_CR13","unstructured":"Mozetic, I. (1990a). Abstractions in model-based diagnosis. Report TR-90-4, Austrian Research Institute for Artificial Intelligence, Vienna, Austria. Proc. Automatic Generation of Approximations and Abstractions, AAAI-90 Workshop, pp. 64\u201375, Boston."},{"key":"22_CR14","first-page":"102","volume-title":"Reduction of diagnostic complexity through model abstractions","author":"I. Mozetic","year":"1990","unstructured":"Mozetic, I. (1990b). Reduction of diagnostic complexity through model abstractions. Report TR-90-10, Austrian Research Institute for Artificial Intelligence, Vienna, Austria. Proc. First Intl. Workshop on Principles of Diagnosis, pp. 102\u2013111, Stanford University, Palo Alto."},{"key":"22_CR15","volume-title":"Integrating qualitative and numerical models within Constraint Logic Programming","author":"I. Mozetic","year":"1991","unstructured":"Mozetic, I., Holzbaur, C. (1991). Integrating qualitative and numerical models within Constraint Logic Programming. Report TR-91-2, Austrian Research Institute for Artificial Intelligence, Vienna, Austria. Workshop on Qualitative Reasoning about Physical Systems, Genova, Italy."},{"key":"22_CR16","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/0004-3702(81)90015-1","volume":"16","author":"D.A. Plaisted","year":"1981","unstructured":"Plaisted, D.A. (1981). Theorem proving with abstractions. Artificial Intelligence 16, pp. 47\u2013108.","journal-title":"Artificial Intelligence"},{"key":"22_CR17","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/0004-3702(74)90026-5","volume":"5","author":"E.D. Sacerdoti","year":"1974","unstructured":"Sacerdoti, E.D. (1974). Planning in a hierarchy of abstraction spaces. Artificial Intelligence 5, pp. 115\u2013135.","journal-title":"Artificial Intelligence"},{"issue":"4","key":"22_CR18","doi-asserted-by":"publisher","first-page":"769","DOI":"10.1145\/322276.322288","volume":"28","author":"R. Shostak","year":"1981","unstructured":"Shostak, R. (1981). Deciding linear inequalities by computing loop residues. Journal of the ACM 28 (4), pp. 769\u2013779.","journal-title":"Journal of the ACM"},{"key":"22_CR19","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1016\/0004-3702(88)90088-4","volume":"36","author":"F. Van Harmelen","year":"1988","unstructured":"Van Harmelen, F., Bundy, A. (1988). Explanation-based generalisation = partial evaluation. Artificial Intelligence 36, pp. 401\u2013412.","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Machine Learning \u2014 EWSL-91"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0017021","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,1]],"date-time":"2021-09-01T00:08:35Z","timestamp":1630454915000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/BFb0017021"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540538165","9783540463085"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/bfb0017021","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]},"assertion":[{"value":"9 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}