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 "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.

Includes members:
  Member "a homogeneous reaction rule language for complex event processing":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "a logic programming approach to activity recognition")
  Member "eca lp eca ruleml a homogeneous event condition action logic programming language":
    also connected through other hyperedges:
      (none)
  Member "verification validation and integrity of distributed and interchanged rule based policies and contracts in the semantic web":
    also connected through other hyperedges:
      - Hyperedge HE-2 (induced by source paper "eca lp eca ruleml a homogeneous event condition action logic programming language")
  Member "eca ruleml an approach combining eca rules with temporal interval based kr event action logics and transactional update logics":
    also connected through other hyperedges:
      - Hyperedge HE-3 (induced by source paper "online event recognition from moving vehicles application paper")
  Member "a typed hybrid description logic programming language with polymorphic order sorted dl typed unification for semantic web type systems":
    also connected through other hyperedges:
      - Hyperedge HE-4 (induced by source paper "a homogeneous reaction rule language for complex event processing")
  Member "representation results for defeasible logic":
    also connected through other hyperedges:
      - Hyperedge HE-5 (induced by source paper "rethinking defeasible reasoning a scalable approach")
  Member "modelling legal contracts as processes":
    also connected through other hyperedges:
      (none)

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