Nonmon Nichtmonotones Schließen

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

Achtung: 1. Vorlesungstermin ist der 21.10.24

Semester: WT 2024/25