Logo-isweb

WeST is member of the

WSTNet

 

Advanced Data Modeling

Lecture & Tutorial   Time & Locations  Topics  Lectures Assignments  Credits  Readings

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

1 Advanced Data Modeling.ppt

1 Advanced Data Modeling.pdf

April 18
Lecture 2

2 Relational Data Model.ppt

2 Relational Data Model.pdf

April 19
Lecture 3

3 First Order Models.ppt

3 First Order Models.pdf

 April 26
Lecture 4

4 Minimal Models.ppt

4 Minimal Models.pdf

 May 2
Lecture 5

5 Models of Definite Programmes.ppt

5 Models of Definite Programmes.pdf

 May 3
Lecture 6

6 Procedural Semantics.ppt

6 Procedural Semantics.pdf

 May 9
Lecture 7 

7 Stratification.ppt

7 Stratification.pdf

 May 10
Lecture 8

8 Many Valued Logics.ppt

8 Many Valued Logics.pdf

May 16
Lecture 9

9 Stable Models.ppt

9 Stable Models.pdf

May 17
Lecture 10

10 Answer Set Programming.ppt

10 Answer Set Programming.pdf

May 23
Lecture 1110 Answer Set Programming continuedMay 24
Lecture 12

11 Implementation Techniques.ppt

11 Implementation Techniques.pdf

May 31
Lecture 1311 Implementation Techniques continuedJune 20
Lecture 14

12 Survey of the DLV System Implementation.ppt

12 Survey of the DLV System Implementation.pdf

June 21

 

Assignments

 

 Tutorial 1April 19assignment0.pdf solution_a0.pl
 Tutorial 2May 3assignment1.pdf 
 
 Tutorial 3May 10assignment2.pdf 
 Tutorial 4May 17assignment3.pdf 
 Tutorial 5May 24assignment4.pdf 
 Tutorial 6May 31assignment5.pdf 
 Tutorail 7May 30HandsOn Session.pdf 
 Tutorial 8June 7assignment6.pdf 
 Tutorial 9June 21assignment7.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.



 

 

zuletzt verändert: 27.03.2013 16:08

Kontakt