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 "An Efficient Subsumption Algorithm for Inductive Logic Programming"):
  Abstract: In this paper we investigate the efficiency of - subsumption (` ), the basic provability relation in ILP. As D ` C is NP-complete even if we restrict ourselves to linked Horn clauses and fix C to contain only a small constant number of literals, we investigate in several restrictions of D. We first adapt the notion of determinate clauses used in ILP and show that -subsumption is decidable in polynomial time if D is determinate with respect to C. Secondly, we adapt the notion of k-local Horn clauses and show that - subsumption is efficiently computable for some reasonably small k. We then show how these results can be combined, to give an efficient reasoning procedure for determinate k-local Horn clauses, an ILP-problem recently suggested to be polynomial predictable by Cohen (1993) by a simple counting argument. We finally outline how the -reduction algorithm, an essential part of every lgg ILP-learning algorithm, can be im proved by these ideas.

Includes members:
  Member "What online Machine Learning can do for Knowledge Acquisition A Case Study":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "Cooperation of Data-driven and Model-based Induction Methods for Relational Learning")
  Member "Efficient Algorithms for -Subsumption":
    also connected through other hyperedges:
      - Hyperedge HE-2 (induced by source paper "Efficient -Subsumption based on Graph Algorithms")
  Member "Inductive Learning of Characteristic Concept Descriptions from Small Sets of Classified Examples":
    also connected through other hyperedges:
      (none)
  Member "Efficient -Subsumption based on Graph Algorithms":
    also connected through other hyperedges:
      - Hyperedge HE-3 (induced by source paper "Efficient Algorithms for -Subsumption")

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