We propose a solution to a long-standing problem in the foundations of well-founded semantics (WFS) for logic programs. The problem addressed is this: which (non-modal) logic can be considered adequate for well-founded semantics in the sense that its minimal models (appropriately defined) coincide with the partial stable models of a logic program? We approach this problem by identifying the HT ...

background: epilepsy is defined as recurrent unprovoked febrile  seizures, which  cause  disability in patients.  this study  aims  to  assess  the  health-related  quality-of-life (qol) in epileptic patients in fars province, southern  iran. methods: one-hundred epileptic  patients, above 18 years, referred to shiraz university of medical sciences affiliated clinics, were included. the qol of ...