Matches in SemOpenAlex for { <https://semopenalex.org/work/W2944864579> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2944864579 abstract "When proving theorems from large sets of logical assertions, it can be helpful to restrict the search for a proof to those assertions that are relevant, that is, closely related to the theorem in some sense. For example, in the Watson system, a large knowledge base must rapidly be searched for relevant facts. It is possible to define formal concepts of relevance for propositional and first-order logic. Various concepts of relevance have been defined for this, and some have yielded good results on large problems. We consider here in particular a concept based on alternating paths.We present efficient graph-based methods for computing alternating path relevance and give some results indicating its effectiveness. We also propose an alternating path based extension of this relevance method to DPLL with an improved time bound, and give other extensions to alternating path relevance intended to improve its performance." @default.
- W2944864579 created "2019-05-29" @default.
- W2944864579 creator A5019821870 @default.
- W2944864579 date "2019-05-21" @default.
- W2944864579 modified "2023-09-27" @default.
- W2944864579 title "Properties and Extensions of Alternating Path Relevance - I" @default.
- W2944864579 cites W14254835 @default.
- W2944864579 cites W1501039513 @default.
- W2944864579 cites W1571434026 @default.
- W2944864579 cites W1583295953 @default.
- W2944864579 cites W160318044 @default.
- W2944864579 cites W1623345509 @default.
- W2944864579 cites W1751603136 @default.
- W2944864579 cites W1966048066 @default.
- W2944864579 cites W1972956465 @default.
- W2944864579 cites W2064800569 @default.
- W2944864579 cites W2912330988 @default.
- W2944864579 cites W2738891958 @default.
- W2944864579 hasPublicationYear "2019" @default.
- W2944864579 type Work @default.
- W2944864579 sameAs 2944864579 @default.
- W2944864579 citedByCount "0" @default.
- W2944864579 crossrefType "posted-content" @default.
- W2944864579 hasAuthorship W2944864579A5019821870 @default.
- W2944864579 hasConcept C11413529 @default.
- W2944864579 hasConcept C12707504 @default.
- W2944864579 hasConcept C132525143 @default.
- W2944864579 hasConcept C134652429 @default.
- W2944864579 hasConcept C143936061 @default.
- W2944864579 hasConcept C158154518 @default.
- W2944864579 hasConcept C17744445 @default.
- W2944864579 hasConcept C199360897 @default.
- W2944864579 hasConcept C199539241 @default.
- W2944864579 hasConcept C2777735758 @default.
- W2944864579 hasConcept C2778029271 @default.
- W2944864579 hasConcept C33923547 @default.
- W2944864579 hasConcept C41008148 @default.
- W2944864579 hasConcept C76155785 @default.
- W2944864579 hasConcept C80444323 @default.
- W2944864579 hasConceptScore W2944864579C11413529 @default.
- W2944864579 hasConceptScore W2944864579C12707504 @default.
- W2944864579 hasConceptScore W2944864579C132525143 @default.
- W2944864579 hasConceptScore W2944864579C134652429 @default.
- W2944864579 hasConceptScore W2944864579C143936061 @default.
- W2944864579 hasConceptScore W2944864579C158154518 @default.
- W2944864579 hasConceptScore W2944864579C17744445 @default.
- W2944864579 hasConceptScore W2944864579C199360897 @default.
- W2944864579 hasConceptScore W2944864579C199539241 @default.
- W2944864579 hasConceptScore W2944864579C2777735758 @default.
- W2944864579 hasConceptScore W2944864579C2778029271 @default.
- W2944864579 hasConceptScore W2944864579C33923547 @default.
- W2944864579 hasConceptScore W2944864579C41008148 @default.
- W2944864579 hasConceptScore W2944864579C76155785 @default.
- W2944864579 hasConceptScore W2944864579C80444323 @default.
- W2944864579 hasLocation W29448645791 @default.
- W2944864579 hasOpenAccess W2944864579 @default.
- W2944864579 hasPrimaryLocation W29448645791 @default.
- W2944864579 hasRelatedWork W116817580 @default.
- W2944864579 hasRelatedWork W14254835 @default.
- W2944864579 hasRelatedWork W1490013103 @default.
- W2944864579 hasRelatedWork W1494674814 @default.
- W2944864579 hasRelatedWork W1509251869 @default.
- W2944864579 hasRelatedWork W1543818864 @default.
- W2944864579 hasRelatedWork W1569746079 @default.
- W2944864579 hasRelatedWork W2186679293 @default.
- W2944864579 hasRelatedWork W2259337172 @default.
- W2944864579 hasRelatedWork W2263121620 @default.
- W2944864579 hasRelatedWork W2527992070 @default.
- W2944864579 hasRelatedWork W2615941226 @default.
- W2944864579 hasRelatedWork W2724919050 @default.
- W2944864579 hasRelatedWork W2740079940 @default.
- W2944864579 hasRelatedWork W2784957241 @default.
- W2944864579 hasRelatedWork W2950521403 @default.
- W2944864579 hasRelatedWork W2969357465 @default.
- W2944864579 hasRelatedWork W3033356064 @default.
- W2944864579 hasRelatedWork W34971236 @default.
- W2944864579 hasRelatedWork W950940858 @default.
- W2944864579 isParatext "false" @default.
- W2944864579 isRetracted "false" @default.
- W2944864579 magId "2944864579" @default.
- W2944864579 workType "article" @default.