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 "Bottom-up induction of logic programs with more than one recursive clause"):
  Abstract: In this paper we present a bottom-up algorithm called MRI to induce logic programs from their examples. This method can induce programs with a base clause and more than one recursive clause from a very small number of examples. MRI is based on the analysis of saturations of examples. It first generates a path structure, which is an expression of a stream of values processed by predicates. The concept of path structure was originally introduced by Identam-Almquist and used in TIM [ Idestam-Almquist, 1996 ] . In this paper, we introduce the concepts of extension and difference of path structure. Recursive clauses can be expressed as a difference between a path structure and its extension. The paper presents the algorithm and shows experimental results obtained by the method.

Includes members:
  Member "Inverse entailment and Progol":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "Predicting Ordinal Classes in ILP")
  Member "Inverting Implication with Small Training Sets":
    also connected through other hyperedges:
      - Hyperedge HE-2 (induced by source paper "Learning Singly-Recursive Relations from Small Datasets")

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