{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,11]],"date-time":"2025-07-11T10:40:27Z","timestamp":1752230427463,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"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_126","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:19:36Z","timestamp":1330255176000},"page":"39-55","source":"Crossref","is-referenced-by-count":7,"title":["Two methods for improving inductive logic programming systems"],"prefix":"10.1007","author":[{"given":"Irene","family":"Stahl","sequence":"first","affiliation":[]},{"given":"Birgit","family":"Tausend","sequence":"additional","affiliation":[]},{"given":"R\u00fcdiger","family":"Wirth","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"3_CR1","unstructured":"Arimura, H., Shinohara, T., Otsuki, S. (1991): Polynomial Time Inference of Unions of Dree Pattern Languages in Proc. of the 2nd Workshop on Algorithmic Learning Theory, Tokyo"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Kijsirikul, B., Numao, M., Shimura, M. (1992): Efficient Learning of Logic Programs with Non-determinate, Non-dicriminating Literals in S. Muggleton (ed): Inductive Logic Programming, Academic Press","DOI":"10.1016\/B978-1-55860-200-7.50086-6"},{"key":"3_CR3","unstructured":"Kluzniak, F. (1987): Type Synthesis for Ground Prolog, in J. L. Lasses (ed): Logic Programming, Proc. of the 4th International Conference, MIT-Press"},{"key":"3_CR4","unstructured":"Plotkin, G. D. (1970): A Note on Inductive Generalisation in: B. Meltzer, D. Mitchie (eds): Machine Intelligence 5, Edinburgh University Press."},{"key":"3_CR5","first-page":"239","volume":"5","author":"J. R. Quinlan","year":"1990","unstructured":"Quinlan, J. R. (1990): Learning Logical Definitions from Relations, Machine Learning 5, 239\u2013266.","journal-title":"Machine Learning"},{"key":"3_CR6","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1192.001.0001","volume-title":"Algorithmic Program Debugging","author":"E. Y. Shapiro","year":"1983","unstructured":"Shapiro, E. Y. (1983): Algorithmic Program Debugging, MIT Press, Cambridge, Mass."},{"key":"3_CR7","unstructured":"Stahl, I. (1991): Induktion von disjunktiven Konzepten, Diplomarbeit Nr. 807, Universit\u00e4t Stuttgart, Fakult\u00e4t Informatik."},{"key":"3_CR8","unstructured":"Stahl, I., Tausend, B., Wirth, R. (1991): General-to-specific Learning of Horn Clauses from Positive Examples, in Proc. of the CompEuro92, The Hague, NL"},{"key":"3_CR9","volume-title":"Proc. of the 8th International Workshop on ML","author":"R. Wirth","year":"1991","unstructured":"Wirth, R., O'Rorke, P. (1991): Constraints on Predicate Invention, Proc. of the 8th International Workshop on ML, Chicago, Morgan Kaufmann."},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Yardeni, E., Shapiro, E. (1991): A Type System for Logic Programs, Journal of Logic Programming 10.","DOI":"10.1016\/0743-1066(91)80002-U"}],"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_126.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:50:24Z","timestamp":1742593824000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56602-3_126"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540566021","9783540475972"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-56602-3_126","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}