Learn More
Fusions are a simple way of combining logics. For normal modal logics, fusions have been investigated in detail. In particular, it is known that, under certain conditions, de-cidability transfers from the component logics to their fusion. Though description logics are closely related to modal logics, they are not necessarily normal. In addition, ABox(More)
Recent experiments on monkeys suggest that attention-related changes in the synchronous activity of neurones occur in the motor cortex. In humans, the clinical data available suggest that the weak synchronization of the motor unit firing observed during voluntary contraction might reflect the activity of the motoneurone cortico-spinal afferents. The present(More)
We investigate the expressive power and computational properties of two different types of languages intended for speaking about distances. First, we consider a first-order language FM the two-variable fragment of which turns out to be undecidable in the class of distance spaces validating the triangular inequality as well as in the class of all metric(More)
In this paper we present a tableau calculus for a temporal extension of the description logic ALC, called T L ALC. This logic is based on the temporal language with`Until' interpreted over the natural numbers with expanding ALC-domains. The tableau calculus forms an elaborated combination of Wolper's tableau calculus for propositional linear temporal logic,(More)
In 1972, 171 (18, 7%) of 914 patients showed evidence of an adverse drug reaction (ADR) in a prospective study of the division of internal medicine in a regional teaching hospital (Zieglerspital, Bern). The following factors correlated positively with frequency of ADR: 1. The duration of hospital stay. 2. The age between 60 and 80 years. 3. Female sex. 4.(More)