On the relationship between TMS and logic programs

Xianchang Wang; Huowang Chen; Qinping Zhao

doi:10.1007/BF02939505

On the relationship between TMS and logic programs

Xianchang Wang^*
, Huowang Chen
, Qinping Zhao

^*Corresponding author for this work

School of Computer Science and Engineering

Changsha Institute of Technology

Research output: Contribution to journal › Article › peer-review

Abstract

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 (or extension) 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.

Original language	English
Pages (from-to)	245-251
Number of pages	7
Journal	Journal of Computer Science and Technology
Volume	9
Issue number	3
DOIs	https://doi.org/10.1007/BF02939505
State	Published - Jul 1994

Keywords

General logic program
TMS
stable model
well-founded

Access to Document

10.1007/BF02939505

Cite this

@article{d426a26f6a2141b680e3f50a8863c7f6,

title = "On the relationship between TMS and logic programs",

abstract = "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 (or extension) 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.",

keywords = "General logic program, TMS, stable model, well-founded",

author = "Xianchang Wang and Huowang Chen and Qinping Zhao",

year = "1994",

month = jul,

doi = "10.1007/BF02939505",

language = "英语",

volume = "9",

pages = "245--251",

journal = "Journal of Computer Science and Technology",

issn = "1000-9000",

publisher = "Springer New York",

number = "3",

}

TY - JOUR

T1 - On the relationship between TMS and logic programs

AU - Wang, Xianchang

AU - Chen, Huowang

AU - Zhao, Qinping

PY - 1994/7

Y1 - 1994/7

N2 - 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 (or extension) 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.

AB - 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 (or extension) 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.

KW - General logic program

KW - TMS

KW - stable model

KW - well-founded

UR - https://www.scopus.com/pages/publications/0028462435

U2 - 10.1007/BF02939505

DO - 10.1007/BF02939505

M3 - 文章

AN - SCOPUS:0028462435

SN - 1000-9000

VL - 9

SP - 245

EP - 251

JO - Journal of Computer Science and Technology

JF - Journal of Computer Science and Technology

IS - 3

ER -

On the relationship between TMS and logic programs

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this