{"id":"https://openalex.org/W4414360206","doi":"https://doi.org/10.24963/ijcai.2025/1222","title":"Credulous Acceptance in High-Order Argumentation Frameworks with Necessities: An Incremental Approach (Abstract Reprint)","display_name":"Credulous Acceptance in High-Order Argumentation Frameworks with Necessities: An Incremental Approach (Abstract Reprint)","publication_year":2025,"publication_date":"2025-09-01","ids":{"openalex":"https://openalex.org/W4414360206","doi":"https://doi.org/10.24963/ijcai.2025/1222"},"language":"en","primary_location":{"id":"doi:10.24963/ijcai.2025/1222","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2025/1222","pdf_url":"https://www.ijcai.org/proceedings/2025/1222.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/1222.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5022559920","display_name":"Gianvincenzo Alfano","orcid":"https://orcid.org/0000-0002-7280-4759"},"institutions":[{"id":"https://openalex.org/I45204951","display_name":"University of Calabria","ror":"https://ror.org/02rc97e94","country_code":"IT","type":"education","lineage":["https://openalex.org/I45204951"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Gianvincenzo Alfano","raw_affiliation_strings":["University of Calabria, Rende, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Calabria, Rende, Italy","institution_ids":["https://openalex.org/I45204951"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002880018","display_name":"Andrea Cohen","orcid":"https://orcid.org/0000-0001-5770-2984"},"institutions":[{"id":"https://openalex.org/I45204951","display_name":"University of Calabria","ror":"https://ror.org/02rc97e94","country_code":"IT","type":"education","lineage":["https://openalex.org/I45204951"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Andrea Cohen","raw_affiliation_strings":["University of Calabria, Rende, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Calabria, Rende, Italy","institution_ids":["https://openalex.org/I45204951"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026934431","display_name":"Sebasti\u00e1n Gottifredi","orcid":"https://orcid.org/0009-0009-8031-2576"},"institutions":[{"id":"https://openalex.org/I45204951","display_name":"University of Calabria","ror":"https://ror.org/02rc97e94","country_code":"IT","type":"education","lineage":["https://openalex.org/I45204951"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Sebastian Gottifredi","raw_affiliation_strings":["University of Calabria, Rende, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Calabria, Rende, Italy","institution_ids":["https://openalex.org/I45204951"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031964906","display_name":"Sergio Greco","orcid":"https://orcid.org/0000-0003-2966-3484"},"institutions":[{"id":"https://openalex.org/I45204951","display_name":"University of Calabria","ror":"https://ror.org/02rc97e94","country_code":"IT","type":"education","lineage":["https://openalex.org/I45204951"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Sergio Greco","raw_affiliation_strings":["University of Calabria, Rende, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Calabria, Rende, Italy","institution_ids":["https://openalex.org/I45204951"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047977256","display_name":"Francesco Parisi","orcid":"https://orcid.org/0000-0001-9977-1355"},"institutions":[{"id":"https://openalex.org/I45204951","display_name":"University of Calabria","ror":"https://ror.org/02rc97e94","country_code":"IT","type":"education","lineage":["https://openalex.org/I45204951"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Francesco Parisi","raw_affiliation_strings":["University of Calabria, Rende, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Calabria, Rende, Italy","institution_ids":["https://openalex.org/I45204951"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5019186384","display_name":"Guillermo Ricardo Simari","orcid":"https://orcid.org/0000-0001-6247-0428"},"institutions":[{"id":"https://openalex.org/I56858762","display_name":"Universidad Nacional del Sur","ror":"https://ror.org/028crwz56","country_code":"AR","type":"education","lineage":["https://openalex.org/I56858762"]}],"countries":["AR"],"is_corresponding":false,"raw_author_name":"Guillermo R. Simari","raw_affiliation_strings":["Universidad Nacional del Sur, Bah\u00b4\u0131a Blanca, Argentina"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universidad Nacional del Sur, Bah\u00b4\u0131a Blanca, Argentina","institution_ids":["https://openalex.org/I56858762"]}]}],"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":0,"citation_normalized_percentile":{"value":0.3223393,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"10948","last_page":"10948"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11031","display_name":"Game Theory and Applications","score":0.9021000266075134,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11031","display_name":"Game Theory and Applications","score":0.9021000266075134,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/argumentation-theory","display_name":"Argumentation theory","score":0.7616999745368958},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.6855999827384949},{"id":"https://openalex.org/keywords/argumentation-framework","display_name":"Argumentation framework","score":0.5888000130653381},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5532000064849854},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.538100004196167},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.48089998960494995}],"concepts":[{"id":"https://openalex.org/C65059942","wikidata":"https://www.wikidata.org/wiki/Q270105","display_name":"Argumentation theory","level":2,"score":0.7616999745368958},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.6855999827384949},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6848999857902527},{"id":"https://openalex.org/C2779607372","wikidata":"https://www.wikidata.org/wiki/Q4789757","display_name":"Argumentation framework","level":3,"score":0.5888000130653381},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5532000064849854},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.538100004196167},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.48089998960494995},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.4602999985218048},{"id":"https://openalex.org/C200288055","wikidata":"https://www.wikidata.org/wiki/Q2621792","display_name":"Element (criminal law)","level":2,"score":0.34689998626708984},{"id":"https://openalex.org/C539667460","wikidata":"https://www.wikidata.org/wiki/Q2414942","display_name":"Management science","level":1,"score":0.30379998683929443},{"id":"https://openalex.org/C140843580","wikidata":"https://www.wikidata.org/wiki/Q840067","display_name":"Defeasible reasoning","level":2,"score":0.2888999879360199},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2660999894142151},{"id":"https://openalex.org/C14224292","wikidata":"https://www.wikidata.org/wiki/Q13600188","display_name":"Conceptual framework","level":2,"score":0.2587999999523163},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.2529999911785126},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.2524000108242035}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.24963/ijcai.2025/1222","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2025/1222","pdf_url":"https://www.ijcai.org/proceedings/2025/1222.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"}],"best_oa_location":{"id":"doi:10.24963/ijcai.2025/1222","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2025/1222","pdf_url":"https://www.ijcai.org/proceedings/2025/1222.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":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4414360206.pdf","grobid_xml":"https://content.openalex.org/works/W4414360206.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Argumentation":[0,24,69],"is":[1,12,202,216],"an":[2,99,115,134,156,174,182,207,255],"important":[3],"research":[4],"area":[5],"in":[6,110,133,142,155,172,188],"the":[7,37,102,106,144,189,194,200,210,214,220,223,245,250],"field":[8],"of":[9,16,21,105,119,147,209,249],"AI.":[10],"There":[11],"a":[13,129,148,165,168],"substantial":[14],"amount":[15],"work":[17],"on":[18,67,228],"different":[19],"aspects":[20,29],"Dung's":[22],"abstract":[23],"Framework":[25],"(AF).":[26],"Two":[27],"relevant":[28,205],"considered":[30],"separately":[31],"so":[32],"far":[33],"are:":[34],"i)":[35],"extending":[36],"framework":[38],"to":[39,163,222],"account":[40],"for":[41,76,101,177,196,204,235,254],"recursive":[42],"attacks":[43,91,122],"and":[44,46,78,92,123,181,192,226,239],"supports,":[45],"ii)":[47],"considering":[48],"dynamics,":[49],"i.e.,":[50],"AFs":[51],"evolving":[52,157],"over":[53],"time.":[54],"In":[55,137],"this":[56],"paper,":[57],"we":[58,139],"jointly":[59],"deal":[60],"with":[61,71],"these":[62],"two":[63],"aspects.":[64],"We":[65,97,231],"focus":[66],"High-Order":[68],"Frameworks":[70],"Necessities":[72],"(HOAFNs)":[73],"which":[74],"allow":[75],"attack":[77,151],"support":[79,153],"relations":[80],"(interpreted":[81],"as":[82],"necessity)":[83],"not":[84],"only":[85],"between":[86],"arguments":[87],"but":[88],"also":[89],"targeting":[90],"supports":[93],"at":[94],"any":[95],"level.":[96],"propose":[98],"approach":[100,161,238],"incremental":[103,237],"evaluation":[104,246],"credulous":[107,145,251],"acceptance":[108,146,252],"problem":[109,221,253],"HOAFNs,":[111],"by":[112,218],"\u201cincrementally\u201d":[113],"computing":[114],"extension":[116,175,195,208],"(a":[117],"set":[118],"accepted":[120],"arguments,":[121],"supports),":[124],"if":[125],"it":[126,243],"exists,":[127],"containing":[128,179,213],"given":[130,149],"goal":[131,169,215],"element":[132],"updated":[135,211,256],"HOAFN.":[136,158,257],"particular,":[138],"are":[140],"interested":[141],"monitoring":[143],"argument,":[150],"or":[152],"(goal)":[154],"Thus,":[159],"our":[160,236],"assumes":[162],"have":[164],"HOAFN":[166,212],"\u0394,":[167,173],"\u03f1":[170],"occurring":[171],"E":[176],"\u0394":[178],"\u03f1,":[180],"update":[183,201],"u":[184],"establishing":[185],"some":[186],"changes":[187],"original":[190],"HOAFN,":[191],"uses":[193],"first":[197],"checking":[198],"whether":[199],"relevant;":[203],"updates,":[206],"computed":[217],"translating":[219],"AF":[224,229],"domain":[225],"leveraging":[227],"solvers.":[230],"provide":[232],"formal":[233],"results":[234],"empirically":[240],"show":[241],"that":[242],"outperforms":[244],"from":[247],"scratch":[248]},"counts_by_year":[],"updated_date":"2026-08-01T09:00:35.917206","created_date":"2025-10-10T00:00:00"}
