Artificial intelligence publications

This paper introduces a family of metrics to measure the degree of qualitative match between a database and a pattern, that is, an elastic constraint on database objects and their…

We describe the SRI Procedural Agent Realization Kit (SPARK), a new BDI agent framework that combines scaleability and the clean semantic underpinning of more formal agent frameworks.

We describe a technique of this nature called information theoretic co clustering and give results of a series of experiments built around it that demonstrate the main ingredients of lexical…

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.