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 2017
- +49 351 463 38679
Verwaltung
Wissenschaftliche Mitarbeiter
Techniker
Ehemalige
Dipl.-Inf. Elisa Böhl
- Ehemals Wissenschaftliche Mitarbeiterin
- Logische Programmierung und Argumentation
- Ehemals Wissenschaftlicher Mitarbeiter
- Wissensbasierte Systeme, Logische Programmierung und Argumentation
Ehemalige Gäste
Neueste Publikationen
Komplette Publikationsliste anzeigen
Martin Diller, Sarah Alice Gaggl, Philipp Hanisch, Giuseppina Monterosso, Fritz Rauschenbach
Grounding Rule-Based Argumentation Using Datalog
In Magdalena Ortiz, Renata Wassermann, Torsten Schaub, eds., Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025), 281–292, November 2025. IJCAI Organization
Details Download
Daniel Gnad, Markus Hecher, Sarah Alice Gaggl, Dominik Rusovac, David Jakob Speck, Johannes K. Fichte
Interactive Exploration of Plan Spaces
In Magdalena Ortiz, Renata Wassermann, Torsten Schaub, eds., Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning — KR in the Wild (KR 2025), 599–609, November 2025. IJCAI Organization
Details Download
Martin Diller, Piotr Gorczyca
ABA Disputes in ASP: Advancing Argument Games through Multi-Shot Solving
Proceedings of the 23rd International Workshop on Nonmonotonic Reasoning (NMR), to appear
Details Download
Piotr Gorczyca, Dörthe Arndt, Martin Diller, Jochen Hampe, Georg Heidenreich, Pascal Kettmann, Markus Krötzsch, Stephan Mennicke, Sebastian Rudolph, Hannes Straß
Supporting Risk Management for Medical Devices via the Riskman Ontology and Shapes
Proceedings of the 21st International Conference on Semantic Systems (SEMANTiCS 2025), to appear
Details Download
Michelle Kornherr, Augusto B. Correa, Sarah Alice Gaggl, Markus Hecher, Dominik Rusovac, David Speck, Johannes K. Fichte, Daniel Gnad
Graphical Navigation in Solution Spaces using PlanPilot
System Demonstrations and Exhibits program at ICAPS 2025 (The 35th International Conference on Automated Planning and Scheduling), to appear
Details Download
Martin Diller, Piotr Gorczyca
ABA Disputes in ASP: Advancing Argument Games through Multi-Shot Solving
Proceedings of the 26th International Conference on Principles and Practice of Multi-Agent Systems, to appear
Details
Martin Diller, Sarah Alice Gaggl, Philipp Hanisch, Giuseppina Monterosso, Fritz Rauschenbach
Grounding Rule-Based Argumentation Using Datalog
Technical Report, arXiv.org, August 2025. Long version of article to appear in Proceedings of KR 2025
Details Download
Daniel Gnad, Augusto B. Correa, Johannes K. Fichte, David Speck, Dominik Rusovac, Sarah Alice Gaggl, Markus Hecher
PlanPilot: Efficient Navigation in Plan Space
Workshop on Explainable Artificial Intelligence (XAI), August 2025
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, 2024
Details Download
Elisa Böhl, Stefan Ellmauthaler, Sarah Alice Gaggl
Winning Snake: Design Choices in Multi-Shot ASP
Theory and Practice of Logic Programming, 24(4):772-789, July 2024
Details Download
Lehrveranstaltungen
- Advanced Problem Solving and Search (WS 2025)
- Seminar Logic-Based Knowledge Representation (SS 2025)
- Advanced Problem Solving and Search (WS 2024)
- Advanced Problem Solving and Search (WS 2023)
- Foundations of Logic Programming (WS 2021)
Abgeschlossene Arbeiten
- Analysis of Runtime Optimization Approaches for Answer Set Programming
- von Pratistha Kansakar (26 August 2025)
- Betreuer: Sarah Alice Gaggl, Elisa Böhl
- Scheduling in Unit-Aware, Batch-Constrained Job Shops Evaluation of Dispatching Rule Strategies and Simulated Annealing Approaches
- von Tuan Giang Trinh (26 Juli 2025)
- Betreuer: Sarah Alice Gaggl
- Externer Partner: Holger Brandl (Systema)
- Scheduling Complex Oral Exams in Answer Set Programming
- von Pratistha Kansakar (2 April 2024)
- Betreuer: Sarah Alice Gaggl
- 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
