{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T19:10:27Z","timestamp":1743102627512,"version":"3.40.3"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319237077"},{"type":"electronic","value":"9783319237084"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-23708-4_2","type":"book-chapter","created":{"date-parts":[[2015,12,26]],"date-time":"2015-12-26T03:08:52Z","timestamp":1451099332000},"page":"16-32","source":"Crossref","is-referenced-by-count":3,"title":["Inductive Learning Using Constraint-Driven Bias"],"prefix":"10.1007","author":[{"given":"Duangtida","family":"Athakravi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dalal","family":"Alrajeh","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"}]},{"given":"Ken","family":"Satoh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,12,27]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Alrajeh, D., Kramer, J., van Lamsweerde, A., Russo, A., Uchitel, S.: Generating obstacle conditions for requirements completeness. In: ICSE, pp. 705\u2013715 (2012)","DOI":"10.1109\/ICSE.2012.6227147"},{"issue":"3","key":"2_CR2","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1109\/TSE.2012.41","volume":"39","author":"D Alrajeh","year":"2013","unstructured":"Alrajeh, D., Kramer, J., Russo, A., Uchitel, S.: Elaborating requirements using model checking and inductive learning. IEEE Trans. SE 39(3), 361\u2013383 (2013)","journal-title":"IEEE Trans. SE"},{"key":"2_CR3","first-page":"89","volume-title":"Towards a Theory of Declarative Knowledge","author":"KR Apt","year":"1988","unstructured":"Apt, K.R., Blair, H.A., Walker, A.: Foundations of deductive databases and logic programming. In: Minker, J. (ed.) Towards a Theory of Declarative Knowledge, pp. 89\u2013148. Morgan Kaufmann, Los Altos (1988)"},{"issue":"1\u20132","key":"2_CR4","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., Raedt, L.D.: Top-down induction of first-order logical decision trees. Artif. Intell. 101(1\u20132), 285\u2013297 (1998)","journal-title":"Artif. Intell."},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Bragaglia, S., Ray, O.: Nonmonotonic learning in large biological networks. In: 24th International Conference on Inductive Logic Programming (2014)","DOI":"10.1007\/978-3-319-23708-4_3"},{"key":"2_CR6","unstructured":"Chan, D.: Constructive negation based on the completed database. In: Proceedings of the Fifth International Conference and Symposium on Logic Programming, 1988, (2 Volumes), pp. 111\u2013125 (1988)"},{"issue":"3","key":"2_CR7","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1016\/j.jal.2008.10.004","volume":"7","author":"H Christiansen","year":"2009","unstructured":"Christiansen, H.: Executable specifications for hypothesis-based reasoning with prolog and constraint handling rules. J. Appl. Log. 7(3), 341\u2013362 (2009)","journal-title":"J. Appl. Log."},{"key":"2_CR8","unstructured":"Corapi, D.: Nonmonotonic inductive logic programming as abductive search. Ph.D. thesis, Imperial College London (2011)"},{"key":"2_CR9","unstructured":"Corapi, D., Russo, A., Lupu, E.: Inductive logic programming as abductive search. In: Hermenegildo, M.V., Schaub, T. (eds.) ICLP (Technical Communications). LIPIcs, vol. 7, pp. 54\u201363 (2010)"},{"key":"2_CR10","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)"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Darimont, R., van Lamsweerde, A.: Formal refinement patterns for goal-driven requirements elaboration. In: FSE, pp. 179\u2013190. ACM (1996)","DOI":"10.1145\/250707.239131"},{"issue":"4","key":"2_CR12","first-page":"463","volume":"3","author":"T Eiter","year":"2003","unstructured":"Eiter, T., Faber, W., Leone, N., Pfeifer, G.: Computing preferred answer sets by meta-interpretation in answer set programming. TPLP 3(4), 463\u2013498 (2003)","journal-title":"TPLP"},{"key":"2_CR13","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Clingo = ASP + control: preliminary report. In: ICLP 2014, vol. 14(4\u20135) (2014)"},{"issue":"2","key":"2_CR14","first-page":"109","volume":"55","author":"K Inoue","year":"2004","unstructured":"Inoue, K.: Induction as consequence finding. ML 55(2), 109\u2013135 (2004)","journal-title":"ML"},{"issue":"2","key":"2_CR15","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/s10994-013-5341-z","volume":"91","author":"K Inoue","year":"2013","unstructured":"Inoue, K., Doncescu, A., Nabeshima, H.: Completing causal networks by meta-level abduction. Mach. Learn. 91(2), 239\u2013277 (2013)","journal-title":"Mach. Learn."},{"key":"2_CR16","series-title":"Lecture Notes in Computer Science","first-page":"137","volume-title":"Inductive Logic Programming","author":"A Jorge","year":"1996","unstructured":"Jorge, A., Brazdil, P.: Integrity constraints in ILP using a Monte Carlo approach. In: Muggleton, S. (ed.) ILP 1996. LNCS, vol. 1314, pp. 137\u2013151. Springer, Heidelberg (1996)"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Kakas, A., Michael, A., Mourlas, C.: ACLP: abductive constraint logic programming (2000)","DOI":"10.1016\/S0743-1066(99)00075-8"},{"issue":"6","key":"2_CR18","doi-asserted-by":"publisher","first-page":"719","DOI":"10.1093\/logcom\/2.6.719","volume":"2","author":"AC Kakas","year":"1992","unstructured":"Kakas, A.C., Kowalski, R.A., Toni, F.: Abductive logic programming. J. Log. Comput. 2(6), 719\u2013770 (1992)","journal-title":"J. Log. Comput."},{"key":"2_CR19","unstructured":"Kakas, A.C., Nuffelen, B.V., Denecker, M.: A-system: problem solving through abduction. In: Nebel, B. (ed.) Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001, pp. 591\u2013596. Morgan Kaufmann (2001)"},{"issue":"1","key":"2_CR20","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"RA Kowalski","year":"1986","unstructured":"Kowalski, R.A., Sergot, M.: A logic-based calculus of events. New Gener. Comput. 4(1), 67\u201395 (1986)","journal-title":"New Gener. Comput."},{"issue":"10","key":"2_CR21","doi-asserted-by":"publisher","first-page":"978","DOI":"10.1109\/32.879820","volume":"26","author":"A Lamsweerde van","year":"2000","unstructured":"van Lamsweerde, A., Letier, E.: Handling obstacles in goal-oriented requirements engineering. IEEE Trans. SE 26(10), 978\u20131005 (2000)","journal-title":"IEEE Trans. SE"},{"key":"2_CR22","unstructured":"Lin, D., Dechter, E., Ellis, K., Tenenbaum, J.B., Muggleton, S.: Bias reformulation for one-shot function induction. In: ECAI 2014. Frontiers in Artificial Intelligence and Applications, vol. 263, pp. 525\u2013530 (2014)"},{"key":"2_CR23","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The Temporal Logic of Reactive and Concurrent Systems","author":"Z Manna","year":"1992","unstructured":"Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems. Springer, New York (1992)"},{"issue":"1","key":"2_CR24","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."}],"container-title":["Lecture Notes in Computer Science","Inductive Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23708-4_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:37:16Z","timestamp":1559349436000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-23708-4_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319237077","9783319237084"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23708-4_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}