{"type":"ScholarlyArticle","title":"Formal Argumentation in Symbolic AI","authors":[{"name":"Markus Ulbricht","slug":"markus-ulbricht","given":"Markus","family":"Ulbricht","affiliation":"ScaDS.AI Dresden/ Leipzig , Leipzig Universtiy , Germany"}],"abstract":"In the area of symbolic AI, researchers strive to develop techniques to teach machines (commonsense) reasoning. Human reasoning is often argumentative in its nature, and consequently, computational models of argumentation constitute a vibrant research area in symbolic AI. In this paper I describe my most significant contributions to the field spanning from general non-monotonic logics to formal argumentation.","doi":"10.24963/ijcai.2024/985","url":"https://ijcai.org/proceedings/2024/985","pdf":"https://ijcai.org/proceedings/2024/0985.pdf","markdown":"https://ijcai.org/proceedings/2024/985.md","bibtex":"https://ijcai.org/proceedings/2024/bibtex/985","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":985,"pages":{"first":8577,"last":8582},"keywords":["Knowledge Representation and Reasoning: KRR: Argumentation","Knowledge Representation and Reasoning: KRR: Knowledge representation languages","Knowledge Representation and Reasoning: KRR: Computational complexity of reasoning"],"videos":[],"references":[{"position":1,"raw":"[Anh and Ulbricht, 2024] Kiet Ngyuen Anh and Markus Ul- bricht. Preferred reasoning in aba by cycle-breaking. In Proc. IJCAI, 2024. To appear.","title":"Preferred reasoning in aba by cycle-breaking","authors":"Anh, Ulbricht ; Kiet Ngyuen, Anh, Markus Ulbricht","year":"2024","venue":"Proc. IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2024/390"},{"position":2,"raw":"[Antaki and Leudar, 1992] Charles Antaki and Ivan Leudar. Explaining in conversation: Towards an argument model. European Journal of Social Psychology, 22(2):181-194, 1992.","title":"Explaining in conversation: Towards an argument model","authors":"Leudar Antaki, Charles Antaki, Ivan Leudar","year":"1992","venue":"European Journal of Social Psychology","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Baroni et al., 2018a] Pietro Baroni, Martin Caminada, and Massimiliano Giacomin. Abstract argumentation frame- works and their semantics. In Handbook of Formal Argu- mentation. College Publications, 2018.","title":"Abstract argumentation frameworks and their semantics","authors":"Baroni","year":"2018","venue":"Handbook of Formal Argumentation","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Baroni et al., 2018b] 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":"Baroni","year":"2018","venue":null,"doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Baumann and Ulbricht, 2019] Ringo Baumann and Markus Ulbricht. If nothing is accepted -repairing argumentation frameworks. J. Artif. Intell. Res., 66:1099-1145, 2019.","title":"If nothing is accepted -repairing argumentation frameworks","authors":"Ulbricht Baumann, Ringo Baumann, Markus Ulbricht","year":"2019","venue":"J. Artif. Intell. Res","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Baumann et al., 2020] Ringo Baumann, Gerhard Brewka, and Markus Ulbricht. Revisiting the foundations of ab- stract argumentation -semantics based on weak admissi- bility and weak defense. In Proc. AAAI, pages 2742-2749. AAAI Press, 2020.","title":"Revisiting the foundations of abstract argumentation -semantics based on weak admissibility and weak defense","authors":"Baumann","year":"2020","venue":"Proc. AAAI","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Baumann et al., 2022a] Ringo Baumann, Gerhard Brewka, and Markus Ulbricht. Shedding new light on the founda- tions of abstract argumentation: Modularization and weak admissibility. Artif. Intell., 310:103742, 2022.","title":"Shedding new light on the foundations of abstract argumentation: Modularization and weak admissibility","authors":"Baumann","year":"2022","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Baumann et al., 2022b] Ringo Baumann, Anna Rapberger, and Markus Ulbricht. Equivalence in argumentation frameworks with a claim-centric view -classical results with novel ingredients. In Proc. AAAI, pages 5479-5486, 2022.","title":"Equivalence in argumentation frameworks with a claim-centric view -classical results with novel ingredients","authors":"Baumann","year":"2022","venue":"Proc. AAAI","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Bench-Capon and Dunne, 2007] Trevor J. M. Bench-Capon and Paul E. Dunne. Argumentation in artificial intelli- gence. Artif. Intell., 171(10-15):619-641, 2007.","title":"Argumentation in artificial intelligence","authors":"J M Trevor, Paul E Bench-Capon, Dunne","year":"2007","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Berthold et al., 2023a] Matti Berthold, Anna Rapberger, and Markus Ulbricht. Forgetting aspects in assumption- based argumentation. In Proc. KR, pages 86-96, 2023.","title":"Forgetting aspects in assumptionbased argumentation","authors":"Berthold","year":"2023","venue":"Proc. KR","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Berthold et al., 2023b] Matti Berthold, Anna Rapberger, and Markus Ulbricht. On the expressive power of assumption-based argumentation. In Proc. JELIA, volume 14281 of Lecture Notes in Computer Science, pages 145- 160. Springer, 2023.","title":"On the expressive power of assumption-based argumentation","authors":"Berthold","year":"2023","venue":"Proc. JELIA","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Besnard and Hunter, 2001] Philippe Besnard and Anthony Hunter. A logic-based theory of deductive arguments. Ar- tif. Intell., 128(1-2):203-235, 2001.","title":"A logic-based theory of deductive arguments","authors":"Philippe Besnard, Anthony Hunter","year":"2001","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Blümel and Ulbricht, 2022] Lydia Blümel and Markus Ul- bricht. Defining defense and defeat in abstract argumenta- tion from scratch -A generalizing approach. In Proc. KR, 2022.","title":"Defining defense and defeat in abstract argumentation from scratch -A generalizing approach","authors":"Ulbricht Blümel","year":"2022","venue":"Proc. KR","doi":null,"url":null,"internal_url":null},{"position":14,"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":"Andrei Bondarenko, Minh Phan, Robert A Dung, Francesca Kowalski, Toni","year":"1997","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Brewka et al., 2019] Gerhard Brewka, Matthias Thimm, and Markus Ulbricht. Strong inconsistency. Artif. Intell., 267:78-117, 2019.","title":"Strong inconsistency","authors":"Gerhard Brewka, Matthias Thimm, Markus Ulbricht","year":"2019","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Cayrol and Lagasquie-Schiex, 2005] Claudette Cayrol and Marie-Christine Lagasquie-Schiex. On the acceptability of arguments in bipolar argumentation frameworks. In Proc. ECSQARU, pages 378-389, 2005.","title":"On the acceptability of arguments in bipolar argumentation frameworks","authors":"Lagasquie-Schiex ; Cayrol, Claudette Cayrol, Marie-Christine Lagasquie-Schiex","year":"2005","venue":"Proc. ECSQARU","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Cyras and Toni, 2016] Kristijonas Cyras and Francesca Toni. Proc. kr. pages 553-556, 2016.","title":"Kristijonas Cyras and Francesca Toni","authors":"Toni Cyras","year":"2016","venue":"Proc. kr","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Dimopoulos et al., 2024] Yannis Dimopoulos, Wolfgang Dvorák, Matthias König, Anna Rapberger, Markus Ul- bricht, and Stefan Woltran. Redefining ABA+ seman- tics via abstract set-to-set attacks. In Proc. AAAI, pages 10493-10500. AAAI Press, 2024.","title":"Redefining ABA+ semantics via abstract set-to-set attacks","authors":"Yannis Dimopoulos, Wolfgang Dvorák, Matthias König, Anna Rapberger, Markus Ulbricht, Stefan Woltran","year":"2024","venue":"Proc. AAAI","doi":null,"url":null,"internal_url":null},{"position":19,"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":20,"raw":"[Dvorák et al., 2022] Wolfgang Dvorák, Markus Ulbricht, and Stefan Woltran. Recursion in abstract argumentation is hard -on the complexity of semantics based on weak admissibility. J. Artif. Intell. Res., 74:1403-1447, 2022.","title":"Recursion in abstract argumentation is hard -on the complexity of semantics based on weak admissibility","authors":"Dvorák","year":"2022","venue":"J. Artif. Intell. Res","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Dvorák et al., 2024] Wolfgang Dvorák, Matthias König, Markus Ulbricht, and Stefan Woltran. Principles and their computational consequences for argumentation frame- works with collective attacks. J. Artif. Intell. Res., 79:69- 136, 2024.","title":"Principles and their computational consequences for argumentation frameworks with collective attacks","authors":"Dvorák","year":"2024","venue":"J. Artif. Intell. Res","doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[Gabbay and Gabbay, 2016] Dov M. Gabbay and Michael Gabbay. Theory of disjunctive attacks, part I. Log. J. IGPL, 24(2):186-218, 2016.","title":"Theory of disjunctive attacks, part I. Log","authors":"Dov M Gabbay, Michael Gabbay","year":"2016","venue":"J. IGPL","doi":null,"url":null,"internal_url":null},{"position":23,"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":24,"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":25,"raw":"[König et al., 2022] Matthias König, Anna Rapberger, and Markus Ulbricht. Just a matter of perspective. In Proc. COMMA, pages 212-223. IOS Press, 2022.","title":"Just a matter of perspective","authors":"Matthias König, Anna Rapberger, Markus Ulbricht","year":"2022","venue":"Proc. COMMA","doi":null,"url":null,"internal_url":null},{"position":26,"raw":"[Lehtonen et al., 2021] Tuomo Lehtonen, Anna Rapberger, Markus Ulbricht, and Johannes P Wallner. Acbar-atomic- based argumentation solver. ICCMA 2023, 42(3):16, 2021.","title":"Acbar-atomicbased argumentation solver","authors":"Tuomo Lehtonen, Anna Rapberger, Markus Ulbricht, Johannes P Wallner","year":"2021","venue":"ICCMA","doi":null,"url":null,"internal_url":null},{"position":27,"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":28,"raw":"[Lethonen et al., 2024] Tuomo Lethonen, Anna Rapberger, Francesca Toni, Markus Ulbricht, and Johannes P. Wall- ner. Instantiations and computational aspects of non-flat assumption-based argumentation. In Proc. IJCAI, 2024. To appear.","title":"Wallner. Instantiations and computational aspects of non-flat assumption-based argumentation","authors":"Tuomo Lethonen, Anna Rapberger, Francesca Toni, Markus Ulbricht, Johannes P","year":"2024","venue":"Proc. IJCAI","doi":null,"url":null,"internal_url":null},{"position":29,"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":"Sanjay Modgil, Henry Prakken","year":"2013","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":30,"raw":"[Nielsen and Parsons, 2006] Søren Holbech Nielsen and Si- mon Parsons. A generalization of Dung's abstract frame- work for argumentation: Arguing with sets of attacking arguments. In Proc. ArgMAS 2006, volume 4766 of Lec- ture Notes in Computer Science, pages 54-73. Springer, 2006.","title":"Søren Holbech Nielsen and Simon Parsons. A generalization of Dung's abstract framework for argumentation: Arguing with sets of attacking arguments","authors":"Parsons Nielsen","year":"2006","venue":"Proc. ArgMAS 2006","doi":null,"url":null,"internal_url":null},{"position":31,"raw":"[Prakken, 2023] Henry Prakken. Relating abstract and struc- tured accounts of argumentation dynamics: the case of ex- pansions. In Proc. KR, pages 562-571, 2023.","title":"Relating abstract and structured accounts of argumentation dynamics: the case of expansions","authors":"Henry Prakken, Prakken","year":"2023","venue":"Proc. KR","doi":null,"url":null,"internal_url":null},{"position":32,"raw":"[Rapberger and Ulbricht, 2023] Anna Rapberger and Markus Ulbricht. On dynamics in structured argumen- tation formalisms. J. Artif. Intell. Res., 77:563-643, 2023.","title":"On dynamics in structured argumentation formalisms","authors":"Anna Rapberger, Markus Ulbricht","year":"2023","venue":"J. Artif. Intell. Res","doi":null,"url":null,"internal_url":null},{"position":33,"raw":"[Reiter, 1987] Raymond Reiter. A theory of diagnosis from first principles. Artif. Intell., 32(1):57-95, 1987.","title":"A theory of diagnosis from first principles","authors":"Raymond Reiter","year":"1987","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":34,"raw":"[Thimm, 2019] Matthias Thimm. Inconsistency measure- ment. In Proc. SUM, volume 11940 of Lecture Notes in Computer Science, pages 9-23. Springer, 2019.","title":"Inconsistency measurement","authors":"Matthias Thimm","year":"2019","venue":"Proc. SUM","doi":null,"url":null,"internal_url":null},{"position":35,"raw":"[Ulbricht et al., 2016] Markus Ulbricht, Matthias Thimm, and Gerhard Brewka. Measuring inconsistency in answer set programs. In Proc. JELIA, pages 577-583, 2016.","title":"Measuring inconsistency in answer set programs","authors":"Markus Ulbricht, Matthias Thimm, Gerhard Brewka","year":"2016","venue":"Proc. JELIA","doi":null,"url":null,"internal_url":null},{"position":36,"raw":"[Ulbricht et al., 2020] Markus Ulbricht, Matthias Thimm, and Gerhard Brewka. Handling and measuring inconsis- tency in non-monotonic logics. Artif. Intell., 286:103344, 2020.","title":"Handling and measuring inconsistency in non-monotonic logics","authors":"Markus Ulbricht, Matthias Thimm, Gerhard Brewka","year":"2020","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":37,"raw":"[Ulbricht et al., 2024] Markus Ulbricht, Nico Potyka, Anna Rapberger, and Francesca Toni. Non-flat ABA is an in- stance of bipolar argumentation. In Proc. AAAI, pages 10723-10731. AAAI Press, 2024.","title":"Non-flat ABA is an instance of bipolar argumentation","authors":"Markus Ulbricht, Nico Potyka, Anna Rapberger, Francesca Toni","year":"2024","venue":"Proc. AAAI","doi":null,"url":null,"internal_url":null},{"position":38,"raw":"[Ulbricht, 2019] Markus Ulbricht. Repairing non-monotonic knowledge bases. In Proc. JELIA, pages 151-167, 2019.","title":"Repairing non-monotonic knowledge bases","authors":"Markus Ulbricht","year":"2019","venue":"Proc. JELIA","doi":null,"url":null,"internal_url":null},{"position":39,"raw":"[Van Harmelen et al., 2008] Frank Van Harmelen, Vladimir Lifschitz, and Bruce Porter. Handbook of knowledge rep- resentation. Elsevier, 2008.","title":"Handbook of knowledge representation","authors":"Van Harmelen","year":"2008","venue":null,"doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}