Standard
Measuring User Comprehension of Inference Rules in Euler Diagrams. /
Linker, Sven; Burton, Jim; Blake, Andrew.
Diagrammatic Representation and Inference: 9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings. ed. / Mateja Jamnik; Yuri Uesaka; Stephanie Elzer Schwartz. Cham: Springer, 2016. p. 32-39 (Lecture Notes in Computer Science; Vol. 9781).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Harvard
Linker, S, Burton, J & Blake, A 2016,
Measuring User Comprehension of Inference Rules in Euler Diagrams. in M Jamnik, Y Uesaka & SE Schwartz (eds),
Diagrammatic Representation and Inference: 9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings. Lecture Notes in Computer Science, vol. 9781, Springer, Cham, pp. 32-39.
https://doi.org/10.1007/978-3-319-42333-3_3
APA
Linker, S., Burton, J., & Blake, A. (2016).
Measuring User Comprehension of Inference Rules in Euler Diagrams. In M. Jamnik, Y. Uesaka, & S. E. Schwartz (Eds.),
Diagrammatic Representation and Inference: 9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings (pp. 32-39). (Lecture Notes in Computer Science; Vol. 9781). Springer.
https://doi.org/10.1007/978-3-319-42333-3_3
Vancouver
Linker S, Burton J, Blake A.
Measuring User Comprehension of Inference Rules in Euler Diagrams. In Jamnik M, Uesaka Y, Schwartz SE, editors, Diagrammatic Representation and Inference: 9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings. Cham: Springer. 2016. p. 32-39. (Lecture Notes in Computer Science). Epub 2016 Jul 26. doi: 10.1007/978-3-319-42333-3_3
Author
Linker, Sven ; Burton, Jim ; Blake, Andrew. /
Measuring User Comprehension of Inference Rules in Euler Diagrams. Diagrammatic Representation and Inference: 9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings. editor / Mateja Jamnik ; Yuri Uesaka ; Stephanie Elzer Schwartz. Cham : Springer, 2016. pp. 32-39 (Lecture Notes in Computer Science).
Bibtex
@inproceedings{4fee5a64a8c04ceb940f77e50b77793b,
title = "Measuring User Comprehension of Inference Rules in Euler Diagrams",
abstract = "Proofs created by diagrammatic theorem provers are not designed with human readers in mind. We say that one proof, P1, is more “readable” than another, P2, if users make fewer errors in understanding which inference rules were applied in P1 than in P2, and do so in a shorter time. We analysed the readability of individual rules in an empirical study which required users to identify the rules used in inferences. We found that increased clutter (redundant syntax) in the premiss diagrams affects readability, and that rule applications which require the user to combine information from several diagrams are sometimes less readable than those which focus on a single diagram. We provide an explanation based on mental models.",
author = "Sven Linker and Jim Burton and Andrew Blake",
year = "2016",
month = aug,
day = "10",
doi = "10.1007/978-3-319-42333-3_3",
language = "English",
isbn = "9783319423326",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "32--39",
editor = "Mateja Jamnik and Yuri Uesaka and Schwartz, {Stephanie Elzer}",
booktitle = "Diagrammatic Representation and Inference",
}
RIS
TY - GEN
T1 - Measuring User Comprehension of Inference Rules in Euler Diagrams
AU - Linker, Sven
AU - Burton, Jim
AU - Blake, Andrew
PY - 2016/8/10
Y1 - 2016/8/10
N2 - Proofs created by diagrammatic theorem provers are not designed with human readers in mind. We say that one proof, P1, is more “readable” than another, P2, if users make fewer errors in understanding which inference rules were applied in P1 than in P2, and do so in a shorter time. We analysed the readability of individual rules in an empirical study which required users to identify the rules used in inferences. We found that increased clutter (redundant syntax) in the premiss diagrams affects readability, and that rule applications which require the user to combine information from several diagrams are sometimes less readable than those which focus on a single diagram. We provide an explanation based on mental models.
AB - Proofs created by diagrammatic theorem provers are not designed with human readers in mind. We say that one proof, P1, is more “readable” than another, P2, if users make fewer errors in understanding which inference rules were applied in P1 than in P2, and do so in a shorter time. We analysed the readability of individual rules in an empirical study which required users to identify the rules used in inferences. We found that increased clutter (redundant syntax) in the premiss diagrams affects readability, and that rule applications which require the user to combine information from several diagrams are sometimes less readable than those which focus on a single diagram. We provide an explanation based on mental models.
U2 - 10.1007/978-3-319-42333-3_3
DO - 10.1007/978-3-319-42333-3_3
M3 - Conference contribution/Paper
SN - 9783319423326
T3 - Lecture Notes in Computer Science
SP - 32
EP - 39
BT - Diagrammatic Representation and Inference
A2 - Jamnik, Mateja
A2 - Uesaka, Yuri
A2 - Schwartz, Stephanie Elzer
PB - Springer
CY - Cham
ER -
