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 "Learning First-Order Definitions of Functions"):
  Abstract: First-order learning involves finding a clause-form definition of a relation from examples of the relation and relevant background information. In this paper, a particular first-order learning system is modified to customize it for finding definitions of functional relations. This restriction leads to faster learning times and, in some cases, to definitions that have higher predictive accuracy. Other first-order learning systems might benefit from similar specialization.

Includes members:
  Member "Learning the Past Tense of English Verbs: The Symbolic Pattern Associator vs. Connectionist Models":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "Inverse entailment and Progol")
  Member "Combining FOIL and EBG to Speed-up Logic Programs":
    also connected through other hyperedges:
      - Hyperedge HE-2 (induced by source paper "An intelligent search method using Inductive Logic Programming")
  Member "An Experimental Comparison of Genetic Programming and Inductive Logic Programming on Learning Recursive List Functions":
    also connected through other hyperedges:
      - Hyperedge HE-3 (induced by source paper "Advantages of Decision Lists and Implicit Negatives in Inductive Logic Programming")

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