{"id":"https://openalex.org/W3131365428","doi":"https://doi.org/10.1145/3582499","title":"Parameterized Complexity of Logic-based Argumentation in Schaefer\u2019s Framework","display_name":"Parameterized Complexity of Logic-based Argumentation in Schaefer\u2019s Framework","publication_year":2023,"publication_date":"2023-01-31","ids":{"openalex":"https://openalex.org/W3131365428","doi":"https://doi.org/10.1145/3582499","mag":"3131365428"},"language":"en","primary_location":{"id":"doi:10.1145/3582499","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3582499","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3582499","source":{"id":"https://openalex.org/S117153874","display_name":"ACM Transactions on Computational Logic","issn_l":"1529-3785","issn":["1529-3785","1557-945X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computational Logic","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3582499","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5011855160","display_name":"Yasir Mahmood","orcid":"https://orcid.org/0000-0002-5651-5391"},"institutions":[{"id":"https://openalex.org/I114112103","display_name":"Leibniz University Hannover","ror":"https://ror.org/0304hq317","country_code":"DE","type":"education","lineage":["https://openalex.org/I114112103"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Yasir Mahmood","raw_affiliation_strings":["Leibniz Universit\u00e4t Hannover, Institut f\u00fcr Theoretische Informatik, Hannover, Germany"],"raw_orcid":"https://orcid.org/0000-0002-5651-5391","affiliations":[{"raw_affiliation_string":"Leibniz Universit\u00e4t Hannover, Institut f\u00fcr Theoretische Informatik, Hannover, Germany","institution_ids":["https://openalex.org/I114112103"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025571978","display_name":"Arne Meier","orcid":"https://orcid.org/0000-0002-8061-5376"},"institutions":[{"id":"https://openalex.org/I114112103","display_name":"Leibniz University Hannover","ror":"https://ror.org/0304hq317","country_code":"DE","type":"education","lineage":["https://openalex.org/I114112103"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Arne Meier","raw_affiliation_strings":["Leibniz Universit\u00e4t Hannover, Institut f\u00fcr Theoretische Informatik, Hannover, Germany"],"raw_orcid":"https://orcid.org/0000-0002-8061-5376","affiliations":[{"raw_affiliation_string":"Leibniz Universit\u00e4t Hannover, Institut f\u00fcr Theoretische Informatik, Hannover, Germany","institution_ids":["https://openalex.org/I114112103"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5024018030","display_name":"Johannes Schmidt","orcid":"https://orcid.org/0000-0001-8551-1624"},"institutions":[{"id":"https://openalex.org/I94616838","display_name":"J\u00f6nk\u00f6ping University","ror":"https://ror.org/03t54am93","country_code":"SE","type":"education","lineage":["https://openalex.org/I94616838"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Johannes Schmidt","raw_affiliation_strings":["J\u00f6nk\u00f6ping University, Department of Computer Science and Informatics, School of Engineering, J\u00f6nk\u00f6ping, Sweden"],"raw_orcid":"https://orcid.org/0000-0001-8551-1624","affiliations":[{"raw_affiliation_string":"J\u00f6nk\u00f6ping University, Department of Computer Science and Informatics, School of Engineering, J\u00f6nk\u00f6ping, Sweden","institution_ids":["https://openalex.org/I94616838"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.00170161,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":93},"biblio":{"volume":"24","issue":"3","first_page":"1","last_page":"25"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9991999864578247,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9991999864578247,"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9987999796867371,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9901999831199646,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/parameterized-complexity","display_name":"Parameterized complexity","score":0.8542317748069763},{"id":"https://openalex.org/keywords/argumentation-theory","display_name":"Argumentation theory","score":0.8035507202148438},{"id":"https://openalex.org/keywords/polynomial-hierarchy","display_name":"Polynomial hierarchy","score":0.7990628480911255},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.573712944984436},{"id":"https://openalex.org/keywords/hierarchy","display_name":"Hierarchy","score":0.5441197156906128},{"id":"https://openalex.org/keywords/argument","display_name":"Argument (complex analysis)","score":0.5398447513580322},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.5204196572303772},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.44946861267089844},{"id":"https://openalex.org/keywords/computational-complexity-theory","display_name":"Computational complexity theory","score":0.444646954536438},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4427793323993683},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.440395712852478},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.435698002576828},{"id":"https://openalex.org/keywords/rotation-formalisms-in-three-dimensions","display_name":"Rotation formalisms in three dimensions","score":0.4267190992832184},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.34468960762023926},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.2608630657196045},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.18587905168533325},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.11140903830528259},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.10443714261054993}],"concepts":[{"id":"https://openalex.org/C165464430","wikidata":"https://www.wikidata.org/wiki/Q1570441","display_name":"Parameterized complexity","level":2,"score":0.8542317748069763},{"id":"https://openalex.org/C65059942","wikidata":"https://www.wikidata.org/wiki/Q270105","display_name":"Argumentation theory","level":2,"score":0.8035507202148438},{"id":"https://openalex.org/C2776013622","wikidata":"https://www.wikidata.org/wiki/Q2103021","display_name":"Polynomial hierarchy","level":3,"score":0.7990628480911255},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.573712944984436},{"id":"https://openalex.org/C31170391","wikidata":"https://www.wikidata.org/wiki/Q188619","display_name":"Hierarchy","level":2,"score":0.5441197156906128},{"id":"https://openalex.org/C98184364","wikidata":"https://www.wikidata.org/wiki/Q1780131","display_name":"Argument (complex analysis)","level":2,"score":0.5398447513580322},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.5204196572303772},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.44946861267089844},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.444646954536438},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4427793323993683},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.440395712852478},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.435698002576828},{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.4267190992832184},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.34468960762023926},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.2608630657196045},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.18587905168533325},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.11140903830528259},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.10443714261054993},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C34447519","wikidata":"https://www.wikidata.org/wiki/Q179522","display_name":"Market economy","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3582499","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3582499","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3582499","source":{"id":"https://openalex.org/S117153874","display_name":"ACM Transactions on Computational Logic","issn_l":"1529-3785","issn":["1529-3785","1557-945X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computational Logic","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3582499","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3582499","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3582499","source":{"id":"https://openalex.org/S117153874","display_name":"ACM Transactions on Computational Logic","issn_l":"1529-3785","issn":["1529-3785","1557-945X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computational Logic","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.7900000214576721,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https://openalex.org/G938901808","display_name":null,"funder_award_id":"ME4279/1-2","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"}],"funders":[{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3131365428.pdf","grobid_xml":"https://content.openalex.org/works/W3131365428.grobid-xml"},"referenced_works_count":39,"referenced_works":["https://openalex.org/W1536954034","https://openalex.org/W1554715854","https://openalex.org/W1571873445","https://openalex.org/W1580355372","https://openalex.org/W1589711670","https://openalex.org/W1772241399","https://openalex.org/W1825730661","https://openalex.org/W1976656121","https://openalex.org/W1979394595","https://openalex.org/W1994520092","https://openalex.org/W1994584977","https://openalex.org/W2002722727","https://openalex.org/W2015963099","https://openalex.org/W2031749383","https://openalex.org/W2034735942","https://openalex.org/W2035877205","https://openalex.org/W2050211807","https://openalex.org/W2058793155","https://openalex.org/W2104126268","https://openalex.org/W2111829945","https://openalex.org/W2113666441","https://openalex.org/W2116087731","https://openalex.org/W2125216182","https://openalex.org/W2133260738","https://openalex.org/W2148970881","https://openalex.org/W2166566648","https://openalex.org/W2177097160","https://openalex.org/W2394842790","https://openalex.org/W2761833367","https://openalex.org/W2808366770","https://openalex.org/W2947544870","https://openalex.org/W2962970721","https://openalex.org/W2972882235","https://openalex.org/W2996540084","https://openalex.org/W3118093767","https://openalex.org/W3189796792","https://openalex.org/W4256361765","https://openalex.org/W4298361041","https://openalex.org/W6887394224"],"related_works":["https://openalex.org/W2596756838","https://openalex.org/W2998684673","https://openalex.org/W2171811389","https://openalex.org/W2997249752","https://openalex.org/W2177097160","https://openalex.org/W2158154629","https://openalex.org/W2775695328","https://openalex.org/W2998138808","https://openalex.org/W1559565827","https://openalex.org/W3098927428"],"abstract_inverted_index":{"Argumentation":[0],"is":[1,41,50,70,136],"a":[2,18,37,45,59,93,96,102,109,112,115,183,213,238],"well-established":[3],"formalism":[4],"dealing":[5],"with":[6,99],"conflicting":[7],"information":[8],"by":[9],"generating":[10],"and":[11,53,66,118,143,165,201,256,270],"comparing":[12],"arguments.":[13],"It":[14],"has":[15],"been":[16],"playing":[17],"major":[19],"role":[20],"in":[21,89,132],"AI":[22],"for":[23,44,95,114,138,153,178,206,244],"decades.":[24],"In":[25,57,74],"logic-based":[26],"argumentation,":[27],"we":[28,77,181,187,235],"explore":[29],"the":[30,42,55,61,64,67,79,83,133,139,144,154,158,176,194,209,221,230,247,251],"internal":[31],"structure":[32],"of":[33,39,63,82,105,157,193,208,215,220,241,246,265],"an":[34,72,125],"argument.":[35,73],"Informally,":[36],"set":[38,104,111],"formulas":[40],"support":[43,65,94,113],"given":[46,97,103,110,116,127],"claim":[47,68,98],"if":[48],"it":[49],"consistent,":[51],"subset-minimal,":[52],"implies":[54],"claim.":[56],"such":[58],"case,":[60],"pair":[62],"together":[69],"called":[71],"this":[75,179,258],"article,":[76],"study":[78,203],"propositional":[80,191],"variants":[81],"following":[84],"three":[85],"computational":[86],"tasks":[87],"studied":[88],"argumentation:":[90],"ARG":[91,122],"(exists":[92],"respect":[100],"to":[101,129,150,229],"formulas),":[106],"ARG-Check":[107,135],"(is":[108],"claim),":[117],"ARG-Rel":[119],"(similarly":[120],"as":[121],"plus":[123],"requiring":[124],"additionally":[126],"formula":[128],"be":[130,151],"contained":[131],"support).":[134],"complete":[137,152],"complexity":[140],"class":[141],"DP,":[142],"other":[145],"two":[146],"problems":[147,248,252],"are":[148,172,227,253,264],"known":[149],"second":[155],"level":[156],"polynomial":[159],"hierarchy":[160],"(Creignou":[161],"et":[162,167],"al.":[163],"2014":[164],"Parson":[166],"al.,":[168],"2003)":[169],"and,":[170],"accordingly,":[171],"highly":[173],"intractable.":[174],"Analyzing":[175],"reason":[177],"intractability,":[180],"perform":[182],"two-dimensional":[184],"classification:":[185],"First,":[186],"consider":[188],"all":[189],"possible":[190],"fragments":[192],"problem":[195],"within":[196],"Schaefer\u2019s":[197],"framework":[198],"(STOC":[199],"1978)":[200],"then":[202],"different":[204],"parameterizations":[205],"each":[207,245],"fragments.":[210],"We":[211],"identify":[212],"list":[214],"reasonable":[216],"structural":[217],"parameters":[218],"(size":[219],"claim,":[222],"support,":[223],"knowledge":[224],"base)":[225],"that":[226],"connected":[228],"aforementioned":[231],"decision":[232],"problems.":[233],"Eventually,":[234],"thoroughly":[236],"draw":[237],"fine":[239],"border":[240],"parameterized":[242],"intractability":[243,268],"showing":[249],"where":[250],"fixed-parameter":[254],"tractable":[255],"when":[257],"exactly":[259],"stops.":[260],"Surprisingly,":[261],"several":[262],"cases":[263],"very":[266],"high":[267],"(para-NP":[269],"beyond).":[271]},"counts_by_year":[{"year":2021,"cited_by_count":1}],"updated_date":"2026-08-01T09:00:35.917206","created_date":"2025-10-10T00:00:00"}