{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:02:03Z","timestamp":1750309323520,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,4,8]],"date-time":"2024-04-08T00:00:00Z","timestamp":1712534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nd\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100002428","name":"Austrian Science Fund","doi-asserted-by":"publisher","award":["P32830"],"award-info":[{"award-number":["P32830"]}],"id":[{"id":"10.13039\/501100002428","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,4,8]]},"DOI":"10.1145\/3605098.3636073","type":"proceedings-article","created":{"date-parts":[[2024,5,21]],"date-time":"2024-05-21T17:59:16Z","timestamp":1716314356000},"page":"762-769","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Equipping Abstract Argumentation Solvers for Verifying Negative Results"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2269-8193","authenticated-orcid":false,"given":"Wolfgang","family":"Dvorak","sequence":"first","affiliation":[{"name":"TU Wien, Vienna, Austria"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7470-9352","authenticated-orcid":false,"given":"Alexander","family":"Gressler","sequence":"additional","affiliation":[{"name":"TU Wien, Vienna, Austria"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1594-8972","authenticated-orcid":false,"given":"Stefan","family":"Woltran","sequence":"additional","affiliation":[{"name":"TU Wien, Vienna, Austria"}]}],"member":"320","published-online":{"date-parts":[[2024,5,21]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068419000255"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1609\/aimag.v38i3.2704"},{"key":"e_1_3_2_1_3_1","first-page":"159","article-title":"Abstract Argumentation Frameworks and Their Semantics. In Handbook of Formal Argumentation, Pietro Baroni, Dov Gabbay, Massimiliano Giacomin, and Leendert van der Torre (Eds.). College Publications","volume":"4","author":"Baroni Pietro","year":"2018","unstructured":"Pietro Baroni, Martin Caminada, and Massimiliano Giacomin. 2018. Abstract Argumentation Frameworks and Their Semantics. In Handbook of Formal Argumentation, Pietro Baroni, Dov Gabbay, Massimiliano Giacomin, and Leendert van der Torre (Eds.). College Publications, Chapter 4, 159--236.","journal-title":"Chapter"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.3233\/AAC-190476"},{"key":"e_1_3_2_1_5_1","first-page":"1437","article-title":"Joint Attacks and Accrual in Argumentation Frameworks","volume":"8","author":"Bikakis Antonis","year":"2021","unstructured":"Antonis Bikakis, Andrea Cohen, Wolfgang Dvo\u0159\u00e1k, Giorgos Flouris, and Simon Parsons. 2021. Joint Attacks and Accrual in Argumentation Frameworks. FLAP 8, 6 (2021), 1437--1501. https:\/\/collegepublications.co.uk\/ifcolog\/?00048","journal-title":"FLAP"},{"key":"e_1_3_2_1_6_1","volume-title":"Proceedings of the Workshop on Advances In Argumentation In Artificial Intelligence 2020 (CEUR Workshop Proceedings","volume":"102","author":"Bistarelli Stefano","year":"2020","unstructured":"Stefano Bistarelli, Lars Kotthoff, Francesco Santini, and Carlo Taticchi. 2020. A First Overview of ICCMA'19. In Proceedings of the Workshop on Advances In Argumentation In Artificial Intelligence 2020 (CEUR Workshop Proceedings, Vol. 2777), Bettina Fazzinga, Filippo Furfaro, and Francesco Parisi (Eds.). CEUR-WS.org, 90--102. https:\/\/ceur-ws.org\/Vol-2777\/paper76.pdf"},{"key":"e_1_3_2_1_7_1","volume-title":"Matthias Thimm, and Johannes Peter Wallner.","author":"Cerutti Federico","year":"2017","unstructured":"Federico Cerutti, Sarah Alice Gaggl, Matthias Thimm, and Johannes Peter Wallner. 2017. Foundations of Implementations for Formal Argumentation. FLAP 4, 8 (2017). http:\/\/www.collegepublications.co.uk\/downloads\/ifcolog00017.pdf"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)00041-X"},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of the Second International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2018) (CEUR Workshop Proceedings","volume":"21","author":"Dvo\u0159\u00e1k Wolfgang","year":"2018","unstructured":"Wolfgang Dvo\u0159\u00e1k, Alexander Gre\u00dfler, and Stefan Woltran. 2018. Evaluating SETAFs via Answer-Set Programming. In Proceedings of the Second International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2018) (CEUR Workshop Proceedings, Vol. 2171). CEUR-WS.org, 10--21. http:\/\/ceur-ws.org\/Vol-2171\/paper_2.pdf"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.3233\/FAIA200159"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-28460-6_7"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijar.2019.03.006"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1609\/aimag.v39i4.2781"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-75553-3_10"},{"key":"e_1_3_2_1_15_1","volume-title":"International Symposium on Artificial Intelligence and Mathematics, AI&M","author":"Gelder Allen Van","year":"2002","unstructured":"Allen Van Gelder. 2002. Extracting (Easily) Checkable Proofs from a Satisfiability Solver that Employs both Preorder and Postorder Resolution. In International Symposium on Artificial Intelligence and Mathematics, AI&M 2002. http:\/\/rutcor.rutgers.edu\/%7Eamai\/aimath02\/PAPERS\/33.ps"},{"key":"e_1_3_2_1_16_1","volume-title":"Verifying RUP Proofs of Propositional Unsatisfiability. In International Symposium on Artificial Intelligence and Mathematics, ISAIM 2008","author":"Gelder Allen Van","year":"2008","unstructured":"Allen Van Gelder. 2008. Verifying RUP Proofs of Propositional Unsatisfiability. In International Symposium on Artificial Intelligence and Mathematics, ISAIM 2008. http:\/\/isaim2008.unl.edu\/PAPERS\/TechnicalProgram\/ISAIM2008_0008_60a1f9b2fd607a61ec9e0feac3f438f8.pdf"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2003.10008"},{"key":"e_1_3_2_1_18_1","volume-title":"FMCAD","author":"Heule Marijn","year":"2013","unstructured":"Marijn Heule, Warren A. Hunt Jr., and Nathan Wetzler. 2013. Trimming while checking clausal proofs. In Formal Methods in Computer-Aided Design, FMCAD 2013. IEEE, 181--188. https:\/\/ieeexplore.ieee.org\/document\/6679408\/"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38574-2_24"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16242-8_26"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08587-6_7"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31365-3_28"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-94205-6_12"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75526-5_4"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.24963\/kr.2020\/67"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.3233\/FAIA200179"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1609\/aimag.v37i1.2640"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v35i7.16805"}],"event":{"name":"SAC '24: 39th ACM\/SIGAPP Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Avila Spain","acronym":"SAC '24"},"container-title":["Proceedings of the 39th ACM\/SIGAPP Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3605098.3636073","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3605098.3636073","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:04:00Z","timestamp":1750291440000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3605098.3636073"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,8]]},"references-count":28,"alternative-id":["10.1145\/3605098.3636073","10.1145\/3605098"],"URL":"https:\/\/doi.org\/10.1145\/3605098.3636073","relation":{},"subject":[],"published":{"date-parts":[[2024,4,8]]},"assertion":[{"value":"2024-05-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}