Accelerating the world's research. Proof theory for distributed knowledge Raul Hakli, Sara Negri Computational Logic in Multi-Agent Systems Cite this paper Get the citation in MLA, APA, or Chicago styles Downloaded from Academia.edu  Related papers Formal modelling of emotions in BDI agents Nelma Moreira B {\ cal B}-Tropos Marco Montali A Heuristic Approach to P2P Negotiation Stefania Costantini Download a PDF Pack of the best related papers 