This is the homepage of DLVK, which implements a frontend for the language K to the DLV system.


The language K is a logic-based planning language which - unlike previously proposed languages of this kind - is well-suited for representing incomplete knowledge. For a thorough description of the language we refer to "Planning under Incomplete Knowledge" by Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, and Axel Polleres.

Graphical User Interface

For better readability of plans and the output of our planning frontend Jürgen Oberhofer has created a GUI available at SourceForge written in Tcl/TK.

Publications and Further Information

Publications on DLVK and some more information on our planning project can be found at the official project page.


We suggest to run some of them to get familiar with the system.

Some more examples (these encodings were used for benchmarks in Technical Report INFSYS RR-1843-01-12 "A Logic Programming Approach to Knowledge-State Planning, II: The DLV^K System"):

Even more examples (some showing the new cost optimal planning features of our system which will be presented at JELIA'02):

gerald@pfeifer.com & wf@wfaber.com Last modified 2005-08-18

Valid HTML 3.2!