Note:

Every file available on the CLKR website contains a file-header describing the origin and content of the file; a detailed explanation of the header's contents can be found below. This header may not be removed.

Contributions to CLKR:

CLKR is an evolving system. Any suggestions for improving CLKR are welcome. If you want to modify a file you find on CLKR, a corresponding remark describing the modification should be added to the header; please also consider sending us a copy of the modified file so that we can add it to CLKR. If you want to contribute conditional knowledge bases or collections thereof to CLKR, we will be happy to integrate them into CLKR.

Contact:

Christoph Beierle
Knowledge Based Systems
Faculty for Mathematics and Computer Science
FernUniversität in Hagen
58084 Hagen, Germany
www.fernuni-hagen.de/wbs/
email: christoph.beierle@fernuni-hagen.de