7 citations · 7 across the 1 of their papers we have counts for
2 papers
cs.HC2022★ 7 cited
Explainable Computational Creativity
Maria Teresa Llano, Mark d'Inverno, Matthew Yee-King +4
Human collaboration with systems within the Computational Creativity (CC) field is often restricted to shallow interactions, where the creative processes, of systems and humans ali…
cs.SE2016
Semi-Automated Design Space Exploration for Formal Modelling
Gudmund Grov, Andrew Ireland, Maria Teresa Llano +3
Refinement based formal methods allow the modelling of systems through incremental steps via abstraction. Discovering the right levels of abstraction, formulating correct and meani…