{"id":"https://openalex.org/W3080695512","doi":"https://doi.org/10.24963/kr.2020/35","title":"Argumentation Semantics under a Claim-centric View: Properties, Expressiveness and Relation to SETAFs","display_name":"Argumentation Semantics under a Claim-centric View: Properties, Expressiveness and Relation to SETAFs","publication_year":2020,"publication_date":"2020-07-01","ids":{"openalex":"https://openalex.org/W3080695512","doi":"https://doi.org/10.24963/kr.2020/35","mag":"3080695512"},"language":"en","primary_location":{"id":"doi:10.24963/kr.2020/35","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2020/35","pdf_url":"https://proceedings.kr.org/2020/35/kr2020-0035-dvorak-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://proceedings.kr.org/2020/35/kr2020-0035-dvorak-et-al.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5064606350","display_name":"Wolfgang Dvo\u0159\u00e1k","orcid":"https://orcid.org/0000-0002-2269-8193"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":true,"raw_author_name":"Wolfgang Dvo\u0159\u00e1k","raw_affiliation_strings":["TU Wien, Institute of Logic and Computation"],"affiliations":[{"raw_affiliation_string":"TU Wien, Institute of Logic and Computation","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060212076","display_name":"Anna Rapberger","orcid":"https://orcid.org/0000-0003-0355-3535"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Anna Rapberger","raw_affiliation_strings":["TU Wien, Institute of Logic and Computation"],"affiliations":[{"raw_affiliation_string":"TU Wien, Institute of Logic and Computation","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5006053030","display_name":"Stefan Woltran","orcid":"https://orcid.org/0000-0003-1594-8972"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Stefan Woltran","raw_affiliation_strings":["TU Wien, Institute of Logic and Computation"],"affiliations":[{"raw_affiliation_string":"TU Wien, Institute of Logic and Computation","institution_ids":["https://openalex.org/I145847075"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5064606350"],"corresponding_institution_ids":["https://openalex.org/I145847075"],"apc_list":null,"apc_paid":null,"fwci":1.9029,"has_fulltext":true,"cited_by_count":19,"citation_normalized_percentile":{"value":0.88960366,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"341","last_page":"350"},"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.9997000098228455,"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.9997000098228455,"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/T10703","display_name":"Business Process Modeling and Analysis","score":0.9939000010490417,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9872000217437744,"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/semantics","display_name":"Semantics (computer science)","score":0.6458784937858582},{"id":"https://openalex.org/keywords/argumentation-theory","display_name":"Argumentation theory","score":0.6382187008857727},{"id":"https://openalex.org/keywords/well-founded-semantics","display_name":"Well-founded semantics","score":0.6182180643081665},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.57027268409729},{"id":"https://openalex.org/keywords/argumentation-framework","display_name":"Argumentation framework","score":0.5365490913391113},{"id":"https://openalex.org/keywords/denotational-semantics","display_name":"Denotational semantics","score":0.5335149765014648},{"id":"https://openalex.org/keywords/argument","display_name":"Argument (complex analysis)","score":0.5270174741744995},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.4602050185203552},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.349581778049469},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3321640193462372},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2824212908744812},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.17415472865104675},{"id":"https://openalex.org/keywords/medicine","display_name":"Medicine","score":0.06823423504829407},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.06557127833366394}],"concepts":[{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6458784937858582},{"id":"https://openalex.org/C65059942","wikidata":"https://www.wikidata.org/wiki/Q270105","display_name":"Argumentation theory","level":2,"score":0.6382187008857727},{"id":"https://openalex.org/C89497691","wikidata":"https://www.wikidata.org/wiki/Q7981058","display_name":"Well-founded semantics","level":5,"score":0.6182180643081665},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.57027268409729},{"id":"https://openalex.org/C2779607372","wikidata":"https://www.wikidata.org/wiki/Q4789757","display_name":"Argumentation framework","level":3,"score":0.5365490913391113},{"id":"https://openalex.org/C207648694","wikidata":"https://www.wikidata.org/wiki/Q1189746","display_name":"Denotational semantics","level":4,"score":0.5335149765014648},{"id":"https://openalex.org/C98184364","wikidata":"https://www.wikidata.org/wiki/Q1780131","display_name":"Argument (complex analysis)","level":2,"score":0.5270174741744995},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.4602050185203552},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.349581778049469},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3321640193462372},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2824212908744812},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.17415472865104675},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.06823423504829407},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.06557127833366394},{"id":"https://openalex.org/C126322002","wikidata":"https://www.wikidata.org/wiki/Q11180","display_name":"Internal medicine","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.24963/kr.2020/35","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2020/35","pdf_url":"https://proceedings.kr.org/2020/35/kr2020-0035-dvorak-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.24963/kr.2020/35","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2020/35","pdf_url":"https://proceedings.kr.org/2020/35/kr2020-0035-dvorak-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.46000000834465027}],"awards":[{"id":"https://openalex.org/G1975729292","display_name":null,"funder_award_id":"W1255-N23","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G29884786","display_name":null,"funder_award_id":"ICT19-065","funder_id":"https://openalex.org/F4320321003","funder_display_name":"Vienna Science and Technology Fund"},{"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"},{"id":"https://openalex.org/G718477789","display_name":null,"funder_award_id":"P30168","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G8680849391","display_name":null,"funder_award_id":"W1255","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"}],"funders":[{"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"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3080695512.pdf","grobid_xml":"https://content.openalex.org/works/W3080695512.grobid-xml"},"referenced_works_count":19,"referenced_works":["https://openalex.org/W98858009","https://openalex.org/W1493005536","https://openalex.org/W1523879902","https://openalex.org/W1975303601","https://openalex.org/W1979409532","https://openalex.org/W2006559750","https://openalex.org/W2015899729","https://openalex.org/W2104126268","https://openalex.org/W2122177287","https://openalex.org/W2155476636","https://openalex.org/W2167510274","https://openalex.org/W2904861023","https://openalex.org/W2905077107","https://openalex.org/W2934502900","https://openalex.org/W3089381700","https://openalex.org/W3090025206","https://openalex.org/W4249547020","https://openalex.org/W6644318551","https://openalex.org/W6654389501"],"related_works":["https://openalex.org/W91938043","https://openalex.org/W3129725704","https://openalex.org/W2070801544","https://openalex.org/W2072493788","https://openalex.org/W1988438613","https://openalex.org/W2077853828","https://openalex.org/W1487472891","https://openalex.org/W1508065823","https://openalex.org/W2348616540","https://openalex.org/W3036972880"],"abstract_inverted_index":{"Claim-augmented":[0],"argumentation":[1,19,73,103],"frameworks":[2,20,104],"(CAFs)":[3],"constitute":[4],"a":[5,24,135,182,211],"generic":[6],"formalism":[7],"for":[8,32,143,157,181,204],"conflict":[9],"resolution":[10],"of":[11,46,53,56,67,71,102,185,193,246,252],"conclusion-oriented":[12],"problems":[13],"in":[14,51,86,96,169,223,250],"argumentation.":[15],"CAFs":[16,33,144,217],"extend":[17],"Dung":[18],"(AFs)":[21],"by":[22,42],"assigning":[23],"claim":[25],"to":[26,38,62,83,92,115,174,225,236],"each":[27,175],"argument.":[28],"So":[29],"far,":[30],"semantics":[31,50,66,74,112,124,141,160,173,197,249],"are":[34],"defined":[35],"with":[36,81,90],"respect":[37,82,91],"the":[39,44,47,54,57,93,108,121,150,190,202,205,226,233,237,244,247],"underlying":[40,122],"AF":[41,49,123],"interpreting":[43],"extensions":[45],"respective":[48,238],"terms":[52,251],"claims":[55],"accepted":[58],"arguments;":[59],"we":[60,133,178,242],"refer":[61],"them":[63],"as":[64,85,95],"inherited":[65,111,227],"CAFs.<br>A":[68],"central":[69],"concept":[70],"many":[72],"is":[75,147,200],"maximization,":[76],"which":[77,199],"can":[78],"be":[79],"done":[80],"arguments":[84],"preferred":[87,194],"semantics,":[88,232],"or":[89],"range":[94],"semi-stable":[97,229],"semantics.":[98,207,240],"However,":[99],"common":[100],"instantiations":[101],"require":[105],"maximality":[106],"on":[107,149],"claim-level":[109,140],"and":[110,138,165,167,195,218,220,230],"often":[113],"fail":[114],"provide":[116],"maximal":[117,126],"claim-sets":[118],"even":[119],"if":[120],"yields":[125],"argument":[127],"sets.":[128],"To":[129],"address":[130],"this":[131],"issue,":[132],"investigate":[134,210,243],"different":[136,191],"approach":[137],"introduce":[139],"(cl-semantics)":[142],"where":[145],"maximization":[146],"performed":[148],"claim-level.":[151],"We":[152,208],"compare":[153],"these":[154],"two":[155],"approaches":[156],"five":[158],"prominent":[159],"(preferred,":[161],"naive,":[162,228],"stable,":[163],"semi-stable,":[164],"stage)":[166],"relate":[168],"total":[170],"eleven":[171],"CAF":[172],"other.":[176],"Moreover,":[177],"show":[179,221],"that":[180],"certain":[183],"subclass":[184],"CAFs,":[186,189],"namely":[187],"well-formed":[188,216],"versions":[192],"stable":[196],"coincide,":[198],"not":[201],"case":[203],"remaining":[206],"furthermore":[209],"recently":[212],"established":[213],"translation":[214],"between":[215],"SETAFs":[219],"that,":[222],"contrast":[224],"stage":[231],"cl-semantics":[234],"correspond":[235],"SETAF":[239],"Finally,":[241],"expressiveness":[245],"considered":[248],"their":[253],"signatures.":[254]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":7},{"year":2022,"cited_by_count":6},{"year":2021,"cited_by_count":1}],"updated_date":"2026-04-20T07:46:08.049788","created_date":"2025-10-10T00:00:00"}