Logical theories in reasoning about actions may also evolve and knowledge engineers need revision tools to incorporate new incoming laws about the dynamic environment. Researchers here fill this gap by providing an algorithmic approach for action theory revision. The researchers give a well defined semantics that ensures minimal change, and show correctness of the algorithms with regard to the semantic constructions.