The DLV System

  • Nicola Leone
  • Gerald Pfeifer
  • Wolfgang Faber
  • Francesco Calimeri
  • Tina Dell’Armi
  • Thomas Eiter
  • Georg Gottlob
  • Giovambattista Ianni
  • Giuseppe Ielpa
  • Christoph Koch
  • Simona Perri
  • Axel Polleres
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2424)

Abstract

The development of the DLV system has started as a research projectfinanced by FWF (the Austrian Science Funds) in 1996,and has evolved into an international collaboration over the years. Currently, the University of Calabria and TU Wien participate in the project, supported by a scientific-technological collaboration between Italy and Austria. At the time of writing, the latest version of the system has been released on April 12, 2002.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    F. Buccafurri, N. Leone, and P. Rullo. Enhancing disjunctive datalog by constraints. IEEE TKDE, 12(5), September/October 2000.Google Scholar
  2. 2.
    T. Eiter, W. Faber, N. Leone, and G. Pfeifer. The Diagnosis Frontend of the dlv System. AI Communications, 12(l-2):99–lll, 1999.MathSciNetGoogle Scholar
  3. 3.
    W. Faber, N. Leone, and G. Pfeifer. Pushing Goal Derivation in DLP Computations. LPNMR’99, pp. 177–191.Google Scholar
  4. 4.
    W. Faber, N. Leone, and G. Pfeifer. Experimenting with Heuristics for Answer Set Programming. In IJGAI 2001, pp. 635–640, Seattle, WA, USA, August 2001. Morgan Kaufmann Publishers.Google Scholar
  5. 5.
    M. Gelfond and V. Lifschitz. Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing, 9:365–385, 1991.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Nicola Leone
    • 1
  • Gerald Pfeifer
    • 2
  • Wolfgang Faber
    • 2
  • Francesco Calimeri
    • 1
  • Tina Dell’Armi
    • 1
  • Thomas Eiter
    • 2
  • Georg Gottlob
    • 2
  • Giovambattista Ianni
    • 1
  • Giuseppe Ielpa
    • 1
  • Christoph Koch
    • 2
  • Simona Perri
    • 1
  • Axel Polleres
    • 2
  1. 1.Department of MathematicsUniversity of CalabriaRende (CS)Italy
  2. 2.Institut für InformationssystemeTU WienWienAustria

Personalised recommendations