Computational Logic in Multi-Agent Systems : 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, Proceedings - João Leite, Tran Cao Son, Paolo Torroni, Leon Torre, Stefan Woltran ((Lecture Notes in Computer Science))