Analysis of Runtime Optimization Approaches for Answer Set Programming

Theses

• Suggested Thesis Topics
• Completed Theses
  • Algebra und Diskrete Strukturen
  • Algebraische und logische Grundlagen der Informatik
  • Automatentheorie
  • Computational Logic
  • Knowledge-aware Artificial Intelligence
  • Logische Programmierung und Argumentation
  • Wissensbasierte Systeme
• Currently Ongoing Theses

Toggle side column

Analysis of Runtime Optimization Approaches for Answer Set Programming

Master's thesis by Pratistha Kansakar

•   Supervisor Sarah Alice Gaggl, Elisa Böhl
•   Logische Programmierung und Argumentation
•   12 März 2025 – 26 August 2025

(Description available only in German) Unfortunately, there is no description available.