12 citations · 12 across the 1 of their papers we have counts for
1 paper
E. Pontelli, T. C. Son, P. H. Tu
In this paper, we present two alternative approaches to defining answer sets for logic programs with arbitrary types of abstract constraint atoms (c-atoms). These approaches genera…