|
Deduction SystemsSummer Term 2014Course DescriptionStudents 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:
OrganizationThe lecture takes place weekly in room E005: Wednesday 13:00-14:30 (DS 4) Handouts and Slides |
|