Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Daniel Raggi"'
Autor:
Fiorenzo Colarusso, Peter C-H. Cheng, Grecia Garcia Garcia, Aaron Stockdill, Daniel Raggi, Mateja Jamnik
Competence Assessment by Chunk Hierarchy Evaluation with Transcription-tasks (CACHET) was proposed by Cheng [14]. It analyses micro-behaviors captured during cycles of stimulus view- ing and copying in order to probe chunk structures in memory. This
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::be1ee5361e6f22fcd34c461c163fe807
Publikováno v:
Diagrammatic Representation and Inference ISBN: 9783031151453
A cognitive theory of the interpretive structure of visual representations (RIST) was proposed by Cheng (2020), which identified four classes of schemas that specify how domain concepts are encoded by graphical objects. A notation (RISN) for building
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9cb330761aeef590c8174781d86c0ebd
Publikováno v:
Diagrammatic Representation and Inference ISBN: 9783030860615
Diagrams
Diagrams
We present a framework for assessing the relative cognitive cost of different representational systems for problem solving. The framework consists of 13 cognitive properties. These properties are mapped according to two dimensions: (1) the time scale
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::924a622edd19a3f3c2e794185716a228
https://doi.org/10.1007/978-3-030-86062-2_43
https://doi.org/10.1007/978-3-030-86062-2_43
Autor:
Peter C.-H. Cheng, Gem Stapleton, Aaron Stockdill, Daniel Raggi, Mateja Jamnik, Grecia Garcia Garcia
Publikováno v:
ICTAI
Choosing an effective representation is fundamental to the ability of the representation's user to exploit it for the intended purpose. The major contribution of this paper is to provide a novel, flexible framework, rep2rep, that can be used by AI sy
Autor:
Daniel Raggi, Aaron Stockdill, Mateja Jamnik, Grecia Garcia Garcia, Holly E. A. Sutherland, Peter C.-H. Cheng
Publikováno v:
Diagrammatic Representation and Inference ISBN: 9783030542481
Choosing effective representations for a problem and for the person solving it has benefits, including the ability or inability to solve it. We previously devised a novel framework consisting of a language to describe representations and computationa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::933065d60d60fa97aa834c410d7ea3c5
Autor:
Mateja Jamnik, Grecia Garcia Garcia, Daniel Raggi, Aaron Stockdill, Holly E. A. Sutherland, Advait Sarkar, Peter C.-H. Cheng
Publikováno v:
VL/HCC
Mathematics and computing students learn new concepts and fortify their expertise by solving problems. The representation of a problem, be it through algebra, diagrams, or code, is key to understanding and solving it. Multiple-representation interact
Autor:
Peter C.-H. Cheng, Grecia Garcia Garcia, Holly E. A. Sutherland, Daniel Raggi, Mateja Jamnik, Aaron Stockdill
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030232498
CICM
CICM
We present a novel framework for inspecting representations and encoding their formal properties. This enables us to assess and compare the informational and cognitive value of different representations for reasoning. The purpose of our framework is
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::42b9e2603559616fc07fe9a69c2b06da
Publikováno v:
Raggi, D, Bundy, A, Grov, G & Pease, A 2016, ' Automating change of representation for proofs in discrete mathematics (extended version) ', Mathematics in Computer Science, vol. 10, no. 4, pp. 429–457 . https://doi.org/10.1007/s11786-016-0275-z
Representation determines how we can reason about a specific problem. Sometimes one representation helps us to find a proof more easily than others. Most current automated reasoning tools focus on reasoning within one representation. There is, theref
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c82d4902313a905b7bf832d77d966e61
https://www.pure.ed.ac.uk/ws/files/25375852/paperMCS_final.pdf
https://www.pure.ed.ac.uk/ws/files/25375852/paperMCS_final.pdf
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319206141
CICM
CICM
Representation determines how we can reason about a specific problem. Sometimes one representation helps us find a proof more easily than others. Most current automated reasoning tools focus on reasoning within one representation. There is, therefore
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::92bb1e3e673bc4766b1cba4e76d2710c
https://doi.org/10.1007/978-3-319-20615-8_15
https://doi.org/10.1007/978-3-319-20615-8_15