{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T03:43:24Z","timestamp":1777434204784,"version":"3.51.4"},"reference-count":96,"publisher":"SAGE Publications","issue":"1-2","license":[{"start":{"date-parts":[[2019,11,6]],"date-time":"2019-11-06T00:00:00Z","timestamp":1572998400000},"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>In 1995, in his seminal paper introducing the abstract argumentation framework, Dung has also established the first relationship between this framework and a logical framework (in this case: logic programming). Since that time, a lot of work have pursued this path, proposing different definitions, uses and exhibiting distinct relationships between argumentation and logic. In this paper, we present a survey of existing works about this topic and more especially those that address the following question: \u201cHow logic has been used for capturing various aspects or parts of Dung\u2019s argumentation\u201d. This survey covers many different approaches but is not intended to be totally exhaustive due to the huge quantity of papers in this scope. Moreover, due to the fact that each approach has its own specificities, sometimes antagonistic with the other approaches, and is also justified by its own context of definition or use, the aim of this survey is not to identify one approach as being better than another.<\/jats:p>","DOI":"10.3233\/aac-190476","type":"journal-article","created":{"date-parts":[[2019,11,8]],"date-time":"2019-11-08T13:18:58Z","timestamp":1573219138000},"page":"41-102","update-policy":"https:\/\/doi.org\/10.1177\/sage-journals-update-policy","source":"Crossref","is-referenced-by-count":13,"title":["Logical theories and abstract argumentation: A\u00a0survey of existing works"],"prefix":"10.1177","volume":"11","author":[{"given":"Philippe","family":"Besnard","sequence":"first","affiliation":[{"name":"IRIT, CNRS, Toulouse, France. E-mail:\u00a0"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claudette","family":"Cayrol","sequence":"additional","affiliation":[{"name":"IRIT, Toulouse 3 University, Toulouse, France. E-mails:\u00a0,\u00a0"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marie-Christine","family":"Lagasquie-Schiex","sequence":"additional","affiliation":[{"name":"IRIT, Toulouse 3 University, Toulouse, France. E-mails:\u00a0,\u00a0"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","published-online":{"date-parts":[[2019,11,6]]},"reference":[{"key":"ref001","doi-asserted-by":"publisher","DOI":"10.3233\/FI-2019-1808"},{"key":"ref002","doi-asserted-by":"publisher","DOI":"10.1023\/A:1014490210693"},{"key":"ref003","doi-asserted-by":"crossref","unstructured":"L.\u00a0Amgoud, N.\u00a0Maudet and S.\u00a0Parsons, Modelling dialogues using argumentation, in: Proc. of ICMAS, 2000, pp.\u00a031\u201338.","DOI":"10.1109\/ICMAS.2000.858428"},{"key":"ref004","unstructured":"O.\u00a0Arieli and M.\u00a0Caminada, A\u00a0general QBF-based formalization of abstract argumentation theory, in: Proceedings of the 4th Conference on Computational Models of Argument (COMMA\u20192012), B.\u00a0Verheij, S.\u00a0Szeider and S.\u00a0Woltran, eds, Frontiers in Artificial Intelligence and Applications, Vol.\u00a0245, IOS Press, Vienna, Austria, 2012, pp.\u00a0105\u2013116."},{"key":"ref005","doi-asserted-by":"publisher","DOI":"10.1016\/j.jal.2013.03.009"},{"key":"ref006","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888911000166"},{"key":"ref007","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijar.2010.05.004"},{"key":"ref008","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-32254-2_5"},{"key":"ref009","doi-asserted-by":"crossref","unstructured":"C.\u00a0Beierle, F.\u00a0Brons and N.\u00a0Potyka, A\u00a0software system using a SAT solver for reasoning under complete, stable, preferred, and grounded argumentation semantics, in: KI 2015: Advances in Artificial Intelligence\u00a0\u2013 38th Annual German Conference on AI, Proceedings, Dresden, Germany, September 21\u201325, 2015, 2015, pp.\u00a0241\u2013248.","DOI":"10.1007\/978-3-319-24489-1_19"},{"key":"ref010","unstructured":"P.\u00a0Besnard, J.\u00a0Boudou, S.\u00a0Doutre, Van Hieu Ho and D.\u00a0Longin, The SESAME website, https:\/\/www.irit.fr\/SESAME\/."},{"key":"ref011","unstructured":"P.\u00a0Besnard and S.\u00a0Doutre, Checking the acceptability of a set of arguments, in: 10th International Workshop on Non-Monotonic Reasoning (NMR\u201904), J.P.\u00a0Delgrande and T.\u00a0Schaub, eds, Whistler, Canada, 2004, pp.\u00a059\u201364."},{"key":"ref012","unstructured":"P.\u00a0Besnard, S.\u00a0Doutre and A.\u00a0Herzig, Encoding argument graphs in logic (regular paper), in: International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU), Montpellier, France, 15\/07\/2014\u201319\/07\/2014, A.\u00a0Laurent, O.\u00a0Strauss, B.\u00a0Bouchon-Meunier and R.R.\u00a0Yager, eds, Communications in Computer and Information Science, Vol.\u00a0443, Springer, http:\/\/www.springerlink.com, 2014, pp.\u00a0345\u2013354."},{"key":"ref013","unstructured":"P.\u00a0Besnard, S.\u00a0Doutre, V.H.\u00a0Ho and D.\u00a0Longin, SESAME\u00a0\u2013 a\u00a0system for specifying semantics in abstract argumentation (regular paper), in: International Workshop on Systems and Algorithms for Formal Argumentation (SAFA), Potsdam, Germany, 13\/09\/2016, M.\u00a0Thimm, F.\u00a0Cerutti, H.\u00a0Strass and M.\u00a0Vallati, eds, CEUR Workshop Proceedings, Vol.\u00a01672, http:\/\/CEUR-WS.org, 2016, pp.\u00a040\u201351."},{"key":"ref014","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(01)00071-6"},{"key":"ref015","unstructured":"P.\u00a0Bisquert, C.\u00a0Cayrol, F.\u00a0Dupin de Saint-Cyr Bannay and M.C.\u00a0Lagasquie-Schiex, Characterizing change in abstract argumentation systems, in: Trends in Belief Revision and Argumentation Dynamics, E.\u00a0Ferm\u00e9, D.\u00a0Gabbay and G.\u00a0Simari, eds, Studies in Logic, Vol.\u00a048, College Publications, http:\/\/www.collegepublications.co.uk\/, 2013, pp.\u00a075\u2013102."},{"key":"ref016","unstructured":"S.\u00a0Bistarelli, F.\u00a0Santini, L.\u00a0Kotthoff, T.\u00a0Mantadelis and C.\u00a0Taticchi, Int. competition on computational models of argumentation, 2019, https:\/\/www.iccma2019.dmi.unipg.it\/."},{"key":"ref017","doi-asserted-by":"crossref","unstructured":"G.\u00a0Boella, D.M.\u00a0Gabbay, L.\u00a0van der Torre and S.\u00a0Villata, Support in abstract argumentation, in: Proceeding of the 2010 Conference on Computational Models of Argument: Proceedings of COMMA 2010, IOS Press, Amsterdam, The Netherlands, 2010, pp.\u00a0111\u2013122.","DOI":"10.3233\/978-1-60750-619-5-111"},{"key":"ref018","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40381-1_12"},{"key":"ref019","doi-asserted-by":"crossref","unstructured":"G.\u00a0Brewka, M.\u00a0Diller, G.\u00a0Heissenberger, T.\u00a0Linsbichler and S.\u00a0Woltran, Solving advanced argumentation problems with answer-set programming, in: Proc. of AAAI, 2017, pp.\u00a01077\u20131083.","DOI":"10.1609\/aaai.v31i1.10682"},{"issue":"8","key":"ref020","first-page":"2263","volume":"4","author":"Brewka G.","year":"2017","journal-title":"The IfCoLog Journal of Logics and Their Applications"},{"key":"ref021","doi-asserted-by":"crossref","unstructured":"G.\u00a0Brewka, S.\u00a0Ellmauthaler, H.\u00a0Strass, J.P.\u00a0Wallner and S.\u00a0Woltran, Abstract Dialectical Frameworks, in: Handbook of Formal Argumentation, P.\u00a0Baroni, D.\u00a0Gabbay, M.\u00a0Giacomin and L.\u00a0van der Torre, eds, College Publications, 2018, pp.\u00a0237\u2013286, Chapter\u00a05.","DOI":"10.1609\/aaai.v32i1.11545"},{"key":"ref022","unstructured":"G.\u00a0Brewka and S.\u00a0Woltran, The ADF project website, http:\/\/www.dbai.tuwien.ac.at\/research\/project\/adf\/."},{"key":"ref023","unstructured":"G.\u00a0Brewka and S.\u00a0Woltran, The GRAPPA project website, http:\/\/www.dbai.tuwien.ac.at\/proj\/grappa\/."},{"key":"ref024","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijar.2014.12.004"},{"key":"ref025","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-009-9218-x"},{"issue":"41","key":"ref026","first-page":"38","volume":"13","author":"Carballido J.L.","year":"2009","journal-title":"Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial"},{"key":"ref027","doi-asserted-by":"publisher","DOI":"10.1613\/jair.2965"},{"key":"ref028","doi-asserted-by":"crossref","unstructured":"C.\u00a0Cayrol, J.\u00a0Fandinno, L.\u00a0Fari\u00f1as del Cerro and M.C.\u00a0Lagasquie-Schiex, Valid attacks in argumentation frameworks with recursive attacks, in: Proc. of Thirteenth International Symposium on Commonsense Reasoning, CEUR Workshop Proceedings, Vol.\u00a02052, 2017.","DOI":"10.1007\/978-3-319-90050-6_9"},{"key":"ref029","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-90050-6_9"},{"key":"ref030","unstructured":"C.\u00a0Cayrol, L.\u00a0Fari\u00f1as del Cerro and M.C.\u00a0Lagasquie-Schiex, Logical encodings of interactions in an argumentation graph with recursive attacks, Technical report, RR-2017-08-FR, IRIT, 2017."},{"key":"ref031","doi-asserted-by":"crossref","unstructured":"C.\u00a0Cayrol and M.C.\u00a0Lagasquie-Schiex, Gradual valuation for bipolar argumentation frameworks, in: Proc. of the Eighth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU), L.\u00a0Godo, ed. LNAI, Vol.\u00a03571, Springer-Verlag, Barcelona, Spain, 2005, pp.\u00a0366\u2013377.","DOI":"10.1007\/11518655_32"},{"key":"ref032","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijar.2013.03.001"},{"key":"ref033","unstructured":"C.\u00a0Cayrol and M.C.\u00a0Lagasquie-Schiex, Logical encoding of argumentation frameworks with higher-order attacks, in: Proc. of the 30th International Conference on Tools with Artificial Intelligence (ICTAI), IEEE, 2018."},{"key":"ref034","unstructured":"C.\u00a0Cayrol and M.C.\u00a0Lagasquie-Schiex, Acceptability semantics in recursive argumentation frameworks: Logical encoding and computation, Rapport de recherche, IRIT\/RR-2018-02-FR, IRIT, Universit\u00e9 Paul Sabatier, Toulouse, 2018."},{"key":"ref035","unstructured":"C.\u00a0Cayrol and M.C.\u00a0Lagasquie-Schiex, The Grafix website, http:\/\/www.irit.fr\/grafix."},{"key":"ref036","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54373-9_12"},{"key":"ref037","unstructured":"F.\u00a0Cerutti, M.\u00a0Giacomin and M.\u00a0Vallati, ArgSemSAT: Solving argumentation problems using SAT, in: Computational Models of Argument\u00a0\u2013 Proceedings of COMMA, 2014, pp.\u00a0455\u2013456."},{"key":"ref038","doi-asserted-by":"crossref","unstructured":"F.\u00a0Cerutti, M.\u00a0Giacomin, M.\u00a0Vallati and M.\u00a0Zanella, An SCC recursive meta-algorithm for computing preferred labellings in abstract argumentation, in: Proc. of KR, 2014, pp.\u00a042\u201351.","DOI":"10.1007\/978-3-642-54373-9_12"},{"issue":"2","key":"ref039","first-page":"1","volume":"26","author":"Cerutti F.","year":"2017","journal-title":"Int. Journal of Articial Intelligence Tools"},{"key":"ref040","unstructured":"F.\u00a0Cerutti, M.\u00a0Vallati, M.\u00a0Giacomin and T.\u00a0Zanetti, ArgSemSAT-2017, 2017."},{"key":"ref041","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888913000325"},{"key":"ref042","doi-asserted-by":"publisher","DOI":"10.1016\/j.jal.2014.12.001"},{"key":"ref043","unstructured":"S.\u00a0Coste-Marquis, C.\u00a0Devred and P.\u00a0Marquis, Constrained argumentation frameworks, in: Proc. of KR, Lake District, 2006, pp.\u00a0112\u2013122."},{"key":"ref044","unstructured":"S.\u00a0Coste-Marquis, S.\u00a0Konieczny, J.G.\u00a0Mailly and P.\u00a0Marquis, On the revision of argumentation systems: Minimal change of argument statuses, in: International Conference on Principles of Knowledge Representation and Reasoning (KR), C.\u00a0Baral and G.\u00a0De Giacomo, eds, AAAI Press, 2014, pp.\u00a072\u201381."},{"key":"ref045","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11558-0_28"},{"key":"ref046","unstructured":"C.\u00a0Devred, S.\u00a0Doutre, C.\u00a0Lef\u00e8vre and P.\u00a0Nicolas, Dialectical proofs for constrained argumentation, in: Computational Models of Argument\u00a0\u2013 Proceedings of COMMA, 2010, pp.\u00a0159\u2013170."},{"key":"ref047","unstructured":"M.\u00a0Diller, W.\u00a0Dvorak, J.\u00a0Puhrer, J.\u00a0Wallner and S.\u00a0Woltran, Applications of ASP in formal argumentation, in: Proc. of TAASP Workshop, 2018."},{"key":"ref048","unstructured":"M.\u00a0Diller, A.\u00a0Haret, T.\u00a0Linsbichler, S.\u00a0R\u00fcmmele and S.\u00a0Woltran, An extension-based approach to belief revision in abstract argumentation, in: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2015), 2015, pp.\u00a02926\u20132932."},{"key":"ref049","doi-asserted-by":"publisher","DOI":"10.1080\/19462166.2015.1036922"},{"key":"ref050","unstructured":"M.\u00a0Diller, J.P.\u00a0Wallner and S.\u00a0Woltran, Reasoning in Abstract Dialectical Frameworks using quantified Boolean formulas, in: Proceedings of the 5th Conference on Computational Models of Argument (COMMA\u20192014), S.\u00a0Parsons, N.\u00a0Oren, C.\u00a0Reed and F.\u00a0Cerutti, eds, Frontiers in Artificial Intelligence and Applications, Vol.\u00a0266, Pitlochry, Scottish Highlands, UK, 2014, pp.\u00a0241\u2013252, Held in Atholl Palace Hotel."},{"key":"ref051","doi-asserted-by":"crossref","unstructured":"Y.\u00a0Dimopoulos, J.G.\u00a0Mailly and P.\u00a0Moraitis, Control argumentation frameworks, in: Proc. of AAAI, 2018, pp.\u00a04678\u20134685.","DOI":"10.1609\/aaai.v32i1.11583"},{"key":"ref052","unstructured":"S.\u00a0Doutre, A.\u00a0Herzig and L.\u00a0Perrussel, A\u00a0dynamic logic framework for abstract argumentation, in: Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR\u20192014), C.\u00a0Baral, G.\u00a0De Giacomo and T.\u00a0Eiter, eds, AAAI Press, Vienna, Austria, 2014."},{"key":"ref053","doi-asserted-by":"publisher","DOI":"10.3233\/AAC-180425"},{"key":"ref054","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)00041-X"},{"key":"ref055","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijar.2016.04.003"},{"key":"ref056","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-14726-0_17"},{"key":"ref057","unstructured":"W.\u00a0Dvo\u0159\u00e1k, S.A.\u00a0Gaggl and S.\u00a0Woltran, The ASPARTIX website, https:\/\/www.dbai.tuwien.ac.at\/research\/argumentation\/aspartix\/."},{"key":"ref058","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2013.10.001"},{"key":"ref059","unstructured":"W.\u00a0Dvo\u0159\u00e1k, M.\u00a0J\u00e4rvisalo, J.P.\u00a0Wallner and S.\u00a0Woltran, CEGARTIX: A\u00a0SAT-based argumentation system, in: Proc. of Pragmatics of SAT, Workshop of SAT Conference, 2012."},{"key":"ref060","unstructured":"W.\u00a0Dvo\u0159\u00e1k, M.\u00a0J\u00e4rvisalo, J.P.\u00a0Wallner and S.\u00a0Woltran, The CEGARTIX website, https:\/\/www.dbai.tuwien.ac.at\/proj\/argumentation\/cegartix\/."},{"key":"ref061","doi-asserted-by":"publisher","DOI":"10.1080\/19462166.2010.486479"},{"key":"ref062","unstructured":"W.\u00a0Faber, M.\u00a0Vallati, F.\u00a0Cerutti and M.\u00a0Giacomin, Enumerating preferred extensions using ASP domain heuristics: The ASPrMin solver, in: Proc. of COMMA, 2018, pp.\u00a0459\u2013460."},{"key":"ref063","unstructured":"J.\u00a0Fandinno and L.\u00a0Fari\u00f1as del Cerro, Constructive logic covers argumentation and logic programming, in: Proc. of Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), F.T.M.\u00a0Thielscher and F.\u00a0Wolter, eds, AAAI Press, 2018, pp.\u00a0128\u2013137."},{"key":"ref064","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-009-9217-y"},{"key":"ref065","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-009-9211-4"},{"key":"ref066","unstructured":"D.M.\u00a0Gabbay, Meta-Logical Investigations in Argumentation Networks, Studies in Logic, Vol.\u00a044, College Publications, 2013."},{"key":"ref067","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzv033"},{"key":"ref068","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzw012"},{"key":"ref069","unstructured":"S.A.\u00a0Gaggl, Towards a general argumentation system based on answer-set programming, in: Technical Communications of the 26th International Conference on Logic Programming (ICLP 2010), M.V.\u00a0Hermenegildo and T.\u00a0Schaub, eds, LIPIcs, Vol.\u00a07, Schloss Dagstuhl\u00a0\u2013 Leibniz-Zentrum fuer Informatik, 2010, pp.\u00a0265\u2013269."},{"key":"ref070","unstructured":"D.\u00a0Grossi, On the logic of argumentation theory, in: Proc. of AAMAS, 2010, pp.\u00a0409\u2013416."},{"key":"ref071","doi-asserted-by":"publisher","DOI":"10.1016\/S0306-4379(01)00020-5"},{"key":"ref072","doi-asserted-by":"crossref","unstructured":"J.\u00a0Lagniez, E.\u00a0Lonca and J.\u00a0Mailly, CoQuiAAS: A\u00a0constraint-based quick abstract argumentation solver, in: 27th IEEE International Conference on Tools with Artificial Intelligence, ICTAI, 2015, pp.\u00a0928\u2013935.","DOI":"10.1109\/ICTAI.2015.134"},{"key":"ref073","unstructured":"C.\u00a0Lef\u00e8vre and P.\u00a0Nicolas, The ASPeRiX website, http:\/\/www.info.univ-angers.fr\/pub\/claire\/asperix\/Argumentation\/."},{"key":"ref074","unstructured":"T.\u00a0Lehtonen, A.\u00a0Niskanen and M.\u00a0J\u00e4rvisalo, SAT-based approaches to adjusting, repairing, and computing largest extensions of argumentation frameworks, in: Computational Models of Argument\u00a0\u2013 Proceedings of COMMA, 2018, pp.\u00a0193\u2013204."},{"key":"ref075","doi-asserted-by":"crossref","unstructured":"T.\u00a0Linsbichler, M.\u00a0Maratea, A.\u00a0Niskanen, J.\u00a0Wallner and S.\u00a0Woltran, Novel algorithms for Abstract Dialectical Frameworks based on complexity analysis of subclasses and SAT solving, in: Proc. of IJCAI, 2018, pp.\u00a01905\u20131911.","DOI":"10.24963\/ijcai.2018\/263"},{"key":"ref076","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2009.02.001"},{"key":"ref077","unstructured":"A.\u00a0Niskanen and M.\u00a0J\u00e4rvisal,\n                      \u03bc\n                      -toksia. Participating in ICCMA 2019, 2019."},{"key":"ref078","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40381-1_10"},{"key":"ref079","doi-asserted-by":"crossref","unstructured":"F.\u00a0Nouioua and V.\u00a0Risch, Bipolar argumentation frameworks with specialized supports, in: Proc. of the IEEE International Conference on Tools with Artificial Intelligence (ICTAI), IEEE Computer Society, 2010, pp.\u00a0215\u2013218.","DOI":"10.1109\/ICTAI.2010.37"},{"key":"ref080","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-23963-2_14"},{"key":"ref081","unstructured":"N.\u00a0Oren and T.J.\u00a0Norman, Semantics for evidence-based argumentation, in: Proc of the 2nd International Conference on Computational Models of Argument (COMMA), P.\u00a0Besnard, S.\u00a0Doutre and A.\u00a0Hunter, eds, IOS Press, 2008, pp.\u00a0276\u2013284."},{"key":"ref082","unstructured":"N.\u00a0Oren, C.\u00a0Reed and M.\u00a0Luck, Moving between argumentation frameworks, in: Proceeding of the Conference on Computational Models of Argument (COMMA), IOS Press, Amsterdam, The Netherlands, 2010, pp.\u00a0379\u2013390."},{"issue":"1","key":"ref083","first-page":"75","volume":"17","author":"Osorio M.","year":"2017","journal-title":"TPLP"},{"key":"ref084","doi-asserted-by":"crossref","unstructured":"M.\u00a0Osorio, J.C.\u00a0Nieves and A.\u00a0Santoyo, Complete extensions as Clark\u2019s completion semantics, in: Mexican International Conference on Computer Science, ENC 2013, Morelia, Michoac\u00e1n, Mexico, October 30\u2013Nov.\u00a01, 2013, 2013, pp.\u00a081\u201388.","DOI":"10.1109\/ENC.2013.18"},{"key":"ref085","doi-asserted-by":"crossref","unstructured":"S.\u00a0Polberg, Understanding the abstract dialectical framework, in: Proc. of JELIA, 2016, pp.\u00a0430\u2013446.","DOI":"10.1007\/978-3-319-48758-8_28"},{"key":"ref086","unstructured":"S.\u00a0Polberg, Intertranslatability of abstract argumentation frameworks, Technical report, DBAI-TR-2017-104, DBAI (Institut f\u00fcr Informationssysteme Abteilung Datenbanken und Artificial Intelligence Technische Universit\u00e4t Wien), 2017."},{"key":"ref087","unstructured":"S.\u00a0Polberg and N.\u00a0Oren, Revisiting support in abstract argumentation systems, Technical report, TU Wien, Institut for Informatics, 2014."},{"key":"ref088","doi-asserted-by":"publisher","DOI":"10.1587\/transinf.2016EDP7313"},{"key":"ref089","doi-asserted-by":"publisher","DOI":"10.3233\/FI-2017-1585"},{"key":"ref090","doi-asserted-by":"crossref","unstructured":"F.\u00a0Toni and M.\u00a0Sergot, Argumentation and answer set programming, in: Logic Programming, Knowledge Representation and Nonmonotonic Reasoning: Essays in Honor of Michael Gelfond, M.\u00a0Balduccini and T.C.\u00a0Son, eds, Springer, 2010, pp.\u00a0164\u2013180.","DOI":"10.1007\/978-3-642-20832-4_11"},{"key":"ref091","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/13.3.319"},{"key":"ref092","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-012-9317-7"},{"key":"ref093","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-012-9318-6"},{"key":"ref094","doi-asserted-by":"publisher","DOI":"10.1016\/j.jda.2011.11.004"},{"key":"ref095","doi-asserted-by":"crossref","unstructured":"J.P.\u00a0Wallner, G.\u00a0Weissenbacher and S.\u00a0Woltran, Advanced SAT techniques for abstract argumentation, in: Computational Logic in Multi-Agent Systems\u00a0\u2013 14th International Workshop, CLIMA XIV, Proceedings, Corunna, Spain, September 16\u201318, 2013, 2013, pp.\u00a0138\u2013154.","DOI":"10.1007\/978-3-642-40624-9_9"},{"key":"ref096","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-009-9210-5"}],"container-title":["Argument &amp; Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/AAC-190476","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/full-xml\/10.3233\/AAC-190476","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/AAC-190476","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T11:53:11Z","timestamp":1777377191000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.3233\/AAC-190476"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,11,6]]},"references-count":96,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2020,5,19]]}},"alternative-id":["10.3233\/AAC-190476"],"URL":"https:\/\/doi.org\/10.3233\/aac-190476","relation":{},"ISSN":["1946-2166","1946-2174"],"issn-type":[{"value":"1946-2166","type":"print"},{"value":"1946-2174","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,11,6]]}}}