Many of these systems do not take advantage of hypertext techniques that give users direct access to application interrelationships. Hypertext features can provide supplemental support functionality, which augments both the application's user interface and computational components. In this project we develop design guidelines and methodologies for providing hypertext as secondary support functionality. This project studies the logical foundations for representing and reasoning about people's actions and their effects upon others. We are developing a logical framework to model actions that affect the epistemic states of agents, as well as automated reasoning methods for applying the framework and drawing conclusions.
Communications play an important role in human actions.
This research examines how different methods of computer-mediated communication, such as well as hypertext structuring, multimedia richness and natural language function as part of social activity. To apply this research we are developing automated reasoning tools supporting collaborative decision making, and the process of software specification and development. Virtual reality inherently includes multimedia. This project looks at applying multiple types of media and especially text to virtual reality environments. Yet, even in virtual environments users will need to read annotations and other linked materials.