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: "aspmt qs non monotonic spatial reasoning with answer set programming modulo theories"
  Abstract: The systematic modelling of \emph{dynamic spatial systems} [9] is a key requirement in a wide range of application areas such as comonsense cognitive robotics, computer-aided architecture design, dynamic geographic information systems. We present ASPMT(QS), a novel approach and fully-implemented prototype for non-monotonic spatial reasoning ---a crucial requirement within dynamic spatial systems-- based on Answer Set Programming Modulo Theories (ASPMT). ASPMT(QS) consists of a (qualitative) spatial representation module (QS) and a method for turning tight ASPMT instances into Sat Modulo Theories (SMT) instances in order to compute stable models by means of SMT solvers. We formalise and implement concepts of default spatial reasoning and spatial frame axioms using choice formulas. Spatial reasoning is performed by encoding spatial relations as systems of polynomial constraints, and solving via SMT with the theory of real nonlinear arithmetic. We empirically evaluate ASPMT(QS) in comparison with other prominent contemporary spatial reasoning systems. Our results show that ASPMT(QS) is the only existing system that is capable of reasoning about indirect spatial effects (i.e. addressing the ramification problem), and integrating geometric and qualitative spatial information within a non-monotonic spatial reasoning context.

Connected through hyperedge HE-1 (induced by source paper "reasoning about qualitative direction and distance between extended objects using answer set programming"):
  with members:
    - "a trajectory calculus for qualitative spatial reasoning using answer set programming"
    - "a survey of qualitative spatial and temporal calculi algebraic and computational properties"
    - "qualitative shape representation based on the qualitative relative direction and distance calculus eopram"
    - "reasoning about cardinal directions between extended objects"

Connected through hyperedge HE-2 (induced by source paper "answer set programming modulo space time"):
  with members:
    - "visual explanation by high level abduction on answer set programming driven reasoning about moving objects"
    - "deep semantic abstractions of everyday human activities on commonsense representations of human interactions"
    - "efficient methods for qualitative spatial reasoning"

Connected through hyperedge HE-3 (induced by source paper "deep semantic abstractions of everyday human activities on commonsense representations of human interactions"):
  with members:
    - "commonsense scene semantics for cognitive robotics towards grounding embodied visuo locomotive interactions"
    - "grounding dynamic spatial relations for embodied robot interaction"
    - "robust natural language processing combining reasoning cognitive semantics and construction grammar for spatial language"
    - "narrative based postdictive reasoning for cognitive robotics"
    - "between sense and sensibility declarative narrativisation of mental models as a basis and benchmark for visuo spatial cognition and computation focussed collaborative cognitive systems"

Connected through hyperedge HE-4 (induced by source paper "visual explanation by high level abduction on answer set programming driven reasoning about moving objects"):
  with members:
    - "deep semantic abstractions of everyday human activities on commonsense representations of human interactions"
    - "faster r cnn towards real time object detection with region proposal networks"

Connected through hyperedge HE-5 (induced by source paper "non monotonic spatial reasoning with answer set programming modulo theories"):
  with members:
    - "grounding dynamic spatial relations for embodied robot interaction"
    - "robust natural language processing combining reasoning cognitive semantics and construction grammar for spatial language"
    - "spatial symmetry driven pruning strategies for efficient declarative spatial reasoning"
    - "clingo asp control preliminary report"
    - "narrative based postdictive reasoning for cognitive robotics"
    - "cognitive interpretation of everyday activities toward perceptual narrative based visuo spatial scene interpretation"

Connected through hyperedge HE-6 (induced by source paper "talking about the moving image a declarative model for image schema based embodied perception grounding and language generation"):
  with members:
    - "grounding dynamic spatial relations for embodied robot interaction"
    - "deep visual semantic alignments for generating image descriptions"
    - "between sense and sensibility declarative narrativisation of mental models as a basis and benchmark for visuo spatial cognition and computation focussed collaborative cognitive systems"

Connected through hyperedge HE-7 (induced by source paper "spatial symmetry driven pruning strategies for efficient declarative spatial reasoning"):
  with members:
    - "cognitive interpretation of everyday activities toward perceptual narrative based visuo spatial scene interpretation"
    - "efficient solving of quantified inequality constraints over the real numbers"

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)