(2018, June). Diagrammatic Representation and Inference. Presented at Diagrams: International Conference on Theory and Application of Diagrams, Edinburgh