After successful completion of the course, students are able to

• select suitable methods and techniques from the area of logic-based formalisms for knowledge representation in order to independently solve given tasks.

In this course we deal with different logics for knowledge representation. The contents correspond to the lecture of the same title

The course comprises two parts:

• solving independently solutions to given exercises and present solutions to solved exercises (solved exercises need to be specified prior to a course unit),
• presenting at least one solution on the blackboard, and
• developing and presenting a 20 minutes talk about a selected topic.

Attention:

• Begin of exercises: ca. mid November

ECTS breakdown: 3 ECTS = 75 Hours

• Solving the exercises 26h
• Presentation of solved exercises 12h
• Preparing the presentation 25h
• Presentation of talks 12h

The assessment takes into account

• the number of indicated solutions,
• the presentation of at least one solution on the blackboard, and
• the presentation draft and the actualy presentation.