{"type":"ScholarlyArticle","title":"Computational Argumentation: Reasoning, Dynamics, and Supporting Explainability","authors":[{"name":"Johannes P. Wallner","slug":"johannes-p-wallner","given":"Johannes P.","family":"Wallner","affiliation":"Institute of Software Technology , Graz University of Technology , Austria"}],"abstract":"This overview accompanies the author's Early Career Track presentation. We survey recent research and research agenda of the author, focusing on contributions in the area of computational argumentation. Contributions span from foundations of static and dynamic forms of argumentative reasoning and approaches to support explainability, e.g., analysis of the computational complexity of argumentative reasoning and algorithmic approaches.","doi":"10.24963/ijcai.2024/986","url":"https://ijcai.org/proceedings/2024/986","pdf":"https://ijcai.org/proceedings/2024/0986.pdf","markdown":"https://ijcai.org/proceedings/2024/986.md","bibtex":"https://ijcai.org/proceedings/2024/bibtex/986","volume":{"slug":"2024","title":"Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2024","url":"https://ijcai.org/proceedings/2024/","year":2024,"location":"Jeju, Korea","dates":"3-9 August 2024","editors":"Kate Larson","isbn":"978-1-956792-04-1","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2024"},"section":"Early Career","track":"Early Career","number":986,"pages":{"first":8583,"last":8588},"keywords":["Knowledge Representation and Reasoning: KRR: Argumentation","Knowledge Representation and Reasoning: KRR: Computational complexity of reasoning"],"videos":[],"references":[{"position":1,"raw":"[Al-Abdulkarim et al., 2019] Latifa Al-Abdulkarim, Katie Atkinson, Trevor J. M. Bench-Capon, Stuart Whittle, Rob Williams, and Catriona Wolfenden. Noise induced hear- ing loss: Building an application using the ANGELIC methodology. Argument Comput., 10(1):5-22, 2019.","title":"Noise induced hearing loss: Building an application using the ANGELIC methodology","authors":"Al-Abdulkarim","year":"2019","venue":"Argument Comput","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Apostolakis et al., 2024] Iosif Apostolakis, Zeynep G. Sari- batur, and Johannes P. Wallner. Abstracting assumptions in structured argumentation. In Proc. AAMAS, pages 2132- 2134. ACM, 2024.","title":"Abstracting assumptions in structured argumentation","authors":"Iosif Apostolakis, G Zeynep, Johannes P Saribatur, Wallner","year":"2024","venue":"Proc. AAMAS","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Atkinson et al., 2017] Katie Atkinson, Pietro Baroni, Mas- similiano Giacomin, Anthony Hunter, Henry Prakken, Chris Reed, Guillermo Ricardo Simari, Matthias Thimm, and Serena Villata. Towards artificial argumentation. AI Mag., 38(3):25-36, 2017.","title":"Towards artificial argumentation","authors":"Katie Atkinson, Pietro Baroni, Massimiliano Giacomin, Anthony Hunter, Henry Prakken, Chris Reed, Guillermo Ricardo Simari, Matthias Thimm, Serena Villata","year":"2017","venue":"AI Mag","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Bacchus et al., 2021] Fahiem Bacchus, Matti Järvisalo, and Ruben Martins. Maximum satisfiabiliy. In Armin Biere, Marijn Heule, Hans van Maaren, and Toby Walsh, editors, Handbook of Satisfiability -Second Edition, volume 336 of FAIA, pages 929-991. IOS Press, 2021.","title":"Fahiem Bacchus, Matti Järvisalo, and Ruben Martins. Maximum satisfiabiliy","authors":"Bacchus","year":"2021","venue":"Handbook of Satisfiability -Second Edition","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Baroni et al., 2011] Pietro Baroni, Martin Caminada, and Massimiliano Giacomin. An introduction to argumenta- tion semantics. Knowl. Eng. Rev., 26(4):365-410, 2011.","title":"An introduction to argumentation semantics","authors":"Pietro Baroni, Martin Caminada, Massimiliano Giacomin","year":"2011","venue":"Knowl. Eng. Rev","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Baroni et al., 2018] Pietro Baroni, Dov Gabbay, Massimil- iano Giacomin, and Leendert van der Torre, editors. Hand- book of Formal Argumentation. College Publications, 2018.","title":"Handbook of Formal Argumentation","authors":null,"year":"2018","venue":null,"doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Baumann et al., 2021] Ringo Baumann, Sylvie Doutre, Jean-Guy Mailly, and Johannes P. Wallner. Enforcement in formal argumentation. In Dov Gabbay, Massimiliano Gia- comin, Guillermo R. Simari, and Matthias Thimm, editors, Handbook of Formal Argumentation, volume 2, chapter 8, pages 445-510. College Publications, 2021.","title":"Enforcement in formal argumentation","authors":"Ringo Baumann, Sylvie Doutre, Jean-Guy Mailly, Johannes P Wallner","year":"2021","venue":"Handbook of Formal Argumentation","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Baumeister et al., 2018] Dorothea Baumeister, Daniel Neugebauer, Jörg Rothe, and Hilmar Schadrack. Verifi- cation in incomplete argumentation frameworks. Artif. Intell., 264:1-26, 2018.","title":"Verification in incomplete argumentation frameworks","authors":"Dorothea Baumeister, Daniel Neugebauer, Jörg Rothe, Hilmar Schadrack","year":"2018","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Besnard and Hunter, 2008] Philippe Besnard and Anthony Hunter. Elements of Argumentation. MIT Press, 2008.","title":"Elements of Argumentation","authors":"Philippe Besnard, Anthony Hunter","year":"2008","venue":null,"doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Besnard et al., 2014] Philippe Besnard, Alejandro Javier García, Anthony Hunter, Sanjay Modgil, Henry Prakken, Guillermo Ricardo Simari, and Francesca Toni. Intro- duction to structured argumentation. Argument Comput., 5(1):1-4, 2014.","title":"Introduction to structured argumentation","authors":"Philippe Besnard, Alejandro Javier García, Anthony Hunter, Sanjay Modgil, Henry Prakken, Guillermo Ricardo Simari, Francesca Toni","year":"2014","venue":"Argument Comput","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Biere et al., 2021] Armin Biere, Marijn Heule, Hans van Maaren, and Toby Walsh, editors. Handbook of Satisfi- ability -Second Edition, volume 336 of FAIA. IOS Press, 2021.","title":"Handbook of Satisfiability -Second Edition","authors":"Biere","year":"2021","venue":null,"doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Bondarenko et al., 1997] Andrei Bondarenko, Phan Minh Dung, Robert A. Kowalski, and Francesca Toni. An ab- stract, argumentation-theoretic approach to default reason- ing. Artif. Intell., 93:63-101, 1997.","title":"An abstract, argumentation-theoretic approach to default reasoning","authors":"Bondarenko","year":"1997","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Brewka and Woltran, 2010] Gerhard Brewka and Stefan Woltran. Abstract dialectical frameworks. In Proc. KR, pages 102-111. AAAI Press, 2010.","title":"Abstract dialectical frameworks","authors":"Woltran Brewka, Gerhard Brewka, Stefan Woltran","year":"2010","venue":"Proc. KR","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Brewka et al., 2014] Gerhard Brewka, Sylwia Polberg, and Stefan Woltran. Generalizations of dung frameworks and their role in formal argumentation. IEEE Intell. Syst., 29(1):30-38, 2014.","title":"Generalizations of dung frameworks and their role in formal argumentation","authors":"Gerhard Brewka, Sylwia Polberg, Stefan Woltran","year":"2014","venue":"IEEE Intell. Syst","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Brewka et al., 2018] Gerhard Brewka, Stefan Ellmauthaler, Hannes Strass, Johannes P. Wallner, and Stefan Woltran. Abstract dialectical frameworks. In Pietro Baroni, Dov Gabbay, Massimiliano Giacomin, and Leendert van der Torre, editors, Handbook of Formal Argumentation, chap- ter 5, pages 237-285. College Publications, 2018.","title":"Abstract dialectical frameworks","authors":"Gerhard Brewka, Stefan Ellmauthaler, Hannes Strass, Johannes P Wallner, Stefan Woltran","year":"2018","venue":"Handbook of Formal Argumentation, chapter 5","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Caminada and Amgoud, 2007] Martin Caminada and Leila Amgoud. On the evaluation of argumentation formalisms. Artif. Intell., 171(5-6):286-310, 2007.","title":"On the evaluation of argumentation formalisms","authors":"Amgoud Caminada, Martin Caminada, Leila Amgoud","year":"2007","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Clarke et al., 2003] Edmund M. Clarke, Orna Grum- berg, Somesh Jha, Yuan Lu, and Helmut Veith. Counterexample-guided abstraction refinement for sym- bolic model checking. J. ACM, 50(5):752-794, 2003.","title":"Counterexample-guided abstraction refinement for symbolic model checking","authors":"Edmund M Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith","year":"2003","venue":"J. ACM","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Cyras et al., 2018] Kristijonas Cyras, Xiuyi Fan, Claudia Schulz, and Francesca Toni. Assumption-based argumen- tation: Disputes, explanations, preferences. In Pietro Ba- roni, Dov Gabbay, Massimiliano Giacomin, and Leendert van der Torre, editors, Handbook of Formal Argumen- tation, chapter 7, pages 365-408. College Publications, 2018.","title":"Kristijonas Cyras, Xiuyi Fan, Claudia Schulz, and Francesca Toni. Assumption-based argumentation: Disputes, explanations, preferences","authors":"Cyras","year":"2018","venue":"Handbook of Formal Argumentation","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Cyras et al., 2021] Kristijonas Cyras, Antonio Rago, Emanuele Albini, Pietro Baroni, and Francesca Toni. Argumentative XAI: A survey. In Proc. IJCAI, pages 4392-4399. ijcai.org, 2021.","title":"Argumentative XAI: A survey","authors":"Cyras","year":"2021","venue":"Proc. IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2021/600"},{"position":20,"raw":"[Doutre and Mailly, 2018] Sylvie Doutre and Jean-Guy Mailly. Constraints and changes: A survey of abstract ar- gumentation dynamics. Argument Comput., 9(3):223-248, 2018.","title":"Constraints and changes: A survey of abstract argumentation dynamics","authors":"Mailly Doutre, Sylvie Doutre, Jean-Guy Mailly","year":"2018","venue":"Argument Comput","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Dung, 1995] Phan Minh Dung. On the acceptability of ar- guments and its fundamental role in nonmonotonic reason- ing, logic programming and n-person games. Artif. Intell., 77(2):321-358, 1995.","title":"On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games","authors":"Phan Minh, Dung","year":"1995","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[Dunne et al., 2015] Paul E. Dunne, Wolfgang Dvořák, Thomas Linsbichler, and Stefan Woltran. Characteristics of multiple viewpoints in abstract argumentation. Artif. Intell., 228:153-178, 2015.","title":"Characteristics of multiple viewpoints in abstract argumentation","authors":"Paul E Dunne, Wolfgang Dvořák, Thomas Linsbichler, Stefan Woltran","year":"2015","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[Dvořák and Dunne, 2018] Wolfgang Dvořák and Paul E. Dunne. Computational problems in formal argumentation and their complexity. In Pietro Baroni, Dov Gabbay, Mas- similiano Giacomin, and Leendert van der Torre, editors, Handbook of Formal Argumentation, chapter 13, pages 631-688. College Publications, 2018.","title":"Computational problems in formal argumentation and their complexity","authors":"Dunne Dvořák, Wolfgang Dvořák, Paul E Dunne","year":"2018","venue":"Handbook of Formal Argumentation","doi":null,"url":null,"internal_url":null},{"position":24,"raw":"[Gabbay et al., 2021] Dov Gabbay, Massimiliano Giacomin, Guillermo R. Simari, and Matthias Thimm, editors. Hand- book of Formal Argumentation, volume 2. College Publi- cations, 2021.","title":"Handbook of Formal Argumentation","authors":null,"year":"2021","venue":null,"doi":null,"url":null,"internal_url":null},{"position":25,"raw":"[García and Simari, 2004] Alejandro Javier García and Guillermo Ricardo Simari. Defeasible logic program- ming: An argumentative approach. Theory Pract. Log. Program., 4(1-2):95-138, 2004.","title":"Alejandro Javier García and Guillermo Ricardo Simari. Defeasible logic programming: An argumentative approach","authors":"Simari García","year":"2004","venue":"Theory Pract. Log. Program","doi":null,"url":null,"internal_url":null},{"position":26,"raw":"[Gelfond and Lifschitz, 1988] Michael Gelfond and Vladimir Lifschitz. The stable model semantics for logic programming. In Proc. ICLP/SLP, pages 1070- 1080. MIT Press, 1988.","title":"The stable model semantics for logic programming","authors":"Michael Gelfond, Vladimir Lifschitz","year":"1988","venue":"Proc. ICLP/SLP","doi":null,"url":null,"internal_url":null},{"position":27,"raw":"[Gordon et al., 2007] Thomas F. Gordon, Henry Prakken, and Douglas Walton. The Carneades model of argument and burden of proof. Artif. Intell., 171(10-15):875-896, 2007.","title":"The Carneades model of argument and burden of proof","authors":"Thomas F Gordon, Henry Prakken, Douglas Walton","year":"2007","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":28,"raw":"[Kakas et al., 2019] Antonis C. Kakas, Pavlos Moraitis, and Nikolaos I. Spanoudakis. GORGIAS: Applying argumen- tation. Argument Comput., 10(1):55-81, 2019.","title":"GORGIAS: Applying argumentation","authors":"C Antonis, Pavlos Kakas, Nikolaos I Moraitis, Spanoudakis","year":"2019","venue":"Argument Comput","doi":null,"url":null,"internal_url":null},{"position":29,"raw":"[Lehtonen et al., 2020] Tuomo Lehtonen, Johannes P. Wall- ner, and Matti Järvisalo. An answer set programming ap- proach to argumentative reasoning in the ASPIC+ frame- work. In Proc. KR, pages 636-646. IJCAI, 2020.","title":"An answer set programming approach to argumentative reasoning in the ASPIC+ framework","authors":"Johannes P Tuomo Lehtonen, Matti Wallner, Järvisalo","year":"2020","venue":"Proc. KR","doi":null,"url":null,"internal_url":null},{"position":30,"raw":"[Lehtonen et al., 2021] Tuomo Lehtonen, Johannes P. Wall- ner, and Matti Järvisalo. Declarative algorithms and com- plexity results for assumption-based argumentation. J. Ar- tif. Intell. Res., 71:265-318, 2021.","title":"Declarative algorithms and complexity results for assumption-based argumentation","authors":"Johannes P Tuomo Lehtonen, Matti Wallner, Järvisalo","year":"2021","venue":"J. Artif. Intell. Res","doi":null,"url":null,"internal_url":null},{"position":31,"raw":"[Lehtonen et al., 2022] Tuomo Lehtonen, Johannes P. Wall- ner, and Matti Järvisalo. Computing stable conclusions un- der the weakest-link principle in the ASPIC+ argumenta- tion formalism. In Proc. KR, pages 215-225. IJCAI, 2022.","title":"Computing stable conclusions under the weakest-link principle in the ASPIC+ argumentation formalism","authors":"Johannes P Tuomo Lehtonen, Matti Wallner, Järvisalo","year":"2022","venue":"Proc. KR","doi":null,"url":null,"internal_url":null},{"position":32,"raw":"[Lehtonen et al., 2023] Tuomo Lehtonen, Anna Rapberger, Markus Ulbricht, and Johannes P. Wallner. Argumentation frameworks induced by assumption-based argumentation: Relating size and complexity. In Proc. KR, pages 440-450. IJCAI, 2023.","title":"Argumentation frameworks induced by assumption-based argumentation: Relating size and complexity","authors":"Tuomo Lehtonen, Anna Rapberger, Markus Ulbricht, Johannes P Wallner","year":"2023","venue":"Proc. KR","doi":null,"url":null,"internal_url":null},{"position":33,"raw":"[Lehtonen et al., 2024] Tuomo Lehtonen, Anna Rapberger, Francesca Toni, Markus Ulbricht, and Johannes Pe- ter Wallner. Instantiations and computational aspects of non-flat assumption-based argumentation. CoRR, abs/2404.11431, 2024.","title":"Instantiations and computational aspects of non-flat assumption-based argumentation","authors":"Tuomo Lehtonen, Anna Rapberger, Francesca Toni, Markus Ulbricht, Johannes Peter, Wallner","year":"2024","venue":null,"doi":null,"url":null,"internal_url":"/proceedings/2024/383"},{"position":34,"raw":"[Linsbichler et al., 2022] Thomas Linsbichler, Marco Maratea, Andreas Niskanen, Johannes P. Wallner, and Ste- fan Woltran. Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving. Artif. Intell., 307:103697, 2022.","title":"Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving","authors":"Thomas Linsbichler, Marco Maratea, Andreas Niskanen, Johannes P Wallner, Stefan Woltran","year":"2022","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":35,"raw":"[Modgil and Prakken, 2013] Sanjay Modgil and Henry Prakken. A general account of argumentation with preferences. Artif. Intell., 195:361-397, 2013.","title":"A general account of argumentation with preferences","authors":"Prakken Modgil, Sanjay Modgil, Henry Prakken","year":"2013","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":36,"raw":"[Niemelä, 1999] Ilkka Niemelä. Logic programs with stable model semantics as a constraint programming paradigm. Ann. Math. Artif. Intell., 25(3-4):241-273, 1999.","title":"Logic programs with stable model semantics as a constraint programming paradigm","authors":"Ilkka Niemelä","year":"1999","venue":"Ann. Math. Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":37,"raw":"[Niskanen et al., 2019] Andreas Niskanen, Johannes P. Wall- ner, and Matti Järvisalo. Synthesizing argumentation frameworks from examples. J. Artif. Intell. Res., 66:503- 554, 2019.","title":"Synthesizing argumentation frameworks from examples","authors":"Andreas Niskanen, Johannes P Wallner, Matti Järvisalo","year":"2019","venue":"J. Artif. Intell. Res","doi":null,"url":null,"internal_url":null},{"position":38,"raw":"[Odekerken et al., 2020] Daphne Odekerken, AnneMarie Borg, and Floris Bex. Estimating stability for efficient argument-based inquiry. In Proc. COMMA, volume 326 of FAIA, pages 307-318. IOS Press, 2020.","title":"Estimating stability for efficient argument-based inquiry","authors":"Daphne Odekerken, Annemarie Borg, Floris Bex","year":"2020","venue":"Proc. COMMA","doi":null,"url":null,"internal_url":null},{"position":39,"raw":"[Odekerken et al., 2023] Daphne Odekerken, Tuomo Lehto- nen, AnneMarie Borg, Johannes P. Wallner, and Matti Järvisalo. Argumentative reasoning in ASPIC+ under in- complete information. In Proc. KR, pages 531-541.","title":"Argumentative reasoning in ASPIC+ under incomplete information","authors":"Daphne Odekerken, Tuomo Lehtonen, Annemarie Borg, Johannes P Wallner, Matti Järvisalo","year":null,"venue":"Proc. KR","doi":null,"url":null,"internal_url":null},{"position":40,"raw":"IJ- CAI, 2023.","title":null,"authors":"Ij-Cai","year":"2023","venue":null,"doi":null,"url":null,"internal_url":null},{"position":41,"raw":"[Proietti and Toni, 2023] Maurizio Proietti and Francesca Toni. A roadmap for neuro-argumentative learning. In Proc. of the 17th International Workshop on Neural- Symbolic Learning and Reasoning, volume 3432 of CEUR Workshop Proceedings, pages 1-8. CEUR-WS.org, 2023.","title":"A roadmap for neuro-argumentative learning","authors":"Maurizio Proietti, Francesca Toni","year":"2023","venue":"Proc. of the 17th International Workshop on Neural-Symbolic Learning and Reasoning","doi":null,"url":null,"internal_url":null},{"position":42,"raw":"[Saribatur and Wallner, 2021] Zeynep G. Saribatur and Jo- hannes P. Wallner. Existential abstraction on argumenta- tion frameworks via clustering. In Proc. KR, pages 549- 559. IJCAI, 2021.","title":"Existential abstraction on argumentation frameworks via clustering","authors":"G Zeynep, Johannes P Saribatur, Wallner","year":"2021","venue":"Proc. KR","doi":null,"url":null,"internal_url":null},{"position":43,"raw":"[Saribatur et al., 2020] Zeynep G. Saribatur, Johannes P. Wallner, and Stefan Woltran. Explaining non-acceptability in abstract argumentation. In Proc. ECAI, volume 325 of FAIA, pages 881-888. IOS Press, 2020.","title":"Explaining non-acceptability in abstract argumentation","authors":"G Zeynep, Johannes P Saribatur, Stefan Wallner, Woltran","year":"2020","venue":"Proc. ECAI","doi":null,"url":null,"internal_url":null},{"position":44,"raw":"[Strass and Wallner, 2015] Hannes Strass and Johannes P. Wallner. Analyzing the computational complexity of ab- stract dialectical frameworks via approximation fixpoint theory. Artif. Intell., 226:34-74, 2015.","title":"Analyzing the computational complexity of abstract dialectical frameworks via approximation fixpoint theory","authors":"Wallner Strass, Hannes Strass, Johannes P Wallner","year":"2015","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":45,"raw":"[Strass et al., 2019] Hannes Strass, Adam Wyner, and Mar- tin Diller. EMIL: Extracting meaning from inconsistent language: Towards argumentation using a controlled natu- ral language interface. Int. J. Approx. Reason., 112:55-84, 2019.","title":"EMIL: Extracting meaning from inconsistent language: Towards argumentation using a controlled natural language interface","authors":"Hannes Strass, Adam Wyner, Martin Diller","year":"2019","venue":"Int. J. Approx. Reason","doi":null,"url":null,"internal_url":null},{"position":46,"raw":"[Strass, 2015] Hannes Strass. Expressiveness of two-valued semantics for abstract dialectical frameworks. J. Artif. In- tell. Res., 54:193-231, 2015.","title":"Expressiveness of two-valued semantics for abstract dialectical frameworks","authors":"Hannes Strass, Strass","year":"2015","venue":"J. Artif. Intell. Res","doi":null,"url":null,"internal_url":null},{"position":47,"raw":"[Ulbricht and Wallner, 2021] Markus Ulbricht and Jo- hannes P. Wallner. Strong explanations in abstract argumentation. In Proc. AAAI, pages 6496-6504. AAAI Press, 2021.","title":"Strong explanations in abstract argumentation","authors":"Wallner Ulbricht, Markus Ulbricht, Johannes P Wallner","year":"2021","venue":"Proc. AAAI","doi":null,"url":null,"internal_url":null},{"position":48,"raw":"[Ulbricht and Wallner, 2022] Markus Ulbricht and Jo- hannes P. Wallner. Strongly accepting subframeworks: Connecting abstract and structured argumentation. In Proc. COMMA, volume 353 of FAIA, pages 320-331. IOS Press, 2022.","title":"Strongly accepting subframeworks: Connecting abstract and structured argumentation","authors":"Wallner Ulbricht, Markus Ulbricht, Johannes P Wallner","year":"2022","venue":"Proc. COMMA","doi":null,"url":null,"internal_url":null},{"position":49,"raw":"[Vassiliades et al., 2021] Alexandros Vassiliades, Nick Bassiliades, and Theodore Patkos. Argumentation and explainable artificial intelligence: a survey. Knowl. Eng. Rev., 36:e5, 2021.","title":"Argumentation and explainable artificial intelligence: a survey","authors":"Alexandros Vassiliades, Nick Bassiliades, Theodore Patkos","year":"2021","venue":"Knowl. Eng. Rev","doi":null,"url":null,"internal_url":null},{"position":50,"raw":"[Wallner et al., 2017] Johannes P. Wallner, Andreas Niska- nen, and Matti Järvisalo. Complexity results and algo- rithms for extension enforcement in abstract argumenta- tion. J. Artif. Intell. Res., 60:1-40, 2017.","title":"Complexity results and algorithms for extension enforcement in abstract argumentation","authors":"Johannes P Wallner, Andreas Niskanen, Matti Järvisalo","year":"2017","venue":"J. Artif. Intell. Res","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}