Behandlung prominenter nichtmonotoner Formalismen wie Default Logik und Answer Set Programming. 

Achtung: 1. Vorlesungstermin ist der 21.10.24

Semester: WiSe 2024/25