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