Artificial intelligence publications

We present a formal framework for robust plan sketching that defines key concepts and algorithms for interpreting and repairing plan sketches for two classes of problems.

The successful integration and acceptance of many multi-agent systems into daily lives crucially depends on the ability to develop effective policies for adjustable autonomy.

In this paper, we describe how transformations can augment existing semantic approaches to further improve matching.

We characterize the domain-independent challenges posed by this problem, and describe how properties of domains influence the challenges and their solutions.

A new tool is being used to generate lexical parsers in Scheme. It is based on a cascade of lexers, described by tagged regular expressions (TREs)  written as s-expressions. In…

We describe a plan-authoring system called PASSAT (Plan Authoring System based on Sketches, Advice, and Templates) that combines interactive tools for constructing plans with a suite of automated and mixed-initiative…

They may reside on different machines in diverse locations. Knowledge may be represented according to different frameworks, notations, or coordinate systems. The answer may not exist anywhere explicitly; it may…