Author:Varzinczak, IJDate:Jun 2009Logical 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 ...Read more