Skip to Content

TU Wien Fakultät für Informatik DBAI Database and Artificial Intelligence Group
Top-level Navigation:

Path: DBAI > research > Argumentation

Tools: Drucken

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.



Former Members


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 mentionable activities of the group beyond that are listed below:

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

Past Projects


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.


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




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.

Home / Kontakt / Webmaster / Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist das Institut für Logic and Computation an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. / Disclaimer.