Coronavirus - Informations and Recommendations: https://colab.tuwien.ac.at/display/CORONA

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.

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

Properties

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

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

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.

 

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
Mon09:00 - 11:0014.10.2019 - 13.01.2020Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon11:00 - 12:0018.11.2019 - 13.01.2020Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Fri14:00 - 16:0022.11.2019 - 24.01.2020EI 5 Hochenegg HS Übungen
Fri15:00 - 17:0013.12.2019EI 5 Hochenegg HS Übungen (verschobener Termin)
Fri10:00 - 14:0017.01.2020EI 5 Hochenegg HS Übungen & Vorträge
Mon09:00 - 17:0020.01.2020Seminarraum FAV EG C (Seminarraum Gödel) Talks
Fri10:00 - 14:0024.01.2020EI 5 Hochenegg HS Vorträge
Fri14:00 - 17:0024.01.2020EI 11 Geodäsie HS Vorträge
Mon09:00 - 12:0027.01.2020Seminarraum FAV EG C (Seminarraum Gödel) Vorträge
Logic for Knowledge Representation - Single appointments
DayDateTimeLocationDescription
Mon14.10.201909:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon21.10.201909:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon28.10.201909:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon04.11.201909:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon11.11.201909:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon18.11.201909:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon18.11.201911:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Fri22.11.201914:00 - 16:00EI 5 Hochenegg HS Übungen
Mon25.11.201909:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon25.11.201911:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Fri29.11.201914:00 - 16:00EI 5 Hochenegg HS Übungen
Mon02.12.201909:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon02.12.201911:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Fri06.12.201914:00 - 16:00EI 5 Hochenegg HS Übungen
Mon09.12.201909:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon09.12.201911:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Fri13.12.201914:00 - 16:00EI 5 Hochenegg HS Übungen
Fri13.12.201915:00 - 17:00EI 5 Hochenegg HS Übungen (verschobener Termin)
Mon16.12.201909:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon16.12.201911:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Course is held blocked

Examination modalities

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.

Course registration

Begin End Deregistration end
01.10.2019 23:00 30.10.2019 22:59 11.11.2019 23:59

Group Registration

GroupRegistration FromTo
Übung Logik für Wissensrepräsentation07.10.2019 06:0030.10.2019 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