We use cookies to improve your experience with our site.
Wang Xianchang, Chen Huowang, Zhao Qinping. On the Relationship Between TMS and Logic ProgramsJ. 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 ProgramsJ. Journal of Computer Science and Technology, 1994, 9(3): 245-251.
Wang Xianchang, Chen Huowang, Zhao Qinping. On the Relationship Between TMS and Logic ProgramsJ. 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 ProgramsJ. 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: