Logische Programmierung und Argumentation: Abgeschlossene Arbeiten
Aus International Center for Computational Logic
Abgeschlossene Arbeiten
Forschungsgruppe: Logische Programmierung und Argumentation
Masterarbeiten
- 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)
- 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
Studienarbeiten
- Scheduling Complex Oral Exams in Answer Set Programming
- von Pratistha Kansakar (2 April 2024)
- Betreuer: Sarah Alice Gaggl
