Automation of Diagrammatic Reasoning.

Mateja Jamnik, Alan Bundy, Ian Green

Browse the full IJCAI paper archive.