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 ...

Uses rule based AI (forward and backward chaining) to model legal decision making by judges.