Formal accounts of contextual reasoning are of great importance for the development of sophisticated Artificial Intelligence theory and applications. This thesis’ contribution to the theory of contextual reasoning is twofold. First, it delineates the computational complexity of contextual reasoning. A first insight is obtained by translating contextual reasoning into a rather simple form of rea...

Algebra, Proceedings Oxford 1967, New York: Pergamon, 1970, pp. 359-364. VANDERMONDE, A. T., Remarques sur les problèmes de situation, Mémoires de l’Académie Royale des Sciences de Paris (1771), 566–574. WEBER, M., Wirtschaft und Gesellschaft, 5th edition, Tübingen: J. C. B. Mohr, 1972; first edition

The discovery of Bd − Bd oscillations twenty years ago by the ARGUS collaboration marked a watershed event. It persuaded a significant part of the HEP community that the large time dependent CP asymmetries predicted for some Bd decays might be within the reach of specially designed experiments. This opened the successful era of the B factories, which has a great future still ahead. After sketch...

multiple sclerosis (ms) and migraine are two common neurological disorders affecting women more than men. sleep quality impairment has been reported in both diseases. the goal of this study was to compare sleep quality and depression between women with ms and migraine. seventy women with migraine and 75 women with ms were enrolled in this study. participants were asked to fill-out valid and rel...