论文信息 - System Description: The DLVK Planning System

System Description: The DLVK Planning System

DLVK is a knowledge based planning system.It is based on the declarative language K [2], which is similar in spirit to the logic-based language C [5], but includes some logic-programming features (e.g., default negation and strong negation).

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

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

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

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

[4] Vladimir Lifschitz,et al. Answer Set Planning (Abstract) , 1999, LPNMR.

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