24 citations · 34 across the 5 of their papers we have counts for
6 papers
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…
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…
Automating change of representation for proofs in discrete mathematics
Daniel Raggi, Alan Bundy, Gudmund Grov +1
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 t…
Modelling serendipity in a computational context
Joseph Corneli, Anna Jordanous, Christian Guckelsberger +2
The term serendipity describes a creative process that develops, in context, with the active participation of a creative agent, but not entirely within that agent's control. While…
What does mathoverflow tell us about the production of mathematics?
Ursula Martin, Alison Pease
The highest level of mathematics research is traditionally seen as a solitary activity. Yet new innovations by mathematicians themselves are starting to harness the power of social…
Mathematical practice, crowdsourcing, and social machines
Ursula Martin, Alison Pease
The highest level of mathematics has traditionally been seen as a solitary endeavour, to produce a proof for review and acceptance by research peers. Mathematics is now at a remark…