Artificial intelligence publications
-
Emma: An Event Management Assistant
In this extended abstract we describe the motivation, design, deployment and evaluation of the Emma system.
-
Logical Hierarchical Hidden Markov Models for Modeling User Activities
In this work we develop a representation that naturally combines the power of both relational and hierarchical models in the form of Logical Hierarchical Hidden Markov Models (LoHiHMMs).
-
MUESLI: Multiple utterance error correction for a spoken language interface
We propose a method for using all available information to help correct recognition errors in tasks that use constrained grammars of the kind used in the domain of Command and…
-
Message from the Chairs
Presents the introductory welcome message from the conference proceedings of the 2008 IEEE International Conference on Computational Intelligence for Measurement Systems and Applications.
-
CALO Workflow Recognition and Proactive Assistance
This short video offers glimpses of how SRI's CALO agent helps users manage their tasks and time using advanced activity recognition algorithms based on logical probabilistic models.
-
Annotation-Based Inference of Transporter Function
We present a method for inferring and constructing transport reactions for transporter proteins based primarily on the analysis of the names of individual proteins in the genome annotation of an…
-
Question Asking to Inform Procedure Learning
We propose a framework that augments learning by demonstration through a facility for asking questions of the demonstrator. We define a catalog of questions designed to inform learning by demonstration…
-
Sequential Monte Carlo in Reachability Heuristics for Probabilistic Planning
In this work, we apply heuristic search to conformant probabilistic planning by adapting planning graph heuristics developed for non-deterministic planning. We evaluate a straight-forward application of these planning graph techniques,…
-
Dynamic Intention Structures I: a Theory of Intention Representation
The paper builds on ideas from dynamic logic to present a solution to the representation and evolution of agent intentions involving reference to incompletely specified and, possibly, mutually dependent intentions,…
-
A Process Catalog for Workflow Generation
This paper describes PROCAT, an implemented ontology-based catalog for components, built on a layered representation that allows reasoning about processes at varying levels of abstraction, from qualitative constraints reflecting preconditions and…
-
A Demonstration of the Radar Personal Assistant
Email clients were not designed to serve as a task management tools, but a high volume of task-relevant information in email leads many people to use email clients for this…
-
A Framework for Evidential-Reasoning Systems
Both the formal basis and a framework for the implementation of automated reasoning systems based upon these techniques are presented. The formal and practical approaches are divided into four parts.