Reaching Definability via Abduction

Studienarbeiten

• Themenvorschläge für Studien- und Abschlussarbeiten
• Abgeschlossene Arbeiten
  • Algebra und Diskrete Strukturen
  • Algebraische und logische Grundlagen der Informatik
  • Automatentheorie
  • Computational Logic
  • Knowledge-aware Artificial Intelligence
  • Logische Programmierung und Argumentation
  • Wissensbasierte Systeme
• Laufende Studienarbeiten

Toggle side column

Reaching Definability via Abduction

Masterarbeit von Evgeny Sherkhonov

•   Betreuer Steffen Hölldobler
•   Wissensverarbeitung
•   10. Januar 2011 – 10. Januar 2011