Kreuger, Per (1992) Applications of Partial Inductive Definitions. Conclusions from some projects run at SICS KBS-lab 1986-1992. [SICS Report]
![[img]](/style/images/fileicons/application_postscript.png)
| Postscript 151Kb | |
![[img]](/style/images/fileicons/application_pdf.png)
| PDF 2233Kb |
Abstract
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.
| Item Type: | SICS Report |
|---|---|
| Uncontrolled Keywords: | knowledge based systems, logic programming, non monotonic reasoning, programming language GCLA |
| ID Code: | 581 |
| Deposited By: | IAM Researcher |
| Deposited On: | 08 Sep 2009 |
| Last Modified: | 18 Nov 2009 15:57 |
Repository Staff Only: item control page
