Institute for Web Science and Technologies · Universität Koblenz - Landau
Institute WeST
Diese Lehrveranstaltung hat in einem vergangenen Semester stattgefunden oder findet in einem zukünftigen Semester statt. Falls Sie nach aktuellen Veranstaltungen suchen, gehen Sie zur Übersicht der Lehrveranstaltungen.

Advanced Data Modeling

[zur Übersicht]

Sommersemester 2014

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.

Lehrende