Login / Signup
Daniel Raggi
ORCID
Publication Activity (10 Years)
Years Active: 2015-2024
Publications (10 Years): 21
Top Topics
Data Representations
Human Problem Solving
Theorem Prover
Real Valued Time Series
Top Venues
Diagrams
CICM
CoRR
VL/HCC
</>
Publications
</>
Peter C.-H. Cheng
,
Grecia Garcia Garcia
,
Daniel Raggi
,
Mateja Jamnik
A Human Information Processing Theory of the Interpretation of Visualizations: Demonstrating Its Utility.
CHI
(2024)
Daniel Raggi
,
Gem Stapleton
,
Aaron Stockdill
,
Grecia Garcia Garcia
,
Peter C.-H. Cheng
,
Mateja Jamnik
Oruga: Implementation and Use of Representational Systems Theory.
CICM
(2024)
Lianlong Wu
,
Seewon Choi
,
Daniel Raggi
,
Aaron Stockdill
,
Grecia Garcia Garcia
,
Fiorenzo Colarusso
,
Peter C.-H. Cheng
,
Mateja Jamnik
Generation of Visual Representations for Multi-Modal Mathematical Knowledge.
AAAI
(2024)
Fiorenzo Colarusso
,
Peter C.-H. Cheng
,
Grecia Garcia Garcia
,
Aaron Stockdill
,
Daniel Raggi
,
Mateja Jamnik
A novel interaction for competence assessment using micro-behaviors: : Extending CACHET to graphs and charts.
CHI
(2023)
Aaron Stockdill
,
Grecia Garcia Garcia
,
Peter C.-H. Cheng
,
Daniel Raggi
,
Mateja Jamnik
Cognitive Analysis for Representation Change.
HLC
(2022)
Daniel Raggi
,
Gem Stapleton
,
Mateja Jamnik
,
Aaron Stockdill
,
Grecia Garcia Garcia
,
Peter C.-H. Cheng
Oruga: an avatar of Representational Systems Theory.
HLC
(2022)
Aaron Stockdill
,
Gem Stapleton
,
Daniel Raggi
,
Mateja Jamnik
,
Grecia Garcia Garcia
,
Peter C.-H. Cheng
Examining Experts' Recommendations of Representational Systems for Problem Solving.
VL/HCC
(2022)
Daniel Raggi
,
Gem Stapleton
,
Mateja Jamnik
,
Aaron Stockdill
,
Grecia Garcia Garcia
,
Peter C.-H. Cheng
Representational Systems Theory: A Unified Approach to Encoding, Analysing and Transforming Representations.
CoRR
(2022)
Peter C.-H. Cheng
,
Aaron Stockdill
,
Grecia Garcia Garcia
,
Daniel Raggi
,
Mateja Jamnik
Representational Interpretive Structure: Theory and Notation.
Diagrams
(2022)
Aaron Stockdill
,
Daniel Raggi
,
Mateja Jamnik
,
Grecia Garcia Garcia
,
Peter C.-H. Cheng
Considerations in Representation Selection for Problem Solving: A Review.
Diagrams
(2021)
Fiorenzo Colarusso
,
Peter C.-H. Cheng
,
Grecia Garcia Garcia
,
Daniel Raggi
,
Mateja Jamnik
Observing Strategies of Drawing Data Representations.
Diagrams
(2021)
Peter C.-H. Cheng
,
Grecia Garcia Garcia
,
Daniel Raggi
,
Aaron Stockdill
,
Mateja Jamnik
Cognitive Properties of Representations: A Framework.
Diagrams
(2021)
Daniel Raggi
,
Aaron Stockdill
,
Mateja Jamnik
,
Grecia Garcia Garcia
,
Holly E. A. Sutherland
,
Peter C.-H. Cheng
Dissecting Representations.
Diagrams
(2020)
Daniel Raggi
,
Gem Stapleton
,
Aaron Stockdill
,
Mateja Jamnik
,
Grecia Garcia Garcia
,
Peter C.-H. Cheng
How to (Re)represent it?
ICTAI
(2020)
Aaron Stockdill
,
Daniel Raggi
,
Mateja Jamnik
,
Grecia Garcia Garcia
,
Holly E. A. Sutherland
,
Peter C.-H. Cheng
,
Advait Sarkar
Cross-domain Correspondences for Explainable Recommendations.
ExSS-ATEC@IUI
(2020)
Aaron Stockdill
,
Daniel Raggi
,
Mateja Jamnik
,
Grecia Garcia Garcia
,
Holly E. A. Sutherland
,
Peter C.-H. Cheng
,
Advait Sarkar
Correspondence-based analogies for choosing problem representations.
VL/HCC
(2020)
Daniel Raggi
,
Aaron Stockdill
,
Mateja Jamnik
,
Grecia Garcia Garcia
,
Holly E. A. Sutherland
,
Peter C.-H. Cheng
Inspection and Selection of Representations.
CICM
(2019)
Peter C.-H. Cheng
,
Grecia Garcia Garcia
,
Holly E. A. Sutherland
,
Daniel Raggi
,
Aaron Stockdill
,
Mateja Jamnik
Elucidating the Cognitive Anatomy of Representation Systems.
CogSci
(2019)
Daniel Raggi
,
Alan Bundy
,
Gudmund Grov
,
Alison Pease
Automating Change of Representation for Proofs in Discrete Mathematics (Extended Version).
Math. Comput. Sci.
10 (4) (2016)
Daniel Raggi
,
Alan Bundy
,
Gudmund Grov
,
Alison Pease
Automating change of representation for proofs in discrete mathematics.
CoRR
(2015)
Daniel Raggi
,
Alan Bundy
,
Gudmund Grov
,
Alison Pease
Automating Change of Representation for Proofs in Discrete Mathematics.
CICM
(2015)