human: Given a node-centered hypergraph: <hypergraph>, where nodes represent papers and hyperedges represent sets of papers co-cited by a source paper.

Details of the hypergraph:
Center node: "well founded and stable semantics of logic programs with aggregates"
  Abstract: In this paper, we present a framework for the semantics and the computation of aggregates in the context of logic programming. In our study, an aggregate can be an arbitrary interpreted second order predicate or function. We define extensions of the Kripke-Kleene, the well-founded and the stable semantics for aggregate programs. The semantics is based on the concept of a three-valued immediate consequence operator of an aggregate program. Such an operator approximates the standard two-valued immediate consequence operator of the program, and induces a unique Kripke-Kleene model, a unique well-founded model and a collection of stable models. We study different ways of defining such operators and thus obtain a framework of semantics, offering different trade-offs between precision and tractability. In particular, we investigate conditions on the operator that guarantee that the computation of the three types of semantics remains on the same level as for logic programs without aggregates. Other results show that, in practice, even efficient three-valued immediate consequence operators which are very low in the precision hierarchy, still provide optimal precision.

Connected through hyperedge HE-1 (induced by source paper "selp a single shot epistemic logic program solver"):
  with members:
    - "a survey of advances in epistemic logic program solvers"
    - "multi shot asp solving with clingo"
    - "the power of non ground rules in answer set programming"
    - "a parallel memory efficient epistemic logic program solver harder better faster"
    - "lpopt a rule optimization tool for answer set programming"
    - "clingo asp control preliminary report"
    - "revisiting epistemic specifications"

Connected through hyperedge HE-2 (induced by source paper "an asp semantics for constraints involving conditional aggregates"):
  with members:
    - "asp core 2 input language format"
    - "hybrid metabolic network completion"
    - "rewriting recursive aggregates in answer set programming back to monotonicity"
    - "vicious circle principle and logic programs with aggregates"
    - "functional answer set programming"
    - "logic programs with propositional connectives and aggregates"

Connected through hyperedge HE-3 (induced by source paper "inconsistency proofs for asp the asp drupe format"):
  with members:
    - "asp core 2 input language format"
    - "shared aggregate sets in answer set programming"
    - "routing driverless transport vehicles in car assembly with answer set programming"
    - "textsf qrat generalizing qrat by a more powerful qbf redundancy property"
    - "efficient certified rat verification"
    - "vicious circle principle and logic programs with aggregates"
    - "team building with answer set programming in the gioia tauro seaport"
    - "detecting inconsistencies in large biological networks with answer set programming"

Connected through hyperedge HE-4 (induced by source paper "enhancing magic sets with an application to ontological reasoning"):
  with members:
    - "shared aggregate sets in answer set programming"
    - "cautious reasoning in asp via minimal models and unsatisfiable cores"
    - "anytime answer set optimization via unsatisfiable core shrinking"
    - "rewriting recursive aggregates in answer set programming back to monotonicity"
    - "anytime computation of cautious consequences in answer set programming"
    - "vicious circle principle and logic programs with aggregates"
    - "complexity of super coherence problems in asp"
    - "logic programs with propositional connectives and aggregates"

Connected through hyperedge HE-5 (induced by source paper "asp core 2 input language format"):
  with members:
    - "relating two dialects of answer set programming"
    - "routing driverless transport vehicles in car assembly with answer set programming"
    - "abstract gringo"
    - "rewriting recursive aggregates in answer set programming back to monotonicity"
    - "vicious circle principle and logic programs with aggregates"
    - "the third open answer set programming competition"
    - "unfounded sets and well founded semantics of answer set programs with aggregates"

Connected through hyperedge HE-6 (induced by source paper "technical report of the knowledge base paradigm applied to delegation revocation"):
  with members:
    - "the kb paradigm and its application to interactive configuration"
    - "simulating dynamic systems using linear time calculus theories"

Connected through hyperedge HE-7 (induced by source paper "shared aggregate sets in answer set programming"):
  with members:
    - "asp core 2 input language format"
    - "constraints lazy constraints or propagators in asp solving an empirical analysis"
    - "clingcon the next generation"
    - "combining answer set programming and domain heuristics for solving hard industrial problems application paper"
    - "anytime answer set optimization via unsatisfiable core shrinking"
    - "predicate logic as a modeling language modeling and solving some machine learning and data mining problems with idp3"
    - "complexity and compilation of gz aggregates in answer set programming"
    - "rewriting recursive aggregates in answer set programming back to monotonicity"

Connected through hyperedge HE-8 (induced by source paper "scaling up reasoning and advanced analytics on bigdata"):
  with members:
    - "vicious circle principle and logic programs with aggregates"
    - "clingo asp control preliminary report"
    - "efficient computation of the well founded semantics over big data"
    - "scaling datalog for machine learning on big data"
    - "multi core processors an overview"
    - "relational transducers for declarative networking"
    - "xsb extending prolog with tabled logic programming"
    - "the dlv system for knowledge representation and reasoning"

Question: Please tell me which class the center node belongs to. The 40 classes are: cs.NA(Numerical Analysis), cs.MM(Multimedia), cs.LO(Logic in Computer Science), cs.CY(Computers and Society), cs.CR(Cryptography and Security), cs.DC(Distributed, Parallel, and Cluster Computing), cs.HC(Human-Computer Interaction), cs.CE(Computational Engineering, Finance, and Science), cs.NI(Networking and Internet Architecture), cs.CC(Computational Complexity), cs.AI(Artificial Intelligence), cs.MA(Multiagent Systems), cs.GL(General Literature), cs.NE(Neural and Evolutionary Computing), cs.SC(Symbolic Computation), cs.AR(Hardware Architecture), cs.CV(Computer Vision and Pattern Recognition), cs.GR(Graphics), cs.ET(Emerging Technologies), cs.SY(Systems and Control), cs.CG(Computational Geometry), cs.OH(Other Computer Science), cs.PL(Programming Languages), cs.SE(Software Engineering), cs.LG(Machine Learning), cs.SD(Sound), cs.SI(Social and Information Networks), cs.RO(Robotics), cs.IT(Information Theory), cs.PF(Performance), cs.CL(Computation and Language), cs.IR(Information Retrieval), cs.MS(Mathematical Software), cs.FL(Formal Languages and Automata Theory), cs.DS(Data Structures and Algorithms), cs.OS(Operating Systems), cs.GT(Computer Science and Game Theory), cs.DB(Databases), cs.DL(Digital Libraries), cs.DM(Discrete Mathematics). Directly output the class name.

gpt: cs.LO(Logic in Computer Science)