TUD Logo

TUD Home » ... » Teaching » Summer Term 2009 » Integrated Logic Systems

Computational Logic

Integrated Logic Systems - Part I

Course Description

Lecturers:
Prof. Schroeder, Dr. Paschke, Prof. Thielscher, Mr. Voigt
Prerequisites:
none

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. Students will be introduced to the design and use of various deduction systems: Prolog, Tableaux-Prover and Answer Set Programming.
  2. 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 (only concerning Part I - Deduction Systems)

  • Lecture
    • Wednesdays 4.DS (E 005) - every fortnight, fixed dates: 8 April, 24 April (friday) 2.DS, 6 May, 20 May, 10 June, 24 June, 8 July
  • Tutorial
    • Fridays 2.DS (E 005) - every fortnight, fixed dates: 17 April, 15 May, 29 May, 19 June, 3 July, 10 July 2.DS (9.20 - 10.50)

Consultations

During the Open House or by appointment.

Details about the Examination

  • written exam on 28th of July from 3.00 to 5.00 pm in room INF E005
  • concerning Part I (Prof. Thielscher): except electronic equipment all materials can be used during the examination

Handouts and Slides

Exercises

Last modified: 1st Feb 2010, 2.29 PM
Author: Dipl.-Inf. Sebastian Haufe