453 citations · 1.2k across the 20 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…