ally related entity types, or classes, into higher level, more abstract types, as part of a hierarchical classi®cation scheme. graphy, generalization retains the notion of abstrac...
: Jeffrey’s rule of conditioning has been proposed in order to revise a probability measure by another probability function. We generalize it within the framework of the models b...
A generalized Peaceman-Rachford (P-R) ADI form based on the regularized finite difference scheme is employed in order to study the interactions of two co-propagating laser beams i...
Background: Wise et al. introduced a rank-based statistical technique for meta-analysis of genome scans, the Genome Scan Meta-Analysis (GSMA) method. Levinson et al. recently desc...
Abstract. This paper presents a decidable fragment for combining ontologies and rules in order-sorted logic programming. We describe ordersorted logic programming with sort, predic...