Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Raggi, Daniel
130  Ergebnisse:
Personensuche X
?
1

A Human Information Processing Theory of the Interpretation..:

, In: Proceedings of the CHI Conference on Human Factors in Computing Systems,
Cheng, Peter C-H ; Garcia Garcia, Grecia ; Raggi, Daniel. - p. 1-14 , 2024
Link: https://dl.acm.org/doi/1..
 
?
2

A novel interaction for competence assessment using micro-b..:

, In: Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems,
Colarusso, Fiorenzo ; Cheng, Peter C-H. ; Garcia Garcia, Grecia... - p. 1-14 , 2023
Link: https://dl.acm.org/doi/1..
 
?
3

Representational Interpretive Structure: Theory and Notatio:

, In: Diagrammatic Representation and Inference; Lecture Notes in Computer Science,
Cheng, Peter C.-H. ; Stockdill, Aaron ; Garcia Garcia, Grecia.. - p. 54-69 , 2022
Link: https://doi.org/10.1007/..
 
?
4

Cognitive Properties of Representations: A Framework:

, In: Diagrammatic Representation and Inference; Lecture Notes in Computer Science,
Cheng, Peter C.-H. ; Garcia Garcia, Grecia ; Raggi, Daniel.. - p. 415-430 , 2021
Link: https://doi.org/10.1007/..
 
?
5

Considerations in Representation Selection for Problem Solv..:

, In: Diagrammatic Representation and Inference; Lecture Notes in Computer Science,
Stockdill, Aaron ; Raggi, Daniel ; Jamnik, Mateja.. - p. 35-51 , 2021
Link: https://doi.org/10.1007/..
 
?
6

Observing Strategies of Drawing Data Representations:

, In: Diagrammatic Representation and Inference; Lecture Notes in Computer Science,
Colarusso, Fiorenzo ; Cheng, Peter C.-H. ; Garcia Garcia, Grecia.. - p. 537-552 , 2021
Link: https://doi.org/10.1007/..
 
?
7

Correspondence-based analogies for choosing problem represe..:

, In: 2020 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC),
Stockdill, Aaron ; Raggi, Daniel ; Jamnik, Mateja... - p. 1-5 , 2020
Link: https://doi.org/10.1109/..
 
?
8

How to (Re)represent it?:

, In: 2020 IEEE 32nd International Conference on Tools with Artificial Intelligence (ICTAI),
Raggi, Daniel ; Stapleton, Gem ; Stockdill, Aaron... - p. 1224-1232 , 2020
Link: https://doi.org/10.1109/..
 
?
9

Dissecting Representations:

, In: Diagrammatic Representation and Inference; Lecture Notes in Computer Science,
Raggi, Daniel ; Stockdill, Aaron ; Jamnik, Mateja... - p. 144-152 , 2020
Link: https://doi.org/10.1007/..
 
?
10

Inspection and Selection of Representations:

, In: Lecture Notes in Computer Science; Intelligent Computer Mathematics,
Raggi, Daniel ; Stockdill, Aaron ; Jamnik, Mateja... - p. 227-242 , 2019
Link: https://doi.org/10.1007/..
 
?
11

Automating Change of Representation for Proofs in Discrete ..:

Raggi, Daniel ; Bundy, Alan ; Grov, Gudmund.
Mathematics in Computer Science.  10 (2016)  4 - p. 429-457 , 2016
Link: https://doi.org/10.1007/..
 
?
12

Oruga: an avatar of representational systems theory:

Raggi, Daniel ; Stapleton, Gem ; Jamnik, Mateja...
http://sro.sussex.ac.uk/id/eprint/109056/1/HCL%20Raggi%20oruga%202022.pdf.  , 2022
Link: http://sro.sussex.ac.uk/..
 
?
13

Representational Systems Theory: A Unified Approach to Enco..:

Raggi, Daniel ; Stapleton, Gem ; Jamnik, Mateja...
http://arxiv.org/abs/2206.03172.  , 2022
Link: http://arxiv.org/abs/220..
 
?
14

Cognitive analysis for representation change:

Stockdill, Aaron ; Garcia Garcia, Grecia ; Cheng, Peter C H..
http://sro.sussex.ac.uk/id/eprint/109054/1/HCL%202022.pdf.  , 2022
Link: http://sro.sussex.ac.uk/..
 
?
15

Searching the space of representations: reasoning through t..:

Raggi, Daniel
Daniel Raggi, Alan Bundy, Gudmund Grov, and Alison Pease. Automating change of representation for proofs in discrete mathematics. In Intelligent Computer Mathematics, pages 227-242. Springer, 2015..  , 2016
Link: http://hdl.handle.net/18..
 
1-15