Artificial intelligence publications

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.

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…

Pathway Tools is a production-quality software environment for creating a type of model-organism database called a Pathway/Genome Database (PGDB).

We present an action theory with the power to represent recursive plans and the capability to reason about and synthesize recursive workflow control structures.

We discuss experiences from evaluating the learning performance of a user-adaptive personal assistant agent. 

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…

We show that simple efficient many-class learning can perform well for action prediction, significantly improving over previously published results and baselines.

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…

A mixed-initiative agent for personal time management interacts not only with its human owner but also with other agents and humans that share or depend on the same time commitments.