Skip to main content
SpringerLink
Log in

The DLV System

  • Conference paper
  • First Online:
Book cover Logics in Artificial Intelligence (JELIA 2002)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 2424))

Included in the following conference series:

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.

This work was supported by FWF (Austrian Science Funds) under the projects Z29-INF and P14781, by MURST under project COFIN-2000 “From Data to Information (D2I),” and by the European Commission under project IST-2002-33570.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. F. Buccafurri, N. Leone, and P. Rullo. Enhancing disjunctive datalog by constraints. IEEE TKDE, 12(5), September/October 2000.

    Google Scholar 

  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.

    MathSciNet  Google Scholar 

  3. W. Faber, N. Leone, and G. Pfeifer. Pushing Goal Derivation in DLP Computations. LPNMR’99, pp. 177–191.

    Google Scholar 

  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. M. Gelfond and V. Lifschitz. Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing, 9:365–385, 1991.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, University of Calabria, 87030, Rende (CS), Italy

    Nicola Leone, Francesco Calimeri, Tina Dell’Armi, Giovambattista Ianni, Giuseppe Ielpa & Simona Perri

  2. Institut für Informationssysteme, TU Wien, A-1040, Wien, Austria

    Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Christoph Koch & Axel Polleres

Authors
  1. Nicola Leone
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gerald Pfeifer
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Wolfgang Faber
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Francesco Calimeri
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Tina Dell’Armi
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Thomas Eiter
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. Georg Gottlob
    View author publications

    You can also search for this author in PubMed Google Scholar

  8. Giovambattista Ianni
    View author publications

    You can also search for this author in PubMed Google Scholar

  9. Giuseppe Ielpa
    View author publications

    You can also search for this author in PubMed Google Scholar

  10. Christoph Koch
    View author publications

    You can also search for this author in PubMed Google Scholar

  11. Simona Perri
    View author publications

    You can also search for this author in PubMed Google Scholar

  12. Axel Polleres
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. DEIS, University of Calabria, P.te P. Bucci, Cubo 41C, 87036, Rende, CS, Italy

    Sergio Flesca  & Sergio Greco  & 

  2. Department of Mathematics, University of Calabria, P.te P. Bucci, Cubo 30B, 87036, Rende, CS, Italy

    Giovambattista Ianni  & Nicola Leone  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

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. https://doi.org/10.1007/3-540-45757-7_50

Download citation

  • DOI: https://doi.org/10.1007/3-540-45757-7_50

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-44190-8

  • Online ISBN: 978-3-540-45757-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation