Computational logic in multi-agent systemsde João Leite, Paolo TorroniMateriasIntelligent agents (Computer software)Computer logicCongressesDistributed artificial intelligenceLogicEdiciones