The DLV K Planning System: Progress Report

Abstract The knowledge based planning system DLV K 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:

Authors

• Thomas Eiter
• Wolfgang Faber 0001
• Nicola Leone
• Gerald Pfeifer
• Axel Polleres

Keywords

No keywords are indexed for this paper.