{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,15]],"date-time":"2026-10-15T13:21:55Z","timestamp":1792070515047,"version":"4.4.0"},"reference-count":23,"publisher":"Oxford University Press (OUP)","issue":"5","license":[{"start":{"date-parts":[[2020,6,22]],"date-time":"2020-06-22T00:00:00Z","timestamp":1592784000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/journals\/pages\/open_access\/funder_policies\/chorus\/standard_publication_model"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,7,23]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>Argumentation frameworks with collective attacks are a prominent extension of Dung\u2019s abstract argumentation frameworks, where an attack can be drawn from a set of arguments to another argument. These frameworks are often abbreviated as SETAFs. Although SETAFs have received increasing interest recently, a thorough study on the actual behaviour of collective attacks has not been carried out yet. In particular, the richer attack structure SETAFs provide can lead to different forms of redundant attacks, i.e. attacks that are subsumed by attacks involving less arguments. Also the notion of strong equivalence, which is fundamental in nonmonotonic formalisms to characterize equivalent replacements, has not been investigated for SETAFs so far. In this paper, we first provide a classification of different types of collective attacks and analyse for which semantics they can be proven redundant. We do so for eleven well-established abstract argumentation semantics. We then study how strong equivalence between SETAFs can be decided with respect to the considered semantics and also consider variants of strong equivalence. Our results show that removing redundant attacks in a suitable way provides direct means to characterize strong equivalence by syntactical equivalence of so-called kernels, thus generalizing well-known results on strong equivalence between Dung AFs.<\/jats:p>","DOI":"10.1093\/logcom\/exaa033","type":"journal-article","created":{"date-parts":[[2020,5,24]],"date-time":"2020-05-24T19:07:20Z","timestamp":1590347240000},"page":"1063-1107","source":"Crossref","is-referenced-by-count":5,"title":["On the different types of collective attacks in abstract argumentation: equivalence results for SETAFs"],"prefix":"10.1093","volume":"30","author":[{"given":"Wolfgang","family":"Dvo\u0159\u00e1k","sequence":"first","affiliation":[{"name":"Institute of Logic and Computation, TU Wien, 1040 Vienna, Austria"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Anna","family":"Rapberger","sequence":"first","affiliation":[{"name":"Institute of Logic and Computation, TU Wien, 1040 Vienna, Austria"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Stefan","family":"Woltran","sequence":"first","affiliation":[{"name":"Institute of Logic and Computation, TU Wien, 1040 Vienna, Austria"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"286","published-online":{"date-parts":[[2020,6,22]]},"reference":[{"key":"2020071310022841100_ref1","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1016\/j.artint.2012.08.004","article-title":"Normal and strong expansion equivalence for argumentation frameworks","volume":"193","author":"Baumann","year":"2012","journal-title":"Artificial Intelligence"},{"key":"2020071310022841100_ref2","first-page":"63","article-title":"Context-free and context-sensitive kernels: update and deletion equivalence in abstract argumentation","volume-title":"Proceedings of the 21st European Conference on Artificial Intelligence (ECAI 2014)","author":"Baumann","year":"2014"},{"key":"2020071310022841100_ref3","first-page":"22","article-title":"Characterizing equivalence notions for labelling-based semantics","volume-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016","author":"Baumann","year":"2016"},{"key":"2020071310022841100_ref4","first-page":"2779","article-title":"On the nature of argumentation semantics: existence and uniqueness, expressibility, and replaceability","volume":"4","author":"Baumann","year":"2018","journal-title":"Handbook of Formal Argumentation"},{"key":"2020071310022841100_ref5","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1093\/logcom\/exv001","article-title":"The equivalence zoo for Dung-style semantics","volume":"28","author":"Baumann","year":"2018","journal-title":"Journal of Logic and Computation"},{"key":"2020071310022841100_ref6","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1016\/j.artint.2019.06.006","article-title":"A general notion of equivalence for abstract argumentation","volume":"275","author":"Baumann","year":"2019","journal-title":"Artificial Intelligence"},{"key":"2020071310022841100_ref7","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1109\/MIS.2013.122","article-title":"Generalizations of Dung frameworks and their role in formal argumentation","volume":"29","author":"Brewka","year":"2014","journal-title":"IEEE Intelligent Systems"},{"key":"2020071310022841100_ref8","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1016\/0004-3702(94)00041-X","article-title":"On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games","volume":"77","author":"Dung","year":"1995","journal-title":"Artificial Intelligence"},{"key":"2020071310022841100_ref9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.artint.2013.06.004","article-title":"Parametric properties of ideal semantics","volume":"202","author":"Paul","year":"2013","journal-title":"Artificial Intelligence"},{"key":"2020071310022841100_ref10","doi-asserted-by":"crossref","first-page":"191","DOI":"10.3233\/AAC-190457","article-title":"On the expressive power of collective attacks","volume":"10","author":"Dvo\u0159\u00e1k","year":"2019","journal-title":"Argument & Computation"},{"key":"2020071310022841100_ref11","first-page":"10","article-title":"Evaluating SETAFs via answer-set programming","author":"Dvo\u0159\u00e1k","year":"2018","journal-title":"Proceedings of the Second International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2018) co-located with the 7th International Conference on Computational Models of Argument (COMMA 2018), Warsaw, Poland, September 11, 2018"},{"key":"2020071310022841100_ref12","first-page":"116","article-title":"Preprocessing argumentation frameworks via replacement patterns","author":"Dvo\u0159\u00e1k","year":"2019","journal-title":"Logics in Artificial Intelligence\u201416th European Conference, JELIA 2019, Rende, Italy, May 7\u201311, 2019, Proceedings"},{"key":"2020071310022841100_ref13","first-page":"131","article-title":"Strong equivalence for argumentation frameworks with collective attacks","author":"Dvo\u0159\u00e1k","year":"2019","journal-title":"KI 2019: Advances in Artificial Intelligence\u201442nd German Conference on AI, Kassel, Germany, September 23\u201326, 2019, Proceedings"},{"key":"2020071310022841100_ref14","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/j.ijar.2019.03.006","article-title":"A comprehensive study of argumentation frameworks with sets of attacking arguments","volume":"109","author":"Flouris","year":"2019","journal-title":"International Journal of Approximate Reasoning"},{"key":"2020071310022841100_ref15","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1007\/978-3-642-22152-1_4","article-title":"Strong equivalence for argumentation semantics based on conflict-free sets","author":"Gaggl","year":"2011","journal-title":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty\u201411th European Conference, ECSQARU 2011, Belfast, UK, June 29\u2013July 1, 2011. Proceedings"},{"key":"2020071310022841100_ref16","doi-asserted-by":"crossref","first-page":"526","DOI":"10.1145\/383779.383783","article-title":"Strongly equivalent logic programs","volume":"2","author":"Lifschitz","year":"2001","journal-title":"ACM Transactions on Computational Logic"},{"key":"2020071310022841100_ref17","first-page":"54","article-title":"A generalization of Dung\u2019s abstract framework for argumentation: arguing with sets of attacking arguments","volume-title":"Argumentation in Multi-Agent Systems, Third International Workshop, ArgMAS 2006, Hakodate, Japan, May 8, 2006, Revised Selected and Invited Papers","author":"Nielsen","year":"2006"},{"key":"2020071310022841100_ref18","doi-asserted-by":"crossref","first-page":"1985","DOI":"10.1016\/j.artint.2011.06.003","article-title":"Characterizing strong equivalence for argumentation frameworks","volume":"175","author":"Oikarinen","year":"2011","journal-title":"Artificial Intelligence"},{"key":"2020071310022841100_ref19","volume-title":"Developing the Abstract Dialectical Framework","author":"Polberg","year":"2017"},{"key":"2020071310022841100_ref20","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/s10472-007-9049-2","article-title":"Strong and uniform equivalence of nonmonotonic theories\u2014an algebraic approach","volume":"48","author":"Truszczynski","year":"2006","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"2020071310022841100_ref21","first-page":"289","article-title":"Strong equivalence for causal theories","volume-title":"Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR\u201904)","author":"Turner","year":"2004"},{"key":"2020071310022841100_ref22","first-page":"205","article-title":"Toward a more efficient generation of structured argumentation graphs","volume-title":"Computational Models of Argument\u2014Proceedings of COMMA 2018, Warsaw, Poland, 12\u201314 September 2018","author":"Yun","year":"2018"},{"key":"2020071310022841100_ref23","first-page":"3033","article-title":"Ranking-based semantics for sets of attacking arguments","volume-title":"The Thirty-Fourth Conference on Artificial Intelligence, 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, 2020, The Tenth Symposium on Educational Advances in Artificial Intelligence, 2020, New York, NY, USA, February 7\u201312, 2020","author":"Yun","year":"2020"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/30\/5\/1063\/33482917\/exaa033.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/30\/5\/1063\/33482917\/exaa033.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,13]],"date-time":"2020-07-13T14:02:49Z","timestamp":1594648969000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/30\/5\/1063\/5857893"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,22]]},"references-count":23,"journal-issue":{"issue":"5","published-online":{"date-parts":[[2020,6,22]]},"published-print":{"date-parts":[[2020,7,23]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exaa033","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2020,7]]},"published":{"date-parts":[[2020,6,22]]}}}