Artificial intelligence publications
-
A Survey of Orphan Enzyme Activities
Here we present a follow-up literature-based survey involving a statistically significant sample of such "orphan" activities.
-
Graphical Manipulation of Evidence in Structured Arguments
A semiautomated approach to evidential reasoning uses template-based structured argumentation. Graphical depictions convey lines of reasoning, from evidence through to conclusions.
-
Multidimensional annotation of the Escherichia coli K-12 genome
The annotation of the Escherichia coli K-12 genome in the EcoCyc database is one of the most accurate, complete and multidimensional genome annotations.
-
A Case Study in Engineering a Knowledge Base for an Intelligent Personal Assistant
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…
-
Presentation of Information for Link Analysis
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…
-
Localization in Horizontal-Only Ambisonic Systems
We test the localization of horizontal-only Ambisonic reproduction systems using various test signals to separately evaluate low-frequency and mid-frequency localization.
-
Proving Authentication Properties in the Protocol Derivation Assistant
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…
-
Metatheoretic Plan Summarization and Comparison
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.
-
Computer-Mediated Collaborative Reasoning and Intelligence Analysis
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…
-
Deploying a Personalized Time Management Agent
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…
-
Continuous Refinement of Agent Resource Estimates
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…
-
NOMOS: A Semantic Web software framework for annotation of multimodal corpora
We present NOMOS, an open-source software framework for annotation, processing, and analysis of multimodal corpora.