Matches in SemOpenAlex for { <https://semopenalex.org/work/W2103400724> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2103400724 endingPage "305" @default.
- W2103400724 startingPage "293" @default.
- W2103400724 abstract "Traditionally, backtracking uses a total order over the derivation steps. On failure, it returns to the most recent state. We consider states as a set of derivation steps. For each step, we save a ‘inputset’ validating the derivation. This results in a partial order over the derivation steps and allows a more accurate ‘intelligent’ backtracking.KeywordsLogic ProgramGoal StatementTotal OrderUnification AlgorithmHorn ClauseThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W2103400724 created "2016-06-24" @default.
- W2103400724 creator A5004343076 @default.
- W2103400724 date "1980-01-01" @default.
- W2103400724 modified "2023-10-18" @default.
- W2103400724 title "Analysis of dependencies to improve the behaviour of logic programs" @default.
- W2103400724 cites W1976303542 @default.
- W2103400724 cites W2011306767 @default.
- W2103400724 doi "https://doi.org/10.1007/3-540-10009-1_23" @default.
- W2103400724 hasPublicationYear "1980" @default.
- W2103400724 type Work @default.
- W2103400724 sameAs 2103400724 @default.
- W2103400724 citedByCount "9" @default.
- W2103400724 crossrefType "book-chapter" @default.
- W2103400724 hasAuthorship W2103400724A5004343076 @default.
- W2103400724 hasBestOaLocation W21034007242 @default.
- W2103400724 hasConcept C100481476 @default.
- W2103400724 hasConcept C10138342 @default.
- W2103400724 hasConcept C110251889 @default.
- W2103400724 hasConcept C11413529 @default.
- W2103400724 hasConcept C128838566 @default.
- W2103400724 hasConcept C156884757 @default.
- W2103400724 hasConcept C162324750 @default.
- W2103400724 hasConcept C177264268 @default.
- W2103400724 hasConcept C182306322 @default.
- W2103400724 hasConcept C199360897 @default.
- W2103400724 hasConcept C2987117450 @default.
- W2103400724 hasConcept C41008148 @default.
- W2103400724 hasConcept C48103436 @default.
- W2103400724 hasConcept C80444323 @default.
- W2103400724 hasConcept C94633896 @default.
- W2103400724 hasConceptScore W2103400724C100481476 @default.
- W2103400724 hasConceptScore W2103400724C10138342 @default.
- W2103400724 hasConceptScore W2103400724C110251889 @default.
- W2103400724 hasConceptScore W2103400724C11413529 @default.
- W2103400724 hasConceptScore W2103400724C128838566 @default.
- W2103400724 hasConceptScore W2103400724C156884757 @default.
- W2103400724 hasConceptScore W2103400724C162324750 @default.
- W2103400724 hasConceptScore W2103400724C177264268 @default.
- W2103400724 hasConceptScore W2103400724C182306322 @default.
- W2103400724 hasConceptScore W2103400724C199360897 @default.
- W2103400724 hasConceptScore W2103400724C2987117450 @default.
- W2103400724 hasConceptScore W2103400724C41008148 @default.
- W2103400724 hasConceptScore W2103400724C48103436 @default.
- W2103400724 hasConceptScore W2103400724C80444323 @default.
- W2103400724 hasConceptScore W2103400724C94633896 @default.
- W2103400724 hasLocation W21034007241 @default.
- W2103400724 hasLocation W21034007242 @default.
- W2103400724 hasOpenAccess W2103400724 @default.
- W2103400724 hasPrimaryLocation W21034007241 @default.
- W2103400724 hasRelatedWork W131260984 @default.
- W2103400724 hasRelatedWork W1502730048 @default.
- W2103400724 hasRelatedWork W1531955017 @default.
- W2103400724 hasRelatedWork W153459646 @default.
- W2103400724 hasRelatedWork W1582756141 @default.
- W2103400724 hasRelatedWork W1689758627 @default.
- W2103400724 hasRelatedWork W1832354128 @default.
- W2103400724 hasRelatedWork W1998330152 @default.
- W2103400724 hasRelatedWork W2016919797 @default.
- W2103400724 hasRelatedWork W2038118137 @default.
- W2103400724 hasRelatedWork W2048051309 @default.
- W2103400724 hasRelatedWork W2062897452 @default.
- W2103400724 hasRelatedWork W2064216040 @default.
- W2103400724 hasRelatedWork W2070902236 @default.
- W2103400724 hasRelatedWork W2096138715 @default.
- W2103400724 hasRelatedWork W2147096558 @default.
- W2103400724 hasRelatedWork W2151720296 @default.
- W2103400724 hasRelatedWork W2170826919 @default.
- W2103400724 hasRelatedWork W2576910171 @default.
- W2103400724 hasRelatedWork W329073713 @default.
- W2103400724 isParatext "false" @default.
- W2103400724 isRetracted "false" @default.
- W2103400724 magId "2103400724" @default.
- W2103400724 workType "book-chapter" @default.