{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:15:59Z","timestamp":1750220159538,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":8,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,9,20]],"date-time":"2022-09-20T00:00:00Z","timestamp":1663632000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"National Research Foundation, Singapore"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,9,20]]},"DOI":"10.1145\/3551357.3551383","type":"proceedings-article","created":{"date-parts":[[2022,9,20]],"date-time":"2022-09-20T15:37:25Z","timestamp":1663688245000},"page":"1-14","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["User Guided Abductive Proof Generation for Answer Set Programming Queries"],"prefix":"10.1145","author":[{"given":"Avishkar","family":"Mahajan","sequence":"first","affiliation":[{"name":"Singapore Management University, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Strecker","sequence":"additional","affiliation":[{"name":"Universite de Toulouse, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Meng Weng","family":"Wong","sequence":"additional","affiliation":[{"name":"Singapore Management University, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,9,20]]},"reference":[{"volume-title":"Datalog 2.0(CEUR Workshop Proceedings, Vol.\u00a02368), Mario Alviano and Andreas Pieris (Eds.). CEUR-WS.org","author":"Arias Joaqu\u00edn","key":"e_1_3_2_1_2_1","unstructured":"Joaqu\u00edn Arias , Manuel Carro , Zhuo Chen , and Gopal Gupta . 2019. Constraint Answer Set Programming without Grounding and its Applications . In Datalog 2.0(CEUR Workshop Proceedings, Vol.\u00a02368), Mario Alviano and Andreas Pieris (Eds.). CEUR-WS.org , Philadelphia, PA ( USA) , 22\u201326. http:\/\/ceur-ws.org\/Vol-2368\/paper2.pdf Joaqu\u00edn Arias, Manuel Carro, Zhuo Chen, and Gopal Gupta. 2019. Constraint Answer Set Programming without Grounding and its Applications. In Datalog 2.0(CEUR Workshop Proceedings, Vol.\u00a02368), Mario Alviano and Andreas Pieris (Eds.). CEUR-WS.org, Philadelphia, PA (USA), 22\u201326. http:\/\/ceur-ws.org\/Vol-2368\/paper2.pdf"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(91)90038-Q"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(96)00179-X"},{"volume-title":"Answer Set Solving in Practice","author":"Gebser Martin","key":"e_1_3_2_1_5_1","unstructured":"Martin Gebser , Roland Kaminski , Benjamin Kaufmann , and Torsten Schaub . 2012. Answer Set Solving in Practice . Morgan & Claypool Publishers , Uni Potsdam . Martin Gebser, Roland Kaminski, Benjamin Kaufmann, and Torsten Schaub. 2012. Answer Set Solving in Practice. Morgan & Claypool Publishers, Uni Potsdam."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"Avishkar Mahajan Martin Strecker and Meng\u00a0Weng Wong. 2022. User Guided Abductive Proof Generation for Answer Set Programming Queries (Extended version). Forthcoming. https:\/\/arxiv.org\/  Avishkar Mahajan Martin Strecker and Meng\u00a0Weng Wong. 2022. User Guided Abductive Proof Generation for Answer Set Programming Queries (Extended version). Forthcoming. https:\/\/arxiv.org\/","DOI":"10.1145\/3551357.3551383"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068409990093"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.3233\/FI-2016-1446"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00881955"}],"event":{"name":"PPDP 2022: 24th International Symposium on Principles and Practice of Declarative Programming","acronym":"PPDP 2022","location":"Tbilisi Georgia"},"container-title":["Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3551357.3551383","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3551357.3551383","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:00:24Z","timestamp":1750186824000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3551357.3551383"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,9,20]]},"references-count":8,"alternative-id":["10.1145\/3551357.3551383","10.1145\/3551357"],"URL":"https:\/\/doi.org\/10.1145\/3551357.3551383","relation":{},"subject":[],"published":{"date-parts":[[2022,9,20]]},"assertion":[{"value":"2022-09-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}