{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,29]],"date-time":"2026-05-29T12:42:40Z","timestamp":1780058560701,"version":"3.54.0"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319115573","type":"print"},{"value":"9783319115580","type":"electronic"}],"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":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11558-0_22","type":"book-chapter","created":{"date-parts":[[2014,9,16]],"date-time":"2014-09-16T02:22:39Z","timestamp":1410834159000},"page":"311-325","source":"Crossref","is-referenced-by-count":54,"title":["Inductive Learning of Answer Set Programs"],"prefix":"10.1007","author":[{"given":"Mark","family":"Law","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alessandra","family":"Russo","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Krysia","family":"Broda","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"22_CR1","unstructured":"Corapi, D., Russo, A., Lupu, E.: Inductive logic programming as abductive search. In: ICLP (Technical Communications), pp. 54\u201363 (2010)"},{"key":"22_CR2","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.\u00a07207, pp. 91\u201397. Springer, Heidelberg (2012)"},{"issue":"1","key":"22_CR3","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/S0004-3702(97)00041-6","volume":"95","author":"L. De Raedt","year":"1997","unstructured":"De Raedt, L.: Logical settings for concept-learning. Artificial Intelligence\u00a095(1), 187\u2013201 (1997)","journal-title":"Artificial Intelligence"},{"issue":"2","key":"22_CR4","doi-asserted-by":"crossref","first-page":"107","DOI":"10.3233\/AIC-2011-0491","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 Communications\u00a024(2), 107\u2013124 (2011)","journal-title":"AI Communications"},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Answer Set Solving in Practice. Synthesis Lectures on Artificial Intelligence and Machine Learning. Morgan and Claypool Publishers (2012)","DOI":"10.1007\/978-3-031-01561-8"},{"key":"22_CR6","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: ICLP\/SLP, vol.\u00a088, pp. 1070\u20131080 (1988)"},{"issue":"1","key":"22_CR7","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/s10994-013-5353-8","volume":"94","author":"K. Inoue","year":"2014","unstructured":"Inoue, K., Ribeiro, T., Sakama, C.: Learning from interpretation transition. Machine Learning\u00a094(1), 51\u201379 (2014)","journal-title":"Machine Learning"},{"key":"22_CR8","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.\u00a05753, pp. 169\u2013181. Springer, Heidelberg (2009)"},{"key":"22_CR9","unstructured":"Law, M., Russo, A., Broda, K.: Proofs for inductive learning of answer set programs, \n                      https:\/\/www.doc.ic.ac.uk\/~ml1909\/ILASP_Proofs.pdf"},{"issue":"4","key":"22_CR10","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/BF03037089","volume":"8","author":"S. Muggleton","year":"1991","unstructured":"Muggleton, S.: Inductive logic programming. New Generation Computing\u00a08(4), 295\u2013318 (1991)","journal-title":"New Generation Computing"},{"issue":"1","key":"22_CR11","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s10994-011-5259-2","volume":"86","author":"S. Muggleton","year":"2012","unstructured":"Muggleton, S., De Raedt, L., Poole, D., Bratko, I., Flach, P., Inoue, K., Srinivasan, A.: Ilp turns 20. Machine Learning\u00a086(1), 3\u201323 (2012)","journal-title":"Machine Learning"},{"key":"22_CR12","unstructured":"Muggleton, S., Lin, D.: Meta-interpretive learning of higher-order dyadic datalog: Predicate invention revisited. In: Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, pp. 1551\u20131557. AAAI Press (2013)"},{"key":"22_CR13","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/3-540-44797-0_16","volume-title":"Inductive Logic Programming","author":"R. Otero","year":"2001","unstructured":"Otero, R.: Induction of stable models. In: Rouveirol, C., Sebag, M. (eds.) ILP 2001. LNCS (LNAI), vol.\u00a02157, pp. 193\u2013205. Springer, Heidelberg (2001)"},{"issue":"3","key":"22_CR14","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1016\/j.jal.2008.10.007","volume":"7","author":"O. Ray","year":"2009","unstructured":"Ray, O.: Nonmonotonic abductive inductive learning. Journal of Applied Logic\u00a07(3), 329\u2013340 (2009)","journal-title":"Journal of Applied Logic"},{"issue":"5","key":"22_CR15","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1093\/jigpal\/12.5.371","volume":"12","author":"O. Ray","year":"2004","unstructured":"Ray, O., Broda, K., Russo, A.: A hybrid abductive inductive proof procedure. Logic Journal of IGPL\u00a012(5), 371\u2013397 (2004)","journal-title":"Logic Journal of IGPL"},{"issue":"1","key":"22_CR16","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s10994-009-5113-y","volume":"76","author":"C. Sakama","year":"2009","unstructured":"Sakama, C., Inoue, K.: Brave induction: a logical framework for learning from incomplete information. Machine Learning\u00a076(1), 3\u201335 (2009)","journal-title":"Machine Learning"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11558-0_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,1]],"date-time":"2023-02-01T10:17:24Z","timestamp":1675246644000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-11558-0_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319115573","9783319115580"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11558-0_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}