Learn More
Our aim in this article is to supplement the set of strong properties introduced in the preceding article ([Dix94]) with a set of weak principles in order to characterize semantics of logic programs. In [Dix94] we introduced our point of view: we observed that all semantics induce in a natural way a sceptical non-monotonic entailment relation SEMscept. We(More)
We present a new and general approach for deening, understanding, and computing logic programming semantics. We consider disjunctive programs for generality, but our results are still interesting if specialized to normal programs. Our framework consists of two parts: (1) a semantical, where semantics are deened in an abstract way as the weakest semantics(More)
44 played a dominant role in Przymusinski's versions of WFS and ST N. The results of Section 4 underline the very strong relationship of NMR-semantics with nonmonotonic logics. We have also tried (in Section 5) to use another branch of nonmonotonic logics in order to get a classiication of the various diierent semantics: the approach, pioneered by Makinson,(More)
Our aim in this article is to present a method for classifying and characterizing the various different semantics of logic programs with negation that have been considered in the last years. Instead of appealing to more or less questionable intuitions, we take a more structural view: our starting point is the observation that all semantics induce in a(More)
Our initial experience with laparoscopic cholecystectomy (LC) for symptomatic cholelithiasis has involved 152 patients. Patient age ranged from 17 to 83 years; most were female (78%). Their average weight was 170 pounds (range, 75 to 365 lbs.). Twenty-two per cent had a single gallstone, while 9% had two to three stones and 64% had more than three stones.(More)