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: "a survey of paraconsistent logics"
  Abstract: A survey of paraconsistent logics that are prominent representatives of the different approaches that have been followed to develop paraconsistent logics is provided. The paraconsistent logics that will be discussed are an enrichment of Priest's logic LP, the logic RM3 from the school of relevance logic, da Costa's logics Cn, Jaskowski's logic D2, and Subrahmanian's logics Ptau. A deontic logic based on the first of these logics will be discussed as well. Moreover, some proposed adaptations of the AGM theory of belief revision to paraconsistent logics will be mentioned.

Connected through hyperedge HE-1 (induced by source paper "an argumentation system for reasoning with conflict minimal paraconsistent alc"):
  with members:
    - "nonmonotonic reasoning preferential models and cumulative logics"
    - "decidable reasoning in terminological knowledge representation systems"

Connected through hyperedge HE-2 (induced by source paper "decision taking for selling thread startup"):
  with members:
    - "instruction sequence processing operators"
    - "decision taking as a service"
    - "putting instruction sequences into effect"
    - "stratified outsourcing theory"
    - "thread algebra for poly threading"
    - "proposition algebra"
    - "steering fragments of instruction sequences"

Connected through hyperedge HE-3 (induced by source paper "informaticology combining computer science data science and fiction science"):
  with members:
    - "instruction sequence processing operators"
    - "decision taking as a service"
    - "four conceptions of instruction sequence faults"
    - "putting instruction sequences into effect"
    - "searching publications on software testing"

Connected through hyperedge HE-4 (induced by source paper "real islamic logic"):
  with members:
    - "short circuit logic"
    - "machine structure oriented control code logic"

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)