{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,15]],"date-time":"2025-10-15T04:24:06Z","timestamp":1760502246064,"version":"3.38.0"},"reference-count":36,"publisher":"SAGE Publications","issue":"1-2","license":[{"start":{"date-parts":[[2020,1,17]],"date-time":"2020-01-17T00:00:00Z","timestamp":1579219200000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/4.0\/"}],"content-domain":{"domain":["journals.sagepub.com"],"crossmark-restriction":true},"short-container-title":["Argument &amp; Computation"],"published-print":{"date-parts":[[2020,5,19]]},"abstract":"<jats:p> Abstract dialectical frameworks (ADFs) are generalizations of Dung argumentation frameworks where arbitrary relationships among arguments can be formalized. This additional expressibility comes with the price of higher computational complexity, thus an understanding of potentially easier subclasses is essential. Compared to Dung argumentation frameworks, where several subclasses such as acyclic and symmetric frameworks are well understood, there has been no in-depth analysis for ADFs in such direction yet (with the notable exception of bipolar ADFs). In this work, we introduce certain subclasses of ADFs and investigate their properties. In particular, we show that for acyclic ADFs, the different semantics coincide. On the other hand, we show that the concept of symmetry is less powerful for ADFs and further restrictions are required to achieve results that are similar to the known ones for Dung\u2019s frameworks. A\u00a0particular such subclass (support-free symmetric ADFs) turns out to be closely related to argumentation frameworks with collective attacks (SETAFs); we investigate this relation in detail and obtain as a by-product that even for SETAFs symmetry is less powerful than for AFs. We also discuss the role of odd-length cycles in the subclasses we have introduced. Finally, we analyse the expressiveness of the ADF subclasses we introduce in terms of signatures. <\/jats:p>","DOI":"10.3233\/aac-190481","type":"journal-article","created":{"date-parts":[[2020,1,17]],"date-time":"2020-01-17T16:15:26Z","timestamp":1579277726000},"page":"191-219","update-policy":"https:\/\/doi.org\/10.1177\/sage-journals-update-policy","source":"Crossref","is-referenced-by-count":7,"title":["Investigating subclasses of abstract dialectical frameworks"],"prefix":"10.1177","volume":"11","author":[{"given":"Martin","family":"Diller","sequence":"first","affiliation":[{"name":"Computational Logic Group, TU Dresden, Germany"}]},{"given":"Atefeh","family":"Keshavarzi Zafarghandi","sequence":"additional","affiliation":[{"name":"Department of Artificial Intelligence, Bernoulli Institute, University of Groningen, The Netherlands"}]},{"given":"Thomas","family":"Linsbichler","sequence":"additional","affiliation":[{"name":"Institute of Logic and Computation, TU Wien, Austria"}]},{"given":"Stefan","family":"Woltran","sequence":"additional","affiliation":[{"name":"Institute of Logic and Computation, TU Wien, Austria"}]}],"member":"179","published-online":{"date-parts":[[2020,1,17]]},"reference":[{"key":"ref001","doi-asserted-by":"publisher","DOI":"10.1007\/s10506-016-9178-1"},{"key":"ref002","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888911000166"},{"key":"ref003","doi-asserted-by":"crossref","unstructured":"G.Brewka, M.Diller, G.Heissenberger, T.Linsbichler and S.Woltran, Solving advanced argumentation problems with answer-set programming, in: Proceedings of the 31st AAAI Conference on Artificial Intelligence (AAAI 2017), AAAI Press, 2017, pp. 1077\u20131083.","DOI":"10.1609\/aaai.v31i1.10682"},{"key":"ref004","unstructured":"G.Brewka, S.Ellmauthaler, H.Strass, J.P.Wallner and S.Woltran, Abstract dialectical frameworks revisited, in: Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013), IJCAI\/AAAI, 2013, pp. 803\u2013809."},{"issue":"8","key":"ref005","first-page":"2263","volume":"4","author":"Brewka G.","year":"2017","journal-title":"IfCoLog Journal of Logics and their Applications"},{"key":"ref006","doi-asserted-by":"crossref","unstructured":"G.Brewka, S.Ellmauthaler, H.Strass, J.P.Wallner and S.Woltran, Abstract dialectical frameworks: An overview, in: Handbook of Formal Argumentation, P.Baroni, D.Gabbay, M.Giacomin and L.van der Torre, eds, College Publications, 2018.","DOI":"10.1609\/aaai.v32i1.11545"},{"key":"ref007","doi-asserted-by":"crossref","unstructured":"G.Brewka, H.Strass, J.P.Wallner and S.Woltran, Weighted abstract dialectical frameworks, in: Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence (AAAI, 2018), AAAI Press, 2018, pp. 1779\u20131786.","DOI":"10.1609\/aaai.v32i1.11545"},{"key":"ref008","unstructured":"G.Brewka and S.Woltran, Abstract dialectical frameworks, in: Proceedings of the 12th International Conference on Principles of Knowledge Representation and Reasoning (KR 2010), AAAI Press, 2010, pp. 102\u2013111."},{"key":"ref009","doi-asserted-by":"crossref","unstructured":"E.Cabrio and S.Villata, Abstract dialectical frameworks for text exploration, in: Proceedings of International Conference on Agents and Artificial Intelligence (ICAART 2016), SciTePress, 2016, pp. 85\u201395.","DOI":"10.5220\/0005699100850095"},{"key":"ref010","doi-asserted-by":"publisher","DOI":"10.1007\/11518655_28"},{"key":"ref011","unstructured":"M.Diller, A.Keshavarzi Zafarghandi, T.Linsbichler and S.Woltran, Investigating subclasses of abstract dialectical frameworks, in: Proceedings of Computational Models of Argument (COMMA 2018), IOS Press, 2018, pp. 61\u201372."},{"key":"ref012","unstructured":"M.Diller, J.P.Wallner and S.Woltran, Reasoning in abstract dialectical frameworks using quantified Boolean formulas, in: Proceedings of Computational Models of Argument (COMMA 2014), IOS Press, 2014, pp. 241\u2013252."},{"key":"ref013","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)00041-X"},{"key":"ref014","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2007.03.006"},{"key":"ref015","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00261-8"},{"key":"ref016","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2015.07.006"},{"key":"ref017","unstructured":"W.Dvo\u0159\u00e1k and P.E.Dunne, Computational problems in formal argumentation and their complexity, in: Handbook of Formal Argumentation, P.Baroni, D.Gabbay, M.Giacomin and L.van der Torre, eds, College Publications, 2018, pp. 631\u2013687."},{"key":"ref018","doi-asserted-by":"publisher","DOI":"10.3233\/AAC-190457"},{"key":"ref019","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2013.10.001"},{"key":"ref020","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2012.03.002"},{"key":"ref021","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijar.2019.03.006"},{"key":"ref022","unstructured":"S.A.Gaggl, S.Rudolph and H.Strass, On the computational complexity of naive-based semantics for abstract dialectical frameworks, in: Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), IJCAI\/AAAI, 2015, pp. 2985\u20132991."},{"key":"ref023","unstructured":"A.Keshavarzi Zafarghandi, Investigating Subclasses of Abstract Dialectical Frameworks, Master\u2019s thesis, TU Wien, 2017."},{"key":"ref024","doi-asserted-by":"crossref","unstructured":"T.Linsbichler, M.Maratea, A.Niskanen, J.P.Wallner and S.Woltran, Novel algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving, in: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence (IJCAI 2018), Ijcai.org, 2018, pp. 1905\u20131911.","DOI":"10.24963\/ijcai.2018\/263"},{"key":"ref025","doi-asserted-by":"crossref","unstructured":"T.Linsbichler, J.P\u00fchrer and H.Strass, A uniform account of realizability in abstract argumentation, in: Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016), IOS Press, 2016, pp. 252\u2013260.","DOI":"10.3233\/978-1-61499-672-9-252"},{"key":"ref026","unstructured":"D.Neugebauer, Generating defeasible knowledge bases from real-world argumentations using D-BAS, in: Proceedings of the 1st Workshop on Advances in Argumentation in Artificial Intelligence Co-Located with XVI International Conference of the Italian Association for Artificial Intelligence, CEUR-WS.org, 2017, pp. 105\u2013110."},{"key":"ref027","doi-asserted-by":"crossref","unstructured":"S.H.Nielsen and S.Parsons, A generalization of Dung\u2019s abstract framework for argumentation: Arguing with sets of attacking arguments, in: Argumentation in Multi-Agent Systems (ArgMAS 2006), Springer, 2006, pp. 54\u201373.","DOI":"10.1007\/978-3-540-75526-5_4"},{"key":"ref028","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-48758-8_28"},{"key":"ref029","unstructured":"J.P\u00fchrer, Realizability of three-valued semantics for abstract dialectical frameworks, in: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2015), AAAI Press, 2015, pp. 3171\u20133177."},{"key":"ref030","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-61660-5_23"},{"key":"ref031","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2013.09.004"},{"key":"ref032","doi-asserted-by":"publisher","DOI":"10.1613\/jair.4879"},{"key":"ref033","doi-asserted-by":"publisher","DOI":"10.1613\/jair.4879"},{"key":"ref034","unstructured":"H.Strass and S.Ellmauthaler, GoDIAMOND 0.6.6 \u2013 ICCMA 2017 System Description, 2017, available at:http:\/\/argumentationcompetition.org\/2017\/goDIAMOND.pdf."},{"key":"ref035","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2015.05.003"},{"key":"ref036","unstructured":"J.P.Wallner, Structural constraints for dynamic operators in abstract argumentation, in: Proceedings of Computational Models of Argument (COMMA 2018), IOS Press, 2018, pp. 73\u201384."}],"container-title":["Argument &amp; Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/AAC-190481","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/full-xml\/10.3233\/AAC-190481","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/AAC-190481","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,10]],"date-time":"2025-03-10T20:48:52Z","timestamp":1741639732000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.3233\/AAC-190481"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,1,17]]},"references-count":36,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2020,5,19]]}},"alternative-id":["10.3233\/AAC-190481"],"URL":"https:\/\/doi.org\/10.3233\/aac-190481","relation":{},"ISSN":["1946-2166","1946-2174"],"issn-type":[{"type":"print","value":"1946-2166"},{"type":"electronic","value":"1946-2174"}],"subject":[],"published":{"date-parts":[[2020,1,17]]}}}