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 SEM scept. We(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)
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)
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)
We compared the results of concurrently performed laparoscopic versus open appendectomy as treatments for suspected acute appendicitis. The 68 laparoscopic procedures resulted in 62 appendectomies, 47 by the laparoscopic (LA) technique and 15 by the open (LO) technique. Another 54 patients underwent open appendectomy (OA). Significantly more females(More)
Background: We prospectively studied the recovery of gastrointestinal motility in patients undergoing laparoscopic (LAP, n=7) or open (OPEN, n=7) colon resections. Methods: At operation, bipolar recording electrodes were placed on the proximal and distal antrum, the proximal site of the colonic anastomosis, and the rectosigmoid for postoperative myoelectric(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)