Publications
-
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…
-
Representations of Metabolic Knowledge
We survey representations used for several metabolic databases, including EcoCyc, and reach the following conclusions..
-
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…
-
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
-
Frame Representation and Relational Data Bases: Alternative Information-Management Technologies for Systematics
-
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…