{"id":"https://openalex.org/W2404886424","doi":"https://doi.org/10.3233/978-1-61499-111-3-105","title":"A General QBF-based Formalization of abstract Argumentation Theory","display_name":"A General QBF-based Formalization of abstract Argumentation Theory","publication_year":2012,"publication_date":"2012-01-01","ids":{"openalex":"https://openalex.org/W2404886424","doi":"https://doi.org/10.3233/978-1-61499-111-3-105","mag":"2404886424"},"language":"en","primary_location":{"id":"doi:10.3233/978-1-61499-111-3-105","is_oa":false,"landing_page_url":"https://doi.org/10.3233/978-1-61499-111-3-105","pdf_url":null,"source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5028643056","display_name":"Ofer Arieli","orcid":"https://orcid.org/0000-0002-6588-886X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Arieli Ofer","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5009023649","display_name":"Martin Caminada","orcid":"https://orcid.org/0000-0002-7498-0238"},"institutions":[{"id":"https://openalex.org/I186903577","display_name":"University of Luxembourg","ror":"https://ror.org/036x5ad56","country_code":"LU","type":"education","lineage":["https://openalex.org/I186903577"]}],"countries":["LU"],"is_corresponding":false,"raw_author_name":"Caminada Martin W.A.","raw_affiliation_strings":["University of Luxembourg, Luxembourg, Luxembourg"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Luxembourg, Luxembourg, Luxembourg","institution_ids":["https://openalex.org/I186903577"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.6345,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.72110293,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.9998000264167786,"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.9998000264167786,"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.9993000030517578,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9925000071525574,"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/argumentation-theory","display_name":"Argumentation theory","score":0.8853549957275391},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4537206292152405},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.42853793501853943},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.28679266571998596},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.2740735411643982}],"concepts":[{"id":"https://openalex.org/C65059942","wikidata":"https://www.wikidata.org/wiki/Q270105","display_name":"Argumentation theory","level":2,"score":0.8853549957275391},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4537206292152405},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.42853793501853943},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.28679266571998596},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.2740735411643982}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.3233/978-1-61499-111-3-105","is_oa":false,"landing_page_url":"https://doi.org/10.3233/978-1-61499-111-3-105","pdf_url":null,"source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"},{"id":"pmh:oai:https://orca.cardiff.ac.uk:84280","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306401195","display_name":"ORCA Online Research @Cardiff (Cardiff University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79510175","host_organization_name":"Cardiff University","host_organization_lineage":["https://openalex.org/I79510175"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Book Section"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.800000011920929,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W34858115","https://openalex.org/W124511257","https://openalex.org/W158582132","https://openalex.org/W1487409515","https://openalex.org/W1497356603","https://openalex.org/W1519024439","https://openalex.org/W1626176828","https://openalex.org/W1903103834","https://openalex.org/W1965296062","https://openalex.org/W1994036389","https://openalex.org/W1995375207","https://openalex.org/W2003822553","https://openalex.org/W2015200168","https://openalex.org/W2037950528","https://openalex.org/W2039020269","https://openalex.org/W2085846695","https://openalex.org/W2104126268","https://openalex.org/W2129829265","https://openalex.org/W2140783059"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W4391375266","https://openalex.org/W4256185029","https://openalex.org/W2141332034","https://openalex.org/W4388437769","https://openalex.org/W2762454042","https://openalex.org/W2064153856","https://openalex.org/W2337488240","https://openalex.org/W52290235"],"abstract_inverted_index":{"We":[0],"introduce":[1],"a":[2,19,38,43,85],"unified":[3],"logical":[4,88],"approach,":[5],"based":[6],"on":[7],"signed":[8],"theories":[9],"and":[10,23,40,59,69,79,90],"Quantified":[11],"Boolean":[12],"Formulas":[13],"(QBFs),":[14],"that":[15],"can":[16,93],"serve":[17],"as":[18],"basis":[20],"for":[21,49],"representing":[22],"reasoning":[24],"with":[25],"various":[26],"argumentation-based":[27],"decision":[28,75],"problems.":[29],"By":[30],"this,":[31],"we":[32],"are":[33],"able":[34],"to":[35],"represent,":[36],"in":[37],"uniform":[39],"simple":[41],"way,":[42],"wide":[44],"range":[45],"of":[46,82,87],"extension-based":[47],"semantics":[48],"argumentation":[50],"theory,":[51],"including":[52],"complete,":[53],"grounded,":[54],"preferred,":[55],"semi-stable,":[56],"stage,":[57],"ideal":[58],"eager":[60],"semantics.":[61],"Furthermore,":[62],"our":[63],"approach":[64],"involves":[65],"only":[66],"propositional":[67,72],"languages":[68],"quantifications":[70],"over":[71],"variables,":[73],"making":[74],"problems":[76],"like":[77],"skeptical":[78],"credulous":[80],"acceptance":[81],"arguments":[83],"simply":[84],"matter":[86],"entailment":[89],"satisfiability,":[91],"which":[92],"be":[94],"verified":[95],"by":[96],"existing":[97],"QBF-solvers.":[98]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}