Sie sind hier

Advanced Data Modeling

Lecturer: Prof. Dr. Steffen Staab and Dr. Gerd Gröner

The lecture and tutorials will be given in English.

* Lectures from Tuesday, April 24, 2012

* Tutorials from Monday, Mai 7, 2012

* Exam: tba

* KLIPS: Classes and Tutorials

Time & Locations

ADM Lecture Tu, 10 - 12 , Room E 523 Prof. Dr. Steffen Staab
ADM Tutorial Mo, 14 - 16, Room B 017 Dr. Gerd Gröner

Content

  1. Foundations
  2. Minimal model semantics
  3. Answer set programming

Lectures

No. Date and Lecturer Slides in PDF Slides in PPt
1.

Tue, 24.04.

Prof. Dr. Steffen Staab

 Introduction Intro.ppt
2.

Mon, 30.04.

Prof. Dr. Steffen Staab

Relational Data Model RelationalDataModel.ppt
3.

Tue, 08.05.

Prof. Dr. Steffen Staab

First-order Models FirstOrderModels.ppt
4.

Tue, 15.05., 10.15-12.00

Prof. Dr. Steffen Staab

Minimal Models MinimalModels.ppt
5.

Mon, 21.05., 14.00-15.15

Prof. Dr. Steffen Staab

   Modelsofdefiniteprogramms.ppt
6.

Mon, 04.06.

Prof. Dr. Steffen Staab

   Proceduralsemantics.ppt
7.

Tue, 12.06.

Prof. Dr. Steffen Staab

 StratifiedPrograms.pdf  StratifiedPrograms.ppt
8.

Tue, 19.06.

Prof. Dr. Steffen Staab

 ManyValuedLogics.pdf  ManyValuedLogics.pptx
9.

Tue, 26.06.

Dr. Gerd Gröner

 StableModels.pdf  StableModels.pptx
10.

Tue, 03.07.

Prof. Dr. Steffen Staab

Answer Set Programming.pdf  Answer Set Programming.pptx
11.

Tue, 10.07.

Prof. Dr. Steffen Staab

Implementation Techniques.pdf  Implementation Techniques.pptx
12.

Tue, 17.07.

Dr. Gerd Gröner

   

Assignments

No. Date of Tutorial Review of Assignment Submission Date
1. 07.05.

 assignment0.pdf

Data: a0data.pl

 -
2. 14.05. assignment1.pdf  13.05.12
3. 22.05. assignment2.pdf  20.05.12
4. 05.06. assignment3.pdf  02.06.12
5. 11.06. assignment4.pdf  10.06.12
6.

18.06.

Room D239

assignment5.pdf   17.06.12
7. 25.06. assignment6.pdf  24.06.12
8. 02.07. assignment7.pdf  02.07.12
9. 09.07. assignment8.pdf   08.07.12
10. 16.07. assignment9.pdf  15.07.12

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

* 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

* Gerhard Brewka, Thomas Eiter, Miroslaw Truszczynski: Answer set programming at a glance. Commun. ACM 54

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.