Formal Argumentation at DBAI
Formal Argumentation: Formal Argumentation is an increasingly important area of Artificial Intelligence (AI) and nowadays present at all major AI conferences and in major AI journals. Formal Models of Argumentation are concerned with the representation of an argument, the representation of the relationship between arguments and solving conflicts between the arguments.
Formal Argumentation at DBAI: Starting with Stefan Woltran's WWTF funded project on "New Methods for Analyzing, Comparing, and Solving Argumentation Problems" in 2009 a group of researchers working on different aspects of Formal Argumentation has grown at DBAI. The aim of this page is to give an overview of the research & teaching activities of this group.
Contents
People
Former Members
- Martin Diller
- Sarah Alice Gaggl
- Adrian Haret
- Thomas Linsbichler
- Jean-Guy Mailly
- Sylwia Polberg
- Jörg Pührer
- Christof Spanring
- Johannes P. Wallner
Activities
The group members are regularly active as reviewers and PC-members for conferences and journals in the field and actively participate in scientific meetings. Some mention-able activities of the group beyond that are listed below:- We are participating in the Fourth International Competition on Computational Models of Argumentation (ICCMA'21)
- Handbook of Formal Argumentation Vol. 2: We are contributing to the second volume of the Handbook of Formal Argumentation.
- NTFA19: We are organizing the 2nd Workshop on New Trends in Formal Argumentation in Vienna.
- We are participating in the Third International Competition on Computational Models of Argumentation (ICCMA'19)
- Handbook of Formal Argumentation: We are contributing to the Handbook of Formal Argumentation. [Handbook at College Publications]
- NTFA17: We organized the Workshop on New Trends in Formal Argumentation in Vienna.
- ICCMA 2017: We co-organized the 2nd International Competition on Computational Models of Argumentation.
- COMMA 2012: TU Wien hosted the fourth International Conference on Computational Models of Argument.
Research Projects
Find below lists of past and ongoing research projects at the group. For more detailed information on the projects please follow the provided links.Ongoing Projects
- REVEALAI: Revealing and Utilizing the Hidden Structure for Solving Hard Problems in AI (Research Project)
- EMBArg: Extending Methods in Belief Change to Advance Dynamics in Argumentation
Past Projects
- GRAPPA: A Semantical Framework for Graph-Based Argument Processing
- ADF-project: Abstract Dialectical Frameworks: Advanced Tools for Formal Argumentation
- New Methods for Analyzing, Comparing and Solving Argumentation Problems: This project investigated the basics for comparing argumentation frameworks and to accelerate the computing process by new methods.
Teaching
In the spirit of research-driven teaching, we teach basics as well as more advanced concepts in formal argumentation to our students and encourage them to participate in our research in terms of students projects and theses.- Course on Abstract Argumentation: Since 2011 we have a regular master level course on abstract argumentation at TU Wien.
- Thesis & Student Projects: We are frequently supervising student projects, bachelor and master thesis on topics in formal argumentation (see: list of theses). If you are interested in pursuing a project/thesis with us please contact one of the potential supervisors.
Systems
We are actively developing systems for different kind of argumentation formalisms. Find below, a list of the major argumentation systems (co-)developed at the group.Dung style Abstract Argumentation
- ASPARTIX: A System for Computing Different Argumentation Semantics in Answer-Set Programming.
- CEGARTIX: Counter-Example Guided Argumentation Reasoning Tool
- dynPARTIX: dynPARTIX is a system for abstract argumentation which is based on tree decompositions and dynamic programming.
- UNREAL: Uniform Account of Realizability in Abstract Argumentation.
ADFs & GRAPPA
- GrappaVis: A System For Advanced Graphical Argumentation Formalisms.
- UNREAL: Uniform Account of Realizability in Abstract Argumentation.
- QADF: QBF-based implementation for ADF semantics.
- YADF: Dynamic ASP-based system for computing acceptable sets of arguments for ADFs.
Miscellaneous
- ArgueApply: A Mobile App for Argumentation
- GERD (Genteel Extended argumentation Reasoning Device): ASP-based implementation of EAF semantics.
- Vispartix: A system for generating argumentation frameworks following an instantiation-based approach; and for visualizing argumentation frameworks.
Contact
Please, direct inquiries on projects, systems, and other activities to the persons in charge of that (check the corresponding webpage).For comments/questions concerning this page please contact Wolfgang Dvořák.