Artificial intelligence publications
-
EcoCyc: a comprehensive database resource for Escherichia coli
The mission for EcoCyc is to contain both computable descriptions of, and detailed comments describing, all genes, proteins, pathways and molecular interactions in E.coli.
-
Supporting the Pattern Development Cycle in Intelligence Gathering
This paper discusses the cycle through a use case of the Link Analysis Workbench (LAW), a tool for discovering and analyzing situations of interest in large relational data sets.
-
A Collaborative Framework for Managing Uncertainty and Cognitive Bias
-
Execution Monitoring and Replanning with Incremental and Collaborative Scheduling
We describe the Flight Manager Assistant (FMA), a prototype system, designed to support real-time management of airlift operations at the USAF Air Mobility Command (AMC).
-
Querying and Computing with BioCyc Databases
We describe multiple methods for accessing and querying the complex and integrated cellular data in the BioCyc family of databases.
-
The Role of Higher-Order Constructs in the Inexact Matching of Semantic Graphs
This paper reports the results of an experimental analysis of higher-order constructs in graphical patterns and their effect on pattern matching efficiency.
-
Expansion of the BioCyc Collection of Pathway/Genome Databases to 160 Genomes
This paper discusses the computational methodology by which the BioCyc collection has been expanded, and presents an aggregate analysis of the collection that includes the range of number of pathways…
-
Genome Annotation Errors in Pathway Databases Due to Semantic Ambiguity in Partial EC Numbers
We report on a new type of systematic annotation error in genome and pathway databases that results from the misinterpretation of partial Enzyme Commission (EC) numbers such as ‘1.1.1.-’.
-
Database Editing Metrics for Pattern Matching
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…
-
The SPARK Agent Framework
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.
-
Designing a System for Structured Assessment of Compliance Risk
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…
-
Balancing Formal and Practical Concerns in Agent Design
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…