human: Given a hyperedge-centered hypergraph: <hypergraph>, where the center hyperedge groups papers that share a common citing paper.

Details of the hypergraph:
Center hyperedge (induced by source paper "Specialization of Recursive Predicates"):
  Abstract: When specializing a recursive predicate in order to exclude a set of negative examples without excluding a set of positive examples, it may not be possible to specialize or remove any of the clauses in a refutation of a negative example without excluding any positive exam ples. A previously proposed solution to this problem is to apply program transformation in order to obtain non-recursive target predicates from recursive ones. However, the application of this method prevents recursive specializations from being found. In this work, we present the algorithm spectre ii which is not limited to specializing non-recursive predicates. The key idea upon which the algorithm is based is that it is not enough to specialize or remove clauses in refutations of negative examples in order to obtain correct specializations, but it is sometimes necessary to specialize clauses that appear only in refutations of positive examples. In contrast to its predecessor spectre, the new algorithm is not limited to specializing clauses defining one predicate only, but may specialize clauses defining multiple predicates. Furthermore, the positive and negative examples are no longer required to be instances of the same predicate. It is proven that the algorithm produces a correct specialization when all positive examples are logical consequences of the original program, there is a finite number of derivations of positive and negative examples and when no positive and negative examples have the same sequence of input clauses in their refutations.

Includes members:
  Member "Finding Accurate Frontiers: A Knowledge-Intensive Approach to Relational Learning":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "Generating Declarative Language Bias for Top-Down ILP Algorithms")
  Member "Covering vs. Divide-and-Conquer for Top-Down Induction of Logic Programs":
    also connected through other hyperedges:
      - Hyperedge HE-2 (induced by source paper "Finding Accurate Frontiers: A Knowledge-Intensive Approach to Relational Learning")
  Member "Specialization of Logic Programs by Pruning SLD-Trees":
    also connected through other hyperedges:
      - Hyperedge HE-3 (induced by source paper "Finding Accurate Frontiers: A Knowledge-Intensive Approach to Relational Learning")

Question: Please tell me which class the citing paper (i.e., the source paper of the center hyperedge) belongs to. The 7 classes are: Neural_Networks, Reinforcement_Learning, Probabilistic_Methods, Theory, Genetic_Algorithms, Case_Based, Rule_Learning. Directly output the class name.

gpt: Rule_Learning