The time dimension is very important for applications that reason with clinical data. Unfortunately, this task is inherently computationally expensive. As clinical decision support systems tackle increasingly varied problems, they will increase the demands on the temporal reasoning component, which may lead to slow response times. This paper addresses this problem. It describes a temporal reaso...

A number of methods have been proposed for reasoning about the demands that particular tasks place on a user,s limited cognitive processing resources. On the other hand, the notion of “cognitive resources” has been strongly criticized by psychologists. This paper addresses the question of whether these criticisms are applicable to user modeling. It first introduces and illustrates a framework f...

Terminological reasoning systems directly support the abstraction mechanisms generalization and classification. But they do not bother about aggregation and have some problems with reasoning demands such as concrete domains, sequences of finite but unbounded size and derived attributes. The paper demonstrates the relevance of these issues in an analysis of a mechanical engineering application a...

The current study investigated the effects of L1 and L2 glosses on L2 vocabulary retention in incidental and intentional settings. To this end, 100 intermediate Iranian female learners of English as a foreign language at Soroosh High School were given a pre-test to make sure that they do not have any prior knowledge of the target words. Reading passages with three different glossing conditions ...

Richard Dedekind has had an incredible influence on modern mathematics, largely due to his methodological demands which are still valued by mathematicians today. Through an investigation of some of his works written between 1854 and 1877, I reveal a connection between these methodological demands and features of axiomatic reasoning that he employed. I discuss two foundational/philosophic works ...

The eliminative nature of Constraint Satisfaction over nite domains o ers an interesting potential for robustness in the parsing of spoken language. An approach is presented, which puts unusually ambitious demands on the design of the Constraint Satisfaction procedure by trying to combine preferential reasoning, dynamic scheduling, parallel processing and incremental constraint solving within a...

The ability to draw analogies requires 2 key cognitive processes, relational integration and resolution of interference. The present study aimed to identify the neural correlates of both component processes of analogical reasoning within a single, nonverbal analogy task using event-related functional magnetic resonance imaging. Participants verified whether a visual analogy was true by consider...