{"id":"https://openalex.org/W4398186426","doi":"https://doi.org/10.1145/3605098.3636073","title":"Equipping Abstract Argumentation Solvers for Verifying Negative Results","display_name":"Equipping Abstract Argumentation Solvers for Verifying Negative Results","publication_year":2024,"publication_date":"2024-04-08","ids":{"openalex":"https://openalex.org/W4398186426","doi":"https://doi.org/10.1145/3605098.3636073"},"language":"en","primary_location":{"id":"doi:10.1145/3605098.3636073","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3605098.3636073","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3605098.3636073","source":null,"license":"cc-by-nd","license_id":"https://openalex.org/licenses/cc-by-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3605098.3636073","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5064606350","display_name":"Wolfgang Dvo\u0159\u00e1k","orcid":"https://orcid.org/0000-0002-2269-8193"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":true,"raw_author_name":"Wolfgang Dvorak","raw_affiliation_strings":["TU Wien, Vienna, Austria"],"affiliations":[{"raw_affiliation_string":"TU Wien, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027142363","display_name":"Alexander Gre\u00dfler","orcid":"https://orcid.org/0000-0001-7470-9352"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Alexander Gressler","raw_affiliation_strings":["TU Wien, Vienna, Austria"],"affiliations":[{"raw_affiliation_string":"TU Wien, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5006053030","display_name":"Stefan Woltran","orcid":"https://orcid.org/0000-0003-1594-8972"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Stefan Woltran","raw_affiliation_strings":["TU Wien, Vienna, Austria"],"affiliations":[{"raw_affiliation_string":"TU Wien, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5064606350"],"corresponding_institution_ids":["https://openalex.org/I145847075"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.05480064,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"762","last_page":"769"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9922000169754028,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/argumentation-theory","display_name":"Argumentation theory","score":0.8512469530105591},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6828102469444275},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.44159895181655884},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3476182222366333},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.20680439472198486},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.08050471544265747}],"concepts":[{"id":"https://openalex.org/C65059942","wikidata":"https://www.wikidata.org/wiki/Q270105","display_name":"Argumentation theory","level":2,"score":0.8512469530105591},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6828102469444275},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.44159895181655884},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3476182222366333},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.20680439472198486},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.08050471544265747}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3605098.3636073","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3605098.3636073","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3605098.3636073","source":null,"license":"cc-by-nd","license_id":"https://openalex.org/licenses/cc-by-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3605098.3636073","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3605098.3636073","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3605098.3636073","source":null,"license":"cc-by-nd","license_id":"https://openalex.org/licenses/cc-by-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing","raw_type":"proceedings-article"},"sustainable_development_goals":[{"score":0.7400000095367432,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https://openalex.org/G8951755804","display_name":null,"funder_award_id":"P32830","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"}],"funders":[{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4398186426.pdf"},"referenced_works_count":20,"referenced_works":["https://openalex.org/W88271430","https://openalex.org/W1523879902","https://openalex.org/W1564470442","https://openalex.org/W2104126268","https://openalex.org/W2215868778","https://openalex.org/W2215982992","https://openalex.org/W2406246063","https://openalex.org/W2761833367","https://openalex.org/W2792711246","https://openalex.org/W2795966868","https://openalex.org/W2904264195","https://openalex.org/W2913257024","https://openalex.org/W2931254850","https://openalex.org/W2973328396","https://openalex.org/W2984454988","https://openalex.org/W3080499538","https://openalex.org/W3090025206","https://openalex.org/W3090689587","https://openalex.org/W3121247820","https://openalex.org/W3198908660"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2141332034","https://openalex.org/W4256185029","https://openalex.org/W4388437769","https://openalex.org/W2762454042","https://openalex.org/W2064153856","https://openalex.org/W2337488240","https://openalex.org/W52290235","https://openalex.org/W3007362904"],"abstract_inverted_index":{"Abstract":[0],"argumentation":[1,10,102],"frameworks":[2,28],"(AFs)":[3],"are":[4],"a":[5,67,70,110,115,119,126,130,145],"popular":[6],"formalism":[7],"for":[8,72,87,100,117,134,147],"modeling":[9],"processes.":[11],"Thus,":[12],"various":[13],"solvers":[14,42,90,103],"have":[15],"been":[16],"developed":[17],"that":[18,30,136],"can":[19,137],"be":[20,62,78],"used":[21],"to":[22,54,77,80],"answer":[23],"decision":[24],"problems":[25],"on":[26],"such":[27,66,114,139],"and":[29,124],"regularly":[31],"compete":[32],"within":[33],"the":[34,98],"context":[35],"of":[36,47,75,113,121,129],"competitions.":[37],"For":[38],"positive":[39],"results,":[40],"these":[41,82,149],"typically":[43],"provide":[44,109,125],"some":[45,73],"sort":[46,74],"model":[48],"or":[49],"extension,":[50],"making":[51],"it":[52],"easy":[53],"verify":[55],"their":[56],"results.":[57],"However,":[58],"negative":[59],"results":[60,83],"cannot":[61],"easily":[63],"verified":[64],"in":[65],"way,":[68],"creating":[69],"need":[71],"certificate":[76,116],"able":[79],"check":[81],"as":[84,142,144],"well.":[85],"While,":[86],"instance,":[88],"SAT":[89],"commonly":[91],"support":[92],"inconsistency":[93,140],"proofs,":[94],"this":[95,106],"is":[96],"not":[97],"case":[99],"abstract":[101],"yet.":[104],"In":[105],"work,":[107],"we":[108],"formal":[111],"definition":[112],"SETAFs,":[118],"generalization":[120],"Dung":[122],"AFs,":[123],"prototype":[127],"implementation":[128],"genuine":[131],"CDCL-based":[132],"solver":[133],"SETAFs":[135],"produce":[138],"proofs":[141],"well":[143],"tool":[146],"verifying":[148],"proofs.":[150]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}