16 citations · 52 across the 15 of their papers we have counts for
1 paper · 1 filter
Stefania Costantini, Alessandro Provetti
Normal forms for logic programs under stable/answer set semantics are introduced. We argue that these forms can simplify the study of program properties, mainly consistency. The fi…