{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T01:46:58Z","timestamp":1756000018769,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,10,19]],"date-time":"2020-10-19T00:00:00Z","timestamp":1603065600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,10,19]]},"DOI":"10.1145\/3340531.3411911","type":"proceedings-article","created":{"date-parts":[[2020,10,19]],"date-time":"2020-10-19T05:31:05Z","timestamp":1603085465000},"page":"25-34","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Optimization of Answer Set Programs for Consistent Query Answering by Means of First-Order Rewriting"],"prefix":"10.1145","author":[{"given":"Aziz","family":"Amezian El Khalfioui","sequence":"first","affiliation":[{"name":"University of Mons, Mons, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jonathan","family":"Joertz","sequence":"additional","affiliation":[{"name":"University of Mons, Mons, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dorian","family":"Labeeuw","sequence":"additional","affiliation":[{"name":"University of Mons, Mons, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ga\u00ebtan","family":"Staquet","sequence":"additional","affiliation":[{"name":"University of Mons, Mons, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jef","family":"Wijsen","sequence":"additional","affiliation":[{"name":"University of Mons, Mons, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,10,19]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/303976.303983"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068403001832"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3294052.3322190"},{"key":"e_1_3_2_2_4_1","volume-title":"Hippo: A System for Computing Consistent Answers to a Class of SQL Queries. In Advances in Database Technology - EDBT","author":"Chomicki Jan","year":"2004","unstructured":"Jan Chomicki , Jerzy Marcinkowski , and Slawomir Staworko . 2004 . Hippo: A System for Computing Consistent Answers to a Class of SQL Queries. In Advances in Database Technology - EDBT 2004, 9th International Conference on Extending Database Technology, Heraklion, Crete, Greece, March 14--18, 2004, Proceedings (Lecture Notes in Computer Science), Elisa Bertino, Stavros Christodoulakis, Dimitris Plexousakis, Vassilis Christophides, Manolis Koubarakis, Klemens B\u00f6hm, and Elena Ferrari (Eds.), Vol. 2992 . Springer , 841--844. https:\/\/doi.org\/10.1007\/978--3--540--24741--8_53 10.1007\/978--3--540--24741--8_53 Jan Chomicki, Jerzy Marcinkowski, and Slawomir Staworko. 2004. Hippo: A System for Computing Consistent Answers to a Class of SQL Queries. In Advances in Database Technology - EDBT 2004, 9th International Conference on Extending Database Technology, Heraklion, Crete, Greece, March 14--18, 2004, Proceedings (Lecture Notes in Computer Science), Elisa Bertino, Stavros Christodoulakis, Dimitris Plexousakis, Vassilis Christophides, Manolis Koubarakis, Klemens B\u00f6hm, and Elena Ferrari (Eds.), Vol. 2992. Springer, 841--844. https:\/\/doi.org\/10.1007\/978--3--540--24741--8_53"},{"key":"e_1_3_2_2_5_1","volume-title":"SAT 2019, Lisbon, Portugal, July 9--12, 2019, Proceedings (Lecture Notes in Computer Science), Mikol\u00e1s Janota and In\u00eas Lynce (Eds.)","volume":"11628","author":"Akhil","unstructured":"Akhil A. Dixit and Phokion G. Kolaitis. 2019. A SAT-Based System for Consistent Query Answering. In Theory and Applications of Satisfiability Testing - SAT 2019 - 22nd International Conference , SAT 2019, Lisbon, Portugal, July 9--12, 2019, Proceedings (Lecture Notes in Computer Science), Mikol\u00e1s Janota and In\u00eas Lynce (Eds.) , Vol. 11628 . Springer, 117--135. https:\/\/doi.org\/10.1007\/978--3-030--24258--9_8 10.1007\/978--3-030--24258--9_8 Akhil A. Dixit and Phokion G. Kolaitis. 2019. A SAT-Based System for Consistent Query Answering. In Theory and Applications of Satisfiability Testing - SAT 2019 - 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9--12, 2019, Proceedings (Lecture Notes in Computer Science), Mikol\u00e1s Janota and In\u00eas Lynce (Eds.), Vol. 11628. Springer, 117--135. https:\/\/doi.org\/10.1007\/978--3-030--24258--9_8"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1066157.1066176"},{"key":"e_1_3_2_2_7_1","volume-title":"10th International Conference, Edinburgh, UK, January 5--7, 2005, Proceedings (Lecture Notes in Computer Science), Thomas Eiter and Leonid Libkin (Eds.)","volume":"3363","author":"Fuxman Ariel","unstructured":"Ariel Fuxman and Ren\u00e9e J. Miller . 2005. First-Order Query Rewriting for Inconsistent Databases. In Database Theory - ICDT 2005 , 10th International Conference, Edinburgh, UK, January 5--7, 2005, Proceedings (Lecture Notes in Computer Science), Thomas Eiter and Leonid Libkin (Eds.) , Vol. 3363 . Springer, 337--351. https:\/\/doi.org\/10.1007\/978--3--540--30570--5_23 10.1007\/978--3--540--30570--5_23 Ariel Fuxman and Ren\u00e9e J. Miller. 2005. First-Order Query Rewriting for Inconsistent Databases. In Database Theory - ICDT 2005, 10th International Conference, Edinburgh, UK, January 5--7, 2005, Proceedings (Lecture Notes in Computer Science), Thomas Eiter and Leonid Libkin (Eds.), Vol. 3363. Springer, 337--351. https:\/\/doi.org\/10.1007\/978--3--540--30570--5_23"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2006.10.013"},{"key":"e_1_3_2_2_9_1","volume-title":"Preliminary Report. CoRR","author":"Gebser Martin","year":"2014","unstructured":"Martin Gebser , Roland Kaminski , Benjamin Kaufmann , and Torsten Schaub . 2014. Clingo = ASP+ Control : Preliminary Report. CoRR , Vol. abs\/ 1405 .3694 ( 2014 ). arxiv: 1405.3694 http:\/\/arxiv.org\/abs\/1405.3694 Martin Gebser, Roland Kaminski, Benjamin Kaufmann, and Torsten Schaub. 2014. Clingo = ASP+Control: Preliminary Report. CoRR, Vol. abs\/1405.3694 (2014). arxiv: 1405.3694 http:\/\/arxiv.org\/abs\/1405.3694"},{"key":"e_1_3_2_2_10_1","volume-title":"LPNMR 2011, Vancouver, Canada, May 16--19, 2011. Proceedings (Lecture Notes in Computer Science), James P. Delgrande and Wolfgang Faber (Eds.)","volume":"6645","author":"Gebser Martin","year":"2011","unstructured":"Martin Gebser , Roland Kaminski , Arne K\u00f6nig , and Torsten Schaub . 2011 . Advances in gringo Series 3. In Logic Programming and Nonmonotonic Reasoning - 11th International Conference , LPNMR 2011, Vancouver, Canada, May 16--19, 2011. Proceedings (Lecture Notes in Computer Science), James P. Delgrande and Wolfgang Faber (Eds.) , Vol. 6645 . Springer, 345--351. https:\/\/doi.org\/10.1007\/978--3--642-- 20895--9_39 10.1007\/978--3--642--20895--9_39 Martin Gebser, Roland Kaminski, Arne K\u00f6nig, and Torsten Schaub. 2011. Advances in gringo Series 3. In Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16--19, 2011. Proceedings (Lecture Notes in Computer Science), James P. Delgrande and Wolfgang Faber (Eds.), Vol. 6645. Springer, 345--351. https:\/\/doi.org\/10.1007\/978--3--642--20895--9_39"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2003.1245280"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.14778\/2536336.2536341"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2745754.2745769"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3068334"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3196959.3196982"},{"key":"e_1_3_2_2_16_1","volume-title":"Consistent Query Answering for Primary Keys in Logspace. In 22nd International Conference on Database Theory, ICDT 2019","author":"Koutris Paraschos","year":"2019","unstructured":"Paraschos Koutris and Jef Wijsen . 2019 . Consistent Query Answering for Primary Keys in Logspace. In 22nd International Conference on Database Theory, ICDT 2019 , March 26 --28 , 2019, Lisbon, Portugal (LIPIcs), Pablo Barcel\u00f3 and Marco Calautti (Eds.), Vol. 127. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 23:1--23:19. https:\/\/doi.org\/10.4230\/LIPIcs.ICDT.2019.23 10.4230\/LIPIcs.ICDT.2019.23 Paraschos Koutris and Jef Wijsen. 2019. Consistent Query Answering for Primary Keys in Logspace. In 22nd International Conference on Database Theory, ICDT 2019, March 26--28, 2019, Lisbon, Portugal (LIPIcs), Pablo Barcel\u00f3 and Marco Calautti (Eds.), Vol. 127. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 23:1--23:19. https:\/\/doi.org\/10.4230\/LIPIcs.ICDT.2019.23"},{"key":"e_1_3_2_2_17_1","volume-title":"2020 a. Consistent Query Answering for Primary Keys in Datalog. Theory of Computing Systems","author":"Koutris Paraschos","year":"2020","unstructured":"Paraschos Koutris and Jef Wijsen . 2020 a. Consistent Query Answering for Primary Keys in Datalog. Theory of Computing Systems ( 2020 ), 1--57. https:\/\/doi.org\/10.1007\/s00224-020-09985--6 10.1007\/s00224-020-09985--6 Paraschos Koutris and Jef Wijsen. 2020 a. Consistent Query Answering for Primary Keys in Datalog. Theory of Computing Systems (2020), 1--57. https:\/\/doi.org\/10.1007\/s00224-020-09985--6"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3375395.3387654"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1149114.1149117"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2010.01.005"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2188349.2188351"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377391.3377393"}],"event":{"name":"CIKM '20: The 29th ACM International Conference on Information and Knowledge Management","sponsor":["SIGWEB ACM Special Interest Group on Hypertext, Hypermedia, and Web","SIGIR ACM Special Interest Group on Information Retrieval"],"location":"Virtual Event Ireland","acronym":"CIKM '20"},"container-title":["Proceedings of the 29th ACM International Conference on Information & Knowledge Management"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3340531.3411911","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3340531.3411911","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:01:22Z","timestamp":1750197682000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3340531.3411911"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,10,19]]},"references-count":22,"alternative-id":["10.1145\/3340531.3411911","10.1145\/3340531"],"URL":"https:\/\/doi.org\/10.1145\/3340531.3411911","relation":{},"subject":[],"published":{"date-parts":[[2020,10,19]]},"assertion":[{"value":"2020-10-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}