liu.seSearch for publications in DiVA
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Facets in Argumentation: A Formal Approach to Argument Significance
Linköping University, Department of Computer and Information Science, Artificial Intelligence and Integrated Computer Systems. Linköping University, Faculty of Science & Engineering. (TCSLAB)ORCID iD: 0000-0002-8681-7470
Leibniz Universität Hannover.
University Artois, CNRS, France.ORCID iD: 0000-0003-0131-6771
Linköping University, Department of Computer and Information Science, Artificial Intelligence and Integrated Computer Systems. Linköping University, Faculty of Science & Engineering. (TCSLAB)ORCID iD: 0000-0001-8144-4145
Show others and affiliations
2025 (English)In: Proceedings of the 34th International Joint Conference on Artificial Intelligence (IJCAI'25), IJCAI-INT JOINT CONF ARTIF INTELL , 2025, p. 4491-4499Conference paper, Published paper (Refereed)
Abstract [en]

Argumentation is a central subarea of Artificial Intelligence (AI) for modeling and reasoning about arguments. The semantics of abstract argumentation frameworks (AFs) is given by sets of arguments (extensions) and conditions on the relationship between them, such as stable or admissible. Today's solvers implement tasks such as finding extensions, deciding credulous or skeptical acceptance, counting, or enumerating extensions. While these tasks are well charted, the area between decision, counting/enumeration and fine-grained reasoning requires expensive reasoning so far. We introduce a novel concept (facets) for reasoning between decision and enumeration. Facets are arguments that belong to some extensions (credulous) but not to all extensions (skeptical). They are most natural when a user aims to navigate, filter, or comprehend the significance of specific arguments, according to their needs. We study the complexity and show that tasks involving facets are much easier than counting extensions. Finally, we provide an implementation, and conduct experiments to demonstrate feasibility.

Place, publisher, year, edition, pages
IJCAI-INT JOINT CONF ARTIF INTELL , 2025. p. 4491-4499
National Category
Artificial Intelligence
Identifiers
URN: urn:nbn:se:liu:diva-214264ISI: 001595146400499ISBN: 9781956792065 (print)OAI: oai:DiVA.org:liu-214264DiVA, id: diva2:1963255
Conference
34th International Joint Conference on Artificial Intelligence-IJCAI, Montreal, CANADA, aug 16-22, 2025
Funder
ELLIIT - The Linköping‐Lund Initiative on IT and Mobile CommunicationsSwedish National Infrastructure for Computing (SNIC)Swedish Research Council, VR-2022-03214
Note

Funding Agencies|Austrian Science Fund (FWF) [J 4656, P 32830]; Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) [TRR 318/1 2021 -438445824, ME 4279/3-1, 511769688]; European Union's Horizon Europe research and innovation programme within project ENEXA [101070305]; Society for Research Funding in Lower Austria (GFF, Gesellschaft fur Forschungsforderung NO) [ExzF-0004]; Swedish research council [VR-2022-03214]; Vienna Science and Technology Fund (WWTF) [ICT19065]; Ministry of Culture and Science of North Rhine-Westphalia [LFN 1-04]; ELLIIT - Swedish government

Available from: 2025-06-03 Created: 2025-06-03 Last updated: 2026-01-30

Open Access in DiVA

No full text in DiVA

Authority records

Fichte, Johannes KlausLagerkvist, Victor

Search in DiVA

By author/editor
Fichte, Johannes KlausHecher, MarkusLagerkvist, VictorPersson, Jonathan
By organisation
Artificial Intelligence and Integrated Computer SystemsFaculty of Science & EngineeringLinköping University
Artificial Intelligence

Search outside of DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 83 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf