Scheduling Complex Oral Exams in Answer Set Programming

Studienarbeiten

• Themenvorschläge für Studien- und Abschlussarbeiten
• Abgeschlossene Arbeiten
  • Algebra und Diskrete Strukturen
  • Automatentheorie
  • Computational Logic
  • Knowledge-aware Artificial Intelligence
  • Logische Programmierung und Argumentation
  • Verifikation und formale quantitative Analyse
  • Wissensbasierte Systeme
• Laufende Studienarbeiten

Toggle side column

Scheduling Complex Oral Exams in Answer Set Programming

Studienarbeit von Pratistha Kansakar

•   Betreuer Sarah Gaggl
•   Logische Programmierung und Argumentation
•   12. Dezember 2023 – 02. April 2024