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

Elisa Böhl, Sarah Alice Gaggl, Dominik Rusovac
Representative Answer Sets: Collecting Something of Everything
Proceedings of the 26th European Conference on Artificial Intelligence (ECAI 2023), to appear
Details Download
Sarah Alice Gaggl
Scalable Understanding: Navigation Approaches for Answer Sets
Invited talk at the Artificial Intelligence Group (AIG) at the FernUnversität in Hagen, October 2022
Details
Dominik Rusovac
Answer Set Navigation: Probleme Besser Verstehen
Invited talk at Security Networks AG Dresden (remotely held), May 2022
Details
Dominik Rusovac
Rushing and Strolling among Answer Sets - Navigation Made Easy
International Workshop on Counting and Sampling in Haifa, Israel at FLoC 2022, August 2022
Details
Ridhwan Dewoprabowo, Johannes Klaus Fichte, Piotr Gorczyca, Markus Hecher
A Practical Account into Counting Dung’s Extensions by Dynamic Programming
In Georg Gottlob, Daniela Inclezan, Marco Maratea, eds., Proceedings of the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), volume 13416 of Lecture Notes in Computer Science, 387-400, 2022. Springer
Details
Sarah Alice Gaggl, Jean-Guy Mailly, Matthias Thimm, Johannes Peter Wallner
The Fourth International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2022)
Volume 3236, October 2022. CEUR-WS
Details
Stefan Ellmauthaler, Sarah Alice Gaggl, Dominik Rusovac, Johannes P. Wallner
Representing Abstract Dialectical Frameworks with Binary Decision Diagrams
In G. Gottlob, D Inclezan, M. Maratea, eds., Proceedings of the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), volume 13416 of Lecture Notes in Computer Science, 177-198, 2022. Springer
Details Download
Martin Diller, Sarah Alice Gaggl, Piotr Gorczyca
Strategies in Flexible Dispute Derivations for Assumption-Based Argumentation
In Sarah A. Gaggl, Jean-Guy Mailly, Matthias Thimm, Johannes P. Wallner, eds., Proceedings of the 4th International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2022), volume 3236, 59-72, October 2022. CEUR-WS
Details Download
Raimund Dachselt, Sarah Alice Gaggl, Markus Krötzsch, Julián Méndez, Dominik Rusovac, Mei Yang
NEXAS: A Visual Tool for Navigating and Exploring Argumentation Solution Spaces
In Francesca Toni, eds., Proceedings of the 9th International Conference on Computational Models of Argument (COMMA 2022), volume 220146 of FAIA, 116-127, September 2022. IOS Press
Details Download
Stefan Ellmauthaler, Sarah Alice Gaggl, Dominik Rusovac, Johannes P. Wallner
ADF - BDD : An ADF Solver Based on Binary Decision Diagrams
In Francesca Toni, eds., Proceedings of the 9th International Conference on Computational Models of Argument (COMMA 2022), volume 220146 of FAIA, 355-356, September 2022. IOS Press
Details Download
Komplette Publikationsliste anzeigen

Lehrveranstaltungen



Abgeschlossene Arbeiten

NAVAS-logo.png

NAVAS
Navigation im Lösungsraum von Answer Sets

Adf-bdd
Abstract Dialectical Frameworks mit Binary Decision Diagrammen lösen