Skip to main content
SpringerLink
Log in

The DLVK Planning System: Progress Report

  • Conference paper
  • First Online:
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 knowledge based planning system DLVK implements answer set planning on top of the DLV system [1]. It is developed at TU Wien and supports the declarative language K [2],[3] and its extension K c [5]. The language K is syntactically similar to the action language C [7], but semantically closer to answer set programming (by including default negation, for example). K and K c offer the following distinguishing features:

This work was supported by FWF (Austrian Science Funds) under the projects P14781 and Z29-INF.

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. T. Eiter, W. Faber, N. Leone, and G. Pfeifer. Declarative Problem-Solving Using the DLV System. In: Logic-Based Artificial Intelligence, pp. 79–103. Kluwer, 2000.

    Google Scholar 

  2. T. Eiter, W. Faber, N. Leone, G. Pfeifer, and A. Polleres. Planning under incomplete knowledge. CL2000, pp. 807–821, London, UK, July 2000. Springer Verlag.

    Google Scholar 

  3. T. Eiter, W. Faber, N. Leone, G. Pfeifer, and A. Polleres. A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity. Technical Report INFSYS RR-1843-01-11, TU Wien, December 2001.

    Google Scholar 

  4. T. Eiter, W. Faber, N. Leone, G. Pfeifer, and A. Polleres. A Logic Programming Approach to Knowledge-State Planning, II: the DLVK System. Technical Report INFSYS RR-1843-01-12, TU Wien, December 2001.

    Google Scholar 

  5. T. Eiter, W. Faber, N. Leone, G. Pfeifer, and A. Polleres. Answer set planning under action costs. Unpublished manuscript, available from the authors.

    Google Scholar 

  6. M. Gelfond and V. Lifschitz. Action languages. Electronic Transactions on Artificial Intelligence, 2(3–4):193–210, 1998.

    MathSciNet  Google Scholar 

  7. E. Giunchiglia and V. Lifschitz. An Action Language Based on Causal Explanation: Preliminary Report. In AAAI’ 98, pp. 623–630, 1998.

    Google Scholar 

Download references

Author information

Authors and Affiliations

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

    Thomas Eiter, Wolfgang Faber, Gerald Pfeifer & Axel Polleres

  2. Department of Mathematics, University of Calabria, 87030, Rende, Italy

    Nicola Leone

Authors
  1. Thomas Eiter
    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. Nicola Leone
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Gerald Pfeifer
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. 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

Eiter, T., Faber, W., Leone, N., Pfeifer, G., Polleres, A. (2002). The DLVK Planning System: Progress Report. 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_51

Download citation

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

  • 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