192.064 Seminar in Theoretical Computer Science
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2023W, SE, 2.0h, 3.0EC, to be held in blocked form


  • Semester hours: 2.0
  • Credits: 3.0
  • Type: SE Seminar
  • Format: Online

Learning outcomes

After successful completion of the course, students are able to...

  • use formal methods from the area of knowledge compilation and knowledge graphs
  • solve hard reasoning problems scalably with the help of knowledge compilation
  • to aply this theoretically and practically in form of an implementation

Subject of course

In this seminar, we cover methods and questions from the areaof Knowledge Graphs.

Knowledge Graphs are knowledge bases that use a graph-like data model. They are often used to represent connection between objects, events and sitautions. In relation to the semantic web, Knowledge Graphs are often used in Open Data projects. A prominent application is Google's search engine. Knowledge Graphs are used, among other items, to reason over data and in particular to represent and use existing knowledge in an area instead of just answering simple queries.

The target audience are students interested to deepen their knowledge in the area of Knowledge Graphs

Teaching methods

Students first present a collection of articles on the core ideas of the areas. After that, connection between the areas are introduced and discussed in groups.

Mode of examination


Additional information

ECTS Breakdown:

  • 10h introduction to subject matter
  • 30h algorithm design and implementation, 
  • 25h presentation (including time to prepare)


Please consider the plagiarism guidelines of TU Wien when writing your seminar paper: Directive concerning the handling of plagiarism (PDF)



Course dates

Fri15:00 - 17:0013.10.2023Seminarraum FAV 01 C (Seminarraum 188/2) Kick-Off
Fri13:00 - 16:0015.12.2023Seminarraum FAV 01 C (Seminarraum 188/2) Presentation
Course is held blocked

Examination modalities

Assessement is based on the implementation and the oral presenation of the topic, including discussion of the connections based on theoretical articles. Selected works will show algorithms and implementation to connect theory to practice.

Course registration

Begin End Deregistration end
22.08.2023 00:00 06.02.2024 23:59 06.01.2024 23:59


Study CodeObligationSemesterPrecon.Info
066 931 Logic and Computation Mandatory elective
066 936 Medical Informatics Mandatory elective
066 937 Software Engineering & Internet Computing Mandatory elective


No lecture notes are available.

Previous knowledge

The target audience are students interested to deepen their knowledge in Knowledge Graphs