{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:57:41Z","timestamp":1725541061552},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642051784"},{"type":"electronic","value":"9783642051791"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-05179-1_8","type":"book-chapter","created":{"date-parts":[[2009,11,27]],"date-time":"2009-11-27T21:31:01Z","timestamp":1259357461000},"page":"155-173","source":"Crossref","is-referenced-by-count":0,"title":["Two Examples of Computational Creativity: ILP Multiple Predicate Synthesis and the \u2018Assets\u2019 in Theorem Proving"],"prefix":"10.1007","author":[{"given":"Marta","family":"Fra\u0148ov\u00e1","sequence":"first","affiliation":[]},{"given":"Yves","family":"Kodratoff","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"Ade, H., Denecker, M.: AILP: Abductive inductive logic programming. In: Proceedings of the fourteenth International Joint Conference on Artificial Intelligence, pp. 1201\u20131207 (1995)"},{"key":"8_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1007\/3-540-60437-5_5","volume-title":"Topic in Artificial Intelligence","author":"C. Baroglio","year":"1995","unstructured":"Baroglio, C., Botta, M.: Multiple Predicate Learning with RTL. In: Gori, M., Soda, G. (eds.) AI*IA 1995. LNCS, vol.\u00a0992, pp. 44\u201355. Springer, Heidelberg (1995)"},{"key":"8_CR3","unstructured":"Beth, E.: The Foundations of Mathematics, Amsterdam (1959)"},{"key":"8_CR4","first-page":"351","volume-title":"Handbook of Creativity","author":"M. Boden","year":"1999","unstructured":"Boden, M.: Computational models of creativity. In: Sternberg, R.J. (ed.) Handbook of Creativity, pp. 351\u2013373. Cambridge University Press, Cambridge (1999)"},{"key":"8_CR5","unstructured":"Brazdil, P., Jorge, A.: Learning by Refining Algorithm Sketches. In: ECAI 1994, 11th European Conference of Artificial Intelligence, pp. 427\u2013433 (1994)"},{"key":"8_CR6","unstructured":"De Raedt, L., Lavrac, N., Dzeroski, S.: Multiple Predicate Learning. In: Proceedings of the thirteenth International Joint Conference on Artificial Intelligence, pp. 1037\u20131042 (1993a)"},{"key":"8_CR7","unstructured":"De Raedt, L., Lavrac, N., Dzeroski, S.: Multiple Predicate Learning. In: Proceedings of the third International Workshop on Inductive Logic Programming, pp. 221\u2013240 (1993b)"},{"issue":"2","key":"8_CR8","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1093\/jigpal\/4.2.227","volume":"4","author":"L. Raedt De","year":"1996","unstructured":"De Raedt, L., Lavrac, N.: Multiple Predicate Learning in Two Inductive Logic Programming Settings. J. of the IGPL\u00a04(2), 227\u2013254 (1996)","journal-title":"J. of the IGPL"},{"key":"8_CR9","unstructured":"Esposito, F., Malerba, D., Lisi, F.A.: Multiple Predicate Learning for Document Image Understanding. In: Proceedings of the Fourteenth American Association for Artificial Intelligence Conference, pp. 372\u2013376 (2000)"},{"key":"8_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/BFb0027321","volume-title":"Inductive Logic Programming","author":"L. Fogel","year":"1998","unstructured":"Fogel, L., Zaverucha, G.: Normal Programs and Multiple Predicate Learning. In: Page, D.L. (ed.) ILP 1998. LNCS, vol.\u00a01446, pp. 175\u2013184. Springer, Heidelberg (1998)"},{"key":"8_CR11","unstructured":"Franova, M.: CM-strategy: A Methodology for Inductive Theorem Proving or Constructive Well-Generalized Proofs. In: Joshi, A.K. (ed.) Proceedings of the Ninth International Joint Conference on Artificial Intelligence, Los Angeles, August 1985, pp. 1214\u20131220 (1985)"},{"key":"8_CR12","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1145\/96877.96885","volume-title":"Proceedings of ISSAC 1990","author":"M. Franova","year":"1990","unstructured":"Franova, M.: PRECOMAS - An Implementation of Constructive Matching Methodology. In: Proceedings of ISSAC 1990, Tokyo, Japan, August 20-24, pp. 16\u201323. ACM, New York (1990)"},{"key":"8_CR13","series-title":"LNAI","doi-asserted-by":"crossref","first-page":"476","DOI":"10.1007\/3-540-56804-2_44","volume-title":"Methodologies for Intelligent Systems","author":"M. Franova","year":"1993","unstructured":"Franova, M., Kodratoff, Y., Gross, M.: Constructive Matching Methodology: Formally Creative or Intelligent Inductive Theorem Proving? In: Komorowski, J., Ra\u015b, Z.W. (eds.) ISMIS 1993. LNCS (LNAI), vol.\u00a0689, pp. 476\u2013485. Springer, Heidelberg (1993)"},{"key":"8_CR14","unstructured":"Franova, M.: A Construction of a Definition Recursive with respect to the Second Variable for the Ackermann function. To appear as LRI internal research report, Orsay, France (2008)"},{"key":"8_CR15","series-title":"LNAI","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1007\/3-540-56804-2_40","volume-title":"Methodologies for Intelligent Systems","author":"A. Giordana","year":"1993","unstructured":"Giordana, A., Saitta, L., Baroglio, C.: Learning simple recursive theories. In: Komorowski, J., Ra\u015b, Z.W. (eds.) ISMIS 1993. LNCS (LNAI), vol.\u00a0689, pp. 425\u2013444. Springer, Heidelberg (1993)"},{"key":"8_CR16","unstructured":"Heitz, T.: Une m\u00e9thode r\u00e9cursive pour le pr\u00e9traitement des textes. Th\u00e8se, Universite Paris-Sud (2008)"},{"key":"8_CR17","unstructured":"Jorge, A., Brazdil, P.: Architecture for iterative learning of recursive definitions. In: Advances in Inductive Logic Programming, pp. 206\u2013218 (1996)"},{"key":"8_CR18","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1007\/BFb0057454","volume-title":"Artificial Intelligence: Methodology, Systems, and Applications","author":"A. Kakas","year":"1998","unstructured":"Kakas, A., Lamma, E., Riguzzi, F.: Learning multiple predicates. In: Giunchiglia, F. (ed.) AIMSA 1998. LNCS (LNAI), vol.\u00a01480, pp. 303\u2013316. Springer, Heidelberg (1998)"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"Kijsirikul, B., Numao, M., Shimura, M.: Efficient learning of logic programs with non-determinate non-discrimonating literals. In: Kaufmann (ed.) ML 1991 \u2013 Machine Learning Conference, pp. 417\u2013421 (1991)","DOI":"10.1016\/B978-1-55860-200-7.50086-6"},{"key":"8_CR20","unstructured":"Kijsirikul, B., Numao, M., Shimura, M.: Discrimination-based constructive induction of logic programs. In: Proceedings of the tenth National Joint Conference on Machine Learning, San Jose, CA, pp. 44\u201349 (1992)"},{"key":"8_CR21","volume-title":"Introduction to Meta-Mathematics","author":"S.C. Kleene","year":"1980","unstructured":"Kleene, S.C.: Introduction to Meta-Mathematics. North-Holland, Amsterdam (1980)"},{"key":"8_CR22","unstructured":"Malerba, D., Esposito, F., Lisi, F.A.: Learning Recursive Theories with ATRE. In: Proceedings of the Thirteenth European Conference on Artificial Intelligence, pp. 435\u2013439 (1998)"},{"key":"8_CR23","unstructured":"Martin, L., Vrain, C.: MULT_ICN: An empirical multiple predicate learner. In: Proc. 5th International Workshop on ILP, pp. 129\u2013144 (1995)"},{"key":"8_CR24","volume-title":"Human Problem Solving","author":"A. Newell","year":"1972","unstructured":"Newell, A., Simon, H.A.: Human Problem Solving. Prentice-Hall, Englewood Cliffs (1972)"},{"key":"8_CR25","first-page":"57","volume":"9","author":"M. Pazzani","year":"1992","unstructured":"Pazzani, M., Kibler, D.: The Utility of Knowledge in Inductive Learning. Machine Learning\u00a09, 57\u201394 (1992)","journal-title":"Machine Learning"},{"key":"8_CR26","volume-title":"Recursive Functions","author":"R. Peter","year":"1967","unstructured":"Peter, R.: Recursive Functions. Academic Press, New York (1967)"},{"key":"8_CR27","volume-title":"Proceedings of the Tenth National Conference on Artificial Intelligence","author":"B.L. Richards","year":"1992","unstructured":"Richards, B.L., Mooney, R.J.: Learning Relations by Pathfinding. In: Proceedings of the Tenth National Conference on Artificial Intelligence. MIT Press, Cambridge (1992)"},{"key":"8_CR28","volume-title":"Recursive Function Theory and Logic","author":"A. Yashuhara","year":"1971","unstructured":"Yashuhara, A.: Recursive Function Theory and Logic. Academic Press, London (1971)"},{"key":"8_CR29","doi-asserted-by":"crossref","unstructured":"Zelle, J.M., Mooney, R.J., Konvisser, J.B.: Combining Top-down and Bottom-up Techniques in Inductive Logic Programming. In: Machine Learning: Proceedings of the Eleventh International Conference, pp. 343\u2013351 (1994)","DOI":"10.1016\/B978-1-55860-335-6.50049-0"},{"issue":"4","key":"8_CR30","first-page":"582","volume":"12","author":"X. Zhang","year":"1997","unstructured":"Zhang, X., Numao, M.: MPL-Core: An Efficient Multiple Predicate Learner Based on Fast Failure Mechanism. Journal of Japanese Society for Artificial Intelligence\u00a012(4), 582\u2013590 (1997)","journal-title":"Journal of Japanese Society for Artificial Intelligence"}],"container-title":["Studies in Computational Intelligence","Advances in Machine Learning II"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-05179-1_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:48:57Z","timestamp":1606186137000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-05179-1_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642051784","9783642051791"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-05179-1_8","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2010]]}}}