Artificial intelligence publications
-
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.-’.
-
New experiments in distributional representations of synonymy
We generated a TOEFL-like test using WordNet, containing thousands of questions and composed only of words occurring with sufficient corpus frequency to support sound distributional comparisons.
-
Online Query Relaxation via Bayesian Causal Structures Discovery
We introduce a novel algorithm, TOQR, for relaxing failed queries over databases, that is, over-constrained DNF queries that return an empty result.
-
The complete genome sequence of Francisella tularensis, the causative agent of tularemia
We report the complete genome sequence of a highly virulent isolate of F. tularensis. The sequence uncovers previously uncharacterized genes encoding type IV pili, a surface polysaccharide and iron-acquisition systems.
-
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.
-
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…
-
Call for an enzyme genomics initiative
I propose an Enzyme Genomics Initiative, the goal of which is to obtain at least one protein sequence for each enzyme that has previously been characterized biochemically.