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 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
-
The Representation Space Paradigm Of Concurrent Evolving Object Descriptions
This paradigm is designed to be used by the perception system of an autonomous robot that needs to describe many types of objects, initially detects objects at a distance and…
-
Self-calibration of a camera using multiples images
The authors present a complete method for calibrating a camera, which requires only point matches from image sequences.
-
Reasoning with Analogical Representations
The framework consists of a set of generic operations on analogical structures and accompanying inference methods for integrating analogical and sentential information.
-
The Planning of Actions and The Basal Ganglia
The model posits that the basal ganglia are responsible for driving smooth transitions of state (e.g., joint positions) for an organism.