Logische Programmierung und Argumentation

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

Logische Programmierung und Argumentation

Die Forschungsgruppe Logische Programmierung und Argumentation an der Fakultät für Informatik und dem Institut für Künstliche Intelligenz befasst sich mit theoretischen und praktischen Aspekten der Logischen Programmierung im Speziellen mit Answer Set Programming (ASP), sowie mit Argumentations Theorie.

Neueste Publikationen

Komplette Publikationsliste anzeigen

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

Sarah Alice Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran
Design and Results of the Second International Competition on Computational Models of Argumentation
Technical Report, arXiv.org, volume CoRR abs/1909.00621, September 2019
Details Download

Martin Diller, Adam Zachary Wyner, Hannes Strass
Making Sense of Conflicting (Defeasible) Rules in the Controlled Natural Language ACE: Design of a System with Support for Existential Quantification Using Skolemization
Proceedings of the 13th International Conference on Computational Semantics, 32-37, 2019. Association for Computational Linguistics
Details

Hannes Strass, Adam Zachary Wyner, Martin Diller
EMIL: Extracting Meaning from Inconsistent Language: Towards argumentation using a controlled natural language interface
International Journal of Approximate Reasoning, 112:55-84, 2019
Details

Gerhard Brewka, Martin Diller, Georg Heissenberger, Thomas Linsbichler, Stefan Woltran
Solving Advanced Argumentation Problems with Answer Set Programming
Technical Report, arXiv.org, December 2019
Details

Komplette Publikationsliste anzeigen



Logo CPEC final RGB.svg

CPEC
Grundlagen verständlicher Softwaresysteme

NAVAS
Navigation im Lösungsraum von Answer Sets