Matches in SemOpenAlex for { <https://semopenalex.org/work/W2118778846> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2118778846 abstract "Describes an extension to deKleer's (1986) assumption-based truth maintenance system (ATMS) that shows promise in making large-scale problem solving more tractable. The approach assumes a problem can be decomposed into a hierarchically related set of subproblems, each of which is represented within its own ATMS partition. It is shown how this decomposition can be used to circumvent the exponential growth in the size of node labels which often occurs in attempting to apply the ATMS. The authors present some experimental results showing efficiency gains, and discuss the impact of partitioning on label consistency, soundness, minimality, and completeness. >" @default.
- W2118778846 created "2016-06-24" @default.
- W2118778846 creator A5055207016 @default.
- W2118778846 creator A5073094871 @default.
- W2118778846 date "2002-12-10" @default.
- W2118778846 modified "2023-09-27" @default.
- W2118778846 title "A partitioned ATMS" @default.
- W2118778846 cites W1562493138 @default.
- W2118778846 cites W1567176099 @default.
- W2118778846 cites W2005355419 @default.
- W2118778846 cites W2128344648 @default.
- W2118778846 cites W2144386448 @default.
- W2118778846 cites W2147096558 @default.
- W2118778846 doi "https://doi.org/10.1109/caia.1991.120889" @default.
- W2118778846 hasPublicationYear "2002" @default.
- W2118778846 type Work @default.
- W2118778846 sameAs 2118778846 @default.
- W2118778846 citedByCount "3" @default.
- W2118778846 countsByYear W21187788462013 @default.
- W2118778846 crossrefType "proceedings-article" @default.
- W2118778846 hasAuthorship W2118778846A5055207016 @default.
- W2118778846 hasAuthorship W2118778846A5073094871 @default.
- W2118778846 hasConcept C114614502 @default.
- W2118778846 hasConcept C124681953 @default.
- W2118778846 hasConcept C126255220 @default.
- W2118778846 hasConcept C127413603 @default.
- W2118778846 hasConcept C134306372 @default.
- W2118778846 hasConcept C154945302 @default.
- W2118778846 hasConcept C17231256 @default.
- W2118778846 hasConcept C177264268 @default.
- W2118778846 hasConcept C18903297 @default.
- W2118778846 hasConcept C199360897 @default.
- W2118778846 hasConcept C2776436953 @default.
- W2118778846 hasConcept C2778029271 @default.
- W2118778846 hasConcept C33923547 @default.
- W2118778846 hasConcept C39920170 @default.
- W2118778846 hasConcept C41008148 @default.
- W2118778846 hasConcept C42812 @default.
- W2118778846 hasConcept C62611344 @default.
- W2118778846 hasConcept C66938386 @default.
- W2118778846 hasConcept C86803240 @default.
- W2118778846 hasConceptScore W2118778846C114614502 @default.
- W2118778846 hasConceptScore W2118778846C124681953 @default.
- W2118778846 hasConceptScore W2118778846C126255220 @default.
- W2118778846 hasConceptScore W2118778846C127413603 @default.
- W2118778846 hasConceptScore W2118778846C134306372 @default.
- W2118778846 hasConceptScore W2118778846C154945302 @default.
- W2118778846 hasConceptScore W2118778846C17231256 @default.
- W2118778846 hasConceptScore W2118778846C177264268 @default.
- W2118778846 hasConceptScore W2118778846C18903297 @default.
- W2118778846 hasConceptScore W2118778846C199360897 @default.
- W2118778846 hasConceptScore W2118778846C2776436953 @default.
- W2118778846 hasConceptScore W2118778846C2778029271 @default.
- W2118778846 hasConceptScore W2118778846C33923547 @default.
- W2118778846 hasConceptScore W2118778846C39920170 @default.
- W2118778846 hasConceptScore W2118778846C41008148 @default.
- W2118778846 hasConceptScore W2118778846C42812 @default.
- W2118778846 hasConceptScore W2118778846C62611344 @default.
- W2118778846 hasConceptScore W2118778846C66938386 @default.
- W2118778846 hasConceptScore W2118778846C86803240 @default.
- W2118778846 hasLocation W21187788461 @default.
- W2118778846 hasOpenAccess W2118778846 @default.
- W2118778846 hasPrimaryLocation W21187788461 @default.
- W2118778846 hasRelatedWork W1507341838 @default.
- W2118778846 hasRelatedWork W1555744099 @default.
- W2118778846 hasRelatedWork W1580483840 @default.
- W2118778846 hasRelatedWork W1596768697 @default.
- W2118778846 hasRelatedWork W1603221820 @default.
- W2118778846 hasRelatedWork W1968448945 @default.
- W2118778846 hasRelatedWork W1982333717 @default.
- W2118778846 hasRelatedWork W2017549627 @default.
- W2118778846 hasRelatedWork W2022694754 @default.
- W2118778846 hasRelatedWork W2025509872 @default.
- W2118778846 hasRelatedWork W2063964339 @default.
- W2118778846 hasRelatedWork W2138382848 @default.
- W2118778846 hasRelatedWork W2141935412 @default.
- W2118778846 hasRelatedWork W2169439992 @default.
- W2118778846 hasRelatedWork W2279561282 @default.
- W2118778846 hasRelatedWork W25619068 @default.
- W2118778846 hasRelatedWork W2731670349 @default.
- W2118778846 hasRelatedWork W3195880842 @default.
- W2118778846 hasRelatedWork W53948137 @default.
- W2118778846 hasRelatedWork W1564098035 @default.
- W2118778846 isParatext "false" @default.
- W2118778846 isRetracted "false" @default.
- W2118778846 magId "2118778846" @default.
- W2118778846 workType "article" @default.