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.

2017W, 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: December 11, 09:00-11:00.
  • No lecture and exercises January 8!

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:0009.10.2017 - 08.01.2018Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon11:00 - 12:0013.11.2017 - 08.01.2018Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon09:00 - 17:0015.01.2018Seminarraum FAV EG C (Seminarraum Gödel) Talks
Mon09:00 - 17:0022.01.2018Seminarraum FAV EG C (Seminarraum Gödel) Presentations
Logic for Knowledge Representation - Single appointments
DayDateTimeLocationDescription
Mon09.10.201709:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon16.10.201709:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon23.10.201709:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon30.10.201709:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon06.11.201709:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon13.11.201709:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon13.11.201711:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon20.11.201709:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon20.11.201711:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon27.11.201709:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon27.11.201711:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon04.12.201709:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon04.12.201711:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon11.12.201709:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon11.12.201711:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon18.12.201709:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon18.12.201711:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon08.01.201809:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon08.01.201811:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon15.01.201809:00 - 17:00Seminarraum FAV EG C (Seminarraum Gödel) Talks
Course is held blocked

Course registration

Begin End Deregistration end
02.10.2017 06:00 25.10.2017 23:59 06.11.2017 23:59

Group Registration

GroupRegistration FromTo
Übung Logik für Wissensrepräsentation02.10.2017 06:0025.10.2017 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