{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,11]],"date-time":"2025-07-11T10:53:12Z","timestamp":1752231192872},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540566021"},{"type":"electronic","value":"9783540475972"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56602-3_128","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:19:57Z","timestamp":1330255197000},"page":"65-82","source":"Crossref","is-referenced-by-count":11,"title":["On the proper definition of minimality in specialization and theory revision"],"prefix":"10.1007","author":[{"given":"Stefan","family":"Wrobel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C. E. Alchourr\u00f3n","year":"1985","unstructured":"C. E. Alchourr\u00f3n, P. G\u00e4rdenfors, and D. Makinson. On the logic of theory change: Partial meet contraction and revision functions. The Journal of Symbolic Logic, 50:510\u2013530, 1985.","journal-title":"The Journal of Symbolic Logic"},{"key":"5_CR2","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1111\/j.1755-2567.1982.tb00480.x","volume":"48","author":"C. E. Alchourr\u00f3n","year":"1982","unstructured":"C. E. Alchourr\u00f3n and D. Makinson. On the logic of theory change: contraction functions and their associated revision functions. Theoria, 48:14\u201337, 1982.","journal-title":"Theoria"},{"key":"5_CR3","volume-title":"PhD thesis","author":"L. DeRaedt","year":"1991","unstructured":"Luc DeRaedt. Interactive Concept-Learning. PhD thesis, Kath. Univ. Leuven, Leuven, Belgium, February 1991."},{"key":"5_CR4","first-page":"455","volume-title":"IJCAI-83","author":"W. Emde","year":"1983","unstructured":"Werner Emde, Christopher U. Habel, and Claus-Rainer Rollinger. The discovery of the equator or concept driven learning. In IJCAI-83, pages 455\u2013458, San Mateo, CA, 1983. Morgan Kaufman."},{"key":"5_CR5","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1007\/BFb0017221","volume-title":"Knowledge Representation and Organization in Machine Learning","author":"W. Emde","year":"1989","unstructured":"Werner Emde. An inference engine for representing multiple theories. In Katharina Morik, editor, Knowledge Representation and Organization in Machine Learning, pages 148\u2013176. Springer Verlag, Berlin, New York, 1989."},{"key":"5_CR6","volume-title":"Knowledge in Flux \u2014 Modeling the Dynamics of Epistemic States","author":"P. G\u00e4rdenfors","year":"1988","unstructured":"Peter G\u00e4rdenfors. Knowledge in Flux \u2014 Modeling the Dynamics of Epistemic States. MIT Press, Cambridge, MA, 1988."},{"unstructured":"Charles Ling. Non-monotonic specialization. In Proc. Inductive Logic Programming Workshop, Portugal, 1991.","key":"5_CR7"},{"key":"5_CR8","volume-title":"Inductive Logic Programming","author":"S. Muggleton","year":"1992","unstructured":"Stephen Muggleton and Michael Bain. Non-monotonic learning. In Stephen Muggleton, editor, Inductive Logic Programming. Academic Press, London, New York, 1992."},{"key":"5_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-7288-6","volume-title":"Introduction to Mathematical Logic","author":"E. Mendelson","year":"1987","unstructured":"Elliot Mendelson. Introduction to Mathematical Logic. Wadsworth & Brooks, Belmont, CA, third edition, 1987.","edition":"third edition"},{"unstructured":"K. Morik, S. Wrobel, J.U. Kietz, and Werner Emde. Knowledge Acquisition and Machine Learning: Theory, Methods, and Applications. Academic Press, London, New York, in press. To appear.","key":"5_CR10"},{"key":"5_CR11","volume-title":"Doctoral Dissertation","author":"B. Nebel","year":"1989","unstructured":"Bernhard Nebel. Reasoning and Revision in Hybrid Representation Systems. Springer Verlag, Berlin, New York, 1989. Doctoral Dissertation."},{"key":"5_CR12","first-page":"153","volume-title":"Machine Intelligence 5","author":"G. D. Plotkin","year":"1970","unstructured":"Gordon D. Plotkin. A note on inductive generalization. In B. Meltzer and D. Michie, editors, Machine Intelligence 5, chapter 8, pages 153\u2013163. Edinburgh Univ. Press, Edinburgh, 1970."},{"key":"5_CR13","first-page":"167","volume-title":"Machine Learning \u2014 An Artificial Intelligence Approach, volume II","author":"C. Sammut","year":"1986","unstructured":"Claude Sammut and Ranan B. Banerji. Learning concepts by asking questions. In R.S. Michalski, J.G. Carbonell, and T.M. Mitchell, editors, Machine Learning \u2014 An Artificial Intelligence Approach, volume II, chapter 7, pages 167\u2013191. Morgan Kaufman, San Mateo, CA, 1986."},{"key":"5_CR14","volume-title":"ACM Distinguished Doctoral Dissertations","author":"E. Y. Shapiro","year":"1983","unstructured":"Ehud Y. Shapiro. Algorithmic Program Debugging. ACM Distinguished Doctoral Dissertations. The MIT Press, Cambridge, Mass., 1983."},{"doi-asserted-by":"crossref","unstructured":"E. Sommer, K. Morik, J-M. Andr\u00e9, and M. Uszynski. What online machine learning can do for knowledge acquisition \u2014 a case study. To appear, 1993.","key":"5_CR15","DOI":"10.1006\/knac.1994.1020"},{"key":"5_CR16","first-page":"253","volume-title":"Automatic representation adjustment in an observational discovery system","author":"S. Wrobel","year":"1988","unstructured":"Stefan Wrobel. Automatic representation adjustment in an observational discovery system. In D. Sleeman, editor, Proc. of the 3rd Europ. Working Session on Learning, pages 253\u2013262, London, 1988. Pitman."},{"key":"5_CR17","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1007\/BFb0017228","volume-title":"Knowledge Representation and Organization in Machine Learning","author":"S. Wrobel","year":"1989","unstructured":"Stefan Wrobel. Demand-driven concept formation. In Katharina Morik, editor, Knowledge Representation and Organization in Machine Learning, pages 289\u2013319. Springer Verlag, Berlin, New York, 1989."},{"doi-asserted-by":"crossref","unstructured":"Stefan Wrobel. Representation adjustment by demand-driven concept formation. in preparation, 1993.","key":"5_CR18","DOI":"10.1007\/978-1-4757-2317-5_5"}],"container-title":["Lecture Notes in Computer Science","Machine Learning: ECML-93"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56602-3_128.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:04:45Z","timestamp":1605647085000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56602-3_128"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540566021","9783540475972"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-56602-3_128","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}