Cyber & formal methods publications

QLISP permits free intermingling of advanced language constructs with those of INTERLISP. It provides an associative data base, viewed from perspectives controlled by a powerful context mechanism.

INTERLISP, an interactive, development-oriented computer programming system, has been augmented to support applications requiring large data bases maintained on secondary store.

This paper describes a tuneable performance grammar currently being developed for speech understanding.

Evidence is offered that linguistic competence cannot in principle be divorced from linguistic performance in order to abstract universal properties of grammars, that rules of grammar inevitably incorporate perceptual strategies…

The parser uses a best-first strategy in which alternative paths are assigned priorities and paths are suspended as long as there is a higher priority alternative to explore.

A preliminary version of QLISP is described. QLISP permits free intermingling of QA4-like constructs with INTERLISP code. The preliminary version contains features similar to those of QA4 except for the…

A paradigm enabling heuristic problem solving programs to exploit an analogy between a current unsolved problem and a similar but previously solved problem to simplify its search for a solution…

We will describe an approach to combining and extending question-answering techniques to large data files using a compilation of widely used physical laws and effects of interest to both engineers…

This document describes a LISP implementation of BIP (Basic Interface Package) on the PDP-10 computer.

A considerable effort has been made to endow the interface with generality and ease of use, as much as could be achieved without tampering with the FORTRAN and LISP operating…

This proposal outlines a program of research aimed at the development of a mathematical structure to serve as a means for realizing a useful, economical, self-organizing machine.