Lehre

Typ	Wintersemester	Sommersemester
Vorlesungen	Logik für Informatik	Datenbanken 2
	Datenbanken (Alle 2 Jahre, nächse WS 2025/2026)	Deduktive Datenbanken
	Logikprogrammierung (Alle 2 Jahre, nächste WS 2024/2025)
Seminare		Advanced Databases and Logic Programming
Praktika	Datenbanken und Regelbasierte Systeme

Verfügbare Abschlussarbeiten

Link