Logische Programmierung und Argumentation: Abgeschlossene Arbeiten

Studienarbeiten

• Themenvorschläge für Studien- und Abschlussarbeiten
• Abgeschlossene Arbeiten
  • Algebra und Diskrete Strukturen
  • Algebraische und logische Grundlagen der Informatik
  • Automatentheorie
  • Computational Logic
  • Knowledge-aware Artificial Intelligence
  • Logische Programmierung und Argumentation
  • Wissensbasierte Systeme
• Laufende Studienarbeiten

Toggle side column

Abgeschlossene Arbeiten

Forschungsgruppe: Logische Programmierung und Argumentation

Masterarbeiten

• 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