Advanced Tools for Graph-Based Formal Argumentation

Advanced Tools for Graph-Based Formal Argumentation

Stefan Woltran (ORCID: 0000-0003-1594-8972)

DACH: Österreich - Deutschland - Schweiz

Disciplines

Computer Sciences (70%); Philosophy, Ethics, Religion (30%)

Keywords

    Knowledge Representation and Reasoning, Argumentation

Abstract Final report

Argumentation is an area at the intersection of Philosophy, Artificial Intelligence (AI) and several application domains. Within AI, formal models of arguments and their relationships, as well as the necessary conflict resolution in the presence of diverging opinions are studied. Our objective is to make the powerful functionality formal argumentation nowadays provides also available to users with little or no background in formal logic, without any intervention from argumentation specialists. We believe the key to achieve this goal are graphical models which can easily be understood and manipulated by users. Graphical models are widely used, not only in computer science and AI, but also in every day communication. Needless to say that such models also play an important role in argumentation. In this project we will thus investigate novel graph-based methods and tools for formal argumentation. To this end, we first have to transfer theoretical results established in the predecessor project (FWF I1102 / DFG BR 1817/7-1) for abstract dialectical frameworks to arbitrary labelled argument graphs. We then will investigate corresponding algorithms and implement flexible and user friendly tools which we evaluate in two domains, legal reasoning and online debating.

Argumentation is an area at the intersection of Philosophy, Artificial Intelligence (AI) and several application domains. Within AI, formal models of arguments and their relationships, as well as the necessary conflict resolution in the presence of diverging opinions are studied. Our objective was to make the powerful functionality formal argumentation nowadays provides also available to users with little or no background in formal logic, without any intervention from argumentation specialists. To this end, we investigated graphical models which can easily be understood and manipulated by users and transfered theoretical results established in the predecessor project (FWF I1102 / DFG BR 1817/7-1) for abstract dialectical frameworks to arbitrary labelled argument graphs. Beside theoretical results, we have implemented several software prototypes including an App for argumentation.
Research institution(s)
International project participants

Research Output

  • 264 Citations
  • 62 Publications
  • 1 Disseminations
  • 1 Scientific Awards
