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.

2013W, UE, 2.0h, 3.0EC

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.

Subject of course

In this course we deal with different logics for knowledge representation as well as with computational aspects.

Additional information

 

Attention:

  • First exercise unit: November 18, 2013

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
Mon14:00 - 16:0028.10.2013 - 16.12.2013Seminarraum FAV EG C (Seminarraum Gödel) Exercise
Mon10:00 - 12:0009.12.2013Seminarraum FAV EG C (Seminarraum Gödel) Additional unit
Mon16:00 - 17:0016.12.2013Seminarraum FAV EG C (Seminarraum Gödel) Exercise
Mon14:00 - 16:0023.12.2013Seminarraum FAV EG C (Seminarraum Gödel) Exercise
Mon16:00 - 17:0023.12.2013Seminarraum FAV EG C (Seminarraum Gödel) Exercise
Mon14:00 - 16:0013.01.2014 - 20.01.2014Seminarraum FAV EG C (Seminarraum Gödel) Exercise
Mon09:00 - 14:0020.01.2014Seminarraum FAV EG C (Seminarraum Gödel) Talks
Mon09:00 - 17:0027.01.2014Seminarraum FAV EG C (Seminarraum Gödel) Presentations
Logic for Knowledge Representation - Single appointments
DayDateTimeLocationDescription
Mon28.10.201314:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Exercise
Mon04.11.201314:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Exercise
Mon11.11.201314:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Exercise
Mon18.11.201314:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Exercise
Mon25.11.201314:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Exercise
Mon02.12.201314:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Exercise
Mon09.12.201310:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Additional unit
Mon09.12.201314:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Exercise
Mon16.12.201314:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Exercise
Mon16.12.201316:00 - 17:00Seminarraum FAV EG C (Seminarraum Gödel) Exercise
Mon23.12.201314:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Exercise
Mon23.12.201316:00 - 17:00Seminarraum FAV EG C (Seminarraum Gödel) Exercise
Mon13.01.201414:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Exercise
Mon20.01.201409:00 - 14:00Seminarraum FAV EG C (Seminarraum Gödel) Talks
Mon20.01.201414:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Exercise
Mon27.01.201409:00 - 17:00Seminarraum FAV EG C (Seminarraum Gödel) Presentations

Course registration

Begin End Deregistration end
30.09.2013 06:00 23.10.2013 23:59 04.11.2013 23:59

Group Registration

GroupRegistration FromTo
Übung Logik für Wissensrepräsentation30.09.2013 06:0014.10.2013 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.

Accompanying courses

Continuative courses

Miscellaneous

  • Attendance Required!

Language

German