{"id":"https://openalex.org/W4414360440","doi":"https://doi.org/10.24963/ijcai.2025/500","title":"Facets in Argumentation: A Formal Approach to Argument Significance","display_name":"Facets in Argumentation: A Formal Approach to Argument Significance","publication_year":2025,"publication_date":"2025-09-01","ids":{"openalex":"https://openalex.org/W4414360440","doi":"https://doi.org/10.24963/ijcai.2025/500"},"language":"en","primary_location":{"id":"doi:10.24963/ijcai.2025/500","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2025/500","pdf_url":"https://www.ijcai.org/proceedings/2025/0500.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.ijcai.org/proceedings/2025/0500.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5089442472","display_name":"Johannes K. Fichte","orcid":"https://orcid.org/0000-0002-8681-7470"},"institutions":[{"id":"https://openalex.org/I102134673","display_name":"Link\u00f6ping University","ror":"https://ror.org/05ynxx418","country_code":"SE","type":"education","lineage":["https://openalex.org/I102134673"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Johannes K. Fichte","raw_affiliation_strings":["Link\u00f6ping University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Link\u00f6ping University","institution_ids":["https://openalex.org/I102134673"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034875787","display_name":"Nicolas Fr\u00f6hlich","orcid":"https://orcid.org/0000-0002-4556-1798"},"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":"Nicolas Fr\u00f6hlich","raw_affiliation_strings":["Leibniz Universit\u00e4t Hannover"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Leibniz Universit\u00e4t Hannover","institution_ids":["https://openalex.org/I114112103"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056989280","display_name":"Markus Hecher","orcid":"https://orcid.org/0000-0003-0131-6771"},"institutions":[{"id":"https://openalex.org/I44563897","display_name":"Universit\u00e9 d'Artois","ror":"https://ror.org/053x9s498","country_code":"FR","type":"education","lineage":["https://openalex.org/I44563897"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Markus Hecher","raw_affiliation_strings":["Univ. Artois, CNRS"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Univ. Artois, CNRS","institution_ids":["https://openalex.org/I44563897"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089123758","display_name":"Victor Lagerkvist","orcid":null},"institutions":[{"id":"https://openalex.org/I102134673","display_name":"Link\u00f6ping University","ror":"https://ror.org/05ynxx418","country_code":"SE","type":"education","lineage":["https://openalex.org/I102134673"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Victor Lagerkvist","raw_affiliation_strings":["Link\u00f6ping University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Link\u00f6ping University","institution_ids":["https://openalex.org/I102134673"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011855160","display_name":"Yasir Mahmood","orcid":"https://orcid.org/0000-0002-5651-5391"},"institutions":[{"id":"https://openalex.org/I206945453","display_name":"Paderborn University","ror":"https://ror.org/058kzsd48","country_code":"DE","type":"education","lineage":["https://openalex.org/I206945453"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Yasir Mahmood","raw_affiliation_strings":["Paderborn University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Paderborn University","institution_ids":["https://openalex.org/I206945453"]}]},{"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"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Leibniz Universit\u00e4t Hannover","institution_ids":["https://openalex.org/I114112103"]}]},{"author_position":"last","author":{"id":null,"display_name":"Jonathan Persson","orcid":null},"institutions":[{"id":"https://openalex.org/I102134673","display_name":"Link\u00f6ping University","ror":"https://ror.org/05ynxx418","country_code":"SE","type":"education","lineage":["https://openalex.org/I102134673"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Jonathan Persson","raw_affiliation_strings":["Link\u00f6ping University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Link\u00f6ping University","institution_ids":["https://openalex.org/I102134673"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.21244837,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"4491","last_page":"4499"},"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.866599977016449,"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.866599977016449,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.751800000667572,"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/T10430","display_name":"Software Engineering Techniques and Practices","score":0.7505000233650208,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/argument","display_name":"Argument (complex analysis)","score":0.6707000136375427},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6223000288009644},{"id":"https://openalex.org/keywords/argumentation-theory","display_name":"Argumentation theory","score":0.6083999872207642},{"id":"https://openalex.org/keywords/defeasible-reasoning","display_name":"Defeasible reasoning","score":0.5008000135421753},{"id":"https://openalex.org/keywords/natural","display_name":"Natural (archaeology)","score":0.43970000743865967},{"id":"https://openalex.org/keywords/automated-reasoning","display_name":"Automated reasoning","score":0.4239000082015991},{"id":"https://openalex.org/keywords/analytic-reasoning","display_name":"Analytic reasoning","score":0.4117000102996826},{"id":"https://openalex.org/keywords/non-monotonic-logic","display_name":"Non-monotonic logic","score":0.38339999318122864},{"id":"https://openalex.org/keywords/argumentation-framework","display_name":"Argumentation framework","score":0.3781000077724457}],"concepts":[{"id":"https://openalex.org/C98184364","wikidata":"https://www.wikidata.org/wiki/Q1780131","display_name":"Argument (complex analysis)","level":2,"score":0.6707000136375427},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6223000288009644},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6171000003814697},{"id":"https://openalex.org/C65059942","wikidata":"https://www.wikidata.org/wiki/Q270105","display_name":"Argumentation theory","level":2,"score":0.6083999872207642},{"id":"https://openalex.org/C140843580","wikidata":"https://www.wikidata.org/wiki/Q840067","display_name":"Defeasible reasoning","level":2,"score":0.5008000135421753},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4968999922275543},{"id":"https://openalex.org/C2776608160","wikidata":"https://www.wikidata.org/wiki/Q4785462","display_name":"Natural (archaeology)","level":2,"score":0.43970000743865967},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.4239000082015991},{"id":"https://openalex.org/C103057564","wikidata":"https://www.wikidata.org/wiki/Q4751139","display_name":"Analytic reasoning","level":3,"score":0.4117000102996826},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.38339999318122864},{"id":"https://openalex.org/C2779607372","wikidata":"https://www.wikidata.org/wiki/Q4789757","display_name":"Argumentation framework","level":3,"score":0.3781000077724457},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.3720000088214874},{"id":"https://openalex.org/C59656382","wikidata":"https://www.wikidata.org/wiki/Q191536","display_name":"Conjunction (astronomy)","level":2,"score":0.34850001335144043},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3328000009059906},{"id":"https://openalex.org/C89288958","wikidata":"https://www.wikidata.org/wiki/Q7301504","display_name":"Reasoning system","level":2,"score":0.323199987411499},{"id":"https://openalex.org/C188147891","wikidata":"https://www.wikidata.org/wiki/Q147638","display_name":"Cognitive science","level":1,"score":0.31029999256134033},{"id":"https://openalex.org/C83725634","wikidata":"https://www.wikidata.org/wiki/Q7268699","display_name":"Qualitative reasoning","level":2,"score":0.3075999915599823},{"id":"https://openalex.org/C37335422","wikidata":"https://www.wikidata.org/wiki/Q6888134","display_name":"Model-based reasoning","level":3,"score":0.30709999799728394},{"id":"https://openalex.org/C97364631","wikidata":"https://www.wikidata.org/wiki/Q484284","display_name":"Deductive reasoning","level":2,"score":0.30469998717308044},{"id":"https://openalex.org/C146499914","wikidata":"https://www.wikidata.org/wiki/Q5469969","display_name":"Formal semantics (linguistics)","level":2,"score":0.29589998722076416},{"id":"https://openalex.org/C2780791683","wikidata":"https://www.wikidata.org/wiki/Q846785","display_name":"Action (physics)","level":2,"score":0.2782000005245209},{"id":"https://openalex.org/C28901747","wikidata":"https://www.wikidata.org/wiki/Q177571","display_name":"Decision theory","level":2,"score":0.27559998631477356},{"id":"https://openalex.org/C136172866","wikidata":"https://www.wikidata.org/wiki/Q1088088","display_name":"Possible world","level":2,"score":0.27309998869895935},{"id":"https://openalex.org/C183521366","wikidata":"https://www.wikidata.org/wiki/Q7256422","display_name":"Psychology of reasoning","level":4,"score":0.27300000190734863},{"id":"https://openalex.org/C200065993","wikidata":"https://www.wikidata.org/wiki/Q3954981","display_name":"Computational semantics","level":4,"score":0.2702000141143799},{"id":"https://openalex.org/C62073222","wikidata":"https://www.wikidata.org/wiki/Q1572108","display_name":"Natural deduction","level":2,"score":0.2671999931335449},{"id":"https://openalex.org/C66024118","wikidata":"https://www.wikidata.org/wiki/Q1122506","display_name":"Computational model","level":2,"score":0.2667999863624573},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.25040000677108765}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.24963/ijcai.2025/500","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2025/500","pdf_url":"https://www.ijcai.org/proceedings/2025/0500.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-05388315v1","is_oa":false,"landing_page_url":"https://hal.science/hal-05388315","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IJCAI 2025: 34th International Joint Conference on Artificial Intelligence, Aug 2025, Montreal, Canada","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"doi:10.24963/ijcai.2025/500","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2025/500","pdf_url":"https://www.ijcai.org/proceedings/2025/0500.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1622223166","display_name":"TRR 318: Erkl\u00e4rbarkeit konstruieren","funder_award_id":"438445824","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G2787047415","display_name":null,"funder_award_id":"101070305","funder_id":"https://openalex.org/F4320334322","funder_display_name":"HORIZON EUROPE Framework Programme"},{"id":"https://openalex.org/G29884786","display_name":"Revealing and Utilizing the Hidden Structure for Solving Hard Problems in AI","funder_award_id":"ICT19-065","funder_id":"https://openalex.org/F4320321003","funder_display_name":"Vienna Science and Technology Fund"},{"id":"https://openalex.org/G4170037725","display_name":"Teamlogiken: Neue Br\u00fccken zu DatenbankReparaturen","funder_award_id":"511769688","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G4419534232","display_name":null,"funder_award_id":"TRR 318/1","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G4435581774","display_name":"QuantASP - Quantitative Reasoning and Counting for ASP","funder_award_id":"J 4656","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G4555480548","display_name":"HYPAR - Hybrid Parameterized Problem Solving in Practice","funder_award_id":"P 32830","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G5987086474","display_name":"Efficient Explainable Learning on Knowledge Graphs","funder_award_id":"101070305","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G60104654","display_name":null,"funder_award_id":"TRR 318/1 2021","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G6483656518","display_name":null,"funder_award_id":"ICT19-065","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"},{"id":"https://openalex.org/F4320321003","display_name":"Vienna Science and Technology Fund","ror":"https://ror.org/01f9mc681"},{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"},{"id":"https://openalex.org/F4320322581","display_name":"Vetenskapsr\u00e5det","ror":"https://ror.org/03zttf063"},{"id":"https://openalex.org/F4320328599","display_name":"Ministerium f\u00fcr Kultur und Wissenschaft des Landes Nordrhein-Westfalen","ror":null},{"id":"https://openalex.org/F4320334164","display_name":"Simons Institute for the Theory of Computing, University of California Berkeley","ror":null},{"id":"https://openalex.org/F4320334322","display_name":"HORIZON EUROPE Framework Programme","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4414360440.pdf","grobid_xml":"https://content.openalex.org/works/W4414360440.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Argumentation":[0],"is":[1,22],"a":[2,80,110],"central":[3],"subarea":[4],"of":[5,17,26],"Artificial":[6],"Intelligence":[7],"(AI)":[8],"for":[9,84],"modeling":[10],"and":[11,29,68,70,88,128,145],"reasoning":[12,72,75,85],"about":[13],"arguments.":[14],"The":[15],"semantics":[16],"abstract":[18],"argumentation":[19],"frameworks":[20],"(AFs)":[21],"given":[23],"by":[24],"sets":[25],"arguments":[27,92],"(extensions)":[28],"conditions":[30],"on":[31],"the":[32,64,126],"relationship":[33],"between":[34,66,86],"arguments,":[35,119],"such":[36,45],"as":[37,46],"stable":[38],"or":[39,51,55,116],"admissible.":[40],"Today's":[41],"solvers":[42],"implement":[43],"tasks":[44,60,131],"finding":[47],"extensions,":[48],"deciding":[49],"credulously":[50],"skeptically":[52],"acceptance,":[53],"counting,":[54],"enumerating":[56],"extensions.":[57,139],"While":[58],"these":[59],"are":[61,91,106,134],"well":[62],"charted,":[63],"area":[65],"decision":[67,87],"counting/enumeration":[69],"fine-grained":[71],"requires":[73],"expensive":[74],"so":[76],"far.":[77],"We":[78,124],"introduce":[79],"novel":[81],"concept":[82],"(facets)":[83],"enumeration.":[89],"Facets":[90],"that":[93,130],"belong":[94],"to":[95,101,113,121,148],"some":[96],"extensions":[97,103],"(credulous)":[98],"but":[99],"not":[100],"all":[102],"(skeptical).":[104],"They":[105],"most":[107],"natural":[108],"when":[109],"user":[111],"aims":[112],"navigate,":[114],"filter,":[115],"comprehend":[117],"specific":[118],"according":[120],"their":[122],"needs.":[123],"study":[125],"complexity":[127],"show":[129],"involving":[132],"facets":[133],"much":[135],"easier":[136],"than":[137],"counting":[138],"Finally,":[140],"we":[141],"provide":[142],"an":[143],"implementation,":[144],"conduct":[146],"experiments":[147],"demonstrate":[149],"feasibility.":[150]},"counts_by_year":[],"updated_date":"2026-08-01T09:00:35.917206","created_date":"2025-10-10T00:00:00"}