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.

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

Properties

  • Semester hours: 2.0
  • Credits: 3.0
  • Type: UE Exercise
  • Format: Distance Learning

Learning outcomes

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.

Subject of course

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

Teaching methods

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


 

Mode of examination

Immanent

Additional information

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

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Tue13:00 - 18:0019.01.2021 - 26.01.2021 Die Vorträge werden mittels BigBlueButton online durchgeführt (LIVE)Vorträge
Logic for Knowledge Representation - Single appointments
DayDateTimeLocationDescription
Tue19.01.202113:00 - 18:00 Die Vorträge werden mittels BigBlueButton online durchgeführtVorträge
Tue26.01.202113:00 - 18:00 Die Vorträge werden mittels BigBlueButton online durchgeführtVorträge
Course is held blocked

Examination modalities

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

 

Course registration

Begin End Deregistration end
29.09.2020 10:00 04.11.2020 22:59 16.11.2020 23:59

Group Registration

GroupRegistration FromTo
Übung Logik für Wissensrepräsentation05.10.2020 06:0028.10.2020 22:59

Curricula

Study CodeSemesterPrecon.Info
033 533 Medical Informatics STEOP
Course requires the completion of the introductory and orientation phase
033 534 Software & Information Engineering STEOP
Course requires the completion of the introductory and orientation phase

Literature

No lecture notes are available.

Previous knowledge

 

 

Accompanying courses

Continuative courses

Miscellaneous

  • Attendance Required!

Language

German