{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,27]],"date-time":"2024-03-27T17:18:30Z","timestamp":1711559910936},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mach Learn"],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bf00993476","type":"journal-article","created":{"date-parts":[[2005,1,9]],"date-time":"2005-01-09T16:55:04Z","timestamp":1105289704000},"page":"95-117","source":"Crossref","is-referenced-by-count":3,"title":["The appropriateness of predicate invention as bias shift operation in ILP"],"prefix":"10.1007","volume":"20","author":[{"given":"Irene","family":"Stahl","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","unstructured":"Cohen, W., (1993). PAC-learning a restricted class of recursive logic programs. InProc. of the 3rd International Workshop on Inductive Logic Programming."},{"key":"CR2","unstructured":"De Raedt, L. (1992).Interactive theory revision: an inductive logic programming approach. Academic Press."},{"key":"CR3","unstructured":"De Raedt, L. & Bruynooghe, M. (1989). Towards friendly concept learners. InProc. of IJCAI."},{"issue":"2","key":"CR4","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?150.","journal-title":"Machine Learning"},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"De Raedt, L., Feyaerts, J. & Bruynooghe, M. (1991). Acquiring object-knowledge for learning systems. In Y. Kodratoff, editor.Proc. of the Fifth European Working Session on Learning. Springer.","DOI":"10.1007\/BFb0017019"},{"key":"CR6","doi-asserted-by":"crossref","unstructured":"Dzeroski, S., Muggleton, S. & Russel, S. (1992). PAC-learnability of determinate logic programs. InProc. of the 5th ACM Workshop on Computational Learning Theory.","DOI":"10.1145\/130385.130399"},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"Flach, P.A. (1993). Predicate invention in inductive data engineering. InMachine Learning: ECML-93, European Conference on Machine Learning, Wien, Austria. Springer.","DOI":"10.1007\/3-540-56602-3_129"},{"key":"CR8","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1016\/S0019-9958(67)91165-5","volume":"10","author":"E.M. Gold","year":"1967","unstructured":"Gold, E.M. (1967). Language identification in the limit.Information and Control, 10:447?474.","journal-title":"Information and Control"},{"key":"CR9","unstructured":"Kietz, J.U. & Wrobel, S. (1992). Controlling the complexity of learning in logic through syntactic and task-oriented models. In S. Muggleton, editor,Inductive Logic Programming. Academic Press."},{"key":"CR10","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1023\/A:1022626200450","volume":"14","author":"J.U. Kietz","year":"1994","unstructured":"Kietz, J.U. & Morik, K. (1994). A polynomial approach to the constructive induction of structural knowledge.Machine Learning, 14:193?217.","journal-title":"Machine Learning"},{"key":"CR11","doi-asserted-by":"crossref","unstructured":"Kleene, S.C. (1952). Finite axiomatizability of theories in the predicate calculus using additional predicate symbols. InTwo Papers on the Predicate Calculus, number 10 in Memoirs of the American Mathematical Society.","DOI":"10.1090\/memo\/0010"},{"key":"CR12","unstructured":"Lapointe, S., Ling, C. & Matwin, S. (1993). Constructive inductive logic programming. InProc. of the IJCAI-93. Morgan Kaufmann."},{"key":"CR13","unstructured":"Mitchell, T.M. (1980). The need for biases in learning generalizations. In J. W. Shavlik and T. G. Dietterich, editors,Readings in Machine Learning. Morgan Kaufmann."},{"key":"CR14","unstructured":"Muggleton, S. (1988). A strategy for constructing new predicates in first order logic. InProceedings of the Third European Working Session on Learning. Pitman."},{"key":"CR15","unstructured":"Muggleton, S. (1990). Inductive logic programming. InFirst Conference on Algorithmic Learning Theory, Tokio, Ohmsha."},{"key":"CR16","unstructured":"Muggleton, S. (1993). Inductive logic programming: Derivations, successes and shortcoming. InMachine Learning: ECML-93, European Conference on Machine Learning, Wien, Austria. Springer."},{"key":"CR17","doi-asserted-by":"crossref","unstructured":"Muggleton, S. & Buntine, W. (1988). Machine invention of first-order predicates by inverting resolution. InFifth International Conference on Machine Learning. Morgan Kaufmann.","DOI":"10.1016\/B978-0-934613-64-4.50040-2"},{"key":"CR18","doi-asserted-by":"crossref","unstructured":"Muggleton, S. & De Raedt, L. (1994). Inductive logic programming: Theory and methods. Journal of Logic Programming, Special Issue on 10 Years of Logic Programming.","DOI":"10.1016\/0743-1066(94)90035-3"},{"key":"CR19","unstructured":"Muggleton, S. & Feng, C. (1990). Efficient induction of logic programs. InFirst Conference on Algorithmic Learning Theory, Tokyo, Ohmsha."},{"key":"CR20","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?266.","journal-title":"Machine Learning"},{"key":"CR21","unstructured":"Reinhardt, K. (1993). Personal communication."},{"key":"CR22","unstructured":"Rouveirol, C. (1991).ITOU: Induction de Theories en Ordre Un. PhD thesis, Universit\u00e9 Paris Sud, Centre d'Orsay."},{"key":"CR23","unstructured":"Rouveirol, C. (1992). ITOU: Induction of first order theories. In Muggleton, S., editor,Inductive Logic Programming. Academic Press."},{"key":"CR24","unstructured":"Srinivasan, A., Muggleton, S., & Bain, M. (1992). Distinguishing exceptions from noise in non-monotonic learning. InProceedings of ILP'92, Tokyo."},{"key":"CR25","doi-asserted-by":"crossref","unstructured":"Stahl, I., Tausend, B., & Wirth, R. (1993). Two methods for improving inductive logic programming systems. InMachine Learning: ECML-93, European Conference on Machine Learning, Wien, Austria. Springer.","DOI":"10.1007\/3-540-56602-3_126"},{"key":"CR26","unstructured":"Tausend, B. (1992). Using and adapting schemes for the induction of horn clauses. InECAI Workshop Logical Approaches to Machine Learning, Wien."},{"key":"CR27","unstructured":"Wirth. R. (1989).Lernverfahren zur Vervollst\u00e4ndigung von Hornklauselmengen durch inverse Resolution. Dissertation, Fakult\u00e4t Informatik, Universit\u00e4t Stuttgart."},{"key":"CR28","doi-asserted-by":"crossref","unstructured":"Wirth, R. & O'Rorke, P. (1991). Constraints on predicate invention. InEighth International Conference on Machine Learning. Morgan Kaufmann.","DOI":"10.1016\/B978-1-55860-200-7.50094-5"},{"key":"CR29","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1023\/A:1022674116380","volume":"14","author":"S. Wrobel","year":"1994","unstructured":"Wrobel, S. (1994). Concept formation during interactive theory revision.Machine Learning, 14:169?191.","journal-title":"Machine Learning"},{"key":"CR30","doi-asserted-by":"crossref","unstructured":"Yardeni, E. & Shapiro, E. (1991). A type system for logic programs.Journal of Logic Programming, (10):125?153.","DOI":"10.1016\/0743-1066(91)80002-U"}],"container-title":["Machine Learning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00993476.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00993476\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00993476","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,29]],"date-time":"2019-04-29T22:58:45Z","timestamp":1556578725000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00993476"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"references-count":30,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1995]]}},"alternative-id":["BF00993476"],"URL":"https:\/\/doi.org\/10.1007\/bf00993476","relation":{},"ISSN":["0885-6125","1573-0565"],"issn-type":[{"value":"0885-6125","type":"print"},{"value":"1573-0565","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995]]}}}