Publications
-
The Grasper-CL Graph Management System
Grasper-CL [5] is a COMMON LISP system for manipulating and displaying graphs, and for building graph-based user interfaces for application programs.
-
SRI International FASTUS system MUC-6 test results and analysis
The fundamental ideas behind FASTUS are retained in the current system: an architecture consisting of cascaded finite state transducers, each providing an additional level of analysis of the input, together…
-
Beyond The Light Bulb: The Promise Of Technology In The Edison Project
Describes the Edison Project, a plan to integrate technology into schools and school systems that will support communication, collaboration, research, text and multimedia authoring and publishing, resource access and management,…
-
Representations of Metabolic Knowledge
We survey representations used for several metabolic databases, including EcoCyc, and reach the following conclusions..
-
The Role(s) of Logic in Artificial Intelligence
In this essay, we shall briefly sketch some of the roles logic plays in AI; we shall end with some mention of these recent challenges and lines of inquiry.
-
Applying an AI Planner to Military Operations Planning
The systems, SOCAP (System for Operations Crisis Action Planning), combines a newly extended version of an AI planning system, SIPE-2, with a color map display and applies this technology to…
-
A New Striatal Model and its Relationship to Basal Ganglia Diseases
A new model of the striatum has recently been proposed. This model suggests that the somatotopic regions of the striatum correspond to state spaces governing various aspects of organism behavior
-
Determining the fundamental matrix with planes: unstability and new algorithms
The fundamental matrix is a key concept when working with uncalibrated images and multiple viewpoints. It contains all the available geometric information and enables recovery of the epipolar geometry from…
-
Frame Representation and Relational Data Bases: Alternative Information-Management Technologies for Systematics
-
Deductive Foundations of Computer Programming
Book available online
-
Fastus: A System For Extracting Information From Natural-Language Text
FASTUS is a system for extracting information from free text in English, and potentially other languages as well, for entry into a database, and potentially for other applications. It works…
-
Hybrid Neural Network/Hidden Markov Model Continuous Speech Recognition
In this paper we present a hybrid multilayer perceptron (MLP)/hidden Markov model (HMM) speaker-independent continuous-speech recognition system, in which the advantages of both approaches are combined by using MLPs to…