{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,30]],"date-time":"2026-09-30T04:22:18Z","timestamp":1790742138622,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":33,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,6,12]],"date-time":"2011-06-12T00:00:00Z","timestamp":1307836800000},"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":[[2011,6,12]]},"DOI":"10.1145\/1989323.1989376","type":"proceedings-article","created":{"date-parts":[[2011,6,14]],"date-time":"2011-06-14T14:45:32Z","timestamp":1308062732000},"page":"505-516","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":34,"title":["Tracing data errors with view-conditioned causality"],"prefix":"10.1145","author":[{"given":"Alexandra","family":"Meliou","sequence":"first","affiliation":[{"name":"University of Washington, Seattle, WA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Wolfgang","family":"Gatterbauer","sequence":"additional","affiliation":[{"name":"University of Washington, Seattle, WA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Suman","family":"Nath","sequence":"additional","affiliation":[{"name":"Microsoft Research, Redmond, WA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dan","family":"Suciu","sequence":"additional","affiliation":[{"name":"University of Washington, Seattle, WA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2011,6,12]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"http:\/\/www.satcompetition.org\/.  http:\/\/www.satcompetition.org\/."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/11499107_27"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1247480.1247482"},{"key":"e_1_3_2_1_4_1","series-title":"Frontiers in Artificial Intelligence and Applications","volume-title":"Handbook of Satisfiability","author":"Biere A.","year":"2009","unstructured":"A. Biere , M. Heule , H. van Maaren , and T. Walsh , editors . Handbook of Satisfiability , vol. 185 of Frontiers in Artificial Intelligence and Applications . IOS Press , 2009 . A. Biere, M. Heule, H. van Maaren, and T. Walsh, editors. Handbook of Satisfiability, vol. 185 of Frontiers in Artificial Intelligence and Applications. IOS Press, 2009."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1376916.1376918"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/645504.656274"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/543613.543633"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1559845.1559901"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.26.6"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1561\/1900000006"},{"key":"e_1_3_2_1_11_1","volume-title":"Responsibility and blame: A structural-model approach. J. Artif. Intell. Res. (JAIR), 22:93--115","author":"Chockler H.","year":"2004","unstructured":"H. Chockler and J. Y. Halpern . Responsibility and blame: A structural-model approach. J. Artif. Intell. Res. (JAIR), 22:93--115 , 2004 . H. Chockler and J. Y. Halpern. Responsibility and blame: A structural-model approach. J. Artif. Intell. Res. (JAIR), 22:93--115, 2004."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2011.27"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/357775.357777"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00271-0"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/11814948_25"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1265530.1265535"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/647235.720261"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/1622655.1622656"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.14778\/1920841.1920869"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.14778\/1687553.1687588"},{"key":"e_1_3_2_1_21_1","first-page":"283","volume-title":"SATLIB: An online resource for research on SAT","author":"Hoos H. H.","year":"2000","unstructured":"H. H. Hoos and T. St\u00fctzle . SATLIB: An online resource for research on SAT . pp. 283 -- 292 . IOS Press , 2000 . H. H. Hoos and T. St\u00fctzle. SATLIB: An online resource for research on SAT. pp. 283--292. IOS Press, 2000."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.14778\/1453856.1453936"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/345508.345545"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1988.21923"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065167.1065176"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/543613.543644"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.2307\/2025310"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.14778\/1880172.1880176"},{"key":"e_1_3_2_1_29_1","volume-title":"Stanford Encylopedia of Philosophy","author":"Menzies P.","year":"2008","unstructured":"P. Menzies . Counterfactual theories of causation . Stanford Encylopedia of Philosophy , 2008 . P. Menzies. Counterfactual theories of causation. Stanford Encylopedia of Philosophy, 2008."},{"key":"e_1_3_2_1_30_1","volume-title":"SAT","author":"Sheridan D.","year":"2004","unstructured":"D. Sheridan . The optimality of a fast CNF conversion and its use with SAT . In SAT , 2004 . D. Sheridan. The optimality of a fast CNF conversion and its use with SAT. In SAT, 2004."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2005.103"},{"key":"e_1_3_2_1_32_1","volume-title":"SAT 2005 competition","author":"Sorensson N.","year":"2005","unstructured":"N. Sorensson and N. Een . Minisat v1.13 -- a SAT solver with conflict-clause minimization . In SAT 2005 competition , 2005 . N. Sorensson and N. Een. Minisat v1.13 -- a SAT solver with conflict-clause minimization. In SAT 2005 competition, 2005."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1807167.1807172"}],"event":{"name":"SIGMOD\/PODS '11: International Conference on Management of Data","location":"Athens Greece","acronym":"SIGMOD\/PODS '11","sponsor":["SIGMOD ACM Special Interest Group on Management of Data"]},"container-title":["Proceedings of the 2011 ACM SIGMOD International Conference on Management of data"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1989323.1989376","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1989323.1989376","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:22:21Z","timestamp":1750245741000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1989323.1989376"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6,12]]},"references-count":33,"alternative-id":["10.1145\/1989323.1989376","10.1145\/1989323"],"URL":"https:\/\/doi.org\/10.1145\/1989323.1989376","relation":{},"subject":[],"published":{"date-parts":[[2011,6,12]]},"assertion":[{"value":"2011-06-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}