Summer Term 2013

Course Description

Students will be introduced to the design and use of various deduction systems: Prolog, Tableaux-Prover and Answer Set Programming.

Lecturer:  Prof.  Sebastian Rudolph

Module:  MCL-ILS

Status:  basic unit

SWS (lecture/tutorial/practical):  1/1/0

Examination method:  written examination

Prerequisites:

• none

Organization

The lecture takes place weekly in room E005: Mondays 13:00-14:30 (DS 4)

On Monday 24th of June the lecture has been canceled. The ASP tutorial will take place on 1st of July.

Handouts and Slides

• L1-IntroDL.pdf
• L2-Tableau1.pdf
• L3-Tableau2.pdf
• T2-tableau.pdf
• L4-Otimizations.pdf
• L5-ASP_I.pdf
• L6-ASP_II.pdf
• L7-HypTab1.pdf
• T3-ASP.pdf
• L8-HypTab2.pdf
• L9-CG_Reasoning.pdf