A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
In recent years, many authors have pointed out the strict correlation between non-Horn logic programs and non-monotonic reasoning. As a result, many studies on the relations between various semantics for negation and non-monotonic logics have appeared in the literature. The analysis of these relations helps understanding the properties of the various systems and allows importing analysis from one formalism into another one. In this paper we show a one-to-one mapping between the positivisticdoi:10.1007/3-540-57292-9_51 fatcat:xdadvkjmybemrex5qpetraiiwm