Date: Tue, 05 Nov 1996 00:26:15 GMT Server: NCSA/1.5 Content-type: text/html Last-modified: Wed, 19 Jun 1996 02:02:26 GMT Content-length: 7157
We are studying computer vision, robotics, machine learning, and automated deduction. Themes in computer vision and robotics include active approaches for controlling camera position and orientation in order to solve tasks such as navigation, scene exploration, and surface reconstruction. Machine learning research focuses on the integration of symbolic and connectionist (neural network) approaches to AI; these methods are being applied to problems in the Human Genome Project and the design of adaptive agents. Automated deduction studies methods for computer generation of formal proofs in logical systems, and is being applied to deductive databases and to discovering new mathematical theorems.
Research Groups
The research groups of the following faculty members are doing AI research.
AI Graduate Students
Click
here for a list of AI graduate students and their research interests.
Recent Papers
Postscript versions of some of our recent papers are available.
Local AI-Related Mailing Lists
Click
here for information about subscribing to several
local AI-related mailing lists.
Miscellaneous Useful Information