The DLVK Planning System: Progress Report
The knowledge based planning system DLVK implements answer set planning on top of the DLV system . It is developed at TU Wien and supports the declarative language K , and its extension Kc . The language K is syntactically similar to the action language C , but semantically closer to answer set programming (by including default negation, for example). K and Kc offer the following distinguishing features:
Unable to display preview. Download preview PDF.