{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T07:08:39Z","timestamp":1648624119756},"reference-count":0,"publisher":"World Scientific Pub Co Pte Lt","issue":"04","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Soft. Eng. Knowl. Eng."],"published-print":{"date-parts":[[1992,12]]},"abstract":"<jats:p> Assumption-based truth maintenance systems (ATMS) have become powerful and widely used tools in artificial intelligence problem solvers. In this paper, we apply ATMS to verification of termination of computer programs written as a set of rewrite rules. Compared with the traditional methods based on the ordinary backtracking, our method can greatly improve the overall efficiency by virtue of the ATMS's ability to avoid futile backtracking, rediscovering inferences, and rediscovering contradictions. The originality of our work lies in the practical use of the ATMS in a software engineering problem and in the communication protocol between the termination verifier and the ATMS. <\/jats:p>","DOI":"10.1142\/s0218194092000257","type":"journal-article","created":{"date-parts":[[2004,11,25]],"date-time":"2004-11-25T00:50:24Z","timestamp":1101343824000},"page":"547-565","source":"Crossref","is-referenced-by-count":3,"title":["USING ATMS TO EFFICIENTLY VERIFY THE TERMINATION OF REWRITE RULE PROGRAMS"],"prefix":"10.1142","volume":"02","author":[{"given":"MASAHITO","family":"KURIHARA","sequence":"first","affiliation":[{"name":"Department of Information Engineering, Faculty of Engineering, Hokkaido University, Sapporo, 060, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"HISASHI","family":"KONDO","sequence":"additional","affiliation":[{"name":"Department of Information Engineering, Faculty of Engineering, Hokkaido University, Sapporo, 060, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"AZUMA","family":"OHUCHI","sequence":"additional","affiliation":[{"name":"Department of Information Engineering, Faculty of Engineering, Hokkaido University, Sapporo, 060, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2011,11,21]]},"container-title":["International Journal of Software Engineering and Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218194092000257","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T01:39:37Z","timestamp":1565141977000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218194092000257"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,12]]},"references-count":0,"journal-issue":{"issue":"04","published-online":{"date-parts":[[2011,11,21]]},"published-print":{"date-parts":[[1992,12]]}},"alternative-id":["10.1142\/S0218194092000257"],"URL":"https:\/\/doi.org\/10.1142\/s0218194092000257","relation":{},"ISSN":["0218-1940","1793-6403"],"issn-type":[{"value":"0218-1940","type":"print"},{"value":"1793-6403","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992,12]]}}}