FRINK Linked Data Fragments server

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

• W191033205 endingPage "165" @default.
• W191033205 startingPage "161" @default.
• W191033205 abstract "Theorem provers are prone to combinatorial explosions, especially when the reasoning chains needed to establish a desired result are lengthy. To alleviate this problem, special purpose inference methods have been developed that exploit properties of certain domains to shorten chains of reasoning with types, temporal relations, colors, numeric relations, and sets, to name a few.The problem investigated here is how to use these efficient, but limited methods in a more general environment. Although much research has been done on this problem, most of the resulting systems either restrict what they can represent and reason with, limit the types of special mechanisms that can be used, or are difficult to extend with other specialists.We develop a uniform interface to specialists which allows them to assist a resolution-based theorem prover in function evaluation, literal evaluation, and generalized resolving and factoring. The specialists incorporated into this system include a temporal reasoner, a type hierarchy, a number specialist, a set specialist, and a simple color specialist. Each new specialist was found to make possible fast proofs of questions previously beyond the scope of the theorem prover. Examples from the fully operational hybrid system are included." @default.
• W191033205 created "2016-06-24" @default.
• W191033205 creator A5058584997 @default.
• W191033205 creator A5085884078 @default.
• W191033205 date "1988-08-21" @default.
• W191033205 modified "2023-09-24" @default.
• W191033205 title "Using specialists to accelerate general reasoning" @default.
• W191033205 cites W1496545610 @default.
• W191033205 cites W2030670832 @default.
• W191033205 cites W2097334001 @default.
• W191033205 cites W2138525910 @default.
• W191033205 cites W2164778826 @default.
• W191033205 cites W81485047 @default.
• W191033205 hasPublicationYear "1988" @default.
• W191033205 type Work @default.
• W191033205 sameAs 191033205 @default.
• W191033205 citedByCount "12" @default.
• W191033205 crossrefType "proceedings-article" @default.
• W191033205 hasAuthorship W191033205A5058584997 @default.
• W191033205 hasAuthorship W191033205A5085884078 @default.
• W191033205 hasConcept C10138342 @default.
• W191033205 hasConcept C108710211 @default.
• W191033205 hasConcept C127413603 @default.
• W191033205 hasConcept C134306372 @default.
• W191033205 hasConcept C138268822 @default.
• W191033205 hasConcept C14036430 @default.
• W191033205 hasConcept C151201525 @default.
• W191033205 hasConcept C154945302 @default.
• W191033205 hasConcept C159718280 @default.
• W191033205 hasConcept C162324750 @default.
• W191033205 hasConcept C165696696 @default.
• W191033205 hasConcept C177225278 @default.
• W191033205 hasConcept C177264268 @default.
• W191033205 hasConcept C199360897 @default.
• W191033205 hasConcept C206880738 @default.
• W191033205 hasConcept C2524010 @default.
• W191033205 hasConcept C2776214188 @default.
• W191033205 hasConcept C2778012447 @default.
• W191033205 hasConcept C2780428219 @default.
• W191033205 hasConcept C33923547 @default.
• W191033205 hasConcept C38652104 @default.
• W191033205 hasConcept C41008148 @default.
• W191033205 hasConcept C46743427 @default.
• W191033205 hasConcept C78458016 @default.
• W191033205 hasConcept C78519656 @default.
• W191033205 hasConcept C80444323 @default.
• W191033205 hasConcept C86803240 @default.
• W191033205 hasConcept C9616225 @default.
• W191033205 hasConceptScore W191033205C10138342 @default.
• W191033205 hasConceptScore W191033205C108710211 @default.
• W191033205 hasConceptScore W191033205C127413603 @default.
• W191033205 hasConceptScore W191033205C134306372 @default.
• W191033205 hasConceptScore W191033205C138268822 @default.
• W191033205 hasConceptScore W191033205C14036430 @default.
• W191033205 hasConceptScore W191033205C151201525 @default.
• W191033205 hasConceptScore W191033205C154945302 @default.
• W191033205 hasConceptScore W191033205C159718280 @default.
• W191033205 hasConceptScore W191033205C162324750 @default.
• W191033205 hasConceptScore W191033205C165696696 @default.
• W191033205 hasConceptScore W191033205C177225278 @default.
• W191033205 hasConceptScore W191033205C177264268 @default.
• W191033205 hasConceptScore W191033205C199360897 @default.
• W191033205 hasConceptScore W191033205C206880738 @default.
• W191033205 hasConceptScore W191033205C2524010 @default.
• W191033205 hasConceptScore W191033205C2776214188 @default.
• W191033205 hasConceptScore W191033205C2778012447 @default.
• W191033205 hasConceptScore W191033205C2780428219 @default.
• W191033205 hasConceptScore W191033205C33923547 @default.
• W191033205 hasConceptScore W191033205C38652104 @default.
• W191033205 hasConceptScore W191033205C41008148 @default.
• W191033205 hasConceptScore W191033205C46743427 @default.
• W191033205 hasConceptScore W191033205C78458016 @default.
• W191033205 hasConceptScore W191033205C78519656 @default.
• W191033205 hasConceptScore W191033205C80444323 @default.
• W191033205 hasConceptScore W191033205C86803240 @default.
• W191033205 hasConceptScore W191033205C9616225 @default.
• W191033205 hasLocation W1910332051 @default.
• W191033205 hasOpenAccess W191033205 @default.
• W191033205 hasPrimaryLocation W1910332051 @default.
• W191033205 hasRelatedWork W111838731 @default.
• W191033205 hasRelatedWork W126307711 @default.
• W191033205 hasRelatedWork W140853879 @default.
• W191033205 hasRelatedWork W1496545610 @default.
• W191033205 hasRelatedWork W1577505012 @default.
• W191033205 hasRelatedWork W183063893 @default.
• W191033205 hasRelatedWork W2047669821 @default.
• W191033205 hasRelatedWork W205043379 @default.
• W191033205 hasRelatedWork W2055402392 @default.
• W191033205 hasRelatedWork W2114011575 @default.
• W191033205 hasRelatedWork W2138162238 @default.
• W191033205 hasRelatedWork W2161484642 @default.
• W191033205 hasRelatedWork W2167976817 @default.
• W191033205 hasRelatedWork W2295985662 @default.
• W191033205 hasRelatedWork W268049212 @default.
• W191033205 hasRelatedWork W2783662132 @default.
• W191033205 hasRelatedWork W2913148969 @default.
• W191033205 hasRelatedWork W3099059787 @default.
• W191033205 hasRelatedWork W40852939 @default.

• next