HICSS
1999
IEEE
14 years 3 months ago
1999
IEEE
Empirical work with "Belvedere," a software environment for the construction of diagrammatic representations of evidential relations, is summarized, leading to the hypot...
CADE
2004
Springer
14 years 12 months ago
2004
Springer
This paper presents the Dr.Doodle system, an interactive theorem prover that uses diagrammatic representations. The assumption underlying this project is that, for some domains (pr...