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

DOI: 10.1007/3-540-45757-7_50

Volume 2424 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Leone N. et al. (2002) The DLV System. In: Flesca S., Greco S., Ianni G., Leone N. (eds) Logics in Artificial Intelligence. JELIA 2002. Lecture Notes in Computer Science, vol 2424. Springer, Berlin, Heidelberg

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.

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