Agreement technologies : Second International Conference, AT 2013, Beijing, China, August 1-2, 2013. Proceedings.