CAISOR Research Agenda

Lab for the Representation of Knowledge in Logic


This group was founded in 19xx when the ASLAB group was formally divided into ASLAB and RKLLAB. The main research topic of the new lab was intended to be knowledge representation, in particular for use in robots and other autonomous agents. Office information systems was also a part of the activities, continuing the tradition from ASLAB-OIS (see its menu item). The office-system part of RKLLAB was split off as IISLAB in 19xx, led by Lin Padgham. IT4 and Prometheus activities (see their menu items) were two major grants obtained by RKLLAB. On January 1, 1996 RKLLAB was divided into three new groups:

The following persons obtained their PhD in the framework of RKLLAB:

(Hua Shu did a major part of her Ph.D. work at RKLLAB but completed it at Karlstad College. Lars Degerstedt did a major part of his Ph.D. work at UCLA but submitted the thesis in Linköping. Thomas Drakengren completed his work in an independent fashion after the dissolution of RKLLAB. The list does not include students who started in RKLLAB but finished in some of the descendant groups, and that had the group leaders of those groups as their (main) thesis advisors).

Our participation in IT4 and Prometheus was done within the RKLLAB group, and please refer to their respective items on the menu of the present page. Please refer also to the old RKLLAB webpage and to the 1995 annual report from RKLLAB.


Posted on 2005-02-28 as part of the CAISOR website. [Version history.]