Justifications under the Fixed-Domain Semantics

Studienarbeiten

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

Toggle side column

Justifications under the Fixed-Domain Semantics

Masterarbeit von Satyadharma Tirtarasa

•   Betreuer Lukas Schweizer, Sebastian Rudolph
•   Computational Logic
•   – 28. September 2017