2 9 O ct 2 00 2 A uniform approach to logic programming semantics

Part of the theory of logic programming and nonymonotonic reasoning concerns the study of fixed-point semantics for these paradigms. Several different semantics have been proposed during the last two decades, and some have been more successful and acknowledged than others. The rationales behind those various semantics have been manifold, depending on one’s… CONTINUE READING