Computational Logic In Multiagent Systems 12th International Workshop Clima Xii Barcelona Spain July 1718 2011 Proceedingsde Joao LeiteMateriasLogic designComputer networksSoftware engineeringComputer scienceArtificial intelligenceComputer logicCongressesIntelligent agents (computer software)Programming Languages, Compilers, InterpretersComputer Communication Networks