TUD Logo

TUD Startseite » ... » Lehre » SS 2010 » Integrated Logic Systems

Computational Logic

Integrated Logic Systems - Part 1: Deduction Systems

Course Description

Prof. Schroeder, Sebastian Voigt

The course meets the demand for practice-oriented subjects in the curriculum. By means of selected examples it will give an insight to various issues of how logic can be used in real world applications. The course breaks down into two parts:

  1. Deduction Systems - Students will be introduced to the design and use of various deduction systems: Prolog, Tableaux-Prover and Answer Set Programming.
  2. Semantic Search: Algorithms and Applications - Students will learn how link rules and reasoning with the web, databases, and distributed computing. Students will be introduced to the ideas underlying the semantic web including formats such as ontologies, XML, RDF, OWL. All techniques will be motivated with examples from bioinformatics, which provides a rich set of online data sources and problems amenable to semantic web technologies.

Time Table for Part 1: Deduction Systems

  • Lecture
    • Tuesdays 4.DS (E 005) - every fortnight, fixed dates: 13.4., 27.4., 11.5., 1.6., 15.6., 29.6.
  • Tutorial
    • Tuesdays 4.DS (E 005) - every fortnight, fixed dates: 20.4., 4.5., 18.5., 8.6., 22.6., 6.7., 20.7.


During the Open House or by appointment.

Details about the Examination

  • written exam on 28th of July from 10.00 to 12.00 am in room INF E005
  • concerning Part I (Deduction Systems): except electronic equipment all materials can be used during the examination




Stand: 1.7.2010, 15:16 Uhr
Autor: Dipl.-Inf. Sebastian Haufe