After successful completion of the course, students are able to
In this course we deal with different logics for knowledge representation. The contents correspond to the lecture of the same title
For details on the the course, see the German version of this site.
Attention:
ECTS breakdown: 3 ECTS = 75 Hours
For the grading method of the course, see the German description of this site.