Publications
  • 2023
    Title Expressiveness of SETAFs and support-free ADFs under 3-valued semantics
    DOI 10.1080/11663081.2023.2244361
    Type Journal Article
    Author Dvorák W
    Journal Journal of Applied Non-Classical Logics
    Pages 298-327
    Link Publication
  • 2022
    Title Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving
    DOI 10.1016/j.artint.2022.103697
    Type Journal Article
    Author Linsbichler T
    Journal Artificial Intelligence
    Pages 103697
    Link Publication
  • 2024
    Title Counting Complexity for Reasoning in Abstract Argumentation
    DOI 10.1613/jair.1.16210
    Type Journal Article
    Author Fichte J
    Journal Journal of Artificial Intelligence Research
    Link Publication
  • 2020
    Title Realizability of three-valued semantics for abstract dialectical frameworks
    DOI 10.1016/j.artint.2019.103198
    Type Journal Article
    Author Pührer J
    Journal Artificial Intelligence
    Pages 103198
    Link Publication
  • 2020
    Title On the different types of collective attacks in abstract argumentation: equivalence results for SETAFs
    DOI 10.1093/logcom/exaa033
    Type Journal Article
    Author Dvorák W
    Journal Journal of Logic and Computation
    Pages 1063-1107
  • 2019
    Title Preprocessing Argumentation Frameworks via Replacement Patterns
    DOI 10.1007/978-3-030-19570-0_8
    Type Book Chapter
    Author Dvorák W
    Publisher Springer Nature
    Pages 116-132
  • 2019
    Title EMIL: Extracting Meaning from Inconsistent Language Towards argumentation using a controlled natural language interface
    DOI 10.1016/j.ijar.2019.04.010
    Type Journal Article
    Author Strass H
    Journal International Journal of Approximate Reasoning
    Pages 55-84
    Link Publication
  • 2021
    Title Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation
    DOI 10.1017/s1471068421000296
    Type Journal Article
    Author Lehtonen T
    Journal Theory and Practice of Logic Programming
    Pages 717-734
    Link Publication
  • 2021
    Title Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation
    DOI 10.48550/arxiv.2108.04192
    Type Preprint
    Author Lehtonen T
  • 2021
    Title Declarative Algorithms and Complexity Results for Assumption-Based Argumentation
    DOI 10.1613/jair.1.12479
    Type Journal Article
    Author Lehtonen T
    Journal Journal of Artificial Intelligence Research
    Pages 265-318
    Link Publication
  • 2019
    Title Design and Results of the Second International Competition on Computational Models of Argumentation
    DOI 10.48550/arxiv.1909.00621
    Type Preprint
    Author Gaggl S
  • 2019
    Title Reasoning over Assumption-Based Argumentation Frameworks via Direct Answer Set Programming Encodings
    DOI 10.1609/aaai.v33i01.33012938
    Type Journal Article
    Author Lehtonen T
    Journal Proceedings of the AAAI Conference on Artificial Intelligence
    Pages 2938-2945
    Link Publication
  • 2019
    Title Counting Complexity for Reasoning in Abstract Argumentation
    DOI 10.1609/aaai.v33i01.33012827
    Type Journal Article
    Author Fichte J
    Journal Proceedings of the AAAI Conference on Artificial Intelligence
    Pages 2827-2834
    Link Publication
  • 2019
    Title Strong Equivalence for Argumentation Frameworks with Collective Attacks
    DOI 10.1007/978-3-030-30179-8_11
    Type Book Chapter
    Author Dvorák W
    Publisher Springer Nature
    Pages 131-145
  • 2019
    Title On the expressive power of collective attacks
    DOI 10.3233/aac-190457
    Type Journal Article
    Author Dvorák W
    Journal Argument & Computation
    Pages 191-230
    Link Publication
  • 2019
    Title A general notion of equivalence for abstract argumentation
    DOI 10.1016/j.artint.2019.06.006
    Type Journal Article
    Author Baumann R
    Journal Artificial Intelligence
    Pages 379-410
    Link Publication
  • 2019
    Title Complexity of Abstract Argumentation under a Claim-Centric View
    Type Conference Proceeding Abstract
    Author Dvorak W.
    Conference AAAI 2019 - 33rd Conference on Artificial Intelligence
    Pages 2801-2808
  • 2019
    Title Preprocessing Argumentation Frameworks via Replacement Patterns
    Type Conference Proceeding Abstract
    Author Dvorák W.
    Conference Logics in Artificial Intelligence - 16th European Conference, JELIA 2019
    Pages 116-132
  • 2019
    Title Multi-valued GRAPPA
    Type Conference Proceeding Abstract
    Author Brewka
    Conference Logics in Artificial Intelligence - 16th European Conference, JELIA 2019
    Pages 85-101
  • 2019
    Title On the expressive power of collective attacks
    Type Journal Article
    Author Dvorak W.
    Journal Argument & Computation
    Pages 191-230
  • 2019
    Title Structural constraints for dynamic operators in abstract argumentation
    DOI 10.3233/aac-190471
    Type Journal Article
    Author Wallner J
    Journal Argument & Computation
    Pages 151-190
    Link Publication
  • 2019
    Title Solving Advanced Argumentation Problems with Answer Set Programming
    DOI 10.48550/arxiv.1912.02734
    Type Preprint
    Author Brewka G
  • 2018
    Title Summary Report of the Second International Competition on Computational Models of Argumentation
    DOI 10.1609/aimag.v39i4.2795
    Type Journal Article
    Author Gaggl S
    Journal AI Magazine
    Pages 73-76
    Link Publication
  • 2018
    Title Weighted Abstract Dialectical Frameworks
    Type Conference Proceeding Abstract
    Author Brewka G.
    Conference Thirty-Second AAAI Conference 2018
    Pages 1779-1786
  • 2018
    Title Abstract Dialectical Frameworks. An Overview; In: Handbook of Formal Argumentation
    Type Book Chapter
    Pages 237-285
  • 2016
    Title Understanding the Abstract Dialectical Framework
    DOI 10.1007/978-3-319-48758-8_28
    Type Book Chapter
    Author Polberg S
    Publisher Springer Nature
    Pages 430-446
  • 2016
    Title On the Functional Completeness of Argumentation Semantics.
    Type Conference Proceeding Abstract
    Author Giacomin M
    Conference C. Baral, J. P. Delgrande, F. Wolter, Editors: Principles of Knowledge Representation and Reasoning: Proceedings of the 15th International Conference, KR 2016.
  • 2016
    Title Verifiability of Argumentation Semantics.
    Type Conference Proceeding Abstract
    Author Baumann R
    Conference G. Kern-Isberner and R. Wassermann, editors, Proceedings of the 16th International Workshop on Non-Monotonic reasoning, NMR 2016.
  • 2016
    Title Comparing the expressiveness of argumentation semantics
    DOI 10.1093/logcom/exw008
    Type Journal Article
    Author Dvorák W
    Journal Journal of Logic and Computation
    Pages 1489-1521
  • 2016
    Title Investigating the Relationship between Argumentation Semantics via Signatures.
    Type Journal Article
    Author Dunne Pe
    Journal G. Friedrich, M. Helmert, F. Wotawa, editors, KI 2016: Advances in Artificial Intelligence - 39th Annual German Conference on AI.
  • 2016
    Title Using Enthymemes to Fill the Gap between Logical Argumentation and Revision of Abstract Argumentation Frameworks.
    Type Conference Proceeding Abstract
    Author Mailly Jg
    Conference Kern-Isberner, Wassermann, Editors: Proceedings of the 16th International Workshop on Non-monotonic reasoning, NMR 2016.
  • 2016
    Title GrappaVis - A System for Advanced Graph-Based Argumentation.
    Type Journal Article
    Author Heissenberger G
    Journal P. Baroni, T. F. Gordon, T. Scheffler, M. Stede, Editors: Computational Models of Argument - Proceedings of COMMA 2016.
  • 2016
    Title Towards Advanced Systems for Abstract Argumentation.
    Type Conference Proceeding Abstract
    Author Woltran S
    Conference M. Thimm, F. Cerutti, H. Strass, and M. Vallati, editors, Proceedings of the First International Workshop on Systems and Algorithms for Formal Argumentation, SAFA 2016. Extended Abstract of Invited Talk
  • 2016
    Title Quantifying the Difference Between Argumentation Semantics.
    Type Journal Article
    Author Doutre S
    Journal P. Baroni, T. F. Gordon, T. Scheffler, M. Stede, Editors: Computational Models of Argument - Proceedings of COMMA 2016.
  • 2016
    Title A Uniform Account of Realizability in Abstract Argumentation.
    Type Journal Article
    Author Linsbichler T
    Journal G. A. Kaminka, M. Fox, P. Bouquet, E. Hüllermeier, V. Dignum, F. Dignum, F. Van Harmelen, Editors: ECAI 2016 - 22nd European Conference on Artificial Intelligence.
  • 2016
    Title On rejected arguments and implicit conflicts: The hidden power of argumentation semantics
    DOI 10.1016/j.artint.2016.09.004
    Type Journal Article
    Author Baumann R
    Journal Artificial Intelligence
    Pages 244-284
    Link Publication
  • 2016
    Title Proceedings of the First International Workshop on Argumentation in Logic Programming and Non-Monotonic Reasoning (Arg-LPNMR 2016)
    DOI 10.48550/arxiv.1611.02439
    Type Preprint
    Author Gaggl S
  • 2016
    Title Proceedings of the Second Summer School on Argumentation: Computational and Linguistic Perspectives (SSA'16)
    DOI 10.48550/arxiv.1608.02441
    Type Preprint
    Author Gaggl S
  • 2018
    Title Abstract solvers for Dung’s argumentation frameworks
    DOI 10.3233/aac-170031
    Type Journal Article
    Author Brochenin R
    Journal Argument & Computation
    Pages 41-72
    Link Publication
  • 2018
    Title Two Sides of the Same Coin: Belief Revision and Enforcing Arguments
    DOI 10.24963/ijcai.2018/256
    Type Conference Proceeding Abstract
    Author Haret A
    Pages 1854-1860
    Link Publication
  • 2018
    Title Novel Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving
    DOI 10.24963/ijcai.2018/263
    Type Conference Proceeding Abstract
    Author Linsbichler T
    Pages 1905-1911
    Link Publication
  • 2018
    Title An extension-based approach to belief revision in abstract argumentation
    DOI 10.1016/j.ijar.2017.11.013
    Type Journal Article
    Author Diller M
    Journal International Journal of Approximate Reasoning
    Pages 395-423
  • 2018
    Title ArgueApply: Abstract Argumentation at Your Fingertips
    DOI 10.1007/s13218-018-0532-1
    Type Journal Article
    Author Pührer J
    Journal KI - Künstliche Intelligenz
    Pages 209-212
  • 2020
    Title Complexity of abstract argumentation under a claim-centric view
    DOI 10.1016/j.artint.2020.103290
    Type Journal Article
    Author Dvorák W
    Journal Artificial Intelligence
    Pages 103290
    Link Publication
  • 2020
    Title Design and results of the Second International Competition on Computational Models of Argumentation
    DOI 10.1016/j.artint.2019.103193
    Type Journal Article
    Author Gaggl S
    Journal Artificial Intelligence
    Pages 103193
    Link Publication
  • 2020
    Title ASPARTIX-V19 - An Answer-Set Programming Based System for Abstract Argumentation
    DOI 10.1007/978-3-030-39951-1_5
    Type Book Chapter
    Author Dvorák W
    Publisher Springer Nature
    Pages 79-89
  • 2020
    Title Investigating subclasses of abstract dialectical frameworks
    DOI 10.3233/aac-190481
    Type Journal Article
    Author Diller M
    Journal Argument & Computation
    Pages 191-219
    Link Publication
  • 2020
    Title Solving Advanced Argumentation Problems with Answer Set Programming
    DOI 10.1017/s1471068419000474
    Type Journal Article
    Author Brewka G
    Journal Theory and Practice of Logic Programming
    Pages 391-431
    Link Publication
  • 2020
    Title Expressiveness of SETAFs and Support-Free ADFs under 3-valued Semantics
    DOI 10.48550/arxiv.2007.03581
    Type Preprint
    Author Dvorák W
  • 2014
    Title The role of self-attacking arguments in characterizations of equivalence notions
    DOI 10.1093/logcom/exu010
    Type Journal Article
    Author Baumann R
    Journal Journal of Logic and Computation
    Pages 1293-1313
  • 2018
    Title Weighted Abstract Dialectical Frameworks: Extended and Revised Report
    DOI 10.48550/arxiv.1806.07717
    Type Preprint
    Author Brewka G
  • 2018
    Title Counting Complexity for Reasoning in Abstract Argumentation
    DOI 10.48550/arxiv.1811.11501
    Type Preprint
    Author Fichte J
  • 2017
    Title On the Complexity of Enumerating the Extensions of Abstract Argumentation Frameworks
    DOI 10.24963/ijcai.2017/159
    Type Conference Proceeding Abstract
    Author Kröll M
    Pages 1145-1152
    Link Publication
  • 2017
    Title A General Notion of Equivalence for Abstract Argumentation
    DOI 10.24963/ijcai.2017/111
    Type Conference Proceeding Abstract
    Author Baumann R
    Pages 800-806
    Link Publication
  • 2017
    Title ArgueApply: A Mobile App for Argumentation
    DOI 10.1007/978-3-319-61660-5_23
    Type Book Chapter
    Author Pührer J
    Publisher Springer Nature
    Pages 250-262
  • 2017
    Title Solving Advanced Argumentation Problems with Answer-Set Programming
    DOI 10.1609/aaai.v31i1.10682
    Type Journal Article
    Author Brewka G
    Journal Proceedings of the AAAI Conference on Artificial Intelligence
    Link Publication
  • 2017
    Title Advances in Abstract Argumentation - Expressiveness and Dynamics
    Type Other
    Author Linsbichler T.
  • 2017
    Title A study of unrestricted abstract argumentation framworks
    Type Conference Proceeding Abstract
    Author Baumann R.
    Conference IJCAI
    Pages 807-813
  • 2017
    Title Solving advanced argumentation problems with answer-set programming.
    Type Conference Proceeding Abstract
    Author Brewka G.
    Conference Thirty-First AAAI Conference
    Pages 1077-1083
  • 2017
    Title Ranking Specific Sets of Objects
    DOI 10.1007/s13222-017-0264-7
    Type Journal Article
    Author Maly J
    Journal Datenbank-Spektrum
    Pages 255-265
    Link Publication
  • 2017
    Title Set- and graph-theoretic investigations in abstract argumentation
    Type Other
    Author Spanring C.
  • 2017
    Title Developing the Abstract Dialectical Framework
    Type Other
    Author Polberg S.
Disseminations
  • 2016
    Title Workshop and Conferences
    Type A talk or presentation
Scientific Awards
  • 2018
    Title EurAI Fellow
    Type Awarded honorary membership, or a fellowship, of a learned society
    Level of Recognition Continental/International