human: Given a hyperedge-centered hypergraph: <hypergraph>, where the center hyperedge is induced by one source paper and its member nodes are the cited papers.

Details of the hypergraph:
Center hyperedge (induced by source paper "non monotonic spatial reasoning with answer set programming modulo theories"):
  Abstract: The systematic modelling of dynamic spatial systems is a key requirement in a wide range of application areas such as commonsense cognitive robotics, computer-aided architecture design, and 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). #R##N#ASPMT(QS) consists of a (qualitative) spatial representation module (QS) and a method for turning tight ASPMT instances into Satisfiability 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. 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 contemporary spatial reasoning systems both within and outside the context of logic programming. ASPMT(QS) is currently 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. #R##N#This paper is under consideration for publication in TPLP.

Includes members:
  Member "grounding dynamic spatial relations for embodied robot interaction":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "deep semantic abstractions of everyday human activities on commonsense representations of human interactions")
  Member "robust natural language processing combining reasoning cognitive semantics and construction grammar for spatial language":
    also connected through other hyperedges:
      - Hyperedge HE-2 (induced by source paper "cycle consistency for robust visual question answering")
  Member "spatial symmetry driven pruning strategies for efficient declarative spatial reasoning":
    also connected through other hyperedges:
      (none)
  Member "aspmt qs non monotonic spatial reasoning with answer set programming modulo theories":
    also connected through other hyperedges:
      - Hyperedge HE-3 (induced by source paper "reasoning about qualitative direction and distance between extended objects using answer set programming")
  Member "clingo asp control preliminary report":
    also connected through other hyperedges:
      - Hyperedge HE-4 (induced by source paper "the external interface for extending wasp")
  Member "narrative based postdictive reasoning for cognitive robotics":
    also connected through other hyperedges:
      - Hyperedge HE-5 (induced by source paper "deep semantic abstractions of everyday human activities on commonsense representations of human interactions")
  Member "cognitive interpretation of everyday activities toward perceptual narrative based visuo spatial scene interpretation":
    also connected through other hyperedges:
      - Hyperedge HE-6 (induced by source paper "spatial symmetry driven pruning strategies for efficient declarative spatial reasoning")

Question: Please tell me which class the source paper 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)