The lack of fact-oriented, time-dependent formalizations of conceptual models leads to difficulties in inspecting and reasoning about system properties and predicting future behavior from past behavior. We can better serve these needs by formalized conceptualizations that more closely match the demands of such applications. We therefore set forth in this chapter a fact-oriented, time-dependent ...

D. McAllester, ed. 17 International Conference on Automated Deduction, LNAI 1831, pp. 170–176, c ©Springer Verlag, 2000. Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-scale applications. Nuprl LPE, the newest release, features an open, distributed architecture cent...

Neural oscillations in the beta band (15-30 Hz) occur coherently throughout the primate somatomotor network, comprising somatomotor cortices, basal ganglia, thalamus, cerebellum, and spinal cord, with the latter resulting in beta oscillations in muscular activity. In accordance with the anatomy of this network, these oscillations have traditionally been associated strictly with motor function. ...

Courts, and especially the Supreme Court, frequently engage in moral reasoning as an aspect of their judicial decision making.1 And it is both necessary and desirable that they do So. Although it may be impossible to specify precise rules concerning the occasions for invocation of moral judgments or the weight that such judgments should be given in comparison with other legally relevant factors...

The Creative Problem-Solving Research Group (CPSRG) at Lancaster University is a collaboration between psychologists and computer scientists conducting research into creativity, problem-solving and design at the interface between humans and computer systems. Our aim is to develop theoretical understandings and practical interventions that address how creative individuals and groups manage confl...

In times of contagion, the key role of nurses brings fears, dangers, and unique demands. The ethics of such challenges need to be explored and understood. Using Callahan's framework for thinking ethically and Taylor's "worries" of modern life, the author elucidates some of the challenges and then argues that the current approach to pandemic ethics, with its reliance on moral reasoning, is insuf...

The urgent need for reliable business applications demands the emergence of a powerful yet easy-to-use language for business property reasoning. The Business Property Specification Language (BPSL) and its supporting tool (BPSL modeler) are presented to address the issue. BPSL modeler facilitates the specification and understanding of business properties by simplifying the expression of complex ...

This paper describes the development of a new approach to the use of ICT for the teaching of courses in the interpretation and evaluation of evidence. It is based on ideas developed for the teaching of science to school children, in particular the importance of models and qualitative reasoning skills. In the first part, we make an analysis of the basis of current research into “evidence scholar...

By the development of Semantic Web, increasing demands for vague and distributed information representation have triggered a mass of theoretical and applied researches of fuzzy and distributed ontologies, whose main logical infrastructures are fuzzy and distributed description logics. However, current solutions are proposed respectively on one of these two aspects. By integrating E -connection ...