FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2111151007> ?p ?o ?g. }

• W2111151007 abstract "The Assumption-based Truth Maintenance System (ATMS) is a general and powerful problem-solving tool in AI. Unfortunately, its generality usually entails a high computational cost. In this paper, we study how a general notion of cost function can be incorporated into the design of an algorithm for focusing the ATMS, called BF-ATMS. The BF-ATMS algorithm explores a search space of size polynomial in the number of assumptions, even for problems which are proven to have exponential size labels. Experimental results indicate significant speedups over the standard ATMS for such problems. In addition to its improved efficiency, the BF-ATMS algorithm retains the multiple-context capability of an ATMS, and the important properties of consistency, minimality, soundness, as well as the property of bounded completeness. The usefulness of the new algorithm is demonstrated by its application to the task of consistency-based diagnosis, where dramatic efficiency improvements, with respect to the standard solution technique, are obtained. Comments University of Pennsylvania Department of Computer and Information Science Technical Report No. MSCIS-92-61. This technical report is available at ScholarlyCommons: http://repository.upenn.edu/cis_reports/299 Focusing ATMS Problem-Solving: A Formal Approach MS-CIS-92-61 GRASP LAB 326 Teow-Hin Ngair Gregory Provan University of Pennsylvania School of Engineering and Applied Science Computer and Information Science Department Philadelphia, PA 19104-6389" @default.
• W2111151007 created "2016-06-24" @default.
• W2111151007 creator A5053486266 @default.
• W2111151007 creator A5068963019 @default.
• W2111151007 date "1992-01-01" @default.
• W2111151007 modified "2023-09-27" @default.
• W2111151007 title "Focusing ATMS Problem-Solving: A Formal Approach" @default.
• W2111151007 cites W145128706 @default.
• W2111151007 cites W148528072 @default.
• W2111151007 cites W1509251869 @default.
• W2111151007 cites W1530765221 @default.
• W2111151007 cites W1541276362 @default.
• W2111151007 cites W1545910411 @default.
• W2111151007 cites W1567176099 @default.
• W2111151007 cites W1605093979 @default.
• W2111151007 cites W166612935 @default.
• W2111151007 cites W170138611 @default.
• W2111151007 cites W1889333569 @default.
• W2111151007 cites W1976303542 @default.
• W2111151007 cites W1978468205 @default.
• W2111151007 cites W1999622198 @default.
• W2111151007 cites W199964726 @default.
• W2111151007 cites W2011992362 @default.
• W2111151007 cites W2019184769 @default.
• W2111151007 cites W2048339598 @default.
• W2111151007 cites W2057819970 @default.
• W2111151007 cites W2108309071 @default.
• W2111151007 cites W2113179244 @default.
• W2111151007 cites W2132996183 @default.
• W2111151007 cites W2144386448 @default.
• W2111151007 cites W2147096558 @default.
• W2111151007 cites W2155322595 @default.
• W2111151007 cites W2165759801 @default.
• W2111151007 cites W2169583663 @default.
• W2111151007 cites W2911331989 @default.
• W2111151007 cites W2945259913 @default.
• W2111151007 cites W78724527 @default.
• W2111151007 cites W87236401 @default.
• W2111151007 hasPublicationYear "1992" @default.
• W2111151007 type Work @default.
• W2111151007 sameAs 2111151007 @default.
• W2111151007 citedByCount "1" @default.
• W2111151007 crossrefType "journal-article" @default.
• W2111151007 hasAuthorship W2111151007A5053486266 @default.
• W2111151007 hasAuthorship W2111151007A5068963019 @default.
• W2111151007 hasConcept C111472728 @default.
• W2111151007 hasConcept C134306372 @default.
• W2111151007 hasConcept C138885662 @default.
• W2111151007 hasConcept C151730666 @default.
• W2111151007 hasConcept C154945302 @default.
• W2111151007 hasConcept C15744967 @default.
• W2111151007 hasConcept C171268870 @default.
• W2111151007 hasConcept C17231256 @default.
• W2111151007 hasConcept C189950617 @default.
• W2111151007 hasConcept C199360897 @default.
• W2111151007 hasConcept C2776436953 @default.
• W2111151007 hasConcept C2779343474 @default.
• W2111151007 hasConcept C2780767217 @default.
• W2111151007 hasConcept C33923547 @default.
• W2111151007 hasConcept C34388435 @default.
• W2111151007 hasConcept C39920170 @default.
• W2111151007 hasConcept C41008148 @default.
• W2111151007 hasConcept C542102704 @default.
• W2111151007 hasConcept C80444323 @default.
• W2111151007 hasConcept C86803240 @default.
• W2111151007 hasConceptScore W2111151007C111472728 @default.
• W2111151007 hasConceptScore W2111151007C134306372 @default.
• W2111151007 hasConceptScore W2111151007C138885662 @default.
• W2111151007 hasConceptScore W2111151007C151730666 @default.
• W2111151007 hasConceptScore W2111151007C154945302 @default.
• W2111151007 hasConceptScore W2111151007C15744967 @default.
• W2111151007 hasConceptScore W2111151007C171268870 @default.
• W2111151007 hasConceptScore W2111151007C17231256 @default.
• W2111151007 hasConceptScore W2111151007C189950617 @default.
• W2111151007 hasConceptScore W2111151007C199360897 @default.
• W2111151007 hasConceptScore W2111151007C2776436953 @default.
• W2111151007 hasConceptScore W2111151007C2779343474 @default.
• W2111151007 hasConceptScore W2111151007C2780767217 @default.
• W2111151007 hasConceptScore W2111151007C33923547 @default.
• W2111151007 hasConceptScore W2111151007C34388435 @default.
• W2111151007 hasConceptScore W2111151007C39920170 @default.
• W2111151007 hasConceptScore W2111151007C41008148 @default.
• W2111151007 hasConceptScore W2111151007C542102704 @default.
• W2111151007 hasConceptScore W2111151007C80444323 @default.
• W2111151007 hasConceptScore W2111151007C86803240 @default.
• W2111151007 hasLocation W21111510071 @default.
• W2111151007 hasOpenAccess W2111151007 @default.
• W2111151007 hasPrimaryLocation W21111510071 @default.
• W2111151007 hasRelatedWork W109146843 @default.
• W2111151007 hasRelatedWork W1517957252 @default.
• W2111151007 hasRelatedWork W1995262171 @default.
• W2111151007 hasRelatedWork W2011039300 @default.
• W2111151007 hasRelatedWork W2051061783 @default.
• W2111151007 hasRelatedWork W2105317683 @default.
• W2111151007 hasRelatedWork W2128307932 @default.
• W2111151007 hasRelatedWork W2307340323 @default.
• W2111151007 hasRelatedWork W2759610117 @default.
• W2111151007 hasRelatedWork W2790868014 @default.
• W2111151007 hasRelatedWork W2963798801 @default.
• W2111151007 hasRelatedWork W3009835935 @default.

• next