Vorlesungen
Laborübungen
Praktika, Bachelor- und Masterarbeiten
Frühere Semester
Vorlesungen
- Logik für Wissensrepräsentation;
- Intelligente Softwareagenten;
- Geschichte der Logik;
- Einführung in Wissensbasierte Systeme;
- Wissensbasierte Systeme.
Laborübungen
- Logik für Wissensrepräsentation;
- Logikorientierte Programmierung;
- Einführung in Wissensbasierte Systeme;
- Wissensbasierte Systeme.
Seminare
- Methoden zur Verarbeitung inkonsistenten Wissens;
- Jubiläum zweier Pioniere der AI:
John McCarthy und Marvin Minsky wurden 80.
- Methoden der Wissensverarbeitung im Next-Generation Web:
Privacy, Security und Trust;
- Von Aristoteles zu Gödel: Ein Streifzug durch die Geschichte der Logik.
- Methoden der Wissensverarbeitung im Next-Generation Web: P2P Datenintegration;
- Answer-Set Programming;
- Kausales Schließen, Planen und Aktionssprachen;
- Jubiläums-Seminar: 100 Jahre Kurt Gödel;
- Programmtransformationen im logischen Programmieren;
- Intelligente Softwareagenten;
- Semantic Web;
- Intelligente Web Services;
- Informationsagenten;
- KR Tools für das Problemlösen;
- Quantencomputer: Ausgewählte Kapitel.