Date: Wed, 20 Nov 1996 19:15:33 GMT Server: NCSA/1.5 Content-type: text/html Last-modified: Tue, 28 Nov 1995 19:51:04 GMT Content-length: 1516
Engineers have long used diagrams as an essential part of the design process. Flow charts and other forms of diagrams are well known aides in programming. There are now programming environments where the programming is entirely diagrammatic. The graphic capabilities of the computer have led to the wide spread use of diagrammatic and other forms of graphical representation of information. This project attempts to understand the logical properties of such forms of representation, and to develop computational tools to facilitate the correct use of such tools.
Associated Faculty: Gerry Allwein, Jon Barwise, Steve Johnson
Associated Graduate Students: Kata Bimbo (philosophy and cognitive science), Michael Chui, Kathi Fisler, Atsushi Shimojima (philosophy)
Affiliated Projects: The project takes place within the IU Visual Inference Laboratory, and is affiliated with the Hyperproof Project at CSLI, Stanford University.
Support: COAS, RUGS
For more information click here