SODA

Applications of Partial Inductive Definitions. Conclusions from some projects run at SICS KBS-lab 1986-1992

Kreuger, Per (1992) Applications of Partial Inductive Definitions. Conclusions from some projects run at SICS KBS-lab 1986-1992. [SICS Report]

[img]
Preview
Postscript
151Kb
[img]
Preview
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