This article will introduce abductive case-based reasoning (CBR) and attempt to show that abductive CBR and deductive CBR can be integrated in clinical process and problem solving. Then it provides a unified formalization for integration of abduction, abductive CBR, deduction and deductive CBR. This article also investigates abductive case retrieval and deductive case retrieval using similarity...

In this paper, we show how techniques from first-order theorem proving can be used for efficient deductive database updates. The key idea is to transform the given database, together with the update request, into a (disjunctive) logic program and to apply the hyper-tableau calculus (Baumgartner et al., 1996) to solve the original update problem. The resulting algorithm has the following propert...

T cell paralysis is a main feature of measles virus (MV) induced immunosuppression. MV contact mediated activation of sphingomyelinases was found to contribute to MV interference with T cell actin reorganization. The role of these enzymes in MV-induced inhibition of T cell activation remained equally undefined as their general role in regulating immune synapse (IS) activity which relies on spat...