papers
Publications (12)
cs.DL2012
Reimplementing the Mathematical Subject Classification (MSC) as a Linked Open Dataset
Christoph Lange, Patrick Ion, Anastasia Dimou +5
cs.DL2014
NNexus Reloaded
Deyan Ginev, Joseph Corneli
cs.CL2018
Argumentation theory for mathematical argument
Joseph Corneli, Ursula Martin, Dave Murray-Rust +2
cs.CL2016
Teaching natural language to computers
Joseph Corneli, Miriam Corneli
cs.CY2016
An institutional approach to computational social creativity
Joseph Corneli
cs.AI2016
X575: writing rengas with web services
Daniel Winterstein, Joseph Corneli
math.DG2008
Double bubbles in $S^3$ and $H^3$
Joseph Corneli, Neil Hoffman, Paul Holt +4
math.DG2002
Double bubbles in the 3-torus
Miguel Carrión-Ãlvarez, Joseph Corneli, Genevieve Walsh +1
cs.NE2015
The Search for Computational Intelligence
Joseph Corneli, Ewen Maclean
cs.AI2015
Implementing feedback in creative systems: A workshop approach
Joseph Corneli, Anna Jordanous
cs.SD2016
An Argument-based Creative Assistant for Harmonic Blending
Maximos Kaliakatsos-Papakostas, Roberto Confalonieri, Joseph Corneli +2
math.MG2003
The Double Bubble Problem on the Flat Two-Torus
Joseph Corneli, Paul Holt, George Lee +3