Summer Term 2014

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: Wednesday 13:00-14:30 (DS 4)

Handouts and Slides

• L1-IntroDL.pdf
• RW-IntroDLs.pdf
• L2-Tableau1.pdf
• L3-Tableau2.pdf
• L4-ASP1.pdf
• L5-ASP2.pdf
• T2-ASP.pdf
• L6-Otimizations.pdf
• T3-tableau.pdf