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.

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…

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…

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…

We sketch the historical and conceptual context of Turing’s analysis of algorithmic or mechanical computation and then discuss two responses to that analysis.

This paper presents a framework called CODA that provides targeted information dissemination among distributed human planners as a way of improving coordination.

Our main goal is to predict the accuracy of an output element of an existing stereo algorithm

A 50,709-bp cryptic plasmid isolated from a marine Micrococcus has been sequenced and found to contain a number of putative mobile genetic elements.

This paper considers the problem of conflicting guidance for agents, making contributions in two areas: (a) outlining a space of conflict types, and (b) defining resolution methods that provide robust…

This paper considers the problem of conflicting guidance for agents, making contributions in two areas: outlining a space of conflict types, and defining resolution methods that provide robust agent operation…