{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,19]],"date-time":"2025-12-19T10:00:12Z","timestamp":1766138412686,"version":"3.40.5"},"reference-count":40,"publisher":"Informa UK Limited","issue":"3-4","content-domain":{"domain":["www.tandfonline.com"],"crossmark-restriction":true},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[2023,10,2]]},"DOI":"10.1080\/11663081.2023.2244361","type":"journal-article","created":{"date-parts":[[2023,8,11]],"date-time":"2023-08-11T08:32:56Z","timestamp":1691742776000},"page":"298-327","update-policy":"https:\/\/doi.org\/10.1080\/tandf_crossmark_01","source":"Crossref","is-referenced-by-count":2,"title":["Expressiveness of SETAFs and support-free ADFs under 3-valued semantics"],"prefix":"10.1080","volume":"33","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2269-8193","authenticated-orcid":false,"given":"W.","family":"Dvo\u0159\u00e1k","sequence":"first","affiliation":[{"name":"Institute of Logic and Computation, TU Wien, Austria"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5806-1012","authenticated-orcid":false,"given":"A.","family":"Keshavarzi Zafarghandi","sequence":"additional","affiliation":[{"name":"Human-Centered Data Analytics, Centrum Wiskunde & Informatica, Amsterdam, The Netherlands"},{"name":"Vrije University Amsterdam, Amsterdam, The Netherlands"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1594-8972","authenticated-orcid":false,"given":"S.","family":"Woltran","sequence":"additional","affiliation":[{"name":"Institute of Logic and Computation, TU Wien, Austria"}]}],"member":"301","published-online":{"date-parts":[[2023,8,11]]},"reference":[{"key":"e_1_3_3_2_1","unstructured":"Alc\u00e2ntara J. & S\u00e1 S. (2021). Equivalence results between SETAF and attacking abstract dialectical frameworks. In Proceedings NMR (Vol. 2021 pp. 139\u201348).\u00a0CoRR.\u00a0https:\/\/arxiv.org\/corr."},{"key":"e_1_3_3_3_1","doi-asserted-by":"crossref","unstructured":"Baumann R. & Brewka G. (2019). Extension removal in abstract argumentation\u2013an axiomatic approach. In Proceedings AAAI (pp. 2670\u20132677). AAAI Press.","DOI":"10.1609\/aaai.v33i01.33012670"},{"key":"e_1_3_3_4_1","unstructured":"Besnard P. & Doutre S. (2004). Checking the acceptability of a set of arguments. In NMR (pp. 59\u201364).\u00a0PIMS."},{"key":"e_1_3_3_5_1","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/9780262026437.001.0001"},{"key":"e_1_3_3_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2009.06.006"},{"key":"e_1_3_3_7_1","unstructured":"Besnard P. & Schaub T. (1997). Circumscribing inconsistency. In Proceedings IJCAI (pp. 150\u2013155). Morgan Kaufmann."},{"key":"e_1_3_3_8_1","doi-asserted-by":"crossref","unstructured":"Besnard P. Schaub T. Tompits H. & Woltran S. (2002). Paraconsistent reasoning via quantified Boolean formulas I: Axiomatising signed systems. In Proceedings JELIA (Vol. 2424 pp. 320\u2013331). Springer.","DOI":"10.1007\/3-540-45757-7_27"},{"key":"e_1_3_3_9_1","doi-asserted-by":"crossref","unstructured":"Besnard P. Schaub T. Tompits H. & Woltran S. (2003). Paraconsistent logics for reasoning via quantified Boolean formulas II: Circumscribing inconsistent theories. In Proceedings ECSQARU (pp. 528\u2013539). Springer.","DOI":"10.1007\/978-3-540-45062-7_43"},{"key":"e_1_3_3_10_1","unstructured":"Bikakis A. Cohen A. Dvo\u0159\u00e1k W. Flouris G. & Parsons S. (2021). Joint attacks and accrual in argumentation frameworks. In D. Gabbay M. Giacomin G. R. Simari & M. Thimm (Eds.) Handbook of formal argumentation (Chap. 2). College Publications."},{"key":"e_1_3_3_11_1","unstructured":"Brewka G. Ellmauthaler S. Strass H. Wallner J. P. & Woltran S. (2013). Abstract dialectical frameworks revisited. In Proceedings IJCAI (pp. 803\u2013809). IJCAI\/AAAI."},{"key":"e_1_3_3_12_1","doi-asserted-by":"crossref","unstructured":"Brewka G. Ellmauthaler S. Strass H. Wallner J. P. & Woltran S. (2018 February). Abstract dialectical frameworks: An overview. In P. Baroni D. Gabbay M. Giacomin & L. van der Torre (Eds.) Handbook of formal argumentation (Chap. 5). College Publications.","DOI":"10.1609\/aaai.v32i1.11545"},{"key":"e_1_3_3_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/MIS.2013.122"},{"key":"e_1_3_3_14_1","unstructured":"Brewka G. & Woltran S. (2010). Abstract dialectical frameworks. In Proceedings KR (pp. 102\u2013111). AAAI Press."},{"key":"e_1_3_3_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-009-9218-x"},{"key":"e_1_3_3_16_1","doi-asserted-by":"crossref","unstructured":"Coste-Marquis S. Devred C. & Marquis P. (2005). Symmetric argumentation frameworks. In Proceedings ECSQARU (pp. 317\u2013328). Springer.","DOI":"10.1007\/11518655_28"},{"key":"e_1_3_3_17_1","doi-asserted-by":"publisher","DOI":"10.3233\/AAC-190481"},{"key":"e_1_3_3_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)00041-X"},{"key":"e_1_3_3_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2015.07.006"},{"key":"e_1_3_3_20_1","unstructured":"Dvo\u0159\u00e1k W. & Dunne P. E. (2018). Computational problems in formal argumentation and their complexity. In P. Baroni D. Gabbay M. Giacomin & L. van der Torre (Eds.) Handbook of formal argumentation (pp. 631\u2013687). College Publications."},{"key":"e_1_3_3_21_1","doi-asserted-by":"publisher","DOI":"10.3233\/AAC-190457"},{"key":"e_1_3_3_22_1","doi-asserted-by":"crossref","unstructured":"Dvo\u0159\u00e1k W. K\u00f6nig M. Ulbricht M. & Woltran S. (2022). Rediscovering argumentation principles utilizing collective attacks. In Proceedings KR.\u00a0 IJCAI.","DOI":"10.24963\/kr.2022\/13"},{"key":"e_1_3_3_23_1","doi-asserted-by":"crossref","unstructured":"Dvo\u0159\u00e1k W. K\u00f6nig M. & Woltran S. (2021). Graph-classes of argumentation frameworks with collective attacks. In Proceedings JELIA virtual event (pp. 3\u201317). Springer.","DOI":"10.1007\/978-3-030-75775-5_1"},{"key":"e_1_3_3_24_1","doi-asserted-by":"crossref","unstructured":"Dvo\u0159\u00e1k W. K\u00f6nig M. & Woltran S. (2021). On the complexity of preferred semantics in argumentation frameworks with bounded cycle length. In Proceedings KR (pp. 671\u2013675).\u00a0IJCAI.","DOI":"10.24963\/kr.2021\/67"},{"key":"e_1_3_3_25_1","unstructured":"Dvo\u0159\u00e1k W. Zafarghandi A. K. & Woltran S. (2020). Expressiveness of SETAFs and support-free ADFs under 3-valued semantics. In Proceedings COMMA (pp. 191\u2013202). IOS Press."},{"key":"e_1_3_3_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijar.2019.03.006"},{"key":"e_1_3_3_27_1","unstructured":"Lagniez J. Lonca E. Mailly J. & Rossit J. (2021). \u2018Design and Results of ICCMA 2021\u2019 arXiv:abs\/2109.08884."},{"key":"e_1_3_3_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2022.103697"},{"key":"e_1_3_3_29_1","unstructured":"Linsbichler T. P\u00fchrer J. & Strass H. (2016). A uniform account of realizability in abstract argumentation. In Proceedings ECAI (pp. 252\u2013260). IOS Press."},{"key":"e_1_3_3_30_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exq054"},{"key":"e_1_3_3_31_1","doi-asserted-by":"crossref","unstructured":"Nielsen S. H. & Parsons S. (2007). A generalization of dung's abstract framework for argumentation: Arguing with sets of attacking arguments. In Argumentation in multi-agent systems (pp. 54\u201373). Springer Berlin Heidelberg.","DOI":"10.1007\/978-3-540-75526-5_4"},{"key":"e_1_3_3_32_1","doi-asserted-by":"crossref","unstructured":"Niskanen A. & J\u00e4rvisalo M. (2020). \n\u03bc-toksia: An efficient abstract argumentation reasoner. In Proceedings KR (pp. 800\u2013804). IJCAI.","DOI":"10.24963\/kr.2020\/82"},{"key":"e_1_3_3_33_1","doi-asserted-by":"crossref","unstructured":"Polberg S. (2016). Understanding the abstract dialectical framework. In Proceedings JELIA (pp. 430\u2013446).\u00a0Springer.","DOI":"10.1007\/978-3-319-48758-8_28"},{"key":"e_1_3_3_34_1","doi-asserted-by":"crossref","unstructured":"Polberg S. (2017). Developing the abstract dialectical framework (Unpublished doctoral dissertation). TU Wien Institute of Information Systems.","DOI":"10.1007\/978-3-319-48758-8_28"},{"key":"e_1_3_3_35_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2019.103198"},{"key":"e_1_3_3_36_1","doi-asserted-by":"publisher","DOI":"10.1613\/jair.4879"},{"key":"e_1_3_3_37_1","doi-asserted-by":"crossref","unstructured":"Strass H. (2015b). The relative expressiveness of abstract argumentation and logic programming. In AAAI (pp. 1625\u20131631). AAAI Press.","DOI":"10.1609\/aaai.v29i1.9392"},{"key":"e_1_3_3_38_1","unstructured":"Verheij B.. (1996). Two approaches to dialectical argumentation: Admissible sets and argumentation stages. In Proceedings NAIC 357\u2013368."},{"key":"e_1_3_3_39_1","doi-asserted-by":"crossref","unstructured":"Wallner J. P. (2019). Structural constraints for dynamic operators in abstract argumentation. Argument & Computation Pre-press (Pre-press) 1\u201340.","DOI":"10.3233\/AAC-190471"},{"key":"e_1_3_3_40_1","unstructured":"Yun B. Vesic S. & Croitoru M. (2018). Toward a more efficient generation of structured argumentation graphs. In Proceedings COMMA (pp. 205\u2013212). IOS Press."},{"key":"e_1_3_3_41_1","unstructured":"Zafarghandi A. K. (2017). Investigating subclasses of abstract dialectical frameworks (Unpublished Master's thesis). TU Wien."}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/11663081.2023.2244361","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,5]],"date-time":"2023-10-05T14:57:07Z","timestamp":1696517827000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.1080\/11663081.2023.2244361"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8,11]]},"references-count":40,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2023,10,2]]}},"alternative-id":["10.1080\/11663081.2023.2244361"],"URL":"https:\/\/doi.org\/10.1080\/11663081.2023.2244361","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"type":"print","value":"1166-3081"},{"type":"electronic","value":"1958-5780"}],"subject":[],"published":{"date-parts":[[2023,8,11]]},"assertion":[{"value":"The publishing and review policy for this title is described in its Aims & Scope.","order":1,"name":"peerreview_statement","label":"Peer Review Statement"},{"value":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=tncl20","URL":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=tncl20","order":2,"name":"aims_and_scope_url","label":"Aim & Scope"},{"value":"2022-08-30","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-07-28","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-08-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}