论文信息 - The DLVK Planning System: Progress Report

The DLVK Planning System: Progress Report

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:

Wolfgang Faber | Gerald Pfeifer | Thomas Eiter | Axel Polleres | Nicola Leone

[1] Wolfgang Faber,et al. DLV - A System for Declarative Problem Solving , 2000, ArXiv.

[2] Wolfgang Faber,et al. Declarative problem-solving using the DLV system , 2000 .

[3] Wolfgang Faber,et al. A logic programming approach to knowledge-state planning: Semantics and complexity , 2004, TOCL.

[4] Enrico Giunchiglia,et al. An Action Language Based on Causal Explanation: Preliminary Report , 1998, AAAI/IAAI.

[5] T. Eiter,et al. Answer Set Planning under Action Costs , 2002, JELIA.

[6] Wolfgang Faber,et al. Planning under Incomplete Knowledge , 2000, Computational Logic.