Showing page 1 of 1.
A Framework for Implementing Three Laws of Robotics. It is based on my ongoing PhD research on that topic. See roland.pri.ee/doktor and roland.pri.ee/wiki/doktor for more details. The system implements a parser for a declarative language and a planner0 weekly downloads
A Genetic Programming library that uses System F, a polymorphically typed lambda calculus to represent genotypes. System F is very expressive and allows the native representation of all common programming structures and of recursive structures.0 weekly downloads