|
Deduction SystemsSummer Term 2013Course 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: 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 |
Contact
Dipl.-Ing.
Ramona Behling Phone: 463 38516 Fax: 463 32827 ![]() |