Dedicated Laboratories - Automated Reasoning Laboratory
Description
The group is involved in a number of different project areas:
- Diagrammatic Reasoning: explorations on how diagrammatic
information can be used in problem solving and data
storage/retrieval. This involves work with the Diagrammatic
Reasoning Consortium, which also includes faculty from the
University of Hartford
- Puppotics: use of robotic techniques in puppetry
- Robotic control and communications: examination of control and
communications strategies for multiple robot systems
- Plan recognition: exploring methods for predicting user behavior
in human-computer interaction
- Functional programming and mobile computing: variety of issues having to do with the mobile distribution of computation
Robert McCartney, (Director) Computer Science and Engineering, University of Connecticut
[Back]