Artificial intelligence publications

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…

Collaborative analysis is supported via simultaneous access to arguments through web browser clients connected to a common argument server.

We are exploring the following hypothesis at the intersection between knowledge engineering and the semantic web: Can we use a semantic wiki to acquire symbolic knowledge on the web that…