We describe an alternative construction of an existing canonical representation for definite Horn theories, the Guigues-Duquenne basis (or GD basis), which minimizes a natural notion of implicational size. We extend the canonical representation to general Horn, by providing a reduction from definite to general Horn CNF. We show how this representation relates to two topics in query learning the...

Whereas the genetic background of horn growth in cattle has been studied extensively, little is known about the morphological changes in the developing fetal horn bud. In this study we histologically analyzed the development of horn buds of bovine fetuses between ~70 and ~268 days of pregnancy and compared them with biopsies taken from the frontal skin of the same fetuses. In addition we compar...

In this paper we study the expressive power of Horn-formulae in dependence logic and show that they can express NP-complete problems. Therefore we define an even smaller fragment D-Horn and show that over finite successor structures it captures the complexity class P of all sets decidable in polynomial time. Furthermore, we show that the open D-Horn-formulae correspond to the negative fragment ...

Pregnancy in non – communicating rudimentary horn is very rare. Here is a case of 24 year old woman presenting with pain abdomen. After clinical, sonological and MRI scan revealed pregnancy in non – communicating rudimentary horn. Since it is acute abdomen, the patient was operated and excision of the rudimentary horn with pregnancy insitu. Timely intervention saved the woman’s life, thus preve...

Horn is a logic programming language which extends usual Horn clauses by adding intuitionistic implication in goals and clause bodies. This extension can be seen as a form of structuring programs in logic programming. We are interested in finding correct and efficient translations from Horn⊃ programs into some representation type that, preserving the signature, allow us suitable implementations...

BACKGROUND Volatile anesthetics act primarily in the spinal cord to produce immobility but their exact site of action is unclear. Between 0.8 and 1.2 minimum alveolar anesthetic concentration (MAC), isoflurane does not depress neurons in the dorsal horn, suggesting that it acts at a more ventral site within the spinal cord such as in premotor interneurons and motoneurons. We hypothesized that i...

Horn fly infestations negatively impact economic traits of beef cattle. Our objective was to determine the impact of horn flies on beef cattle milk yield and quality. Cows (n = 53) were derived from Brangus dams and sired by Bonsmara (n = 7), Brangus (n = 13), Charolais (n = 8), Gelbvieh (n = 5), Hereford (n = 12), and Romosinuano (n = 8) bulls. Horn fly counts and estimates of milk yield and q...

Gopalan et al. studied in [14] connectivity properties of the solution-space of Boolean formulas, and investigated complexity issues on connectivity problems in Schaefer’s framework [26]. A set S of logical relations is Schaefer if all relations in S are either bijunctive, Horn, dual Horn, or affine. They conjectured that the connectivity problem for Schaefer is in P . We disprove their conject...

Pregnancy in a rudimentary horn is a very rare condition. It is responsible for several complications. Prognosis is reserved because the natural evolution generally leads to a cataclysmic uterine rupture at the beginning of the second trimester. Classically, the treatment after foetal extraction consists of ablation of the rudimentary horn and associated fallopian tube. We report the obstetric ...

Pregnancy in a non-communicating rudimentary horn is an extremely rare usually resulting in rupture during second trimester of pregnancy. The standard treatment is excision of the pregnancy and rudimentary horn. We report a case of ruptured non-communicating rudimentary horn at 27 weeks in a woman with previous vaginal delivery. She presented to emergency with acute abdominal pain and massive h...