In this paper, we study issues on disjunctions of propositional Horn theories. In particular, we consider deciding whether a disjunction of Horn theories is Horn, and, if not, computing a Horn core, i.e., a maximal Horn theory included in this disjunction. The problems are investigated for different representations of Horn theories, namely for Horn CNFs and characteristic models. While the prob...

BACKGROUND Magnolia grandiflora L. flower is wildly used in Asian as a traditional herbal medication. The purpose of the study was to investigate the antimelanogenic and antioxidant properties of Magnolia grandiflora L. flower extract. In the study, the inhibitory effects of M. grandiflora L. flower extract on mushroom tyrosinase, B16F10 intracellular tyrosinase activity and melanin content wer...

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...

Foot-and-mouth disease (FMD) is a major infectious disease in livestock. The common clinical signs in cattle include epidermal vesicles that are majorly distributed around oronasal cavity, feet and teats. The aim of this report is to document an uncommon clinical form of the disease which comprises the occurrence of classic vesicular lesion in a rarely observed location of the horn vegetative t...