The new approach is based on extracting patterns, in the form of two logical expressions,
which are defined on various features (indexing terms) of the documents. The pattern
extraction is aimed at providing descriptions (in the form of two logical expressions) of the
two classes of positive and negative examples. This is achieved by means of a data mining
approach, called One Clause At a Time (OCAT), which is based on mathematical logic. The …