Matches in SemOpenAlex for { <https://semopenalex.org/work/W2026066511> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2026066511 abstract "In this paper we present a new scheme for intelligent backtracking in Horn-Clause programs. It is to be observed that variables give more information about the cause of the failure rather than predicates. The scheme suggested in this paper, makes use of this information to eliminate a lot of redundant backtracking. This scheme suggested requires less overhead as compared to the scheme suggested by Vipin Kumar and is easy to implement. Our scheme makes use of an observation that a variable's instantiated value is not altered unless there is a failure on this variable and the system backtracks to the step at which this variable got instantiated. Such a feature is not exploited by conventional Prolog interpreters. We present an algorithm for the proposed intelligent backtracking scheme. We illustrate this scheme with examples. The extra overhead required by this algorithm is the failure list that contains the list of variables that could have caused the failure, changed list that contains the list of variables whose values have changed during backtracking, and the variable look-up table that contains the step numbers, wherein the variables got instantiated." @default.
- W2026066511 created "2016-06-24" @default.
- W2026066511 creator A5028996052 @default.
- W2026066511 creator A5068573207 @default.
- W2026066511 date "1989-03-21" @default.
- W2026066511 modified "2023-09-23" @default.
- W2026066511 title "Variable-Based Intelligent Backtracking" @default.
- W2026066511 doi "https://doi.org/10.1117/12.969356" @default.
- W2026066511 hasPublicationYear "1989" @default.
- W2026066511 type Work @default.
- W2026066511 sameAs 2026066511 @default.
- W2026066511 citedByCount "0" @default.
- W2026066511 crossrefType "proceedings-article" @default.
- W2026066511 hasAuthorship W2026066511A5028996052 @default.
- W2026066511 hasAuthorship W2026066511A5068573207 @default.
- W2026066511 hasConcept C11413529 @default.
- W2026066511 hasConcept C134306372 @default.
- W2026066511 hasConcept C138885662 @default.
- W2026066511 hasConcept C154945302 @default.
- W2026066511 hasConcept C156884757 @default.
- W2026066511 hasConcept C169272836 @default.
- W2026066511 hasConcept C182365436 @default.
- W2026066511 hasConcept C199360897 @default.
- W2026066511 hasConcept C2776214188 @default.
- W2026066511 hasConcept C2776401178 @default.
- W2026066511 hasConcept C2779960059 @default.
- W2026066511 hasConcept C33923547 @default.
- W2026066511 hasConcept C41008148 @default.
- W2026066511 hasConcept C41895202 @default.
- W2026066511 hasConcept C77618280 @default.
- W2026066511 hasConcept C80444323 @default.
- W2026066511 hasConcept C81721847 @default.
- W2026066511 hasConceptScore W2026066511C11413529 @default.
- W2026066511 hasConceptScore W2026066511C134306372 @default.
- W2026066511 hasConceptScore W2026066511C138885662 @default.
- W2026066511 hasConceptScore W2026066511C154945302 @default.
- W2026066511 hasConceptScore W2026066511C156884757 @default.
- W2026066511 hasConceptScore W2026066511C169272836 @default.
- W2026066511 hasConceptScore W2026066511C182365436 @default.
- W2026066511 hasConceptScore W2026066511C199360897 @default.
- W2026066511 hasConceptScore W2026066511C2776214188 @default.
- W2026066511 hasConceptScore W2026066511C2776401178 @default.
- W2026066511 hasConceptScore W2026066511C2779960059 @default.
- W2026066511 hasConceptScore W2026066511C33923547 @default.
- W2026066511 hasConceptScore W2026066511C41008148 @default.
- W2026066511 hasConceptScore W2026066511C41895202 @default.
- W2026066511 hasConceptScore W2026066511C77618280 @default.
- W2026066511 hasConceptScore W2026066511C80444323 @default.
- W2026066511 hasConceptScore W2026066511C81721847 @default.
- W2026066511 hasLocation W20260665111 @default.
- W2026066511 hasOpenAccess W2026066511 @default.
- W2026066511 hasPrimaryLocation W20260665111 @default.
- W2026066511 hasRelatedWork W1515279718 @default.
- W2026066511 hasRelatedWork W1984300700 @default.
- W2026066511 hasRelatedWork W2004749180 @default.
- W2026066511 hasRelatedWork W2019000194 @default.
- W2026066511 hasRelatedWork W2019391951 @default.
- W2026066511 hasRelatedWork W2029046317 @default.
- W2026066511 hasRelatedWork W2048692754 @default.
- W2026066511 hasRelatedWork W2051659702 @default.
- W2026066511 hasRelatedWork W2089470326 @default.
- W2026066511 hasRelatedWork W2104464431 @default.
- W2026066511 hasRelatedWork W2156782807 @default.
- W2026066511 hasRelatedWork W2287934881 @default.
- W2026066511 hasRelatedWork W2381066916 @default.
- W2026066511 hasRelatedWork W2402307512 @default.
- W2026066511 hasRelatedWork W241787640 @default.
- W2026066511 hasRelatedWork W2553594525 @default.
- W2026066511 hasRelatedWork W3028693261 @default.
- W2026066511 hasRelatedWork W51701494 @default.
- W2026066511 hasRelatedWork W563872716 @default.
- W2026066511 hasRelatedWork W75414529 @default.
- W2026066511 isParatext "false" @default.
- W2026066511 isRetracted "false" @default.
- W2026066511 magId "2026066511" @default.
- W2026066511 workType "article" @default.