Gaining exptertise about relevant logics for knowledge representation.
Didactic procedure: solving exercises; homework and presentation of solutions in the class room.
In this course we deal with different logics for knowledge representation as well as with computational aspects.
Attention:
ECTS breakdown: 3 ECTS = 75 Hours