Advanced Data Modeling
[go to overview]Summer Terms 2011
Lecture & Tutorial Time & Locations Topics Lectures Assignments Credits Readings</p>
Lecture & Tutorial
Lecturer: Prof. Dr. Steffen Staab
Teaching assistant: Dr. Gerd Gröner
The lecture and tutorials will be given in English.
* Lectures from 18.04.2011 - 10.06.2011
* Tutorials from 22.04.2011 - 10.06.2011
* Exam: tba
* KLIPS: Classes and Tutorials
Time & Locactions
| ADM |
Mo 14-16, Room B016 Tu 10-12, Room K208 |
Prof. Dr. Steffen Staab |
| ADM Tutorial |
Tu 12-14, Room G210 Fr 10-12, Room K208 |
Dr. Gerd Gröner |
Lectures
| Lecture 1 | April 18 | |
| Lecture 2 | April 19 | |
| Lecture 3 | April 26 | |
| Lecture 4 | May 2 | |
| Lecture 5 | May 3 | |
| Lecture 6 | May 9 | |
| Lecture 7 | May 10 | |
| Lecture 8 | May 16 | |
| Lecture 9 | May 17 | |
| Lecture 10 | May 23 | |
| Lecture 11 | 10 Answer Set Programming continued | May 24 |
| Lecture 12 | May 31 | |
| Lecture 13 | 11 Implementation Techniques continued | June 20 |
| Lecture 14 | June 21 |
Assignments
| Tutorial 1 | April 19 | assignment0.pdf | solution_a0.pl |
| Tutorial 2 | May 3 | assignment1.pdf | |
| Tutorial 3 | May 10 | assignment2.pdf | |
| Tutorial 4 | May 17 | assignment3.pdf | |
| Tutorial 5 | May 24 | assignment4.pdf | |
| Tutorial 6 | May 31 | assignment5.pdf | |
| Tutorail 7 | May 30 | HandsOn Session.pdf | |
| Tutorial 8 | June 7 | assignment6.pdf | |
| Tutorial 9 | June 21 | assignment7.pdf | |
Credits
Credits are earned by passing the exam.
You may earn additional points counting towards the exam by completing the excercise assignments consisting of theoretical and practical excercises.
The assignments sum up to 90 points (10 points pro assignment)
AP >= 90% Total AP => 0.6 points improvement
AP >= 75% Total AP => 0.3 points improvement
<AP - Assignment points
You should actively participate in the excercise group. Each student has to present at least 2 exercises in the backboard during the semester.
Readings
* Lloyd: Foundations of Logic Programming
* [PDF] François Bry, Norbert Eisinger, Thomas Eiter, Tim Furche, Georg Gottlob, Clemens Ley, Benedikt Linse, Reinhard Pichler, Fang Wei: Foundations of Rule-Based Query Answering. Reasoning Web 2007: 1-153. Springer Verlag, 2007
* Melvin Fitting: Fixpoint semantics for logic programming a survey. Theor. Comput. Sci. 278(1-2): 25-51 (2002).
* Thomas Eiter, Giovambattista Ianni, and Thomas Krennwallner. Answer Set Programming: A Primer. In: Reasoning Web. Semantic Technologies for Information Systems, 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures. Lecture Notes in Computer Science 5689 Springer 2009, pp. 40-110.
* Nicola Leone, Pasquale Rullo, Francesco Scarcello. Disjunctive Stable Models: Unfounded Sets, Fixpoint Semantics, and Computation. In: Information and Computation, 135(2): 69-112.
* Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Franceseo Scarcello. A Deductive System for Non-Monotonic Reasoning. In: Logic Programming And Nonmonotonic Reasoning. Lecture Notes in Computer Science, 1997, Volume 1265/1997, 363-374, Springer.
Lecturers
- Alumnus