Revision, Acceptability and Context: Theoretical and Algorithmic Aspects