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

We performed a molecular study with 21 microsatellites on a sample of 82 trisomy 13 conceptuses, the largest number of cases studied to date. The parental origin was determined in every case and in 89% the extra chromosome 13 was of maternal origin with an almost equal number of maternal MI and MII errors. The latter finding is unique among human autosomal trisomies, where maternal MI (trisomie...

This electronic file may not be altered in any way. The author(s) of this article is/are permitted to use this PDF file to generate printed copies to be used by way of offprints, for their personal use only. Permission is granted by the publishers to post this file on a closed server which is accessible to members (students and staff) only of the author’s/s’ institute. For any other use of this...

This paper presents an approach for specifying user preferences related to services by means of a preference meta-model, which is mapped to logic programs with possibilistic ordered disjunction following a Model-Driven Methodology (MDM). MDM allows to specify problem domains by means of meta-models which can be converted to instance models or other meta-models through transformation functions. ...

In this paper we analyze the fraction of non-disjunction in Meiosis I assuming reference (non-informative) priors. We consider Jeffreys's approach to built a non-informative prior (Jeffreys's prior) for the fraction of non-disjunction in Meiosis I. We prove that Jeffreys's prior is a proper distribution. We perform Monte Carlo studies in order to compare Bayes estimates obtained assuming Jeffre...

The unacceptability of wh-question disjunctions can be given a semantic explanation if we take the partition theory of questions as a basis (Groenendijk and Stokhof 1982, 1984). According to this theory, a question defines a partition of the logical space. A disjunction of two questions is then a union of two partitions, which is not again a partition: there are overlapping cells. Thus the disj...

Meiosis in Drosophila melanogaster males is achiasmate and requires special systems to ensure normal segregation. Several situations that yield frequent nondisjunction also produce high levels of chromatin-dependent sperm lethality, suggesting the possibility of a simple and direct connection between defective disjunction and defective sperm development. One hypothesis that has been offered is ...

Advancing maternal age has long been identified as the primary risk factor for human chromosome trisomy. More recently, altered patterns of meiotic recombination have been found to be associated with non-disjunction. We have used trisomy 21 as a model for human non-disjunction that occurs during the formation of oocytes to understand the role of maternal age and recombination. Patterns of recom...

One of the problems that must be dealt with in either a formal or implemented temporal reasoning system is the ambiguity arising from uncertain information. Lack of precise information about when events happen leads to uncertainty regarding the effects of those events. Incomplete information and nonmonotonic inference lead to situations where there is more than one set of possible inferences, e...