Logische Programmierung und Argumentation
Aus International Center for Computational Logic
Logische Programmierung und Argumentation
- Kontaktperson Sarah Alice Gaggl
- Sekretariat ramona.behling@tu-dresden.de
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.
Professoren und Gruppenleiter
- APB 2021
- +49 351 463 38679
Verwaltung
Dipl.-Ing. Ramona Behling
- APB 2048
- +49 351 463 38516
Wissenschaftliche Mitarbeiter
Dipl.-Inf. Elisa Böhl
- APB 2017
- +49 351 463 42666
Gastwissenschaftler
Techniker
Neueste Publikationen
Komplette Publikationsliste anzeigen
Johannes Klaus Fichte, Sarah Alice Gaggl, Markus Hecher, Dominik Rusovac
IASCAR: Incremental Answer Set Counting by Anytime Refinement
Theory and Practice of Logic Programming, 1-28, February 2024
Details Download
Jonas Karge, Juliette-Michelle Burkhardt, Sebastian Rudolph, Dominik Rusovac
To Lead or to be Led: A Generalized Condorcet Jury Theorem under Dependence
AAMAS '24: Proceedings of the 2024 International Conference on Autonomous Agents and Multiagent Systems, to appear
Details Download
Elisa Böhl, Sarah Alice Gaggl, Dominik Rusovac
Representative Answer Sets: Collecting Something of Everything
In Kobi Gal, Ann Nowé, Grzegorz J. Nalepa, Roy Fairstein, Roxana Radulescu, eds., Proceedings of the 26th European Conference on Artificial Intelligence (ECAI 2023), 271--278, September 2023. IOS Press
Details Download
Johannes Klaus Fichte, Sarah Alice Gaggl, Markus Hecher, Dominik Rusovac
IASCAR: Incremental Answer Set Counting by Anytime Refinement
Technical Report, arXiv.org, volume arXiv:2311.07233, November 2023. Under consideration in Theory and Practice of Logic Programming (TPLP)
Details Download
Martin Diller, Sarah Alice Gaggl, Piotr Gorczyca
flexABle – System Description for ICCMA 2023
System description for ICCMA 2023, 2023
Details Download
Sarah Alice Gaggl, Maria Vanina Martinez, Magdalena Ortiz
Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings
Volume 14281 of Lecture Notes in Computer Science, September 2023. Springer
Details
Enrico Pontelli, Stefania Costantini, Carmine Dodaro, Sarah Alice Gaggl, Roberta Calegari, Artur D'Avila Garcez, Francesco Fabiano, Francesco Fabiano, Alessandra Russo, Francesca Toni
Proceedings 39th International Conference on Logic Programming
Volume 385, September 2023. Open Publishing Association
Details
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
Lehrveranstaltungen
- Advanced Problem Solving and Search (WS 2023)
- Foundations of Logic Programming (WS 2021)
Abgeschlossene Arbeiten
- Automatic and Interactive Search in Flexible Dispute Derivations for Assumption-Based Argumentation
- von Piotr Gorczyca (5 Juli 2022)
- Betreuer: Sarah Alice Gaggl, Martin Diller
- Visualizing the Extension Space of Abstract Argumentation Frameworks Using Clustering Methods
- von Mei Yang (27 Februar 2021)
- Betreuer: Sebastian Rudolph, Sarah Alice Gaggl
- Analyse und Implementierung der scf2 Argumentation Semantik
- von Guzel Khuziakhmetova (25 Februar 2021)
- Betreuer: Sebastian Rudolph, Sarah Alice Gaggl