{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,28]],"date-time":"2026-01-28T11:59:53Z","timestamp":1769601593993,"version":"3.49.0"},"publisher-location":"Cham","reference-count":44,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030314224","type":"print"},{"value":"9783030314231","type":"electronic"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-31423-1_6","type":"book-chapter","created":{"date-parts":[[2019,9,17]],"date-time":"2019-09-17T17:03:56Z","timestamp":1568739836000},"page":"196-231","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":17,"title":["Logic-Based Learning of Answer Set Programs"],"prefix":"10.1007","author":[{"given":"Mark","family":"Law","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandra","family":"Russo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Krysia","family":"Broda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,9,13]]},"reference":[{"key":"6_CR1","unstructured":"Athakravi, D.: Inductive logic programming using bounded hypothesis space. Ph.D. thesis, Imperial College London (2015)"},{"key":"6_CR2","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-3-662-44923-3_3","volume-title":"Inductive Logic Programming","author":"D Athakravi","year":"2014","unstructured":"Athakravi, D., Corapi, D., Broda, K., Russo, A.: Learning through hypothesis refinement using answer set programming. In: Zaverucha, G., Santos Costa, V., Paes, A. (eds.) ILP 2013. LNCS (LNAI), vol. 8812, pp. 31\u201346. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-44923-3_3"},{"issue":"1","key":"6_CR3","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1016\/S0004-3702(98)00034-4","volume":"101","author":"H Blockeel","year":"1998","unstructured":"Blockeel, H., De Raedt, L.: Top-down induction of first-order logical decision trees. Artif. Intell. 101(1), 285\u2013297 (1998)","journal-title":"Artif. Intell."},{"key":"6_CR4","unstructured":"Brain, M., Cliffe, O., De Vos, M.: A pragmatic programmer\u2019s guide to answer set programming. In: Answer Set Programming, p. 49 (2009)"},{"key":"6_CR5","unstructured":"Corapi, D., Russo, A.: ASPAL. Proof of soundness and completeness. Technical report, Department of Computing (DTR11-5), Imperial College, London (2011)"},{"key":"6_CR6","unstructured":"Corapi, D., Russo, A., Lupu, E.: Inductive logic programming as abductive search. In: ICLP (Technical Communications), pp. 54\u201363 (2010)"},{"key":"6_CR7","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","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 (LNAI), vol. 7207, pp. 91\u201397. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-31951-8_12"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/3-540-44682-6_10","volume-title":"Agent Mediated Electronic Commerce","author":"M Dastani","year":"2001","unstructured":"Dastani, M., Jacobs, N., Jonker, C.M., Treur, J.: Modeling user preferences and mediating agents in electronic commerce. In: Dignum, F., Sierra, C. (eds.) Agent Mediated Electronic Commerce. LNCS (LNAI), vol. 1991, pp. 163\u2013193. Springer, Heidelberg (2001). https:\/\/doi.org\/10.1007\/3-540-44682-6_10"},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/978-3-642-03754-2_2","volume-title":"Reasoning Web. Semantic Technologies for Information Systems","author":"T Eiter","year":"2009","unstructured":"Eiter, T., Ianni, G., Krennwallner, T.: Answer set programming: a primer. In: Tessaris, S., et al. (eds.) Reasoning Web 2009. LNCS, vol. 5689, pp. 40\u2013110. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-03754-2_2"},{"issue":"3","key":"6_CR10","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1609\/aimag.v37i3.2678","volume":"37","author":"E Erdem","year":"2016","unstructured":"Erdem, E., Gelfond, M., Leone, N.: Applications of answer set programming. AI Mag. 37(3), 53\u201368 (2016)","journal-title":"AI Mag."},{"key":"6_CR11","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/978-3-540-39857-8_15","volume-title":"Machine Learning: ECML 2003","author":"J F\u00fcrnkranz","year":"2003","unstructured":"F\u00fcrnkranz, J., H\u00fcllermeier, E.: Pairwise preference learning and ranking. In: Lavra\u010d, N., Gamberger, D., Blockeel, H., Todorovski, L. (eds.) ECML 2003. LNCS (LNAI), vol. 2837, pp. 145\u2013156. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-540-39857-8_15"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Geisler, B., Ha, V., Haddawy, P.: Modeling user preferences via theory refinement. In: Proceedings of the 6th International Conference on Intelligent User Interfaces, pp. 87\u201390. ACM (2001)","DOI":"10.1145\/359784.360291"},{"key":"6_CR13","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139342124","volume-title":"Knowledge Representation, Reasoning, and the Design of Intelligent Agents: The Answer-Set Programming Approach","author":"M Gelfond","year":"2014","unstructured":"Gelfond, M., Kahl, Y.: Knowledge Representation, Reasoning, and the Design of Intelligent Agents: The Answer-Set Programming Approach. Cambridge University Press, Cambridge (2014)"},{"key":"6_CR14","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: ICLP\/SLP, vol. 88, pp. 1070\u20131080 (1988)"},{"issue":"4","key":"6_CR15","first-page":"453","volume":"28","author":"T Horv\u00e1th","year":"2012","unstructured":"Horv\u00e1th, T.: A model of user preference learning for content-based recommender systems. Comput. Inform. 28(4), 453\u2013481 (2012)","journal-title":"Comput. Inform."},{"key":"6_CR16","unstructured":"Inoue, K., Kudoh, Y.: Learning extended logic programs. In: IJCAI, no. 1, pp. 176\u2013181 (1997)"},{"issue":"2\u20133","key":"6_CR17","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1007\/s10994-015-5512-1","volume":"100","author":"N Katzouris","year":"2015","unstructured":"Katzouris, N., Artikis, A., Paliouras, G.: Incremental learning of event definitions with inductive logic programming. Mach. Learn. 100(2\u20133), 555\u2013585 (2015)","journal-title":"Mach. Learn."},{"key":"6_CR18","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1016\/j.eswa.2017.06.013","volume":"87","author":"M Kazmi","year":"2017","unstructured":"Kazmi, M., Sch\u00fcller, P., Sayg\u0131n, Y.: Improving scalability of inductive logic programming via pruning and best-effort optimisation. Expert Syst. Appl. 87, 291\u2013303 (2017)","journal-title":"Expert Syst. Appl."},{"issue":"1","key":"6_CR19","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R Kowalski","year":"1986","unstructured":"Kowalski, R., Sergot, M.: A logic-based calculus of events. New Gener. Comput. 4(1), 67\u201395 (1986)","journal-title":"New Gener. Comput."},{"key":"6_CR20","unstructured":"Law, M.: Inductive learning of answer set programs. Ph.D. thesis, Imperial College London (2018)"},{"key":"6_CR21","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/978-3-319-11558-0_22","volume-title":"Logics in Artificial Intelligence","author":"M Law","year":"2014","unstructured":"Law, M., Russo, A., Broda, K.: Inductive learning of answer set programs. In: Ferm\u00e9, E., Leite, J. (eds.) JELIA 2014. LNCS (LNAI), vol. 8761, pp. 311\u2013325. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-11558-0_22"},{"issue":"4\u20135","key":"6_CR22","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1017\/S1471068415000198","volume":"15","author":"M Law","year":"2015","unstructured":"Law, M., Russo, A., Broda, K.: Learning weak constraints in answer set programming. Theory Pract. Log. Program. 15(4\u20135), 511\u2013525 (2015)","journal-title":"Theory Pract. Log. Program."},{"key":"6_CR23","unstructured":"Law, M., Russo, A., Broda, K.: Simplified reduct for choice rules in ASP. Technical report, Department of Computing (DTR2015-2), Imperial College London (2015)"},{"issue":"5\u20136","key":"6_CR24","doi-asserted-by":"publisher","first-page":"834","DOI":"10.1017\/S1471068416000351","volume":"16","author":"M Law","year":"2016","unstructured":"Law, M., Russo, A., Broda, K.: Iterative learning of answer set programs from context dependent examples. Theory Pract. Log. Program. 16(5\u20136), 834\u2013848 (2016)","journal-title":"Theory Pract. Log. Program."},{"key":"6_CR25","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1016\/j.artint.2018.03.005","volume":"259","author":"M Law","year":"2018","unstructured":"Law, M., Russo, A., Broda, K.: The complexity and generality of learning answer set programs. Artif. Intell. 259, 110\u2013146 (2018)","journal-title":"Artif. Intell."},{"key":"6_CR26","unstructured":"Law, M., Russo, A., Broda, K.: Inductive learning of answer set programs from noisy examples. In: Advances in Cognitive Systems (2018)"},{"key":"6_CR27","volume-title":"Commonsense Reasoning: An Event Calculus Based Approach","author":"ET Mueller","year":"2014","unstructured":"Mueller, E.T.: Commonsense Reasoning: An Event Calculus Based Approach. Morgan Kaufmann, San Francisco (2014)"},{"issue":"4","key":"6_CR28","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 Gener. Comput. 8(4), 295\u2013318 (1991)","journal-title":"New Gener. Comput."},{"issue":"3\u20134","key":"6_CR29","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/BF03037227","volume":"13","author":"S Muggleton","year":"1995","unstructured":"Muggleton, S.: Inverse entailment and progol. New Gener. Comput. 13(3\u20134), 245\u2013286 (1995)","journal-title":"New Gener. Comput."},{"issue":"1","key":"6_CR30","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s10994-011-5259-2","volume":"86","author":"S Muggleton","year":"2012","unstructured":"Muggleton, S., et al.: ILP turns 20. Mach. Learn. 86(1), 3\u201323 (2012)","journal-title":"Mach. Learn."},{"key":"6_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/3-540-45241-9_12","volume-title":"Practical Aspects of Declarative Languages","author":"M Nogueira","year":"2001","unstructured":"Nogueira, M., Balduccini, M., Gelfond, M., Watson, R., Barry, M.: An A-Prolog decision support system for the space shuttle. In: Ramakrishnan, I.V. (ed.) PADL 2001. LNCS, vol. 1990, pp. 169\u2013183. Springer, Heidelberg (2001). https:\/\/doi.org\/10.1007\/3-540-45241-9_12"},{"key":"6_CR32","unstructured":"Nuffelen, B.: Abductive constraint logic programming: implementation and applications. Ph.D. thesis, K.U. Leuven (2004)"},{"key":"6_CR33","series-title":"Lecture Notes in Computer Science (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":"RP Otero","year":"2001","unstructured":"Otero, R.P.: Induction of stable models. In: Rouveirol, C., Sebag, M. (eds.) ILP 2001. LNCS (LNAI), vol. 2157, pp. 193\u2013205. Springer, Heidelberg (2001). https:\/\/doi.org\/10.1007\/3-540-44797-0_16"},{"key":"6_CR34","volume-title":"Computational Complexity","author":"CH Papadimitriou","year":"2003","unstructured":"Papadimitriou, C.H.: Computational Complexity. Wiley, New York (2003)"},{"key":"6_CR35","unstructured":"Ray, O.: Hybrid abductive inductive learning. Ph.D. thesis, Imperial College London (2005)"},{"issue":"3","key":"6_CR36","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. J. Appl. Log. 7(3), 329\u2013340 (2009)","journal-title":"J. Appl. Log."},{"key":"6_CR37","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/978-3-540-39917-9_21","volume-title":"Inductive Logic Programming","author":"O Ray","year":"2003","unstructured":"Ray, O., Broda, K., Russo, A.: Hybrid abductive inductive learning: a generalisation of progol. In: Horv\u00e1th, T., Yamamoto, A. (eds.) ILP 2003. LNCS (LNAI), vol. 2835, pp. 311\u2013328. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-540-39917-9_21"},{"issue":"1\u20132","key":"6_CR38","doi-asserted-by":"crossref","first-page":"35","DOI":"10.3233\/FI-2010-357","volume":"105","author":"F Ricca","year":"2010","unstructured":"Ricca, F., et al.: A logic-based system for e-tourism. Fundam. Inform. 105(1\u20132), 35\u201355 (2010)","journal-title":"Fundam. Inform."},{"key":"6_CR39","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/3-540-44960-4_13","volume-title":"Inductive Logic Programming","author":"C Sakama","year":"2000","unstructured":"Sakama, C.: Inverse entailment in nonmonotonic logic programs. In: Cussens, J., Frisch, A. (eds.) ILP 2000. LNCS (LNAI), vol. 1866, pp. 209\u2013224. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/3-540-44960-4_13"},{"key":"6_CR40","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/3-540-45402-0_5","volume-title":"Logic Programming and Nonmotonic Reasoning","author":"C Sakama","year":"2001","unstructured":"Sakama, C.: Nonmonotomic inductive logic programming. In: Eiter, T., Faber, W., Truszczy\u0144ski, M. (eds.) LPNMR 2001. LNCS (LNAI), vol. 2173, pp. 62\u201380. Springer, Heidelberg (2001). https:\/\/doi.org\/10.1007\/3-540-45402-0_5"},{"issue":"1","key":"6_CR41","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. Mach. Learn. 76(1), 3\u201335 (2009)","journal-title":"Mach. Learn."},{"issue":"5","key":"6_CR42","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/5254.889105","volume":"15","author":"J Seitzer","year":"2000","unstructured":"Seitzer, J., Buckley, J.P., Pan, Y.: INDED: a distributed knowledge-based learning system. IEEE Intell. Syst. Appl. 15(5), 38\u201346 (2000)","journal-title":"IEEE Intell. Syst. Appl."},{"key":"6_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/3-540-49201-1_21","volume-title":"Practical Aspects of Declarative Languages","author":"T Soininen","year":"1998","unstructured":"Soininen, T., Niemel\u00e4, I.: Developing a declarative rule language for applications in product configuration. In: Gupta, G. (ed.) PADL 1999. LNCS, vol. 1551, pp. 305\u2013319. Springer, Heidelberg (1998). https:\/\/doi.org\/10.1007\/3-540-49201-1_21"},{"key":"6_CR44","unstructured":"Srinivasan, A.: The Aleph Manual. Machine Learning at the Computing Laboratory, Oxford University (2001)"}],"container-title":["Lecture Notes in Computer Science","Reasoning Web. Explainable Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-31423-1_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,11]],"date-time":"2024-03-11T15:08:15Z","timestamp":1710169695000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-31423-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030314224","9783030314231"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-31423-1_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"13 September 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}