Now showing items 1-2 of 2
The DLVK System for Planning with Incomplete Knowledge
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 ...
ARTIFICIAL INTELLIGENCE AND LAW USING RULE BASED EXPERT SYSTEMS
Uses rule based AI (forward and backward chaining) to model legal decision making by judges.