Follow
Daniel Raggi
Daniel Raggi
Research Associate, Cambridge University
Verified email at cl.cam.ac.uk
Title
Cited by
Cited by
Year
How to (Re) represent it?
D Raggi, G Stapleton, A Stockdill, M Jamnik, GG Garcia, PCH Cheng
2020 IEEE 32nd International Conference on Tools with Artificial …, 2020
132020
Cognitive properties of representations: a framework
PCH Cheng, G Garcia Garcia, D Raggi, A Stockdill, M Jamnik
International Conference on Theory and Application of Diagrams, 415-430, 2021
102021
Dissecting representations
D Raggi, A Stockdill, M Jamnik, G Garcia Garcia, HEA Sutherland, ...
International Conference on Theory and Application of Diagrams, 144-152, 2020
102020
Correspondence-based analogies for choosing problem representations
A Stockdill, D Raggi, M Jamnik, GG Garcia, HEA Sutherland, PCH Cheng, ...
2020 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC …, 2020
102020
Inspection and selection of representations
D Raggi, A Stockdill, M Jamnik, G Garcia Garcia, HEA Sutherland, ...
Intelligent Computer Mathematics: 12th International Conference, CICM 2019 …, 2019
92019
Automating change of representation for proofs in discrete mathematics (extended version)
D Raggi, A Bundy, G Grov, A Pease
Mathematics in Computer Science 10, 429-457, 2016
82016
Representational Interpretive Structure: Theory and Notation
PCH Cheng, A Stockdill, G Garcia Garcia, D Raggi, M Jamnik
International Conference on Theory and Application of Diagrams, 54-69, 2022
32022
Observing Strategies of Drawing Data Representations
F Colarusso, PCH Cheng, G Garcia Garcia, D Raggi, M Jamnik
International Conference on Theory and Application of Diagrams, 537-552, 2021
32021
Considerations in representation selection for problem solving: A review
A Stockdill, D Raggi, M Jamnik, G Garcia Garcia, PCH Cheng
International Conference on Theory and Application of Diagrams, 35-51, 2021
32021
Representational systems theory: A unified approach to encoding, analysing and transforming representations
D Raggi, G Stapleton, M Jamnik, A Stockdill, GG Garcia, PCH Cheng
arXiv preprint arXiv:2206.03172, 2022
22022
A novel interaction for competence assessment using micro-behaviors: Extending CACHET to graphs and charts
F Colarusso, PCH Cheng, G Garcia Garcia, A Stockdill, D Raggi, ...
Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems …, 2023
12023
Examining experts’ recommendations of representational systems for problem solving
A Stockdill, G Stapleton, D Raggi, M Jamnik, GG Garcia, PCH Cheng
2022 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC …, 2022
12022
Cognitive Modeling of Interpretations of Representations
A Stockdill, G Garcia Garcia, PC Cheng, D Raggi, M Jamnik
The Tenth Advances in Cognitive Systems (ACS) Conference, 2022
12022
Oruga: An Avatar of Representational Systems Theory
D Raggi, G Stapleton, M Jamnik, A Stockdill, GG Garcia, PCH Cheng
12022
Generation of Visual Representations for Multi-Modal Mathematical Knowledge
L Wu, S Choi, D Raggi, A Stockdill, GG Garcia, F Colarusso, PCH Cheng, ...
Proceedings of the AAAI Conference on Artificial Intelligence 38 (21), 23850 …, 2024
2024
Cognitive Analysis for Representation Change
A Stockdill, GG Garcia, PCH Cheng, D Raggi, M Jamnik
2022
Cross-domain correspondences for explainable recommendations
A Stockdill, D Raggi, M Jamnik, GG Garcia, HEA Sutherland, PCH Cheng, ...
CEUR-WS. org, 2020
2020
Elucidating the Cognitive Anatomy of Representation Systems.
PCH Cheng, GG Garcia, HEA Sutherland, D Raggi, A Stockdill, M Jamnik
cognitivesciencesociety. org, 2019
2019
Searching the space of representations: reasoning through transformations for mathematical problem solving
D Raggi
The University of Edinburgh, 2016
2016
Automating change of representation for proofs in discrete mathematics
D Raggi, A Bundy, G Grov, A Pease
International Conference on Intelligent Computer Mathematics, 227-242, 2015
2015
The system can't perform the operation now. Try again later.
Articles 1–20