Modern explanatory ILP methods like Progol, Residue procedure, CF-induction, HAIL and Imparo use the principle of Inverse Entailment (IE). It is based on the fact that the negation of a hypothesis is derived from a prior background theory and the negation of examples. IE-based methods commonly compute a hypothesis in two steps: by first constructing an intermediate theory and next by generalizi...

This paper presents an example of an algebraic eigenvalue problem which can be used to motivate the study of numerical techniques for solving such problems. The problem consists of finding the axis and angle of rotation from a 3 x 3 rotation matrix and is referred to as the axis-angle problem. The problem is used to demonstrate the inverse power method for finding eigenvectors. The axis-angle p...

This paper presents a new approach for identifying and eliminating mislabeled instances in large or distributed datasets. We first partition a dataset into subsets, each of which is small enough to be processed by an induction algorithm at one time. We construct good rules from each subset, and use the good rules to evaluate the whole dataset. For a given instance Ik, two error count variables ...