Grundlagen von Formalismen der Wissensrepräsentation. Tentativer Themenbereich: Grundlagen von Formalismen der Wissensrepräsentation. Ansätze zur Änderung von logikbasierten Wissensbasen; Nicht-monotone Formalismen und Logische Programmierung; Planen und Schlussfolgern über Aktionen; Abduktives Schließen; Ausdrucksstärke von Formalismen der Wissensrepräsentation.
Die Lehrveranstaltungssprache ist Englisch.
Termine nach Vereinbarung. Geplant: Donnerstag, 9:00 (pktl.) -12:30
Beginn: 13.10.2016 Ort: von Neumann Seminarraum
ECTS breakdown: 3 ECTS = 75 Hours
- Lecture presentation 0.5h
- Lecture 17.5h
- Further reading 25h
- Discussion of the exercises 1.5h
- Solving the exercises 30h
- Oral exam (if applicable) 0.5h