A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is
Recent research in nonmonotonic logic programming has focused on different notions of program equivalence relevant for program optimization and modular programming. So far, most results concern the stable-model semantics. However, other semantics for logic programs are also of interest, especially the semantics of supported models which, when properly generalized, is closely related to a prominent nonmonotonic formalism, the autoepistemic logic of Moore. In this paper, we consider a frameworkdblp:conf/isaim/TruszczynskiW08 fatcat:s6gxxvntlbgllif4yrguua5h5e