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: "asp modulo csp the clingcon system"
  Abstract: We present the hybrid ASP solver clingcon, combining the simple modeling language and the high performance Boolean solving capacities of Answer Set Programming (ASP) with techniques for using non-Boolean constraints from the area of Constraint Programming (CP). The new clingcon system features an extended syntax supporting global constraints and optimize statements for constraint variables. The major technical innovation improves the interaction between ASP and CP solver through elaborated learning techniques based on irreducible inconsistent sets. A broad empirical evaluation shows that these techniques yield a performance improvement of an order of magnitude. To appear in Theory and Practice of Logic Programming

Connected through hyperedge HE-1 (induced by source paper "the external interface for extending wasp"):
  with members:
    - "shared aggregate sets in answer set programming"
    - "constraint answer set solver ezcsp and why integration schemas matter"
    - "constraints lazy constraints or propagators in asp solving an empirical analysis"
    - "combining answer set programming and domain heuristics for solving hard industrial problems application paper"
    - "modeling variations of first order horn abduction in answer set programming"
    - "optimizing phylogenetic supertrees using answer set programming"
    - "generating explanations for biomedical queries"
    - "clingo asp control preliminary report"

Connected through hyperedge HE-2 (induced by source paper "partial compilation of asp programs"):
  with members:
    - "the external interface for extending wasp"
    - "constraint answer set solver ezcsp and why integration schemas matter"
    - "constraints lazy constraints or propagators in asp solving an empirical analysis"
    - "a model building framework for answer set programming with external computations"
    - "asperix a first order forward chaining approach for answer set computing"
    - "optimizing phylogenetic supertrees using answer set programming"
    - "modularity aspects of disjunctive stable models"
    - "the dlv system for knowledge representation and reasoning"

Connected through hyperedge HE-3 (induced by source paper "inlining external sources in answer set programs"):
  with members:
    - "a model building framework for answer set programming with external computations"
    - "rewriting recursive aggregates in answer set programming back to monotonicity"
    - "conflict driven asp solving with external sources"
    - "a common view on strong uniform and other notions of equivalence in answer set programming"
    - "a knowledge compilation map"

Connected through hyperedge HE-4 (induced by source paper "multi shot asp solving with clingo"):
  with members:
    - "plasp 3 towards effective asp planning"
    - "clingcon the next generation"
    - "a framework for easing the development of applications embedding answer set programming"
    - "driving cdcl search"
    - "complexity and compilation of gz aggregates in answer set programming"
    - "rewriting recursive aggregates in answer set programming back to monotonicity"
    - "predicate logic as a modelling language the idp system"
    - "clingo asp control preliminary report"

Connected through hyperedge HE-5 (induced by source paper "constraints lazy constraints or propagators in asp solving an empirical analysis"):
  with members:
    - "constraint answer set solver ezcsp and why integration schemas matter"
    - "the power of non ground rules in answer set programming"
    - "combining answer set programming and domain heuristics for solving hard industrial problems application paper"
    - "a model building framework for answer set programming with external computations"
    - "modeling variations of first order horn abduction in answer set programming"
    - "the dlvhex system for knowledge representation recent advances system description"
    - "optimizing phylogenetic supertrees using answer set programming"
    - "generating explanations for biomedical queries"

Connected through hyperedge HE-6 (induced by source paper "clingcon the next generation"):
  with members:
    - "pddl planning via constraint answer set programming"
    - "predicate logic as a modelling language the idp system"
    - "clingo asp control preliminary report"
    - "boolean equi propagation for concise and efficient sat encodings of combinatorial problems"
    - "aspartame solving constraint satisfaction problems with answer set programming"
    - "conflict driven asp solving with external sources"
    - "introduction to the 28th international conference on logic programming special issue"
    - "multi threaded asp solving with clasp"

Connected through hyperedge HE-7 (induced by source paper "casp solutions for planning in hybrid domains"):
  with members:
    - "planning and scheduling in hybrid domains using answer set programming"
    - "plan based policies for efficient multiple battery load management"
    - "colin planning with continuous linear numeric change"
    - "modelling mixed discrete continuous domains for planning"
    - "stable models and an alternative logic programming paradigm"

Connected through hyperedge HE-8 (induced by source paper "a model building framework for answer set programming with external computations"):
  with members:
    - "clingo asp control preliminary report"
    - "hybrid automated reasoning tools from black box to clear box integration"
    - "conflict driven asp solving with external sources"
    - "modularity aspects of disjunctive stable models"

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)