Matches in SemOpenAlex for { <https://semopenalex.org/work/W890393498> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W890393498 abstract "A specialized ATMS for efficiently computing equivalence relations in multiple contexts is introduced. This specialized ATMS overcomes the problems with existing solutions to reasoning with equivalence relations. The most direct implementation of an equivalence relation in the ATMS-encoding the reflexive, transitive, and symmetric rules in the consumer architecture-produces redundant equality derivations and requires Θ(n³) label update attempts (where n is the number of terms in the equivalence class). An alternative implementation is one that employs simple equivalence classes. However, this solution is unacceptable, since the number of classes grows exponentially with the number of distinct assumptions. The specialized ATMS presented here produces no redundant equality derivations, requires only Θ(n²) label update attempts, and is most efficient when there are many distinct assumptions and few nogoods. This is achieved by exploiting a special relationship that holds among the labels of the equality assertions because of transitivity. The standard dependency structure construction and traversal is replaced by a single pass over each label in a particular kind of equivalence class. The specialized ATMS has been implemented as part of the logic programming language FORLOG." @default.
- W890393498 created "2016-06-24" @default.
- W890393498 creator A5020769695 @default.
- W890393498 date "1988-05-12" @default.
- W890393498 modified "2023-09-26" @default.
- W890393498 title "A specialized ATMS for equivalence relations" @default.
- W890393498 hasPublicationYear "1988" @default.
- W890393498 type Work @default.
- W890393498 sameAs 890393498 @default.
- W890393498 citedByCount "2" @default.
- W890393498 crossrefType "journal-article" @default.
- W890393498 hasAuthorship W890393498A5020769695 @default.
- W890393498 hasConcept C11413529 @default.
- W890393498 hasConcept C114614502 @default.
- W890393498 hasConcept C118615104 @default.
- W890393498 hasConcept C136119220 @default.
- W890393498 hasConcept C140745168 @default.
- W890393498 hasConcept C154945302 @default.
- W890393498 hasConcept C156103551 @default.
- W890393498 hasConcept C191399111 @default.
- W890393498 hasConcept C202444582 @default.
- W890393498 hasConcept C25343380 @default.
- W890393498 hasConcept C2777044963 @default.
- W890393498 hasConcept C2777212361 @default.
- W890393498 hasConcept C2780069185 @default.
- W890393498 hasConcept C33923547 @default.
- W890393498 hasConcept C41008148 @default.
- W890393498 hasConcept C70846408 @default.
- W890393498 hasConcept C77088390 @default.
- W890393498 hasConcept C80444323 @default.
- W890393498 hasConceptScore W890393498C11413529 @default.
- W890393498 hasConceptScore W890393498C114614502 @default.
- W890393498 hasConceptScore W890393498C118615104 @default.
- W890393498 hasConceptScore W890393498C136119220 @default.
- W890393498 hasConceptScore W890393498C140745168 @default.
- W890393498 hasConceptScore W890393498C154945302 @default.
- W890393498 hasConceptScore W890393498C156103551 @default.
- W890393498 hasConceptScore W890393498C191399111 @default.
- W890393498 hasConceptScore W890393498C202444582 @default.
- W890393498 hasConceptScore W890393498C25343380 @default.
- W890393498 hasConceptScore W890393498C2777044963 @default.
- W890393498 hasConceptScore W890393498C2777212361 @default.
- W890393498 hasConceptScore W890393498C2780069185 @default.
- W890393498 hasConceptScore W890393498C33923547 @default.
- W890393498 hasConceptScore W890393498C41008148 @default.
- W890393498 hasConceptScore W890393498C70846408 @default.
- W890393498 hasConceptScore W890393498C77088390 @default.
- W890393498 hasConceptScore W890393498C80444323 @default.
- W890393498 hasLocation W8903934981 @default.
- W890393498 hasOpenAccess W890393498 @default.
- W890393498 hasPrimaryLocation W8903934981 @default.
- W890393498 hasRelatedWork W1486432780 @default.
- W890393498 hasRelatedWork W1502169623 @default.
- W890393498 hasRelatedWork W2001874371 @default.
- W890393498 hasRelatedWork W2140700734 @default.
- W890393498 hasRelatedWork W2417163 @default.
- W890393498 hasRelatedWork W2534990914 @default.
- W890393498 hasRelatedWork W2757335525 @default.
- W890393498 hasRelatedWork W2799446534 @default.
- W890393498 hasRelatedWork W2888679499 @default.
- W890393498 hasRelatedWork W2911628438 @default.
- W890393498 hasRelatedWork W2913730763 @default.
- W890393498 hasRelatedWork W2949479189 @default.
- W890393498 hasRelatedWork W2951880362 @default.
- W890393498 hasRelatedWork W2952243882 @default.
- W890393498 hasRelatedWork W2976268830 @default.
- W890393498 hasRelatedWork W3006785914 @default.
- W890393498 hasRelatedWork W3037285866 @default.
- W890393498 hasRelatedWork W3099526688 @default.
- W890393498 hasRelatedWork W3137291598 @default.
- W890393498 hasRelatedWork W2183450657 @default.
- W890393498 isParatext "false" @default.
- W890393498 isRetracted "false" @default.
- W890393498 magId "890393498" @default.
- W890393498 workType "article" @default.