human: Given a hyperedge-centered hypergraph: <hypergraph>, where the center hyperedge groups authors who co-authored the same paper.

Details of the hypergraph:
Center hyperedge (induced by source paper "Representation of decision-theoretic plans as sets of symbolic decision rules"):
  Abstract: In recent years, it is increasingly recognised that action planning in real-world domains requires an accurate treatment of uncertainty. Partially-observable Markov decision processes and related decision-theoretic models have been found to provide powerful frameworks for studying this type of planning. Within these frameworks, plans are often expressed as trees or graphs. However, for various reasons it is often more convenient to express plans as collections of decision rules. For instance, domain experts are often able to formulate a number of reliable decision rules that could serve as a starting point in finding an optimal plan. This paper investigates the representation of decision-theoretic plans as sets of symbolic decision rules. It is shown under which conditions such plans are internally consistent, coherent, and complete.

Includes members:
  Member "Dominance and subsumption in constraint-posting planning":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "Classification in the KL-ONE knowledge representation system")

Question: Please tell me which research area the co-authored paper (i.e., the source paper of the center hyperedge) belongs to. The 4 classes are: Computer science, Mathematics, Engineering, Economics, Psychology, Business. Directly output the class name.

gpt: Computer science