We show that with a simple translation for normal programs, we can use the pstable model semantics to get the stable models of a normal program. We present the formal proof of this statement.
We present an implementation of pstable model semantics. Our implementation uses the well known tools: MiniSat and Lparse.
BACKGROUND Microcirculation and macrohemodynamics are severely compromised during septic shock. However, the relationship between these two compartments needs to be further investigated. We hypothesized that early resuscitation restores left ventricular (LV) performance and microcirculatory function but fails to prevent metabolic disorders. We studied the… (More)
BACKGROUND The aim of this study was to determine the effect of gestational age on pharmacokinetics of ranitidine in newborns with gastroesophageal reflux. METHODS A prospective, descriptive and pharmacokinetic study was carried out in 30 pre-term and 20 full-term babies. 3 mg/kg of ranitidine was administered intravenously to all the babies and at 0.25,… (More)