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 functional view of strong negation in answer set programming"
  Abstract: School of Computing, Informatics, and Decision Systems EngineeringArizona State University, Tempe, USAAbstract. The distinction between strong negation and default negation has beenuseful in answer set programming. We present an alternative account of strong nega-tion, which lets us view strong negation in terms of the functional stable modelsemantics by Bartholomew and Lee. More speciﬁcally, we show that, under com-plete interpretations, minimizing both positive and negative literals in the traditionalanswer set semantics is essentially the same as ensuring the uniqueness of Booleanfunction values under the functional stable model semantics. The same account letsus view Lifschitz’s two-valued logic programs as a special case of the functional sta-ble model semantics. In addition, we show how non-Boolean intensional functionscan be eliminated in favor of Boolean intensional functions, and furthermore can berepresented using strong negation, which provides a way to compute the functionalstable model semantics using existing ASP solvers. We also note that similar resultshold with the functional stable model semantics by Cabalar.

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.AI(Artificial Intelligence)