Diagrammatic Representation and Inference : 4th International Conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006, Proceedings - Dave Barker-Plummer, Richard Cox, Nik Swoboda ((Lecture Notes in Computer Science))