Automata Theory: Completed Theses

Theses

• Suggested Thesis Topics
• Completed Theses
  • Algebra und Diskrete Strukturen
  • Automatentheorie
  • Computational Logic
  • Knowledge-aware Artificial Intelligence
  • Logische Programmierung und Argumentation
  • Verifikation und formale quantitative Analyse
  • Wissensbasierte Systeme
• Currently Ongoing Theses

Toggle side column

Completed Theses

Research group: Automatentheorie

Master's Theses

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

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