Skip to main content
SpringerLink
Log in
Book cover

International Conference on Logic Programming and Nonmonotonic Reasoning

LPNMR 2001: Logic Programming and Nonmotonic Reasoning pp 424–428Cite as

System Description: DLV

  • Conference paper
  • First Online:

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

Abstract

DLV is an efficient Answer Set Programming (ASP) system implementing the consistent answer set semantics [5] with various language enhancements like support for logic programming with inheritance and queries, integer arithmetics, and various other built-in predicates.

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

This is a preview of subscription content, 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   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.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

Learn about 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. TKDE, 12(5), 2000. 425

    Google Scholar 

  2. M. Cadoli, T. Eiter, and G. Gottlob. Default Logic as a Query Language, TKDE, 9(3):448–463, 1997. 426

    Google Scholar 

  3. U. Egly, T. Eiter, H. Tompits, and S. Woltran. Solving Advanced Reasoning Tasks using Quantified Boolean Formulas. In Proc. of AAAI’00, pp. 417–422. 427

    Google Scholar 

  4. T. Eiter, N. Leone, C. Mateis, G. Pfeifer, and F. Scarcello. The KR System dlv: Progress Report, Comparisons and Benchmarks. in Proc. of KR-98, pp. 406–417. 427

    Google Scholar 

  5. M. Gelfond and V. Lifschitz. Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing, 9:365–385, 1991. 424, 425

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. D.E.I.S., University of Calabria, 87030, Rende, CS, Italy

    Tina Dell ’Armi & Giuseppe Ielpa

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

    Wolfgang Faber, Christoph Koch & Gerald Pfeifer

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

    Nicola Leone & Simona Perri

Authors
  1. Tina Dell ’Armi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Wolfgang Faber
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Giuseppe Ielpa
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Christoph Koch
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Nicola Leone
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Simona Perri
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. Gerald Pfeifer
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Informationssysteme, Vienna University of Technology, 1040, Wien, Austria

    Thomas Eiter

  2. Institut für Informationssysteme, Vienna University of Technology, 1040, Wien, Austria

    Wolfgang Faber

  3. Department of Computer Science Lexington, University of Kentucky, KY, 40506-0046, USA

    Miros law Truszczyński

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Dell ’Armi, T. et al. (2001). System Description: DLV. In: Eiter, T., Faber, W., Truszczyński, M.l. (eds) Logic Programming and Nonmotonic Reasoning. LPNMR 2001. Lecture Notes in Computer Science(), vol 2173. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45402-0_36

Download citation

  • DOI: https://doi.org/10.1007/3-540-45402-0_36

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-42593-9

  • Online ISBN: 978-3-540-45402-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation