OBJECTIVE The purpose of this study was to examine the predictive relationship of categorization and deductive reasoning abilities to performance of instrumental activities of daily living (IADL) among adults with brain injury. METHOD A correlational research design was used to examine the performance of 19 patients from a neurosurgery acute care unit on Toglia's Category Assessment (TCA), th...

In this paper, we address one important aspect of the problem of designing a cooperative deductive database system, namely, allocation of rules across the deductive database systems. We identify communication cost as the primary consideration in allocation of rules. The problem of optimal allocation of rules has been shown NP-complete, which has prohibitive execution times for large knowledge b...

Contracts specifying a procedure’s behavior in terms of pre- and postconditions are essential for scalable software verification, but cannot express any constraints on the events occurring during execution procedure. This necessitates to annotate code with intermediate assertions, preventing full specification abstraction. We propose logic over symbolic traces able specify recursive procedures ...