{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:13:22Z","timestamp":1725664402635},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540592860"},{"type":"electronic","value":"9783540492320"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-59286-5_86","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:10:41Z","timestamp":1330276241000},"page":"356-359","source":"Crossref","is-referenced-by-count":3,"title":["Fender: An approach to theory restructuring (extended abstract)"],"prefix":"10.1007","author":[{"given":"Edgar","family":"Sommer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"42_CR1","volume-title":"Knowledge Acquisition and Machine Learning","author":"K. Morik","year":"1993","unstructured":"K. Morik, S. Wrobel, J\u00f6rg-Uwe Kietz, and W. Emde. Knowledge Acquisition and Machine Learning. Academic Press, London, 1993."},{"key":"42_CR2","volume-title":"Machine Invention of First-Order Predicates by Inverting Resolution","author":"S. Muggleton","year":"1988","unstructured":"Stephen Muggleton and Wray Buntine. Machine Invention of First-Order Predicates by Inverting Resolution. In Proc. Fifth Intern. Conf., on Machine Learning, San Mateo, CA, 1988. Morgan Kaufman."},{"key":"42_CR3","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1006\/knac.1994.1020","volume":"6","author":"E. Sommer","year":"1994","unstructured":"E. Sommer, K. Morik, J.M. Andre, and M. Uszynski. What Online Learning Can Do for Knowledge Acquisition. Knowledge Acquisition, 6:435\u2013460, 1994.","journal-title":"Knowledge Acquisition"},{"key":"42_CR4","unstructured":"E. Sommer. Restructuring in Horn clause knowledge bases. Technical report, ESPRIT Project ILP (6020), 1994. ILP Deliverable GMD 2.1."},{"key":"42_CR5","unstructured":"E. Sommer. Rulebase Stratification: an Approach to theory restructuring. In Proc. 4th Intl. Workshop on Inductive Logic Programming (ILP-94), 1994."},{"key":"42_CR6","unstructured":"E. Sommer. An Approach to Quantifying the Quality of Induced Theories. Technical report, GMD, 1995. (forthcoming)."},{"key":"42_CR7","first-page":"239","volume-title":"Completing Logic Programs by Inverse Resolution","author":"R. Wirth","year":"1989","unstructured":"Ruediger Wirth. Completing Logic Programs by Inverse Resolution. In Katharina Morik (ed.), Proc. Fourth European Working Session on Learning (EWSL-89), pp. 239\u2013250, London\/San Mateo, CA, 1989. Pitman\/Morgan Kaufmann."}],"container-title":["Lecture Notes in Computer Science","Machine Learning: ECML-95"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-59286-5_86.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:26:57Z","timestamp":1619573217000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59286-5_86"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540592860","9783540492320"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-59286-5_86","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}