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 Kc [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 Kc offer the following distinguishing features:

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

  • 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