Links to Successors of Former RKLLAB

RKLLAB = Laboratory for the Representation of Knowledge in Logic

A research group at the Department of Compputer and Information Science, Linköping University, Sweden.

The previous Laboratory for the Representation of Knowledge (RKLLAB) was divided into the following three new labs by January 1, 1996.

The old RKLLAB website is being retained for historical purposes. The same applies for the websites for TASLAB and TOSCA, since these two groups have been succeeded by new groups.

An overview of history pertaining to RKLLAB and its predecessor and successor activities can be found at the CAISOR website.