{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T21:54:40Z","timestamp":1767650080777},"publisher-location":"Berlin, Heidelberg","reference-count":20,"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_144","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:18:58Z","timestamp":1330255138000},"page":"311-322","source":"Crossref","is-referenced-by-count":10,"title":["Predicate invention in ILP \u2014 an overview"],"prefix":"10.1007","author":[{"given":"Irene","family":"Stahl","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"Bain, M., Muggleton, S. (1992): Non-Monotonic Learing in S. Muggleton (ed): Inductive Logic Programming, Academic Press","DOI":"10.1093\/oso\/9780198538233.003.0008"},{"key":"21_CR2","unstructured":"Banerji, R. B. (1992): Learning Theoretical Terms in S. Muggleton (ed): Inductive Logic Programming, Academic Press"},{"key":"21_CR3","unstructured":"Kietz, J., Wrobel, S. (1991): Controlling the Complexity of Learning in Logic through Syntactic and Task-Oriented Models in S. Muggleton (ed): Inductive Logic Programming, Academic Press"},{"key":"21_CR4","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":"21_CR5","unstructured":"Kijsirikul, B., Numao, M., Shimura, M. (1992): Discrimination-Based Constructive Induction of Logic Programs, Proc. of the 10th Nat. Conf. on AI, San Jose, CA"},{"key":"21_CR6","doi-asserted-by":"crossref","unstructured":"Kleene, S. C. (1952): Finite Axiomatizability of Theories in the Predicate Calculus Using Additional Predicate Symbols in S. C. Kleene: Two Papers on the Predicate Calculus, Memoirs of the American Mathematical Society No. 10, Providence, RI","DOI":"10.1090\/memo\/0010"},{"key":"21_CR7","volume-title":"Report No. 302","author":"C. X. Ling","year":"1991","unstructured":"Ling, C. X. (1991): Inventing Necessary Theoretical Terms in Scientific Discovery and Inductive Logic Programming, Report No. 302, Dept. of Computer Science, University of Western Ontario, London, Ontario"},{"key":"21_CR8","unstructured":"Morik, K. (1991): Balanced Cooperative Modeling, in R. S. Michalsky, G. Tecuci (eds): Proc. First Int. Workshop on Multistrategy Learning, 65\u201380"},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"Muggleton, S., Buntine, W. (1988): Machine Invention of First-Order Predicates by Inverting Resolution, Proc. of the 5th Int. ML Workshop, Morgan Kaufman","DOI":"10.1016\/B978-0-934613-64-4.50040-2"},{"key":"21_CR10","doi-asserted-by":"crossref","unstructured":"Muggleton, S. (1992): Inductive Logic Programming, in S. Muggleton (ed): Inductive Logic Programming, Academic Press","DOI":"10.1007\/BF03037089"},{"key":"21_CR11","unstructured":"Plotkin, G. D. (1970): A Note on Inductive Generalisation in: B. Meltzer, D. Mitchie (eds): Machine Intelligence 5, Edinburgh University Press"},{"key":"21_CR12","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"},{"issue":"2","key":"21_CR13","first-page":"107","volume":"8","author":"L. Raedt De","year":"1992","unstructured":"De Raedt, L., Bruynooghe, M. (1992): Interactive Concept-Learning and Constructive Induction by Analogy, Machine Learning 8(2), 107\u2013150","journal-title":"Machine Learning"},{"key":"21_CR14","unstructured":"Rice, H. G. (1953): Classes of Recursively Enumerable Sets and their Decision problems, Trans. AMS 89"},{"key":"21_CR15","unstructured":"Rouveirol, C. (1991): Extensions of Inversion of Resolution Applied to Theory Completion in S. Muggleton (ed): Inductive Logic Programming, Academic Press"},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"Silverstein, G., Pazzani, M. J. (1991): Relational Cliches: Constraining Constructive Induction During Relational Learning, Proc. MLW 91","DOI":"10.1016\/B978-1-55860-200-7.50044-1"},{"key":"21_CR17","unstructured":"Wirth, R. (1988): Learning by Failure to Prove, Proceeding of EWSL 88, Pitman, 237\u2013251"},{"key":"21_CR18","doi-asserted-by":"crossref","unstructured":"Wirth, R., O'Rorke, P. (1991): Constraints on Predicate Invention in Proc. of the 8th Int. Workshop on ML, Morgan Kaufmann","DOI":"10.1016\/B978-1-55860-200-7.50094-5"},{"key":"21_CR19","unstructured":"Wogulis, J., Langley, P. (1989): Improving Efficiency by Learning Intermediate Concepts, Proc. of the 11th IJCAI, Detroit"},{"key":"21_CR20","unstructured":"Wrobel, S. (1992): Exploiting a Problem-Solving Context to Focus Concept Formation, to appear in Machine Learning journal"}],"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_144.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T14:52:20Z","timestamp":1713624740000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56602-3_144"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540566021","9783540475972"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-56602-3_144","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}