Matches in SemOpenAlex for { <https://semopenalex.org/work/W2078563669> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W2078563669 abstract "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." @default.
- W2078563669 created "2016-06-24" @default.
- W2078563669 creator A5004333189 @default.
- W2078563669 creator A5043496932 @default.
- W2078563669 creator A5054412358 @default.
- W2078563669 date "1992-12-01" @default.
- W2078563669 modified "2023-09-24" @default.
- W2078563669 title "USING ATMS TO EFFICIENTLY VERIFY THE TERMINATION OF REWRITE RULE PROGRAMS" @default.
- W2078563669 doi "https://doi.org/10.1142/s0218194092000257" @default.
- W2078563669 hasPublicationYear "1992" @default.
- W2078563669 type Work @default.
- W2078563669 sameAs 2078563669 @default.
- W2078563669 citedByCount "4" @default.
- W2078563669 crossrefType "journal-article" @default.
- W2078563669 hasAuthorship W2078563669A5004333189 @default.
- W2078563669 hasAuthorship W2078563669A5043496932 @default.
- W2078563669 hasAuthorship W2078563669A5054412358 @default.
- W2078563669 hasConcept C115903868 @default.
- W2078563669 hasConcept C142724271 @default.
- W2078563669 hasConcept C156884757 @default.
- W2078563669 hasConcept C177264268 @default.
- W2078563669 hasConcept C199360897 @default.
- W2078563669 hasConcept C204787440 @default.
- W2078563669 hasConcept C2780385302 @default.
- W2078563669 hasConcept C41008148 @default.
- W2078563669 hasConcept C71924100 @default.
- W2078563669 hasConcept C80444323 @default.
- W2078563669 hasConceptScore W2078563669C115903868 @default.
- W2078563669 hasConceptScore W2078563669C142724271 @default.
- W2078563669 hasConceptScore W2078563669C156884757 @default.
- W2078563669 hasConceptScore W2078563669C177264268 @default.
- W2078563669 hasConceptScore W2078563669C199360897 @default.
- W2078563669 hasConceptScore W2078563669C204787440 @default.
- W2078563669 hasConceptScore W2078563669C2780385302 @default.
- W2078563669 hasConceptScore W2078563669C41008148 @default.
- W2078563669 hasConceptScore W2078563669C71924100 @default.
- W2078563669 hasConceptScore W2078563669C80444323 @default.
- W2078563669 hasLocation W20785636691 @default.
- W2078563669 hasOpenAccess W2078563669 @default.
- W2078563669 hasPrimaryLocation W20785636691 @default.
- W2078563669 hasRelatedWork W145375421 @default.
- W2078563669 hasRelatedWork W1495401525 @default.
- W2078563669 hasRelatedWork W1501686914 @default.
- W2078563669 hasRelatedWork W150776420 @default.
- W2078563669 hasRelatedWork W1831545713 @default.
- W2078563669 hasRelatedWork W1891681902 @default.
- W2078563669 hasRelatedWork W1964528821 @default.
- W2078563669 hasRelatedWork W2123461729 @default.
- W2078563669 hasRelatedWork W2230345113 @default.
- W2078563669 hasRelatedWork W2390607114 @default.
- W2078563669 hasRelatedWork W2470938408 @default.
- W2078563669 hasRelatedWork W2786891599 @default.
- W2078563669 hasRelatedWork W2943553270 @default.
- W2078563669 hasRelatedWork W2951416506 @default.
- W2078563669 hasRelatedWork W2964806919 @default.
- W2078563669 hasRelatedWork W2971686553 @default.
- W2078563669 hasRelatedWork W3009223079 @default.
- W2078563669 hasRelatedWork W3207766939 @default.
- W2078563669 hasRelatedWork W424728294 @default.
- W2078563669 hasRelatedWork W65953689 @default.
- W2078563669 isParatext "false" @default.
- W2078563669 isRetracted "false" @default.
- W2078563669 magId "2078563669" @default.
- W2078563669 workType "article" @default.