Artificial intelligence publications
-
Knowledge acquisition, consistency checking and concurrency control for Gene Ontology (GO)
In this paper, we assess the applicability of a Knowledge Base Management System (KBMS), Protégé-2000, to the maintenance and development of GO.
-
Adjustable Autonomy Challenges in Personal Assistant Agents: A Position Paper
The successful integration and acceptance of many multi-agent systems into daily lives crucially depends on the ability to develop effective policies for adjustable autonomy.
-
The Pathway Tools software and its Role in Anti-Microbial Drug Discovery
-
PseudoCyc, a Pathway/Genome Database for Pseudomonas aeruginosa
Our PathoLogic software can generate a PGDB from an annotated genome of an organism, predicting the metabolic reactions and pathways corresponding to the enzymes present in the annotation.
-
PASSAT: A User-centric Planning Framework
We describe a plan-authoring system called PASSAT (Plan Authoring System based on Sketches, Advice, and Templates) that combines interactive tools for constructing plans with a suite of automated and mixed-initiative…
-
A persistent web application for distribution of weather information in Scheme
A new tool is being used to generate lexical parsers in Scheme. It is based on a cascade of lexers, described by tagged regular expressions (TREs) written as s-expressions. In…
-
Deductive Response to Geographic Queries
They may reside on different machines in diverse locations. Knowledge may be represented according to different frameworks, notations, or coordinate systems. The answer may not exist anywhere explicitly; it may…
-
Reflections on Godel’s and Gandy’s Reflections on Turing’s Thesis
We sketch the historical and conceptual context of Turing’s analysis of algorithmic or mechanical computation and then discuss two responses to that analysis.
-
Evaluation of computational metabolic-pathway predictions for Helicobacter pylori
We seek to determine the accuracy of computational methods for predicting metabolic pathways in sequenced genomes, and to understand the contributions of both the prediction algorithms, and the reference pathway…
-
A 50-kb Plasmid Rich in Mobile Gene Sequences Isolated from a Marine Micrococcus
A 50,709-bp cryptic plasmid isolated from a marine Micrococcus has been sequenced and found to contain a number of putative mobile genetic elements.
-
Resolving Conflicts in Agent Guidance
This paper considers the problem of conflicting guidance for agents, making contributions in two areas: (a) outlining a space of conflict types, and (b) defining resolution methods that provide robust…
-
Conflict Management for Agent Guidance
This paper considers the problem of conflicting guidance for agents, making contributions in two areas: outlining a space of conflict types, and defining resolution methods that provide robust agent operation…