Advertisement

The DLVK Planning System: Progress Report

  • Thomas Eiter
  • Wolfgang Faber
  • Nicola Leone
  • Gerald Pfeifer
  • Axel Polleres
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2424)

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:

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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. 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. 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. 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. 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. 6.
    M. Gelfond and V. Lifschitz. Action languages. Electronic Transactions on Artificial Intelligence, 2(3–4):193–210, 1998.MathSciNetGoogle Scholar
  7. 7.
    E. Giunchiglia and V. Lifschitz. An Action Language Based on Causal Explanation: Preliminary Report. In AAAI’ 98, pp. 623–630, 1998.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Thomas Eiter
    • 1
  • Wolfgang Faber
    • 1
  • Nicola Leone
    • 2
  • Gerald Pfeifer
    • 1
  • Axel Polleres
    • 1
  1. 1.Institut für InformationssystemeTU WienWienAustria
  2. 2.Department of MathematicsUniversity of CalabriaRendeItaly

Personalised recommendations