Logic Programming and Argumentation
From International Center for Computational Logic
Logic Programming and Argumentation
- Contact Sarah Alice Gaggl
- Secretary ramona.behling@tu-dresden.de
The research group Logic Programming and Argumentation at the faculty of informatics, Institute of Artificial Intelligence deals with theoretical and practical aspects of logic programming in particular with answer set programming (ASP) as well as with argumentation theory.
Professors and Research Group Leaders
- APB 2021
- +49 351 463 38679
Management
Scientific Staff
Technical Administrators
Student Assistants
Newest Publications
Martin Diller, Sarah Alice Gaggl, Piotr Gorczyca
Flexible Dispute Derivations with Forward and Backward Arguments for Assumption-Based Argumentation
In Pietro Baroni, Christoph Benzmüller, Yì N. Wán, eds., Proceedings of the 4th International Conference on Logic and Argumentation (CLAR 2021), volume 13040 of LNCS, 147-168, 2021. Springer
Details Download
Sarah Alice Gaggl, Sebastian Rudolph, Hannes Strass
On the Decomposition of ADFs and the Complexity of Naive-based Semantics
IJCAI 2021 Journal Track, 2021
Details
Sarah Alice Gaggl, Sebastian Rudolph, Hannes Strass
On the Decomposition of ADFs and the Complexity of Naive-based Semantics
Journal of Artificial Intelligence Research, 70:1-64, January 2021
Details Download
Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns, Nikolai Käfer
Admissibility in Probabilistic Argumentation
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), to appear
Details
Martin Diller, Atefeh Keshavarzi Zafarghandi, Thomas Linsbichler, Stefan Woltran
Investigating subclasses of abstract dialectical frameworks
Argument & Computation, 11(1-2):191-219, May 2020
Details
Gerhard Brewka, Martin Diller, Georg Heissenberger, Thomas Linsbichler, Stefan Woltran
Solving Advanced Argumentation Problems with Answer Set Programming
Theory and Practice of Logic Programming, January 2020
Details
Mei Yang, Sarah Alice Gaggl, Sebastian Rudolph
Neva – Extension Visualization for Argumentation Frameworks
Proceedings of the 8th International Conference on Computational Models of Argument (COMMA 2020), volume 326 of Frontiers in Artificial Intelligence and Applications, 477-478, September 2020
Details Download
Sarah Alice Gaggl, Matthias Thimm, Mauro Vallati
Proceedings of the Third International Workshop on Systems and Algorithms for Formal Argumentation (SAFA'20)
Volume 2672, September 2020. CEUR-WS.org
Details
Sarah Alice Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran
Design and results of the second international competition on computational models of argumentation
Artificial Intelligence, 279, February 2020
Details Download
Wolfgang Dvořák, Sarah Alice Gaggl, Anna Rapberger, Johannes Peter Wallner, Stefan Woltran
The ASPARTIX System Suite
Proceedings of the 8th International Conference on Computational Models of Argument (COMMA 2020), volume 326 of Frontiers in Artificial Intelligence and Applications, 461-462, September 2020
Details Download
Courses
- Foundations of Logic Programming (WS 2021)
Completed Theses
- Visualizing the Extension Space of Abstract Argumentation Frameworks Using Clustering Methods
- by Mei Yang (27 Februar 2021)
- Supervisor: Sebastian Rudolph, Sarah Alice Gaggl
- Analysis and Implementation of scf2 Argumentation Semantics
- by Guzel Khuziakhmetova (25 Februar 2021)
- Supervisor: Sebastian Rudolph, Sarah Alice Gaggl
