Artificial intelligence publications
-
Generating Box Invariants
This paper also shows that the class of multiaffine systems, which has been used successfully for modeling and analyzing regulatory and biochemical reaction networks, can be generalized to the class…
-
Neptune: a Mixed-Initiative Environment for Planning and Scheduling
We describe the design of a user-centric, integrated planning and scheduling system that assists the user in exploring the rich space of plans and associated resource assignment options in complex,…
-
AAAI Spring Symposium – Technical Report: Preface
-
RADAR: a Personal Assistant That Learns to Reduce Email Overload
This paper describes the integration of diverse AI technologies and presents results from human evaluation studies comparing RADAR user performance to unaided COTS tool users and users partnered with a…
-
Sampling Stable Properties of Massive Track Datasets
In this paper, we explore ways in which stable properties of sensor observations can be extracted and visualized using a statistical sampling of features from a very large track dataset,…
-
Enabling Experts to Build Knowledge Bases from Science Textbooks
As a near-term goal, we are focusing on enabling subject matter experts (SMEs) to construct declarative knowledge bases (KBs) from 50 pages of a science textbook in the domains of…
-
Detecting and Summarizing Action Items in Multi-Party Dialogue
This paper addresses the problem of identifying action items discussed in open-domain conversational speech, and does so in two stages: firstly, detecting the subdialogues in which action items are proposed,…
-
Efficient Message Passing and Propagation of Simple Temporal Constraints
We first show that for an STN, these messages can be represented compactly as sub-STNs. We then present an efficient message passing scheme for computing the minimal constraints of an…
-
A Preference Model for Over-Constrained Meeting Requests
We develop a preference model designed to capture user scheduling preferences for overconstrained meeting requests between multiple people, and a methodology for preference elicitation to initially populate this model.
-
An Intelligent Personal Assistant for Task and Time Management
We describe an intelligent personal assistant that has been developed to aid a busy knowledge worker in managing time commitments and performing tasks. The system draws on a diverse set…
-
Proactive Behavior of a Personal Assistive Agent
Our model for proactive assistance employs a meta-level layer to identify potentially helpful actions and determine when it is appropriate to perform them. We conclude by identifying technical challenges in…
-
Deductive Biocomputing
We describe a deduction-based approach to biocomputation that semiautomatically combines knowledge, software, and data to satisfy goals expressed in a high-level biological language.