Sie sind hier

Advanced Data Modeling

 Lecturer: Prof. Dr. Steffen Staab and Renata Dividino 


IMPORTANT (changes):
 
On the 20th June there will be our last class!!
If you are interested to have an extra QA- class, PLEASE send your questions per Email until Wednesday (19.06). 

Tuesday Jan 11: No exercises!

Thurday Jun 13: There will be classes

Monday Jun 17: There will be exercises

Monday April 29: the classes will be given by Renata Dividino 


Exam

News:  The exam will be oral and will take place on June 27 and 28. Register for the exam in Klips and arrange an examination appointment with specific time with Mrs. Hißnauer. You must tell her about which specific course you want to be examined. 


The lecture and tutorials will be given in English. 

  • Lectures from 15.04.2013 

  • Tutorials from 18.04.2013 

  • Exam: tba 

  • KLIPS: Classes and Tutorials 


 Locations

  • ADM Lecture        Prof. Dr. Steffen Staab               

  • ADM Tutorial      Renata Dividino 

  • Monday                14:00-16:00            Room K208

  • Tuesday               10:00-12:00            Room E523

  • Thursday              12:00-14:00            Room K208


Content

 Foundations

  • Repetition: Relational model

  • Repetition: First order logics

  • Minimal model semantics

  • Minimal models

  • Definite programmes

  • Stratification

  • Procedural semantics for minimal models

  • Well-founded semantics

  • Many valued models

  • Answer set programming

  • Stable models

  • Models and techniques in answer set programming

  • Implementation techniques

  • The DLV System


Lectures

No. Date and Lecturer Slides in PDF Slides in PPt

1.     15.04.2013 Slides-1.pdf Slides-1.ppt

2.     16.04.2013 

3.     22. 04.2013  Slides-2.pdf Slides-2.ppt 

4.     23.04.2013 Slides-3.pdf Slides-3.ppt 

5.     29.04.2013 sick leave

6.     06.05.2013 Slides-4.pdf Slides-4.ppt

7.     13.05.2013 Slides-5.pdf Slides-5.ppt

8.     16.05.2013 Slides-6.pdf Slides-6.ppt

9.     03.06.2013 Slides-7.pdf Slides-7.ppt

10.   04.06.2013 Slides-8.pdf Slides-8.ppt

11.   10.06.2013 Slides-9.pdf Slides-9.ppt

12.   13.06.2013 Slides-10.pdf Slides-10.ppt


Assignments

No. Date of Tutorial Review of Assignment Submission Date

1. 18.04.2013                Assignment01           24.04.2013    

2.     25.04.2013                 Assignment02            29.04.2013

3.     30.04.2013                 Assignment03            01.05.2013

4.     02.05.2013                 Assignment04            06.05.2013

5.     07.05.2012                Assignment05             13.05.2013

6.     14.05.2013                Assignment06             26.05.2013

7.     27.05.2013                Assignment07             27.05.2013

8.     28.05.2013                Assigment08               05.06.2013

9.     06.06.2013                Assignment09             10.06.2013

10.   11.06.2013                Assignment10             16.06.2013 

11.   17.06.2013 


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.