Applications of Partial Inductive Definitions. Conclusions from some projects run at SICS KBS-lab 1986-1992
Per Kreuger · 1992
: This paper describes the history of and some conclusions from a series of projects run at SICS KBS-lab during the period from 1986 to 1992. The projects have in common that they all are applications of the theory of partial inductive definitions. Table of Contents September 1992 APID i 1 Motivation of the Research 1 2 Background 2 2.1 Theoretical Background 2 2.2 Programming language (KBS tool) 2 2.3 Program verification/synthesis and the proof editor Pi 3 3 Project History 4 4 Results 6 4.1 Published papers and Conference Contributions 6 4.2 Academic degrees 7 4.3 Workshops 7 4.4 Applications 7 4.5 International Contacts 8 4.5.1 The ESPRIT working group: GENTZEN 8 4.5.2 Others 9 5 Conclusions and Evaluation 9 6 Future Work 10 Bibliography ii APID September September 1992 APID 1 1 Motivation of the Research The goal of Knowledge Based Systems (KBS) technology is to develop methods and tools for development and maintenance of KBS. In order to build systems based on knowled...