This thesis presents the Planning System DLVK, which supports the novel Planning Language K. The language allows to represent AI planning problems in a declarative way and is capable of representing incomplete knowledge ...