13 citations · 15 across the 2 of their papers we have counts for
2 papers
cs.AI2008★ 13 cited
Preferred extensions as stable models
Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés
Given an argumentation framework AF, we introduce a mapping function that constructs a disjunctive logic program P, such that the preferred extensions of AF correspond to the stabl…
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…