Artificial intelligence publications
-
Gibbs Sampling in Open-Universe Stochastic Languages
This paper goes some way to remedying this deficit by introducing, and proving correct, a generalization of Gibbs sampling to partial worlds with possibly varying model structure.
-
An advanced web query interface for biological databases
We present a web interface for building precise queries for biological DBs that can construct much more precise queries than most web-based query forms, yet that is user friendly enough…
-
An Advanced Web Query Interface for Biological Databases
We present a web interface for building precise queries for biological DBs that can construct much more precise queries than most web-based query forms, yet that is user friendly enough…
-
Goal-directed Metacontrol for Integrated Procedure Learning
We describe a metalevel framework for coordinating the activities of a community of learners to create an integrated learning system. The metalevel framework is organized around learning goals, which are…
-
The MetaCyc database of metabolic pathways and enzymes and the BioCyc collection of pathway/genome databases
New developments include atom mappings in reactions, a new representation of glycan degradation pathways, improved compound structure display, better coverage of enzyme kinetic data, enhancements of the Web Groups functionality...
-
Pathway Tools Version 13.0: Integrated Software for Pathway/Genome Informatics and Systems Biology
Pathway Tools is a production-quality software environment for creating a type of model-organism database called a Pathway/Genome Database (PGDB).
-
The Metacyc Database of Metabolic Pathways and Enzymes and the Biocyc Collection of Pathway/Genome Databases
Each BioCyc PGDB contains the predicted metabolic network of one organism, including metabolic pathways, enzymes, metabolites and reactions predicted by the Pathway Tools software using MetaCyc as a reference database.
-
Deductive Formation of Recursive Workflows
We present an action theory with the power to represent recursive plans and the capability to reason about and synthesize recursive workflow control structures.
-
Evaluating User-Adaptive Systems: Lessons from Experiences with a Personalized Meeting Scheduling Assistant
We discuss experiences from evaluating the learning performance of a user-adaptive personal assistant agent.
-
Task Assistant: Personalized Task Management for Military Environments
We describe an AI-enhanced task management tool developed for a military environment, which differs from office environments in important ways: differing time scales, a focus on teams collaborating on tasks…
-
Box Invariance in Biologically-Inspired Dynamical Systems
We show that box invariance can be checked in cubic time for linear and affine systems, and that it remains decidable for classes of nonlinear systems of interest (with polynomial…
-
Efficient Online Learning and Prediction of Users’ Desktop Actions
We show that simple efficient many-class learning can perform well for action prediction, significantly improving over previously published results and baselines.