Please refer to our full version paper 
<A HREF="papers/journal02.ps">
Knowledge updates: Semantics and complexity issues</A>.