{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:19:04Z","timestamp":1742617144862,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540556817"},{"type":"electronic","value":"9783540472711"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55681-8_34","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:32:06Z","timestamp":1330252326000},"page":"139-160","source":"Crossref","is-referenced-by-count":0,"title":["Approaches to inductive logic programming"],"prefix":"10.1007","author":[{"given":"Pavel B.","family":"Brazdil","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"8_CR1","unstructured":"Banerji R.B. (1988): Learning Theories in a Subset of Polyadic Logic, in Proceedings of the First Workshop on Computational Learning Theory (COLT), 1988."},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Bergadano F, Giordana A. (1988): A Knowledge Intensive Approach to Concept Induction, in Proceedings of 5th International Conference on Machine Learning, Ann Harbour.","DOI":"10.1016\/B978-0-934613-64-4.50037-2"},{"key":"8_CR3","unstructured":"Brazdil P. (1981): Model for Error Detection and Correction, Ph.D. Thesis, University of Edinburgh."},{"key":"8_CR4","unstructured":"Brazdil P. (1984): Use of Derivation Trees in Discrimination, presented at ECAI-84, Pisa, Italy."},{"key":"8_CR5","volume-title":"Machine and Human Learning","author":"P. Brazdil","year":"1989","unstructured":"Brazdil P. (1989): Transfer of Knowledge between Systems: Use of Meta-Knowledge in Debugging, in Y. Kodratoff and A. Hutchinson (eds.), Machine and Human Learning. Michael Horwood, London."},{"key":"8_CR6","volume-title":"Current Trends in Artificial Intelligence","author":"P. Brazdil","year":"1990","unstructured":"Brazdil P. and Torgo L. (1990): Knowledge Acquisition via Knowledge Integration, in B. Wielinga (ed.), Current Trends in Artificial Intelligence. IOS Press, Amsterdam."},{"key":"8_CR7","first-page":"15","volume-title":"Proceedings of the Second Conference on Algorithmic Learning Theory (ALT-91)","author":"P. Brazdil","year":"1991","unstructured":"Brazdil P. (1991): Learning in Multi-Agent Environments, in Proceedings of the Second Conference on Algorithmic Learning Theory (ALT-91), pp. 15\u201329, Tokyo. Ohmsha."},{"issue":"No.1","key":"8_CR8","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1145\/321992.321996","volume":"24","author":"R. Burstall","year":"1977","unstructured":"Burstall R. and Darlington J. (1977): Transformations for Developing Recursive Programs, J. ACM, Vol. 24, No.1, pp. 44\u201367.","journal-title":"J. ACM"},{"key":"8_CR9","volume-title":"Proceedings of 9th European Conference on Artificial Intelligence (ECAI-90)","author":"L. Console","year":"1990","unstructured":"Console L. and Torasso P. (1990): Integrating Models of the Correct Behaviour into Abductive Diagnosis, in L. Aiello (ed.), Proceedings of 9th European Conference on Artificial Intelligence (ECAI-90), Stockholm. Pitman."},{"key":"8_CR10","unstructured":"Dahl O., J.W. Dijkstra and C.A. Hoare (1972): Structured Programming. Academic Press."},{"key":"8_CR11","volume-title":"Proceedings of IJCAI-87","author":"T. R. Davies","year":"1987","unstructured":"Davies T.R. and Russell S. (1987): A Logical Approach to Reasoning by Analogy, in Proceedings of IJCAI-87, Milan. Morgan Kaufmann."},{"key":"8_CR12","unstructured":"Genesereth M.R.and Nilsson N.J.(1987): Logical Foundations of Artificial Intelligence, Morgan Kaufmann."},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Hogger C.J. (1990): Essentials of Logic Programming, Oxford University Press.","DOI":"10.1093\/oso\/9780198538202.001.0001"},{"key":"8_CR14","volume-title":"Proceedings of FGCS '92","author":"P. Idestam-Almquist","year":"1992","unstructured":"Idestam-Almquist P.(1992): A General Bias for Learning Missing Clauses by Inverse Resolution, to appear in Proceedings of FGCS '92, Tokyo. Ohmsha Press."},{"key":"8_CR15","unstructured":"Kisirikul B., Numao M. and Shimura M. (1992): Discrimination-Based Induction of Logic Programs, Dept. of Computer Science, Tokyo Institute of Technology. Submitted to 9th International Conference on Machine Learning, Aberdeen, Scotland."},{"key":"8_CR16","unstructured":"Ling C. (1992): The Completeness of Inductive Learning Based on Inverse Resolution, submitted to 9th International Conference on Machine Learning, Aberdeen, Scotland."},{"key":"8_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J. W. Lloyd","year":"1987","unstructured":"Lloyd J.W. (1987): Foundations of Logic Programming (2nd ed.), Berlin, Springer-Verlag.","edition":"2nd ed."},{"key":"8_CR18","unstructured":"Michalski R., Mozetic I., Hong J. and Lavrac N. (1986): The Multi-purpose Incremental System AQ15 and its Testing Application to Three Medical Domains, in Proceedings of AAAI-86, pp. 1041\u20131045."},{"key":"8_CR19","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1007\/BF03037089","volume":"8","author":"S. Muggleton","year":"1991","unstructured":"Muggleton S. (1991): Inductive Logic Programming, New Generation Computing, Vol. 8, pp. 295\u2013318.","journal-title":"New Generation Computing"},{"key":"8_CR20","first-page":"339","volume-title":"Fifth International Conference on Machine Learning","author":"S. Muggleton","year":"1988","unstructured":"Muggleton S. and Buntine W. (1988): Machine Invention of First-order Predicates by Inverting Resolution, in Fifth International Conference on Machine Learning, pp. 339\u2013352, Ann Harbour, Michigan. Morgan Kaufmann."},{"key":"8_CR21","first-page":"368","volume-title":"Proceedings of the First Conference on Algorithmic Learning Theory (ALT-91)","author":"S. Muggleton","year":"1990","unstructured":"Muggleton S. and Feng C. (1990): Efficient Induction of Logic Programs, in Proceedings of the First Conference on Algorithmic Learning Theory (ALT-91), pp. 368\u2013381, Tokyo. Ohmsha."},{"key":"8_CR22","first-page":"239","volume":"5","author":"R. Quinlan","year":"1986","unstructured":"Quinlan R. (1986): Induction of Decision Trees, Machine Learning, Vol. 5, pp. 239\u2013236.","journal-title":"Machine Learning"},{"key":"8_CR23","first-page":"239","volume":"5","author":"R. Quinlan","year":"1990","unstructured":"Quinlan R.(1990): Learning Logical Definitions from Relations, Machine Learning, 5, pp. 239\u2013266, Kluwer.","journal-title":"Machine Learning"},{"key":"8_CR24","first-page":"122","volume-title":"Proceedings of Seventh International Conference on Machine Learning","author":"C. Rouveirol","year":"1990","unstructured":"Rouveirol C. and Puget J.F.(1990): Beyond Inversion of Resolution, in Proceedings of Seventh International Conference on Machine Learning, pp. 122\u2013130, Austin, Texas. Morgan Kaufmann."},{"key":"8_CR25","doi-asserted-by":"crossref","unstructured":"Russell S. and Grosof B. (1991): A Sketch of Autonomous Learning using Declarative Bias, in P. Brazdil and K.Konolige (eds.), Machine Learning, Meta-Reasoning and Logics. Kluwer.","DOI":"10.1007\/978-1-4613-1641-1_2"},{"key":"8_CR26","first-page":"15","volume-title":"Proceedings of the Second Conference on Algorithmic Learning Theory (ALT-91)","author":"S. Tangkitvanich","year":"1991","unstructured":"Tangkitvanich S. and M. Shimura (1991): Recovery from Multiple Faults in Relational Theory, Proceedings of the Second Conference on Algorithmic Learning Theory (ALT-91), pp. 15\u201329, Tokyo. Ohmsha."},{"key":"8_CR27","unstructured":"Wirth R. (1988): Learning by Failure to Prove, in D.Sleeman (ed.), Proceedings of EWSL-88, pp. 237\u2013251. Pitman."},{"key":"8_CR28","unstructured":"Wirth R. (1989): Completing Logic Programs by Inverse Resolution, in K.Morik (ed.), Proceedings of EWSL-89, pp. 239\u2013250. Pitman."},{"key":"8_CR29","first-page":"457","volume-title":"Proceedings of Eighth International Conference on Machine Learning","author":"R. Wirth","year":"1991","unstructured":"Wirth R. and O'Rorke P. (1991): Constraints on Predicate Invention, in Proceedings of Eighth International Conference on Machine Learning, pp. 457\u2013461, San Mateo, CA. Morgan Kaufmann."},{"key":"8_CR30","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1192.001.0001","volume-title":"Algorithmic Program Debugging","author":"E. Shapiro","year":"1983","unstructured":"Shapiro E. (1983): Algorithmic Program Debugging. MIT Press, Cambridge, Mass."}],"container-title":["Lecture Notes in Computer Science","Advanced Topics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55681-8_34.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:42:12Z","timestamp":1742593332000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55681-8_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540556817","9783540472711"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/3-540-55681-8_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}