Updates in Answer Set Programming: An Approach Based on Basic Structural Properties

Mauricio Osorio, Víctor Cuevas

We have studied the update operator defined for update sequences by Eiter et al. without tautologies and we have observed that it satisfies an interesting property This property, w…