System Description: The DLVK Planning System

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

Abstract: 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).