A uniform approach to logic programming semantics

Pascal Hitzler, Matthias Wendt

Part of the theory of logic programming and nonmonotonic reasoning concerns the study of fixed-point semantics for these paradigms. Several different semantics have been proposed d…