{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T04:05:23Z","timestamp":1648958723706},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1994,7,1]],"date-time":"1994-07-01T00:00:00Z","timestamp":773020800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. of Compt. Sci. & Technol."],"published-print":{"date-parts":[[1994,7]]},"DOI":"10.1007\/bf02939505","type":"journal-article","created":{"date-parts":[[2008,9,3]],"date-time":"2008-09-03T04:51:44Z","timestamp":1220417504000},"page":"245-251","source":"Crossref","is-referenced-by-count":0,"title":["On the relationship between TMS and logic programs"],"prefix":"10.1007","volume":"9","author":[{"given":"Xianchang","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huowang","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qinping","family":"Zhao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02939505_CR1","first-page":"231","volume":"12","author":"J Doyle","year":"1979","unstructured":"Doyle J. A truth maintenance system.AI, 1979, 12, 231\u2013272.","journal-title":"AI"},{"key":"BF02939505_CR2","first-page":"433","volume":"4","author":"M H Emden van","year":"1976","unstructured":"van Emden M H, Kowalski R A. The semantics of predicate logic as a programming language,JACM, 1976, 4:433\u2013442.","journal-title":"JACM"},{"key":"BF02939505_CR3","unstructured":"Gelfond M, Lifschitz V. The stable model semantics for logic programming. In: Proc. 5th. Int'l Conf. and Symp. Logic Programming, 1988, 1070\u20131080."},{"key":"BF02939505_CR4","doi-asserted-by":"crossref","unstructured":"van Gelder A, Ross K, Schlipf J S. Unfounded sets and well-founded semantics for general logic programs. In: Proc. 7th. ACM Symp. Principle of Database System, 1988, 221\u2013230.","DOI":"10.1145\/308386.308444"},{"key":"BF02939505_CR5","unstructured":"Junker U, Konolige K. Computing the extensions of autoepistemic and default logic with a truth maintenance system. AAAI-90, 1990, 278\u2013283."},{"key":"BF02939505_CR6","doi-asserted-by":"crossref","unstructured":"Lloyd J W. Foundation of logic programming. Springer-Verlag, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"BF02939505_CR7","unstructured":"Li Liwu, You Jiahuai. Making default inference from logic programs. Communication with author."},{"key":"BF02939505_CR8","unstructured":"Przymusinski T C. On the relationship between non-monotonic reasoning and logic programming. In: Proc. AAAI Conference, 1988, 444\u2013448."},{"key":"BF02939505_CR9","unstructured":"Przymusinski T C. Three value non-monotonic formalism and logic programming. In: Proc. First Int'l Conf. Principle of Knowledge Representation and Reasoning, 1989, 341\u2013448."},{"key":"BF02939505_CR10","unstructured":"Przymusinski T C. Non-monotonic reasoning versus logic programming: a new perspective. 1992."},{"key":"BF02939505_CR11","doi-asserted-by":"crossref","unstructured":"Reinfrank M, Dressler U. On relation between TMS and non-monotonic inference. In: IJ-CAI'89, 1989, 1206\u20131212.","DOI":"10.1007\/3-540-50701-9"},{"key":"BF02939505_CR12","unstructured":"Reinfrank M, Dressler U. On the relation between TMS and AEL. In: IJCAI'89, 1989."},{"key":"BF02939505_CR13","first-page":"81","volume":"13","author":"R Reiter","year":"1980","unstructured":"Reiter R. A logic for default reasoning.AI, 1980, 13, 81\u2013132.","journal-title":"AI"},{"key":"BF02939505_CR14","unstructured":"You Jiahuai, Li Yanyuan. Three-value models in deductive databases and logic programming. Communication with author."},{"key":"BF02939505_CR15","unstructured":"Wang Xianchang, Chen Huowang. A non-monotonic reasoning system\u2014WMJ. In: Proc. of the First Int'l Conf. System Integration, 1990, U.S.A."},{"key":"BF02939505_CR16","unstructured":"Wang Xianchang, Chen Huowang. On semantics of TMS. In: Proc. IJCAI'91, 1991, 306\u2013309, Sydney, Australia."},{"key":"BF02939505_CR17","unstructured":"Wang Xianchang, Chen Huowang. Non-monotonic reasoning+TMS+Horn logic\u21d2dynamic logic programming? In: Proc. ICYCS'91, 1991, 529\u2013532, Beijing, China."}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02939505.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02939505\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02939505","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T22:59:12Z","timestamp":1558565952000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02939505"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,7]]},"references-count":17,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1994,7]]}},"alternative-id":["BF02939505"],"URL":"https:\/\/doi.org\/10.1007\/bf02939505","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"value":"1000-9000","type":"print"},{"value":"1860-4749","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,7]]}}}