Gaining exptertise about relevant logics for knowledge representation.
Didactic procedure: solving exercises; homework and presentation of solutions in the class room, preparing and presenting a talk.
In this course we deal with different logics for knowledge representation. The contents correspond to the lecture of the same title
Attention:
ECTS breakdown: 3 ECTS = 75 Hours