Artificial intelligence publications
-
Planning with Conflicting Advice
This paper introduces two contrasting methods for planning with conflicting advice, suited to different user requirements. Soft enforcement embodies a heuristic approach that prefers planning choices that are consistent with…
-
Global Properties of the Metabolic Map of Escherichia coli
Here we present a computational analysis of the global properties of that network, which consists of 744 reactions that are catalyzed by 607 enzymes.
-
An Ontology for Biological Function Based on Molecular Interactions
The article explores the notion of computing with function, and explains the importance of ontologies of function to bioinformatics.
-
Coordinating Planning Activity and Information Flow in a Distributed Planning System
Distributed SIPE (DSIPE) is a distributed planning system that provides decision support to human planners in a collaborative planning environment.
-
A Survey of Research in Distributed, Continual Planning
In this article, we describe a new paradigm for planning in complex, dynamic environments, which we term distributed, continual planning (DCP). We argue that developing DCP systems will be necessary…
-
Characterizing the Performance of Multiple-Image Point-Correspondence Algorithms using Self-Consistency
A new approach to characterizing the performance of point- correspondence algorithms is presented.
-
At the Boundary of Workflow and AI
This paper describes how techniques from the AI community, specifically reactive control, planning, and scheduling, could be leveraged to develop powerful, next-generation adaptive workflow engines that provide many of the…
-
Task-based Information Management
We are constructing a system, called the Task-based Information Distribution Environment (TIDE), that delivers information to participants in a dynamic collaboration by evaluating the relevance of incoming and newly generated…
-
What we do not know about sequence analysis and sequence databases
The marriage of high-throughput nucleotide sequencing with computational methods for the analysis of nucleotide and protein sequences have ushered in a new era of molecular biology.
-
Interpretation of Discourse and Proof Theory: Questions and Directions
A major theme of Johan’s Exploring Logical Dynamics is the move from using the tools of logic to analyze the products of cognitive processes to using those tools, including perhaps…
-
CPEF: A Continuous Planning and Execution Framework
This article reports on the first phase of the continuous planning and execution framework (CPEF), a system that employs sophisticated plan-generation, -execution, -monitoring, and -repair capabilities to solve complex tasks…
-
Using the EcoCyc Database