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

2 citations · 2 across the 1 of their papers we have counts for

collaborators

1 paper

cs.LO2006★ 2 cited

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…