Artificial intelligence publications

We present a case study in engineering a large knowledge base (KB) to meet the requirements of a personal assistant. We discuss our KB development methodology and the engineering challenges…

We test the localization of horizontal-only Ambisonic reproduction systems using various test signals to separately evaluate low-frequency and mid-frequency localization.

SRI's LAW (Link Analysis Workbench) is a system that helps intelligence analysts detect occurrences of situations of interest by finding pattern instances in vast amounts of data using graph edit…

In the present paper, we introduce an axiomatic theory of authentication suitable for the automatic proof of authentication properties. We describe a proof of the authentication property of a simple…

We describe a domain-independent framework for plan summarization and comparison that can help a human understand both key strategic elements of an individual plan and important differences among plans.

We report on our ongoing practical experience in designing, implementing, and deploying PTIME, a personalized agent for time management and meeting scheduling in an open, multi-agent environment. In developing PTIME…

The challenge we address is to reason about projected resource usage within a hierarchical task execution framework in order to improve agent effectiveness. Specifically, we seek to define and maintain…

We present NOMOS, an open-source software framework for annotation, processing, and analysis of multimodal corpora.

We consider the problem of answering a query, where the answer is not provided explicitly by any one resource, but has to be deduced from information provided by many resources;…

We introduce a framework spanning the entire collaborative thought process using the Angler and SEAS (Structured Evidential Argumentation System) applications. Angler encourages creative brainstorming while SEAS demands analytical reasoning. The…

This position paper discusses the problem of locally evaluating and comparing candidate schedules, in the context of a distributed scheduling task operating in unbounded environments in which each agent selfishly…