The sell project: a learning tool for e-learning logic
TICTTL'11 Proceedings of the Third international congress conference on Tools for teaching logic
| Hi-index | 0.00 |
During the 1990s, we developed the theory of formal heterogeneous deduction: logically valid inference that involves information expressed using multiple different representations. The Hyperproofprogram was developed as an implementation of that theory, and permitted deductions using sentences of first-order logic and blocks world diagrams.We have since been generalizing both the theory and the implementation to allow applications in a wide variety of domains.