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.

2011W, 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

News:

  • Attention: Changed exercise date December 21, 2011, 13:00, seminarroom Gödel replaces exercise on December 19.
  • Attention: Start of the exercises: November 28, 2011, 14:00, seminarroom Gödel

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Mon14:00 - 16:0024.10.2011 - 12.12.2011Seminarraum FAV EG C (Seminarraum Gödel) Exercise
Mon14:00 - 16:0019.12.2011Seminarraum FAV EG B (Seminarraum von Neumann) Exercise
Mon09:00 - 11:0009.01.2012Seminarraum FAV EG C (Seminarraum Gödel) Presentations
Mon14:00 - 16:0009.01.2012 - 16.01.2012Seminarraum FAV EG C (Seminarraum Gödel) Exercise
Mon09:00 - 17:0023.01.2012Seminarraum FAV EG C (Seminarraum Gödel) Presentations
Logic for Knowledge Representation - Single appointments
DayDateTimeLocationDescription
Mon24.10.201114:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Exercise
Mon31.10.201114:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Exercise
Mon07.11.201114:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Exercise
Mon14.11.201114:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Exercise
Mon21.11.201114:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Exercise
Mon28.11.201114:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Exercise
Mon05.12.201114:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Exercise
Mon12.12.201114:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Exercise
Mon19.12.201114:00 - 16:00Seminarraum FAV EG B (Seminarraum von Neumann) Exercise
Mon09.01.201209:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Presentations
Mon09.01.201214:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Exercise
Mon16.01.201214:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Exercise
Mon23.01.201209:00 - 17:00Seminarraum FAV EG C (Seminarraum Gödel) Presentations

Course registration

Begin End Deregistration end
04.10.2011 23:00 21.10.2011 23:00 24.10.2011 23:00

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.

Miscellaneous

  • Attendance Required!

Language

German