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…
-
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…
-
Connectionist Gender Adaptation in a Hybrid Neural Network / Hidden Markov Model Speech Recognition System
An approach to modeling long-term consistencies in peech signal within the framework of a hybrid Hidden Markov Model (HMM) / Multilayer Perceptron (MLP peaker-independent continuous-speech recognition system is presented.
-
The Design Space of Frame Knowledge Representation Systems
This paper surveys the FRS design space in search of design principles for FRSs.
-
Characterizing diagnoses and systems
In this paper we analyze the concept of diagnosis in depth exploiting the notions of implicate/implicant and prime implicate/implicant.
-
Fundamentals Of Deductive Program Synthesis
An informal tutorial is presented for program synthesis, with an emphasis on deductive methods. According to this approach, to construct a program meeting a given specification, we prove the existence…