The Inferential-Expressive Trade-Off: A Case Study of Tabular Representations
DIAGRAMS '02 Proceedings of the Second International Conference on Diagrammatic Representation and Inference
Guiding Attention Produces Inferences in Diagram-Based Problem Solving
DIAGRAMS '02 Proceedings of the Second International Conference on Diagrammatic Representation and Inference
What makes a system less graphical?
Machine Graphics & Vision International Journal - Special issue on diagrammatics & Design
Self-consistency, imprecision, and impossible cases in diagrammatic representations
Machine Graphics & Vision International Journal - Special issue on diagrammatics & Design
An Eye-Tracking Study of Exploitations of Spatial Constraints in Diagrammatic Reasoning
Diagrams '08 Proceedings of the 5th international conference on Diagrammatic Representation and Inference
Openproof - A Flexible Framework for Heterogeneous Reasoning
Diagrams '08 Proceedings of the 5th international conference on Diagrammatic Representation and Inference
Vivid: A framework for heterogeneous problem solving
Artificial Intelligence
Journal of Symbolic Computation
Informal Proofs and Mathematical Rigour
Studia Logica
The efficacy of euler and Venn diagrams in deductive reasoning: empirical findings
Diagrams'10 Proceedings of the 6th international conference on Diagrammatic representation and inference
An attention based theory to explore affordances of textual and diagrammatic proofs
Diagrams'10 Proceedings of the 6th international conference on Diagrammatic representation and inference
An eye-tracking study of integrative spatial cognition over diagrammatic representations
SC'10 Proceedings of the 7th international conference on Spatial cognition
Hi-index | 0.00 |