Search for: [Abstract = "We show various theoretical properties associated with this approach, which have been formalized and proved using Coq, a formal proof management system. We also illustrate, through a case study, the applicability of our approach in order to solve a slightly modified version of the well\-known \"home improvement agents\" problem. Moreover, we present various simulations that allow assessing the impact of belief revision on the negotiation process."]