{"type":"ScholarlyArticle","title":"On Semantics of TMS","authors":[{"name":"Xianchang Wang","slug":"xianchang-wang","given":"Xianchang","family":"Wang","affiliation":""},{"name":"Huowang Chen","slug":"huowang-chen","given":"Huowang","family":"Chen","affiliation":""}],"abstract":"In this paper we frrst give a formal semantics of nonmonotonic TMS theory with CP justifications. Then we prove that the model of a theory J is also a model of theory J*(l) . Next we conclude that for every TMS theory J, there must be a theory J* such that J* has no CP justifications and all the models of J is also J*'s. Finally we prove that the concept of extension defined by U. Junker and Kurt Konolige is also correct under our definition .","doi":null,"url":"https://ijcai.org/proceedings/1991/46","pdf":"https://ijcai.org/proceedings/1991/0046.pdf","markdown":"https://ijcai.org/proceedings/1991/46.md","bibtex":"https://ijcai.org/proceedings/1991/bibtex/46","volume":{"slug":"1991","title":"Proceedings of the Twelfth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1991","url":"https://ijcai.org/proceedings/1991/","year":1991,"location":"Sydney, New South Wales, Australia","dates":"24-30 August 1991","editors":"John Mylopoulos and Ray Reiter","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Automated Reasoning","track":"Automated Reasoning","number":46,"pages":{"first":306,"last":308},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}