Diagrammatic Representation and Inference: 6th International Conference, Diagrams 2010, Portland, OR, USA, August 9-11, 2010, Proceedings (Lecture ... Lecture Notes in Artificial Intelligence)