The Internet Archive has a preservation copy of this work in our general collections.
The file type is
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 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 point of view, which may be that of a programmer or inspired by commonsense reasoning, and consequently the constructions which lead to thesearXiv:cs/0210027v2 fatcat:6wweh6zd2ngddmxm75jrtze3kq