Concepedia

QLISP

Earl D. Sacerdoti, Richard Fikes, René Reboh, Daniel Sagalowicz, Richard Waldinger, B. Michael Wilber

1976 · 21 citations · 8 references

DOIFull text

Open access

Concepts

Abstract

This paper presents a functional overview of the features and capabilities of QLISP, one of the newest of the current generation of very high level languages developed for use in Artificial Intelligence (AI) research.

References

8

Description and Theoretical Analysis (Using Schemata) of Planner: A Language for Proving Theorems and Manipulating Models in a Robot

Carl Hewitt · Defense Technical Information Center (DTIC) · 1972 · 319 citations

, , +8

The Conniver Reference Manual

Drew McDermott, Gerald Jay Sussman · DSpace@MIT (Massachusetts Institute of Technology) · 1972 · 130 citations · Full text

, , +3

Micro-Planner Reference Manual

Gerald Jay Sussman, Terry Winograd · DSpace@MIT (Massachusetts Institute of Technology) · 1970 · 92 citations · Full text

, , +4

QA4: A Procedural Calculus for Intuitive Reasoning.

J. F. Rulifson, Jan Antonius Cornelius Derksen, Richard Waldinger · Defense Technical Information Center (DTIC) · 1972 · 71 citations

, , +16

Reasoning about programs

Richard Waldinger, Karl Levitt · Artificial Intelligence · 1974 · 57 citations