A Framework for Implementing the Three Laws of Robotics.
It is based on my ongoing PhD research on that topic.
The system currently implements a parser and planner. 
The parser is for a special declarative language in what the user can specify the goal structure of the robot in quite concise manner. 
The parsed configuration is used by the planner that builds plans so that they meet the safety criteria. The safety here means that plans do not have unexpected negative consequences.
The concepts used in the system allow one to specify a goal configuration similar to the Asimov's three laws. Different goal configurations are also possible and a certain slight modification of the "three laws" configuration is even very recommended for safety purposes.

See "safe_poster3.pdf" for more detailed introduction of current implementation or "roland pihlakas - august 2008 extended abstract.pdf" for the roadmap.