Seminar „Knowledge Representation“

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Seminar „Knowledge Representation“

Lehrveranstaltung mit SWS 0/2/0 (Vorlesung/Übung/Praktikum) im WS 2026

Dozent

Umfang (SWS)

  • 0/2/0

Sprache

  • auf Englisch

Module

Leistungskontrolle

  • nach Modulbeschreibung


This seminar deals with traditional topics in the field of Knowledge Representation and Reasoning.

Registration

Seminar places for the module INF-25-Ma-FTK-Sem “Seminar Theoretical Computer Science and Symbolic Artificial Intelligence” will be assigned centrally, based on students’ preferences. To register for our seminar, please indicate your preference in the poll available under this link by October 18, 2026.

If you want to take the seminar for the module CMS-SEM “Literature Studies in Computational Modeling,” please send an e-mail to sebastian.rudolph@tu-dresden.de until October 17, 2026.

Prerequisites

For the seminar, profound knowledge in theoretical computer science and logics is presumed.

Dates

The first get-together will be on Monday, the 19th of October. At this date the topics will be introduced and the process of the seminar explained. Consecutively, each participant will then be assigned a topic. The required presentations and question-and-answer sessions will be held during the lecture period of the semester. The specific dates of the talks will be announced later.

Examination

Master Computer Science (PO 2025)

Diplom Informatik (PO 2025)

Master Computational Modeling and Simulation

The Komplexe Leistung (complex or multi-part examination) consists of a presentation (45 minutes) and an oral question-and-answer session (15 minutes).

Contact

In case of organisational questions, please send an e-mail to sebastian.rudolph@tu-dresden.de.

Veranstaltungskalender abonnieren (icalendar)

Vorlesung Introduction DS6, 19. Oktober 2026 in APB E005 Datei


Kalender