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: © 2002 Springer-Verlag.
CITATION STYLE
Eiter, T., Faber, W., Leone, N., Pfeifer, G., & Polleres, A. (2002). The DLVK planning system: Progress report. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2424 LNAI, pp. 541–544). Springer Verlag. https://doi.org/10.1007/3-540-45757-7_51
Mendeley helps you to discover research relevant for your work.