{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T04:08:35Z","timestamp":1742962115157,"version":"3.40.3"},"publisher-location":"Singapore","reference-count":20,"publisher":"Springer Nature Singapore","isbn-type":[{"type":"print","value":"9789819600250"},{"type":"electronic","value":"9789819600267"}],"license":[{"start":{"date-parts":[[2024,11,16]],"date-time":"2024-11-16T00:00:00Z","timestamp":1731715200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,11,16]],"date-time":"2024-11-16T00:00:00Z","timestamp":1731715200000},"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":[[2025]]},"DOI":"10.1007\/978-981-96-0026-7_2","type":"book-chapter","created":{"date-parts":[[2024,11,15]],"date-time":"2024-11-15T19:01:42Z","timestamp":1731697302000},"page":"15-28","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Computable Relations Mapping with\u00a0Horn Clauses for\u00a0Inductive Program Synthesis"],"prefix":"10.1007","author":[{"given":"Taosheng","family":"Qiu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ryutaro","family":"Ichise","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,11,16]]},"reference":[{"key":"2_CR1","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley (1995)"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Alviano, M., Morak, M., Pieris, A.: Stable model semantics for tuple-generating dependencies revisited. In: Proceedings of the 36th ACM Symposium on Principles of Database Systems, pp. 377\u2013388 (2017)","DOI":"10.1145\/3034786.3034794"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Alviano, M., Pieris, A.: Default negation for non-guarded existential rules. In: Proceedings of the 34th ACM Symposium on Principles of Database Systems, pp. 79\u201390 (2015)","DOI":"10.1145\/2745754.2745758"},{"issue":"1","key":"2_CR4","first-page":"3","volume":"4","author":"H Andr\u00e9ka","year":"1978","unstructured":"Andr\u00e9ka, H., N\u00e9meti, I.: The generalised completeness of horn predicate-logic as a programming language. Acta Cybernet. 4(1), 3\u201310 (1978)","journal-title":"Acta Cybernet."},{"issue":"3","key":"2_CR5","doi-asserted-by":"publisher","first-page":"841","DOI":"10.1145\/322326.322339","volume":"29","author":"KR Apt","year":"1982","unstructured":"Apt, K.R., van Emden, M.H.: Contributions to the theory of logic programming. J. ACM 29(3), 841\u2013862 (1982)","journal-title":"J. ACM"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Bourgaux, C., Carral, D., Kr\u00f6tzsch, M., Rudolph, S., Thomazo, M.: Capturing homomorphism-closed decidable queries with existential rules. In: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, pp. 141\u2013150 (2021)","DOI":"10.24963\/kr.2021\/14"},{"issue":"1","key":"2_CR7","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1613\/jair.3873","volume":"48","author":"A Cal\u00ec","year":"2013","unstructured":"Cal\u00ec, A., Gottlob, G., Kifer, M.: Taming the infinite chase: query answering under expressive relational constraints. J. Artif. Intell. Res. 48(1), 115\u2013174 (2013)","journal-title":"J. Artif. Intell. Res."},{"issue":"4","key":"2_CR8","doi-asserted-by":"publisher","first-page":"801","DOI":"10.1007\/s10994-020-05934-z","volume":"110","author":"A Cropper","year":"2021","unstructured":"Cropper, A., Morel, R.: Learning programs by learning from failures. Mach. Learn. 110(4), 801\u2013856 (2021). https:\/\/doi.org\/10.1007\/s10994-020-05934-z","journal-title":"Mach. Learn."},{"issue":"7","key":"2_CR9","doi-asserted-by":"publisher","first-page":"1289","DOI":"10.1007\/s10994-019-05862-7","volume":"109","author":"A Cropper","year":"2019","unstructured":"Cropper, A., Morel, R., Muggleton, S.: Learning higher-order logic programs. Mach. Learn. 109(7), 1289\u20131322 (2019). https:\/\/doi.org\/10.1007\/s10994-019-05862-7","journal-title":"Mach. Learn."},{"issue":"3","key":"2_CR10","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1145\/502807.502810","volume":"33","author":"E Dantsin","year":"2001","unstructured":"Dantsin, E., Eiter, T., Gottlob, G., Voronkov, A.: Complexity and expressive power of logic programming. ACM Comput. Surv. 33(3), 374\u2013425 (2001)","journal-title":"ACM Comput. Surv."},{"key":"2_CR11","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/0743-1066(95)00122-0","volume":"27","author":"P Devienne","year":"1996","unstructured":"Devienne, P., Leb\u00e8gue, P., Parrain, A., Routier, J.C., W\u00fcrtz, J.: Smallest horn clause programs. J. Log. Program. 27, 227\u2013267 (1996)","journal-title":"J. Log. Program."},{"issue":"2","key":"2_CR12","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/0743-1066(87)90014-8","volume":"4","author":"A Itai","year":"1987","unstructured":"Itai, A., Makowsky, J.A.: Unification as a complexity measure for logic programming. J. Log. Program. 4(2), 105\u2013117 (1987)","journal-title":"J. Log. Program."},{"issue":"5\u20136","key":"2_CR13","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. Logic Program. 16(5\u20136), 834\u2013848 (2016)","journal-title":"Theory Pract. Logic Program."},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Mendelson, J., Naik, A., Raghothaman, M., Naik, M.: Gensynth: synthesizing datalog programs without language bias. In: Proceedings of the AAAI Conference on Artificial Intelligence, pp. 6444\u20136453 (2021)","DOI":"10.1609\/aaai.v35i7.16799"},{"key":"2_CR15","unstructured":"Michel, P.: The busy beaver competition: a historical survey (2022). https:\/\/arxiv.org\/abs\/0906.3749"},{"key":"2_CR16","unstructured":"Rudolph, S., Thomazo, M.: Characterization of the expressivity of existential rule queries. In: Proceedings of the 24th International Conference on Artificial Intelligence, pp. 3193\u20133199 (2015)"},{"key":"2_CR17","unstructured":"Rudolph, S., Thomazo, M.: Expressivity of datalog variants - completing the picture. In: Proceedings of the 24th International Joint Conference on Artificial Intelligence, pp. 1230\u20131236 (2016)"},{"issue":"2","key":"2_CR18","first-page":"106","volume":"18","author":"J \u0160ebel\u00edk","year":"1982","unstructured":"\u0160ebel\u00edk, J.: Horn clause programs and recursive functions defined by systems of equations. Kybernetika 18(2), 106\u2013120 (1982)","journal-title":"Kybernetika"},{"issue":"2","key":"2_CR19","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/BF01932293","volume":"17","author":"S T\u00e4rnlund","year":"1977","unstructured":"T\u00e4rnlund, S.: Horn clause computability. BIT Numer. Math. 17(2), 215\u2013226 (1977)","journal-title":"BIT Numer. Math."},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"Thakkar, A., Sands, N., Petrou, G., Alur, R., Naik, M., Raghothaman, M.: Mobius: synthesizing relational queries with recursive and invented predicates. In: Proceedings of the ACM on Programming Languages, pp. 1394\u20131417 (2023)","DOI":"10.1145\/3622847"}],"container-title":["Lecture Notes in Computer Science","Knowledge Management and Acquisition for Intelligent Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-96-0026-7_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,15]],"date-time":"2024-11-15T19:03:34Z","timestamp":1731697414000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-96-0026-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,16]]},"ISBN":["9789819600250","9789819600267"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-981-96-0026-7_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024,11,16]]},"assertion":[{"value":"16 November 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"PKAW","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Principle and Practice of Data and Knowledge Acquisition Workshop","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Kyoto","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Japan","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 November 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 November 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"pkaw2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/pkawwebsite.github.io\/2024\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}