Suggested Thesis Topics

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

Suggested Thesis Topics

There is still work to do on this page

Write an introduction here. Maybe link to a non-Javascript version of the page.

See also the list of all pages with todos. This note is only visible to logged in users.

Type of thesis

Master

Forschungsgruppe

Computational Logic

Liste

• A Simplified Tableau Calculus for Standpoint LTL
• Supervisor: Tim Lyon
• Available as topic for a Master's thesis

• Ill-Founded Linear Nested Sequents for LTL
• Supervisor: Tim Lyon
• Available as topic for a Master's thesis