The AGM framework is the benchmark approach in belief change. Since the framework assumes an underlying logic containing classical Propositional Logic, it can not be applied to systems with a logic weaker than Propositional Logic. To remedy this limitation, several researchers have studied AGM-style contraction and revision under the Horn fragment of Propositional Logic (i.e., Horn logic). In t...

Release of endogenous dynorphin opioids within the spinal cord after partial sciatic nerve ligation (pSNL) is known to contribute to the neuropathic pain processes. Using a phosphoselective antibody [kappa opioid receptor (KOR-P)] able to detect the serine 369 phosphorylated form of the KOR, we determined possible sites of dynorphin action within the spinal cord after pSNL. KOR-P immunoreactivi...

Cutaneous horns are relatively rare benign tumors which occur most frequently on sun exposed skin and develop on various types of underlying skin lesions: benign, premalignant and malignant. The treatment of choice consists in the surgical excision of the lesion to healthy tissue. The histopathological examination is mandatory in order to establish the nature of the lesion, on which the cutaneo...

We present the first study in vivo of meniscal movement in normal knees under load. Using an open MR scanner, allowing imaging in physiological positions in near to real-time, 16 young footballers were scanned moving from full extension to 90 degrees flexion in the sagittal and coronal planes. Excursion of the meniscal horns, radial displacement and meniscal height were measured. On weight-bear...

This paper studies functional dependencies in Horn theories, both when the theory is represented by its clausal form and when it is de ned as the Horn envelope of a set of models. We provide polynomial algorithms for the recognition of whether a given functional dependency holds in a given Horn theory, as well as polynomial algorithms for the generation of some representative sets of functional...

A new horn for high displacement amplification is developed. The profile of the horn is a cubic Bézier curve. The ultrasonic actuation of the horn exploits the first longitudinal displacement mode of the horn. A design method of the horn using an optimization scheme and finite element analyses is developed. Prototypes of the horns are manufactured by a numerical control machining process. Perfo...

This paper studies functional dependencies in Horn theories, both when the theory is represented by its clausal form and when it is deened as the Horn envelope of a set of models. We provide polynomial algorithms for the recognition of whether a given functional dependency holds in a given Horn theory, as well as polynomial algorithms for the generation of some representative sets of functional...

objective(s): the present study aims to study the alteration of glutamatergic transmission in the dorsal horn neurons and the effect of gabapentin on oxaliplatin-induced neuropathic pain in rats. materials and methods: oxaliplatin (5 mg/kg) or saline was administered to adult male sprague-dawley rats.  gabapentin (60 mg/kg, ip) or vehicle was injected daily. mechanical allodynia was assessed us...

One of the obstacles to the effective compilation of propositional knowledge bases (KBs) using Horn approximations, as introduced by (Selman & Kautz 1991), is the lack of computationally feasible methods for generating Horn bounds. In this paper new algorithms for generating Horn Greatest Lower Bounds (GLB) that can apply to large size KBs, are presented. The approach is extended through a more...