Matches in SemOpenAlex for { <https://semopenalex.org/work/W148528072> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W148528072 endingPage "287" @default.
- W148528072 startingPage "281" @default.
- W148528072 abstract "Assumption-based truth maintenance systems have developed into powerful and popular means for considering multiple contexts simultaneously during problem solving. Unfortunately, increasing problem complexity can lead to explosive growth of node labels. In this paper, we present a new ATMS algorithm (CATMS) which avoids the problem of label explosions, while preserving most of the querytime efficiencies resulting from label compilations. CATMS generalizes the standard ATMS subsumption relation, allowing it to compress an entire label into a single assumption. This compression of labels is balanced by an expansion of environments to include any implied assumptions. The result is a new dimension of flexibility, allowing CATMS to trade-off the query-time efficiency of uncompressed labels against the costs of computing them. To demonstrate the significant computational gains of CATMS over de Kleer's ATMS, we compare the performance of the ATMS-based QPE [9] problem-solver using each." @default.
- W148528072 created "2016-06-24" @default.
- W148528072 creator A5013863220 @default.
- W148528072 creator A5069507852 @default.
- W148528072 date "1991-07-14" @default.
- W148528072 modified "2023-09-23" @default.
- W148528072 title "CATMS: an ATMS which avoids label explosions" @default.
- W148528072 cites W145128706 @default.
- W148528072 cites W1532963764 @default.
- W148528072 cites W169805348 @default.
- W148528072 cites W199964726 @default.
- W148528072 cites W2078808573 @default.
- W148528072 cites W2113179244 @default.
- W148528072 cites W2118778846 @default.
- W148528072 cites W2128344648 @default.
- W148528072 cites W2147096558 @default.
- W148528072 cites W2464120652 @default.
- W148528072 cites W38794278 @default.
- W148528072 cites W6690249 @default.
- W148528072 cites W78724527 @default.
- W148528072 hasPublicationYear "1991" @default.
- W148528072 type Work @default.
- W148528072 sameAs 148528072 @default.
- W148528072 citedByCount "10" @default.
- W148528072 crossrefType "proceedings-article" @default.
- W148528072 hasAuthorship W148528072A5013863220 @default.
- W148528072 hasAuthorship W148528072A5069507852 @default.
- W148528072 hasConcept C105795698 @default.
- W148528072 hasConcept C120314980 @default.
- W148528072 hasConcept C124101348 @default.
- W148528072 hasConcept C126255220 @default.
- W148528072 hasConcept C127413603 @default.
- W148528072 hasConcept C136085584 @default.
- W148528072 hasConcept C154238967 @default.
- W148528072 hasConcept C178790620 @default.
- W148528072 hasConcept C185592680 @default.
- W148528072 hasConcept C199360897 @default.
- W148528072 hasConcept C202444582 @default.
- W148528072 hasConcept C25343380 @default.
- W148528072 hasConcept C2778770139 @default.
- W148528072 hasConcept C2780598303 @default.
- W148528072 hasConcept C33676613 @default.
- W148528072 hasConcept C33923547 @default.
- W148528072 hasConcept C41008148 @default.
- W148528072 hasConcept C62611344 @default.
- W148528072 hasConcept C66938386 @default.
- W148528072 hasConcept C80444323 @default.
- W148528072 hasConceptScore W148528072C105795698 @default.
- W148528072 hasConceptScore W148528072C120314980 @default.
- W148528072 hasConceptScore W148528072C124101348 @default.
- W148528072 hasConceptScore W148528072C126255220 @default.
- W148528072 hasConceptScore W148528072C127413603 @default.
- W148528072 hasConceptScore W148528072C136085584 @default.
- W148528072 hasConceptScore W148528072C154238967 @default.
- W148528072 hasConceptScore W148528072C178790620 @default.
- W148528072 hasConceptScore W148528072C185592680 @default.
- W148528072 hasConceptScore W148528072C199360897 @default.
- W148528072 hasConceptScore W148528072C202444582 @default.
- W148528072 hasConceptScore W148528072C25343380 @default.
- W148528072 hasConceptScore W148528072C2778770139 @default.
- W148528072 hasConceptScore W148528072C2780598303 @default.
- W148528072 hasConceptScore W148528072C33676613 @default.
- W148528072 hasConceptScore W148528072C33923547 @default.
- W148528072 hasConceptScore W148528072C41008148 @default.
- W148528072 hasConceptScore W148528072C62611344 @default.
- W148528072 hasConceptScore W148528072C66938386 @default.
- W148528072 hasConceptScore W148528072C80444323 @default.
- W148528072 hasOpenAccess W148528072 @default.
- W148528072 hasRelatedWork W145128706 @default.
- W148528072 hasRelatedWork W1541276362 @default.
- W148528072 hasRelatedWork W1605093979 @default.
- W148528072 hasRelatedWork W1889333569 @default.
- W148528072 hasRelatedWork W1976303542 @default.
- W148528072 hasRelatedWork W1999622198 @default.
- W148528072 hasRelatedWork W2032347616 @default.
- W148528072 hasRelatedWork W2056295140 @default.
- W148528072 hasRelatedWork W2057819970 @default.
- W148528072 hasRelatedWork W2118190603 @default.
- W148528072 hasRelatedWork W2126683703 @default.
- W148528072 hasRelatedWork W2147096558 @default.
- W148528072 hasRelatedWork W2169583663 @default.
- W148528072 hasRelatedWork W2186960328 @default.
- W148528072 hasRelatedWork W2320822437 @default.
- W148528072 hasRelatedWork W2401565891 @default.
- W148528072 hasRelatedWork W2947462895 @default.
- W148528072 hasRelatedWork W2972859423 @default.
- W148528072 hasRelatedWork W3042924862 @default.
- W148528072 hasRelatedWork W78724527 @default.
- W148528072 isParatext "false" @default.
- W148528072 isRetracted "false" @default.
- W148528072 magId "148528072" @default.
- W148528072 workType "article" @default.