We use cookies to improve your experience with our site.
Wang Xianchang, Chen Huowang, Zhao Qinping. On the Relationship Between TMS and Logic Programs[J]. Journal of Computer Science and Technology, 1994, 9(3): 245-251.
Citation: Wang Xianchang, Chen Huowang, Zhao Qinping. On the Relationship Between TMS and Logic Programs[J]. Journal of Computer Science and Technology, 1994, 9(3): 245-251.

On the Relationship Between TMS and Logic Programs

  • The relationship between TMS and general logic programs is an important issue in non-monotonic logic programming. In this paper, we prove that, after we translate the TMS theory into a general logic program, the TMS's well-founded assignment (orextension) is equivalent to the corresponding general logic program's stable model. It means that TMS can be completely integrated into a non-monotonic logic programming environment.
  • loading

Catalog

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return