Logo-isweb

WeST is member of the

WSTNet

 

Advanced Data Modeling

Lecture & Tutorial

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 LectureTu, 10 - 12 , Room E 523Prof. Dr. Steffen Staab
ADM TutorialMo, 14 - 16, Room B 017Dr. Gerd Gröner

 

Content

  1. Foundations
    • Repetition: Relational model
    • Repetition: First order logics
  2. Minimal model semantics
    • Minimal models
    • Definite programmes
    • Stratification
    • Procedural semantics for minimal models
    • Well-founded semantics
    • Many valued models
  3. Answer set programming
    • Stable models
    • Models and techniques in answer set programming
    • Implementation techniques
    • The DLV System

Lectures

 

No.Date and LecturerSlides in PDFSlides in PPt
1.

Tue, 24.04.

Prof. Dr. Steffen Staab

 IntroductionIntro.ppt
2.

Mon, 30.04.

Prof. Dr. Steffen Staab

Relational Data ModelRelationalDataModel.ppt
3.

Tue, 08.05.

Prof. Dr. Steffen Staab

First-order ModelsFirstOrderModels.ppt
4.

Tue, 15.05., 10.15-12.00

Prof. Dr. Steffen Staab

Minimal ModelsMinimalModels.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 TutorialReview of AssignmentSubmission 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.

zuletzt verändert: 27.03.2013 15:59

Kontakt