CAISOR Research Agenda

Datalogilaboratoriet i Uppsala

A research group at Uppsala University. Founded 1969, dissolved 1975.

The following achievements during this period continue to be of interest:

• Partial evaluation and continuations
• Use of predicate calculus as a specification language, and associated implementation techniques
• The Markov-process based "planning problem solver"
• The LISP A system, an incremental programming system (analogous to Planner and QA4) based on "ambiguity logic"
• The use of software prototyping as an essential element in software systems development
• Design principles for what we called "small databases", corresponding to what was later called "knowledge-based systems"

The following PhD's where made in this group:

• Mats Nordström