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.
- KPLAB - the laboratory of
knowledge processing. Lab Leader: Professor Patrick Doherty.
- TASLAB - the laboratory of
autonomous systems.
- TOSCA - the laboratory
for temporal-system correctness and algorithmics.
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.