207 citations · 287 across the 21 of their papers we have counts for
1 paper · 2 filters
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…