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.

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

Properties

  • Semester hours: 2.0
  • Credits: 3.0
  • Type: UE Exercise
  • Format: Presence

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.
  • For further details, see the German version of this site.

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
Fri12:00 - 14:0004.11.2022 - 16.12.2022EI 1 Petritsch HS Exercises
Fri10:00 - 14:0013.01.2023 - 20.01.2023EI 2 Pichelmayer HS - ETIT Presentations
Fri14:00 - 18:0013.01.2023EI 2 Pichelmayer HS - ETIT Vorträge
Logic for Knowledge Representation - Single appointments
DayDateTimeLocationDescription
Fri04.11.202212:00 - 14:00EI 1 Petritsch HS Exercises
Fri11.11.202212:00 - 14:00EI 1 Petritsch HS Exercises
Fri18.11.202212:00 - 14:00EI 1 Petritsch HS Exercises
Fri25.11.202212:00 - 14:00EI 1 Petritsch HS Exercises
Fri02.12.202212:00 - 14:00EI 1 Petritsch HS Exercises
Fri09.12.202212:00 - 14:00EI 1 Petritsch HS Exercises
Fri16.12.202212:00 - 14:00EI 1 Petritsch HS Exercises
Fri13.01.202310:00 - 14:00EI 2 Pichelmayer HS - ETIT Presentations
Fri13.01.202314:00 - 18:00EI 2 Pichelmayer HS - ETIT Vorträge
Fri20.01.202310:00 - 14:00EI 2 Pichelmayer HS - ETIT Presentations
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
10.09.2022 23:55 14.11.2022 22:59 14.11.2022 23:59

Curricula

Study CodeObligationSemesterPrecon.Info
033 533 Medical Informatics Mandatory electiveSTEOP
Course requires the completion of the introductory and orientation phase
033 534 Software & Information Engineering Mandatory electiveSTEOP
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