Artificial intelligence publications
-
On determining the Fundamental matrix: analysis of different methods and experimental results
This paper addresses the important problem of its robust determination given a number of image point correspondences. We first define precisely this matrix and show clearly how it is related…
-
Deductive Foundations of Computer Programming
Book available online
-
Frame Representation and Relational Data Bases: Alternative Information-Management Technologies for Systematics
-
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…
-
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.
-
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.
-
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
-
Representations of Metabolic Knowledge
We survey representations used for several metabolic databases, including EcoCyc, and reach the following conclusions..
-
A Model for the Functioning of the Striatum
A model is presented for the operation of the striatum. The model posits that the basal ganglia are responsible for driving smooth transitions of state for an organism.
-
The Design Space of Frame Knowledge Representation Systems
This paper surveys the FRS design space in search of design principles for FRSs.
-
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…
-
Lucid and Intensional Logic