Logic Programming and Argumentation: Completed Theses
From International Center for Computational Logic
Completed Theses
Research group: Logische Programmierung und Argumentation
Master's Theses
- Analysis of Runtime Optimization Approaches for Answer Set Programming
- by Pratistha Kansakar (26 August 2025)
- Supervisor: Sarah Alice Gaggl, Elisa Böhl
- Scheduling in Unit-Aware, Batch-Constrained Job Shops Evaluation of Dispatching Rule Strategies and Simulated Annealing Approaches
- by Tuan Giang Trinh (26 Juli 2025)
- Supervisor: Sarah Alice Gaggl
- External partner: Holger Brandl (Systema)
- Automatic and Interactive Search in Flexible Dispute Derivations for Assumption-Based Argumentation
- by Piotr Gorczyca (5 Juli 2022)
- Supervisor: Sarah Alice Gaggl, Martin Diller
- Visualizing the Extension Space of Abstract Argumentation Frameworks Using Clustering Methods
- by Mei Yang (27 Februar 2021)
- Supervisor: Sebastian Rudolph, Sarah Alice Gaggl
- Analysis and Implementation of scf2 Argumentation Semantics
- by Guzel Khuziakhmetova (25 Februar 2021)
- Supervisor: Sebastian Rudolph, Sarah Alice Gaggl
Project Theses
- Scheduling Complex Oral Exams in Answer Set Programming
- by Pratistha Kansakar (2 April 2024)
- Supervisor: Sarah Alice Gaggl
