{"type":"ScholarlyArticle","title":"Facets in Argumentation: A Formal Approach to Argument Significance","authors":[{"name":"Johannes K. Fichte","slug":"johannes-k-fichte","given":"Johannes K.","family":"Fichte","affiliation":""},{"name":"Nicolas Fröhlich","slug":"nicolas-frohlich","given":"Nicolas","family":"Fröhlich","affiliation":""},{"name":"Markus Hecher","slug":"markus-hecher","given":"Markus","family":"Hecher","affiliation":""},{"name":"Victor Lagerkvist","slug":"victor-lagerkvist","given":"Victor","family":"Lagerkvist","affiliation":""},{"name":"Yasir Mahmood","slug":"yasir-mahmood","given":"Yasir","family":"Mahmood","affiliation":""},{"name":"Arne Meier","slug":"arne-meier","given":"Arne","family":"Meier","affiliation":""},{"name":"Jonathan Persson","slug":"jonathan-persson","given":"Jonathan","family":"Persson","affiliation":""}],"abstract":"Argumentation is a central subarea of Artificial Intelligence (AI) for modeling and reasoning about arguments. \r\nThe semantics of abstract argumentation frameworks (AFs) is given by sets of arguments (extensions) and conditions on the relationship between arguments, such as stable or admissible.\r\nToday's solvers implement tasks such as finding extensions, deciding credulously or skeptically acceptance, counting, or enumerating extensions.\r\nWhile these tasks are well charted, the area between decision and counting/enumeration and fine-grained reasoning requires expensive reasoning so far.\r\nWe introduce a novel concept (facets) for reasoning between decision and enumeration. \r\nFacets are arguments that belong to some  extensions (credulous) but not to all extensions (skeptical).\r\nThey are most natural when a user aims to navigate, filter, or comprehend specific arguments, according to their needs. \r\nWe study the complexity and show that tasks involving facets are much easier than counting extensions.\r\nFinally, we provide an implementation, and conduct experiments to demonstrate feasibility.","doi":"10.24963/ijcai.2025/500","url":"https://ijcai.org/proceedings/2025/500","pdf":"https://ijcai.org/proceedings/2025/0500.pdf","markdown":"https://ijcai.org/proceedings/2025/500.md","bibtex":"https://ijcai.org/proceedings/2025/bibtex/500","volume":{"slug":"2025","title":"Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2025","url":"https://ijcai.org/proceedings/2025/","year":2025,"location":"Montreal, Canada","dates":"16-22 August 2025","editors":"James Kwok","isbn":"978-1-956792-06-5","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2025"},"section":"Knowledge Representation and Reasoning","track":"Main Track","number":500,"pages":{"first":4491,"last":4499},"keywords":["Knowledge Representation and Reasoning: KRR: Argumentation","Knowledge Representation and Reasoning: KRR: Computational complexity of reasoning"],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}