Sie sind hier

Advanced Data Modeling

Lectures and assignments

 

Reference material (for Prolog): Ulle Endriss. An Introduction to Prolog Programming.
 
Some of the material about Stable Models and Answer Set Programming has been taken from this website.

References

  • Stefano Ceri, Georg Gottlob, Letizia Tanca. Logic Programming and Databases, Springer 1989.
  • 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.