Artificial intelligence publications

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.

We present the novel application of a general-purpose knowledge-based system, SHAKEN, to the specific task of acquiring knowledge for military Course of Action (COA) analysis.

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.