3 papers
cs.HC2022
Exploring the acceptability of digital contact tracing for UK students
Dave Murray-Rust, Luis Soares, Katya Gorkovenko +1
Contact tracing systems control the spread of disease by discovering the set of people an infectious individual has come into contact with. Students are often mobile and sociable a…
cs.CY2019
Experiential AI
Drew Hemment, Ruth Aylett, Vaishak Belle +5
Experiential AI is proposed as a new research agenda in which artists and scientists come together to dispel the mystery of algorithms and make their mechanisms vividly apparent. I…
cs.CL2018
Argumentation theory for mathematical argument
Joseph Corneli, Ursula Martin, Dave Murray-Rust +2
To adequately model mathematical arguments the analyst must be able to represent the mathematical objects under discussion and the relationships between them, as well as inferences…