Artificial intelligence publications

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…

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…

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.

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…

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…

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.

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…

We have implemented an approach in which rapid improvement in performance at suggesting reusable text is achieved by learning from limited user feedback.

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…