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.

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

Properties

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

Aim of course

Gaining exptertise about relevant logics for knowledge representation.

Didactic procedure: solving exercises; homework and presentation of solutions in the class room, preparing and presenting a talk.

Subject of course

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

Additional information

Attention:

  • Begin of exercises: November 19, 10:00-12:00 (Room: HS7 Schütte-Lihotzky).
  • No exercises on December 10!
  • No ecercises on January 14. All presentations are on Monday, January 21, 10:00-13:30 and 14:30-18:00.

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:0008.10.2018 - 07.01.2019Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon11:00 - 12:0012.11.2018 - 07.01.2019Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon10:00 - 12:0019.11.2018HS 7 Schütte-Lihotzky - ARCH Exercises
Mon09:00 - 17:0014.01.2019Seminarraum FAV EG C (Seminarraum Gödel) Talks
Mon09:00 - 19:0021.01.2019Seminarraum FAV EG C (Seminarraum Gödel) Presentations
Logic for Knowledge Representation - Single appointments
DayDateTimeLocationDescription
Mon08.10.201809:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon15.10.201809:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon22.10.201809:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon29.10.201809:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon05.11.201809:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon12.11.201809:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon12.11.201811:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon19.11.201809:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon19.11.201810:00 - 12:00HS 7 Schütte-Lihotzky - ARCH Exercises
Mon19.11.201811:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon26.11.201809:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon26.11.201811:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon03.12.201809:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon03.12.201811:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon10.12.201809:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon10.12.201811:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon17.12.201809:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon17.12.201811:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon07.01.201909:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon07.01.201911:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Course is held blocked

Course registration

Begin End Deregistration end
01.10.2018 06:00 24.10.2018 23:59 05.11.2018 23:59

Group Registration

GroupRegistration FromTo
Übung Logik für Wissensrepräsentation01.10.2018 06:0024.10.2018 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