Artificial intelligence publications

The goal of the AI Meets Business Rules and Process Management AAAI symposium was to investigate the various approaches and standards to represent business rules, business process management, and the…

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…

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,…

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…

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…

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…

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.

We consider the problem of autonomous navigation in an unstructured outdoor environment. The goal is for a small outdoor robot to come into a new area, learn about and map…

The AI and HCI communities have often been characterized as having opposing views of how humans and computers should interact" observes Winograd in "Shifting Viewpoints". Reconciling these views requires a…

An approach to question answering through automated deduction is advocated. External knowledge resources, including data and software, are consulted through a mechanism known as procedural attachment.

We present the results of a study among test users of CALO, one such complex adaptive agent system, to investigate themes surrounding trust and understandability. We identify and discuss eight…