We are building a library of formal representations of common actions, entities, and modifiers to enable building knowledge bases efficiently. The components are implemented in KM, our language for knowledge representation and automated reasoning. Both the Component Library and KM are protected by copyright, but are distributed under a GNU license.
Most components have (or will have!) two descriptions:
See the GNU General Public License
I AGREE WITH THE LICENSE / Proceed
I DO NOT AGREE WITH THE LICENSE / Cancel
Back to RKF Group Home Page
Created and maintained by Dan Tecuci
Last modified Nov 2, 2000