Daniel Raggi

According to our database, Daniel Raggi authored at least 17 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Generation of Visual Representations for Multi-Modal Mathematical Knowledge.

Lianlong Wu, Seewon Choi, Daniel Raggi, Aaron Stockdill, Grecia Garcia Garcia, Fiorenzo Colarusso, Peter C.-H. Cheng, Mateja Jamnik

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

A novel interaction for competence assessment using micro-behaviors: : Extending CACHET to graphs and charts.

Fiorenzo Colarusso, Peter C.-H. Cheng, Grecia Garcia Garcia, Aaron Stockdill, Daniel Raggi, Mateja Jamnik

Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems, 2023

2022

Representational Systems Theory: A Unified Approach to Encoding, Analysing and Transforming Representations.

Daniel Raggi, Gem Stapleton, Mateja Jamnik, Aaron Stockdill, Grecia Garcia Garcia, Peter C.-H. Cheng

CoRR, 2022

Cognitive Analysis for Representation Change.

Aaron Stockdill, Grecia Garcia Garcia, Peter C.-H. Cheng, Daniel Raggi, Mateja Jamnik

Proceedings of the 3rd Human-Like Computing Workshop (HLC 2022) co-located with the 2nd International Joint Conference on Learning and Reasoning (IJCLR 2022), 2022

Oruga: an avatar of Representational Systems Theory.

Daniel Raggi, Gem Stapleton, Mateja Jamnik, Aaron Stockdill, Grecia Garcia Garcia, Peter C.-H. Cheng

Proceedings of the 3rd Human-Like Computing Workshop (HLC 2022) co-located with the 2nd International Joint Conference on Learning and Reasoning (IJCLR 2022), 2022

Representational Interpretive Structure: Theory and Notation.

Peter C.-H. Cheng, Aaron Stockdill, Grecia Garcia Garcia, Daniel Raggi, Mateja Jamnik

Proceedings of the Diagrammatic Representation and Inference, 2022

2021

Considerations in Representation Selection for Problem Solving: A Review.

Aaron Stockdill, Daniel Raggi, Mateja Jamnik, Grecia Garcia Garcia, Peter C.-H. Cheng

Proceedings of the Diagrammatic Representation and Inference, 2021

Observing Strategies of Drawing Data Representations.

Fiorenzo Colarusso, Peter C.-H. Cheng, Grecia Garcia Garcia, Daniel Raggi, Mateja Jamnik

Proceedings of the Diagrammatic Representation and Inference, 2021

Cognitive Properties of Representations: A Framework.

Peter C.-H. Cheng, Grecia Garcia Garcia, Daniel Raggi, Aaron Stockdill, Mateja Jamnik

Proceedings of the Diagrammatic Representation and Inference, 2021

2020

Correspondence-based analogies for choosing problem representations.

Aaron Stockdill, Daniel Raggi, Mateja Jamnik, Grecia Garcia Garcia, Holly E. A. Sutherland, Peter C.-H. Cheng, Advait Sarkar

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2020

Cross-domain Correspondences for Explainable Recommendations.

Aaron Stockdill, Daniel Raggi, Mateja Jamnik, Grecia Garcia Garcia, Holly E. A. Sutherland, Peter C.-H. Cheng, Advait Sarkar

Proceedings of the Workshop on Explainable Smart Systems for Algorithmic Transparency in Emerging Technologies co-located with 25th International Conference on Intelligent User Interfaces (IUI 2020), 2020

How to (Re)represent it?

Daniel Raggi, Gem Stapleton, Aaron Stockdill, Mateja Jamnik, Grecia Garcia Garcia, Peter C.-H. Cheng

Proceedings of the 32nd IEEE International Conference on Tools with Artificial Intelligence, 2020

Dissecting Representations.

Daniel Raggi, Aaron Stockdill, Mateja Jamnik, Grecia Garcia Garcia, Holly E. A. Sutherland, Peter C.-H. Cheng

Proceedings of the Diagrammatic Representation and Inference, 2020

2019

Inspection and Selection of Representations.

Daniel Raggi, Aaron Stockdill, Mateja Jamnik, Grecia Garcia Garcia, Holly E. A. Sutherland, Peter C.-H. Cheng

Proceedings of the Intelligent Computer Mathematics - 12th International Conference, 2019

Elucidating the Cognitive Anatomy of Representation Systems.

Peter C.-H. Cheng, Grecia Garcia Garcia, Holly E. A. Sutherland, Daniel Raggi, Aaron Stockdill, Mateja Jamnik

Proceedings of the 41th Annual Meeting of the Cognitive Science Society, 2019

2016

Automating Change of Representation for Proofs in Discrete Mathematics (Extended Version).

Daniel Raggi, Alan Bundy, Gudmund Grov, Alison Pease

Math. Comput. Sci., 2016

2015

Automating Change of Representation for Proofs in Discrete Mathematics.

Daniel Raggi, Alan Bundy, Gudmund Grov, Alison Pease

Proceedings of the Intelligent Computer Mathematics - International Conference, 2015