{"id":"https://openalex.org/W3205682889","doi":"https://doi.org/10.24963/kr.2021/52","title":"Existential Abstraction on Argumentation Frameworks via Clustering","display_name":"Existential Abstraction on Argumentation Frameworks via Clustering","publication_year":2021,"publication_date":"2021-09-01","ids":{"openalex":"https://openalex.org/W3205682889","doi":"https://doi.org/10.24963/kr.2021/52","mag":"3205682889"},"language":"en","primary_location":{"id":"doi:10.24963/kr.2021/52","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2021/52","pdf_url":"https://proceedings.kr.org/2021/52/kr2021-0052-saribatur-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Eighteenth 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/2021/52/kr2021-0052-saribatur-et-al.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5024232019","display_name":"Zeynep G. Saribatur","orcid":"https://orcid.org/0000-0001-8690-5043"},"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":"Zeynep G. Saribatur","raw_affiliation_strings":["TU Wien"],"affiliations":[{"raw_affiliation_string":"TU Wien","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5059688960","display_name":"Johannes Wallner","orcid":"https://orcid.org/0000-0002-3051-1966"},"institutions":[{"id":"https://openalex.org/I4092182","display_name":"Graz University of Technology","ror":"https://ror.org/00d7xrm67","country_code":"AT","type":"education","lineage":["https://openalex.org/I4092182"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Johannes P. Wallner","raw_affiliation_strings":["Graz University of Technology"],"affiliations":[{"raw_affiliation_string":"Graz University of Technology","institution_ids":["https://openalex.org/I4092182"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5024232019"],"corresponding_institution_ids":["https://openalex.org/I145847075"],"apc_list":null,"apc_paid":null,"fwci":0.2799,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.64899398,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"549","last_page":"559"},"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.9998000264167786,"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.9998000264167786,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9994000196456909,"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/T10028","display_name":"Topic Modeling","score":0.9932000041007996,"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/abstraction","display_name":"Abstraction","score":0.806710958480835},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7878457307815552},{"id":"https://openalex.org/keywords/existentialism","display_name":"Existentialism","score":0.6840150356292725},{"id":"https://openalex.org/keywords/argumentation-theory","display_name":"Argumentation theory","score":0.6555679440498352},{"id":"https://openalex.org/keywords/argumentation-framework","display_name":"Argumentation framework","score":0.6097115874290466},{"id":"https://openalex.org/keywords/argument","display_name":"Argument (complex analysis)","score":0.5859070420265198},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5503496527671814},{"id":"https://openalex.org/keywords/answer-set-programming","display_name":"Answer set programming","score":0.5331684350967407},{"id":"https://openalex.org/keywords/cluster-analysis","display_name":"Cluster analysis","score":0.5142425894737244},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4389742612838745},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.42660757899284363},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.41690027713775635},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4052480459213257},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.19940736889839172}],"concepts":[{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.806710958480835},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7878457307815552},{"id":"https://openalex.org/C127882523","wikidata":"https://www.wikidata.org/wiki/Q38066","display_name":"Existentialism","level":2,"score":0.6840150356292725},{"id":"https://openalex.org/C65059942","wikidata":"https://www.wikidata.org/wiki/Q270105","display_name":"Argumentation theory","level":2,"score":0.6555679440498352},{"id":"https://openalex.org/C2779607372","wikidata":"https://www.wikidata.org/wiki/Q4789757","display_name":"Argumentation framework","level":3,"score":0.6097115874290466},{"id":"https://openalex.org/C98184364","wikidata":"https://www.wikidata.org/wiki/Q1780131","display_name":"Argument (complex analysis)","level":2,"score":0.5859070420265198},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5503496527671814},{"id":"https://openalex.org/C182620335","wikidata":"https://www.wikidata.org/wiki/Q2852531","display_name":"Answer set programming","level":3,"score":0.5331684350967407},{"id":"https://openalex.org/C73555534","wikidata":"https://www.wikidata.org/wiki/Q622825","display_name":"Cluster analysis","level":2,"score":0.5142425894737244},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4389742612838745},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.42660757899284363},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.41690027713775635},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4052480459213257},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.19940736889839172},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.24963/kr.2021/52","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2021/52","pdf_url":"https://proceedings.kr.org/2021/52/kr2021-0052-saribatur-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.24963/kr.2021/52","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2021/52","pdf_url":"https://proceedings.kr.org/2021/52/kr2021-0052-saribatur-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G718477789","display_name":null,"funder_award_id":"P30168","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"}],"funders":[{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3205682889.pdf","grobid_xml":"https://content.openalex.org/works/W3205682889.grobid-xml"},"referenced_works_count":49,"referenced_works":["https://openalex.org/W271704376","https://openalex.org/W916641316","https://openalex.org/W1545403022","https://openalex.org/W1575990843","https://openalex.org/W1773969059","https://openalex.org/W1827123875","https://openalex.org/W1975303601","https://openalex.org/W1992307494","https://openalex.org/W2003959877","https://openalex.org/W2037950528","https://openalex.org/W2043100293","https://openalex.org/W2052334777","https://openalex.org/W2070179237","https://openalex.org/W2080593426","https://openalex.org/W2104126268","https://openalex.org/W2105869173","https://openalex.org/W2127574686","https://openalex.org/W2167510274","https://openalex.org/W2395681936","https://openalex.org/W2618594477","https://openalex.org/W2624663563","https://openalex.org/W2752231188","https://openalex.org/W2785348405","https://openalex.org/W2810987950","https://openalex.org/W2885218246","https://openalex.org/W2893952115","https://openalex.org/W2898772359","https://openalex.org/W2910004937","https://openalex.org/W2944094584","https://openalex.org/W2944250761","https://openalex.org/W2971487115","https://openalex.org/W2972164924","https://openalex.org/W2981619606","https://openalex.org/W2989062896","https://openalex.org/W3080499538","https://openalex.org/W3090689587","https://openalex.org/W3121247820","https://openalex.org/W6624505594","https://openalex.org/W6632675068","https://openalex.org/W6634479986","https://openalex.org/W6644318551","https://openalex.org/W6648445859","https://openalex.org/W6663666816","https://openalex.org/W6670812614","https://openalex.org/W6753216570","https://openalex.org/W6758342329","https://openalex.org/W6761893011","https://openalex.org/W6787154810","https://openalex.org/W6788827456"],"related_works":["https://openalex.org/W3216091191","https://openalex.org/W2898772359","https://openalex.org/W3101458312","https://openalex.org/W1502948570","https://openalex.org/W2091587574","https://openalex.org/W3190717645","https://openalex.org/W4283395195","https://openalex.org/W4318163916","https://openalex.org/W2963134965","https://openalex.org/W2914750587"],"abstract_inverted_index":{"Argumentation":[0],"in":[1,42,53,106,111,201],"Artificial":[2],"Intelligence":[3],"(AI)":[4],"builds":[5],"on":[6,164,169],"formal":[7],"approaches":[8,16,85],"to":[9,13,18,80,86,114],"reasoning":[10,24,191,209],"argumentatively.":[11],"Common":[12],"many":[14],"such":[15],"is":[17,93],"use":[19,184],"argumentation":[20],"frameworks":[21],"(AFs)":[22],"as":[23,77],"engines,":[25],"with":[26],"AFs":[27,153],"being":[28],"composed":[29],"of":[30,72,103,108,128,131,137,147,177,185,190,199],"arguments":[31,110],"and":[32,154,193,208],"attacks":[33],"between":[34],"arguments,":[35,73],"which":[36,74,142],"are":[37],"instantiated":[38],"from":[39,67,151],"knowledge":[40],"bases":[41],"a":[43,57,69,78,125],"principle-based":[44],"manner.":[45],"While":[46],"representing":[47],"what":[48],"can":[49,63,75],"be":[50],"argued":[51],"for":[52,187,206],"an":[54,101,112,116],"AF":[55,113],"provides":[56],"conceptually":[58],"clean":[59],"way,":[60],"this":[61,121,129],"process":[62],"face":[64],"challenges":[65],"arising":[66],"generating":[68],"large":[70],"number":[71],"act":[76],"barrier":[79],"explainability.":[81],"Inspired":[82],"by":[83,95,134],"successful":[84],"model":[87],"checking":[88],"where":[89],"the":[90,138,165,170,195],"state":[91],"explosion":[92],"mitigated":[94],"applying":[96],"existential":[97,104,132,148],"abstraction,":[98],"we":[99,123,174],"study":[100],"adaption":[102],"abstraction":[105,133,166,200],"form":[107,130],"clustering":[109],"address":[115],"associated":[117],"\"argument":[118],"explosion\".":[119],"In":[120],"paper,":[122],"provide":[124],"foundational":[126],"investigation":[127],"defining":[135],"semantics":[136],"resulting":[139],"clustered":[140,178,211],"AFs,":[141,179],"balance":[143],"two":[144],"inherent":[145],"aspects":[146],"abstractions:":[149],"abstracting":[150],"concrete":[152],"not":[155,168],"permitting":[156],"too":[157],"much":[158],"spuriousness":[159],"(i.e.,":[160],"conclusions":[161],"that":[162],"hold":[163],"but":[167],"original":[171],"AF).":[172],"Moreover,":[173],"show":[175],"properties":[176],"including":[180],"complexity":[181],"results,":[182],"discuss":[183],"clusterings":[186],"explaining":[188],"results":[189],"tasks,":[192],"employ":[194],"recently":[196],"introduced":[197],"methodology":[198],"answer":[202],"set":[203],"programming":[204],"(ASP)":[205],"obtaining":[207],"over":[210],"AFs.":[212]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}