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.

2016W, 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 28, 10:00, in the Seminarroom Gödel!

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:0010.10.2016 - 09.01.2017Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon11:00 - 12:0014.11.2016 - 09.01.2017Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon09:00 - 17:0016.01.2017Seminarraum FAV EG C (Seminarraum Gödel) Talks
Mon09:00 - 17:0023.01.2017Seminarraum FAV EG C (Seminarraum Gödel) Presentations
Logic for Knowledge Representation - Single appointments
DayDateTimeLocationDescription
Mon10.10.201609:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon17.10.201609:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon24.10.201609:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon31.10.201609:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon07.11.201609:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon14.11.201609:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon14.11.201611:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon21.11.201609:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon21.11.201611:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon28.11.201609:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon28.11.201611:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon05.12.201609:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon05.12.201611:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon12.12.201609:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon12.12.201611:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon09.01.201709:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon09.01.201711:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Exercises
Mon16.01.201709:00 - 17:00Seminarraum FAV EG C (Seminarraum Gödel) Talks
Mon23.01.201709:00 - 17:00Seminarraum FAV EG C (Seminarraum Gödel) Presentations
Course is held blocked

Course registration

Begin End Deregistration end
03.10.2016 06:00 26.10.2016 23:59 07.11.2016 23:59

Group Registration

GroupRegistration FromTo
Übung Logik für Wissensrepräsentation03.10.2016 06:0026.10.2016 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