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.
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.
DownLoad: