Languages, Methodologies and Development Tools for Multi-Agent Systems : First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007, Revised Selected Papers - Mehdi Dastani, Amal Fallah Seghrouchni, João Leite, Paolo Torroni ((Lecture Notes in Computer Science))