{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,8]],"date-time":"2025-09-08T05:32:32Z","timestamp":1757309552367,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662449226"},{"type":"electronic","value":"9783662449233"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-44923-3_3","type":"book-chapter","created":{"date-parts":[[2014,9,24]],"date-time":"2014-09-24T00:04:17Z","timestamp":1411517057000},"page":"31-46","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":11,"title":["Learning Through Hypothesis Refinement Using Answer Set Programming"],"prefix":"10.1007","author":[{"given":"Duangtida","family":"Athakravi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Domenico","family":"Corapi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Krysia","family":"Broda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandra","family":"Russo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,9,24]]},"reference":[{"key":"3_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511543357","volume-title":"Knowledge Representation, Reasoning and Declarative Problem Solving","author":"C Baral","year":"2003","unstructured":"Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)"},{"key":"3_CR2","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/3-540-48751-4_6","volume-title":"Inductive Logic Programming","author":"I Bratko","year":"1999","unstructured":"Bratko, I.: Refining complete hypotheses in ILP. In: D\u017eeroski, S., Flach, P.A. (eds.) ILP 1999. LNCS (LNAI), vol. 1634, pp. 44\u201355. Springer, Heidelberg (1999)"},{"key":"3_CR3","unstructured":"Corapi, D.: Nonmonotonic inductive logic programming as abductive search. Ph.D. thesis, Imperial College London (2011)"},{"key":"3_CR4","unstructured":"Corapi, D., Russo, A., Lupu, E.: Inductive logic programming as abductive search. In: Hermenegildo, M., Schaub, T. (eds.) Technical Communications of the 26th International Conference on Logic Programming (2010)"},{"key":"3_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/978-3-642-31951-8_12","volume-title":"Inductive Logic Programming","author":"D Corapi","year":"2012","unstructured":"Corapi, D., Russo, A., Lupu, E.: Inductive logic programming in answer set programming. In: Muggleton, S.H., Tamaddoni-Nezhad, A., Lisi, F.A. (eds.) ILP 2011. LNCS, vol. 7207, pp. 91\u201397. Springer, Heidelberg (2012)"},{"issue":"4\u20135","key":"3_CR6","first-page":"783","volume":"11","author":"D Corapi","year":"2011","unstructured":"Corapi, D., Russo, A., Vos, M.D., Padget, J.A., Satoh, K.: Normative design using inductive learning. TPLP 11(4\u20135), 783\u2013799 (2011)","journal-title":"TPLP"},{"key":"3_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1007\/3-540-59286-5_53","volume-title":"Machine Learning: ECML-95","author":"Y Dimopoulos","year":"1995","unstructured":"Dimopoulos, Y., Kakas, A.: Learning non-monotonic logic programs: learning exceptions. In: Lavra\u010d, N., Wrobel, S. (eds.) ECML 1995. LNCS, vol. 912, pp. 122\u2013137. Springer, Heidelberg (1995)"},{"issue":"2","key":"3_CR8","doi-asserted-by":"crossref","first-page":"105","DOI":"10.3233\/AIC-2011-0497","volume":"24","author":"M Gebser","year":"2011","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., Schneider, M.: Potassco: the Potsdam answer set solving collection. AI Commun. 24(2), 105\u2013124 (2011)","journal-title":"AI Commun."},{"key":"3_CR9","unstructured":"Katzouris, N., Artikis, A., Paliouras, G.: Incremental learning of event definitions with inductive logic programming. CoRR abs\/1402.5988 (2014)"},{"key":"3_CR10","unstructured":"Kimber, T.: Learning definite and normal logic programs by induction on failure. Ph.D. thesis, Imperial College London (2012)"},{"key":"3_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/978-3-642-04238-6_16","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"T Kimber","year":"2009","unstructured":"Kimber, T., Broda, K., Russo, A.: Induction on failure: learning connected horn theories. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol. 5753, pp. 169\u2013181. Springer, Heidelberg (2009)"},{"issue":"3","key":"3_CR12","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1145\/1149114.1149117","volume":"7","author":"N Leone","year":"2006","unstructured":"Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The DLV system for knowledge representation and reasoning. ACM Trans. Comput. Logic 7(3), 499\u2013562 (2006)","journal-title":"ACM Trans. Comput. Logic"},{"key":"3_CR13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-96826-6","volume-title":"Foundations of logic programming","author":"J Lloyd","year":"1984","unstructured":"Lloyd, J.: Foundations of logic programming. Springer, New York (1984)"},{"issue":"20","key":"3_CR14","doi-asserted-by":"publisher","first-page":"629","DOI":"10.1016\/0743-1066(94)90035-3","volume":"19\u201320","author":"S Muggleton","year":"1994","unstructured":"Muggleton, S., De Raedt, L.: Inductive logic programming: theory and methods. J. Logic Program. 19\u201320(20), 629\u2013679 (1994)","journal-title":"J. Logic Program."},{"key":"3_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"687","DOI":"10.1007\/978-3-540-89982-2_58","volume-title":"Logic Programming","author":"SH Muggleton","year":"2008","unstructured":"Muggleton, S.H., Santos, J.C.A., Tamaddoni-Nezhad, A.: TopLog: ILP using a logic program declarative bias. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol. 5366, pp. 687\u2013692. Springer, Heidelberg (2008)"},{"key":"3_CR16","unstructured":"Muggleton, S.H., Lin, D.: Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited. In: IJCAI (2013)"},{"issue":"3","key":"3_CR17","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1016\/j.jal.2008.10.007","volume":"7","author":"O Ray","year":"2008","unstructured":"Ray, O.: Nonmonotonic abductive inductive learning. J. Appl. Logic 7(3), 329\u2013340 (2008)","journal-title":"J. Appl. Logic"},{"key":"3_CR18","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","first-page":"62","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"C Sakama","year":"2001","unstructured":"Sakama, C.: Nonmonotonic inductive logic programming. In: Eiter, T., Faber, W., Truszczy\u0144ski, M. (eds.) LPNMR 2001. LNCS (LNAI), vol. 2173, pp. 62\u201380. Springer, Heidelberg (2001)"},{"issue":"2","key":"3_CR19","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1145\/1055686.1055687","volume":"6","author":"C Sakama","year":"2005","unstructured":"Sakama, C.: Induction from answer sets in nonmonotonic logic programs. ACM Trans. Comput. Logic 6(2), 203\u2013231 (2005)","journal-title":"ACM Trans. Comput. Logic"},{"issue":"1","key":"3_CR20","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s10994-009-5113-y","volume":"67","author":"C Sakama","year":"2009","unstructured":"Sakama, C., Inoue, K.: Brave induction: a logical framework for learning from incomplete information. Mach. Learn. 67(1), 3\u201335 (2009)","journal-title":"Mach. Learn."},{"key":"3_CR21","first-page":"34","volume-title":"Advances in Inductive Logic Programming","author":"I Stahl","year":"1996","unstructured":"Stahl, I.: Predicate invention in inductive logic programming. In: De Raedt, L. (ed.) Advances in Inductive Logic Programming, pp. 34\u201347. IOS Press, Amsterdam (1996)"},{"key":"3_CR22","first-page":"14","volume-title":"Advances in Inductive Logic Programming","author":"S Wrobel","year":"1996","unstructured":"Wrobel, S.: First order theory refinement. In: De Raedt, L. (ed.) Advances in Inductive Logic Programming, pp. 14\u201333. IOS Press, Amsterdam (1996)"}],"container-title":["Lecture Notes in Computer Science","Inductive Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-44923-3_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,8]],"date-time":"2023-02-08T03:28:34Z","timestamp":1675826914000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-44923-3_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662449226","9783662449233"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-44923-3_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"24 September 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}