Automatentheorie: Abgeschlossene Arbeiten

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

Abgeschlossene Arbeiten

Forschungsgruppe: Automatentheorie

Masterarbeiten

• Finite Herbrand Models for Monadic Clauses with Unary Function Symbols
• von Muhammad Zahid Zia (14 April 2016)
• Betreuer: Franz Baader, Stefan Borgwardt

• Iterative Ontology Update with Minimum Change
• von Aparna Saisree Thuluva (9 März 2015)
• Betreuer: Rafael Peñaloza Nyssen