184.699 Logic for Knowledge Representation
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2021W, UE, 2.0h, 3.0EC, to be held in blocked form

Properties

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

For details on the the course, see the German version of this site.

Immanent

Attention:

ECTS breakdown: 3 ECTS = 75 Hours

Day	Time	Date	Location	Description
Tue	13:00 - 18:00	18.01.2022 - 25.01.2022	Die Vorträge werden mittels BigBlueButton online durchgeführt	Vorträge

Logic for Knowledge Representation - Single appointments

Day	Date	Time	Location	Description
Tue	18.01.2022	13:00 - 18:00	Die Vorträge werden mittels BigBlueButton online durchgeführt	Vorträge
Tue	25.01.2022	13:00 - 18:00	Die Vorträge werden mittels BigBlueButton online durchgeführt	Vorträge

Course is held blocked

For the grading method of the course, see the German description of this site.

Begin	End	Deregistration end
11.09.2021 23:55	15.11.2021 22:59	15.11.2021 23:59

Study Code	Obligation	Semester	Precon.	Info
033 533 Medical Informatics	Mandatory elective		Course requires the completion of the introductory and orientation phase
033 534 Software & Information Engineering	Mandatory elective		Course requires the completion of the introductory and orientation phase

No lecture notes are available.

German