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: "complex optimization in answer set programming"
  Abstract: Preference handling and optimization are indispensable means for addressing non-trivial applications in Answer Set Programming (ASP). However, their implementation becomes difficult whenever they bring about a significant increase in computational complexity. As a consequence, existing ASP systems do not offer complex optimization capacities, supporting, for instance, inclusion-based minimization or Pareto efficiency. Rather, such complex criteria are typically addressed by resorting to dedicated modeling techniques, like saturation. Unlike the ease of common ASP modeling, however, these techniques are rather involved and hardly usable by ASP laymen. We address this problem by developing a general implementation technique by means of meta-programming, thus reusing existing ASP systems to capture various forms of qualitative preferences among answer sets. In this way, complex preferences and optimization capacities become readily available for ASP applications.

Connected through hyperedge HE-1 (induced by source paper "beyond np quantifying over answer sets"):
  with members:
    - "stable unstable semantics beyond np with normal logic programs"
    - "the dlv system for knowledge representation and reasoning"
    - "towards automated integration of guess and check programs in answer set programming a meta interpreter and applications"

Connected through hyperedge HE-2 (induced by source paper "stable unstable semantics beyond np with normal logic programs"):
  with members:
    - "optimizing phylogenetic supertrees using answer set programming"
    - "predicate logic as a modeling language modeling and solving some machine learning and data mining problems with idp3"
    - "simulating dynamic systems using linear time calculus theories"
    - "the dlv system for knowledge representation and reasoning"
    - "towards automated integration of guess and check programs in answer set programming a meta interpreter and applications"
    - "unfolding partiality and disjunctions in stable model semantics"
    - "stable models and an alternative logic programming paradigm"

Connected through hyperedge HE-3 (induced by source paper "anytime answer set optimization via unsatisfiable core shrinking"):
  with members:
    - "complexity and compilation of gz aggregates in answer set programming"
    - "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"
    - "on solving boolean multilevel optimization problems"
    - "algorithms for weighted boolean optimization"
    - "logic programs with propositional connectives and aggregates"

Connected through hyperedge HE-4 (induced by source paper "the power of non ground rules in answer set programming"):
  with members:
    - "asperix a first order forward chaining approach for answer set computing"
    - "rewriting ontological queries into small nonrecursive datalog programs"
    - "towards automated integration of guess and check programs in answer set programming a meta interpreter and applications"
    - "unfolding partiality and disjunctions in stable model semantics"
    - "stable models and an alternative logic programming paradigm"

Connected through hyperedge HE-5 (induced by source paper "solving set optimization problems by cardinality optimization via weak constraints with an application to argumentation"):
  with members:
    - "system descriptions of the first international competition on computational models of argumentation iccma 15"
    - "clingo asp control preliminary report"

Connected through hyperedge HE-6 (induced by source paper "improved answer set programming encodings for abstract argumentation"):
  with members:
    - "making use of advances in answer set programming for abstract argumentation systems"

Connected through hyperedge HE-7 (induced by source paper "on minimal corrections in asp"):
  with members:
    - "catching the ouroboros on debugging non ground answer set programs"
    - "testing and debugging techniques for answer set solver development"
    - "extending the stable model semantics with more expressive rules"

Connected through hyperedge HE-8 (induced by source paper "the diamond system for argumentation preliminary report"):
  with members:
    - "on the acceptability of arguments in preference based argumentation"
    - "eclipse from lp to clp"

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)