Artificial intelligence publications

This paper describes two methods for automatically prioritizing planning decisions. Both approaches have been implemented in PASSAT, a plan-authoring system in which users construct and modify plans interactively using a…

We present a system for unsupervised tagging of words into classes produced by a distributional clustering technique called co-clustering.

The Halo Pilot collaboratively developed a taxonomy of failures with the goal of creating a common framework of metrics against which we could measure inter- and intra- system failure characteristics…

This paper presents an ontology for encoding the type of support and the degree of support for DB assertions, and for encoding the literature source in which that support is…

We present a video demonstration of an agent-based test bed application for ongoing research into multi-user, multimodal, computer-assisted meetings.

This work applies boosted wrapper induction (BWI), a machine learning algorithm for information extraction from semi-structured documents, to the problem of named entity recognition.

A formal reasoning technique known as structured argumentation has been explored by the IRS LMSB Research to improve compliance risk assessment. The IRS together with SRI International evaluated the use…

In this paper, we discuss a number of both formal and practical requirements that must be met to satisfy the demands of large-scale applications. We also briefly describe work on…

We describe the application of plan recognition techniques to support human intelligence analysts in processing national security alert sets by automatically identifying the hostile intent behind them. Identifying the intent…