papers
Publications (3)
cs.CY2019
Experiential AI
Drew Hemment, Ruth Aylett, Vaishak Belle +5
The paper proposes 'Experiential AI', a research agenda that brings artists and scientists together to use artistic practices for making AI algorithms more transparent and understa…
#explainable ai#artistic collaboration#algorithmic transparency#human‑ai interaction
cs.MS2013
The Declaratron, semantic specification for scientific computation using MathML
Dave Murray-Rust, Peter Murray-Rust
cs.CL2018
Argumentation theory for mathematical argument
Joseph Corneli, Ursula Martin, Dave Murray-Rust +2