Automatic Belief Revision in SNePS

Automatic Classification of Stellar Spectra

Automatic Construction of Lightweight Domain Ontologies for Chemical Engineering Risk Management

Automatic Estimation of the Exposure to Lateral Collision in Signalized Intersections using Video Sensors

Automatic Generation of Constraint Propagation Algorithms for Small Finite Domains

Automatic Sampling of Geographic objects

Automatic Vehicle Checking Agent (VCA)

Automatic Wrapper Adaptation by Tree Edit Distance Matching

Automatically Discovering Hidden Transformation Chaining Constraints

Automatically Restructuring Practice Guidelines using the GEM DTD

Automatically Selecting Useful Phrases for Dialogue Act Tagging

Automatically Training a Problematic Dialogue Predictor for a Spoken Dialogue System

Automating Quantified Multimodal Logics in Simple Type Theory -- A Case Study

Autonomously managed electrical power systems

Avian Influenza (H5N1) Expert System using Dempster-Shafer Theory

Avian Influenza (H5N1) Warning System using Dempster-Shafer Theory and Web Mapping

Avoiding the Bloat with Stochastic Grammar-based Genetic Programming

Axiomatizing Causal Reasoning