Artificial intelligence publications

The functional and operational requirements that define the DoD Directory will yield a system with a significant level of complexity. We describe the artificial intelligence-based approach developed to solve and…

The authors present a complete method for calibrating a camera, which requires only point matches from image sequences.

The framework consists of a set of generic operations on analogical structures and accompanying inference methods for integrating analogical and sentential information.

The use of AI methods to monitor and control semiconductor fabrication in a state-of-the-art manufacturing environment called the Rapid Thermal Multiprocessor is described.

The ruling idea behind Katz and Postal, is that with respect to linguistics and linguistic objects, as with Mathematics and mathematical objects, there are three basic philosophies: nominalism, conceptualism, and…

This paper highlights the limitations of existing project planning tools, illustrates the power of AI techniques in the construction planning domain through a summary and critique of previous and current…

Here we look at quantification in auto-epistemic logic, which is a modal logic of self-knowledge. We propose several different semantics, all based on the idea that having beliefs about an…

This report contains primarily data and is intended for people writing pattern-based game-playing programs who wish to know the details of the patterns in PARADISE.

We present an account of action whose main features are that actions are content properties that agents have in virtue of (i) the bodily movements they effect and (ii) the…

Ce papier fait le point dans ce domaine, en essayant de repondre aux questions : Qu'est-ce que la couleur ? Quelles en sont les representations adequates ? Comment la determiner…

This paper is a continuation of [1] and builds on both the theory and the terminology of that earlier work.