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: "knowledge representation concepts for automated sla management"
  Abstract: Outsourcing of complex IT infrastructure to IT service providers has increased substantially during the past years. IT service providers must be able to fulfil their service-quality commitments based upon predefined Service Level Agreements (SLAs) with the service customer. They need to manage, execute and maintain thousands of SLAs for different customers and different types of services, which needs new levels of flexibility and automation not available with the current technology. The complexity of contractual logic in SLAs requires new forms of knowledge representation to automatically draw inferences and execute contractual agreements. A logic-based approach provides several advantages including automated rule chaining allowing for compact knowledge representation as well as flexibility to adapt to rapidly changing business requirements. We suggest adequate logical formalisms for representation and enforcement of SLA rules and describe a proof-of-concept implementation. The article describes selected formalisms of the ContractLog KR and their adequacy for automated SLA management and presents results of experiments to demonstrate flexibility and scalability of the approach.

Connected through hyperedge HE-1 (induced by source paper "online event recognition from moving vehicles application paper"):
  with members:
    - "semi supervised online structure learning for composite event recognition"
    - "probabilistic complex event recognition a survey"
    - "online event recognition from moving vessel trajectories"
    - "eca ruleml an approach combining eca rules with temporal interval based kr event action logics and transactional update logics"

Connected through hyperedge HE-2 (induced by source paper "probabilistic complex event recognition a survey"):
  with members:
    - "going deeper into action recognition a survey"
    - "inference and learning in probabilistic logic programs using weighted boolean formulas"
    - "a probabilistic logic programming event calculus"
    - "lifted relational neural networks"
    - "complex events recognition under uncertainty in a sensor network"
    - "relational bayesian networks"
    - "location based reasoning about complex multi agent behavior"
    - "a model for reasoning with uncertain rules in event composition systems"

Connected through hyperedge HE-3 (induced by source paper "a probabilistic logic programming event calculus"):
  with members:
    - "location based reasoning about complex multi agent behavior"
    - "inference in probabilistic logic programs using weighted cnf s"
    - "on the implementation of the probabilistic logic programming language problog"
    - "a logic programming approach to activity recognition"
    - "eca ruleml an approach combining eca rules with temporal interval based kr event action logics and transactional update logics"
    - "grounding the lexical semantics of verbs in visual perception using force dynamics and event logic"

Connected through hyperedge HE-4 (induced by source paper "reactive reasoning with the event calculus"):
  with members:
    - "incremental learning of event definitions with inductive logic programming"
    - "on the implementation of the probabilistic logic programming language problog"
    - "sase complex event processing over streams"

Connected through hyperedge HE-5 (induced by source paper "a logic programming approach to activity recognition"):
  with members:
    - "a homogeneous reaction rule language for complex event processing"
    - "eca ruleml an approach combining eca rules with temporal interval based kr event action logics and transactional update logics"

Connected through hyperedge HE-6 (induced by source paper "eca lp eca ruleml a homogeneous event condition action logic programming language"):
  with members:
    - "verification validation and integrity of distributed and interchanged rule based policies and contracts in the semantic web"
    - "a typed hybrid description logic programming language with polymorphic order sorted dl typed unification for semantic web type systems"

Connected through hyperedge HE-7 (induced by source paper "verification validation and integrity of distributed and interchanged rule based policies and contracts in the semantic web"):
  with members:
    - "declarative semantics for active rules"
    - "nonmonotonic reasoning preferential models and cumulative logics"

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.SE(Software Engineering)