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.
Weitere Informationen Vorstellung der Lehrveranstaltungen des Arbeitsbereichs 184/3 im WS 2015/16 und auf dieser Webpage.
Termine nach Vereinbarung. Geplant: Donnerstag, 9:00 (pktl.) -12:30
Beginn: 15.10.2015 Ort: von Neumann Seminarraum
Lecture Rescheduling: a clash in schedule has been pointed out for the time slot 9:00-12:30. After a poll, the slot has been moved to Thursday 16:00-19:00+.
Next Lecture: November 12th, 2015
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