Matches in SemOpenAlex for { <https://semopenalex.org/work/W80774807> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W80774807 abstract "In the early days of AI some researchers proposed that intelligent problem solving could be reduced to the application of general purpose theorem provers to an axiomatization of commonsense knowledge. Although automated first-order theorem proving was unwieldy, general reasoning engines for propositional logic turned out to be surprisingly efficient for a wide variety of applications. Still many problems of interest to AI involve probabilities or quantification, and would seem to be beyond propositional methods. However, recent research has shown that the basic backtrack search algorithm for satisfiability generalizes to a strikingly efficient approach for broader classes of inference. We may be on the threshold of achieving the old dream of a universal inference engine." @default.
- W80774807 created "2016-06-24" @default.
- W80774807 creator A5007902508 @default.
- W80774807 date "2003-01-01" @default.
- W80774807 modified "2023-09-27" @default.
- W80774807 title "Toward A Universal Inference Engine" @default.
- W80774807 doi "https://doi.org/10.1007/978-3-540-24609-1_2" @default.
- W80774807 hasPublicationYear "2003" @default.
- W80774807 type Work @default.
- W80774807 sameAs 80774807 @default.
- W80774807 citedByCount "2" @default.
- W80774807 countsByYear W807748072016 @default.
- W80774807 crossrefType "book-chapter" @default.
- W80774807 hasAuthorship W80774807A5007902508 @default.
- W80774807 hasConcept C100481476 @default.
- W80774807 hasConcept C102993220 @default.
- W80774807 hasConcept C136197465 @default.
- W80774807 hasConcept C14523651 @default.
- W80774807 hasConcept C154945302 @default.
- W80774807 hasConcept C168773769 @default.
- W80774807 hasConcept C193221554 @default.
- W80774807 hasConcept C199360897 @default.
- W80774807 hasConcept C206880738 @default.
- W80774807 hasConcept C2776214188 @default.
- W80774807 hasConcept C33203268 @default.
- W80774807 hasConcept C41008148 @default.
- W80774807 hasConcept C46743427 @default.
- W80774807 hasConcept C69562738 @default.
- W80774807 hasConcept C80444323 @default.
- W80774807 hasConceptScore W80774807C100481476 @default.
- W80774807 hasConceptScore W80774807C102993220 @default.
- W80774807 hasConceptScore W80774807C136197465 @default.
- W80774807 hasConceptScore W80774807C14523651 @default.
- W80774807 hasConceptScore W80774807C154945302 @default.
- W80774807 hasConceptScore W80774807C168773769 @default.
- W80774807 hasConceptScore W80774807C193221554 @default.
- W80774807 hasConceptScore W80774807C199360897 @default.
- W80774807 hasConceptScore W80774807C206880738 @default.
- W80774807 hasConceptScore W80774807C2776214188 @default.
- W80774807 hasConceptScore W80774807C33203268 @default.
- W80774807 hasConceptScore W80774807C41008148 @default.
- W80774807 hasConceptScore W80774807C46743427 @default.
- W80774807 hasConceptScore W80774807C69562738 @default.
- W80774807 hasConceptScore W80774807C80444323 @default.
- W80774807 hasLocation W807748071 @default.
- W80774807 hasOpenAccess W80774807 @default.
- W80774807 hasPrimaryLocation W807748071 @default.
- W80774807 hasRelatedWork W1652311832 @default.
- W80774807 hasRelatedWork W2057057690 @default.
- W80774807 hasRelatedWork W2135396778 @default.
- W80774807 hasRelatedWork W2166247150 @default.
- W80774807 hasRelatedWork W2243428364 @default.
- W80774807 hasRelatedWork W2347498919 @default.
- W80774807 hasRelatedWork W2368184788 @default.
- W80774807 hasRelatedWork W2415342802 @default.
- W80774807 hasRelatedWork W2462453872 @default.
- W80774807 hasRelatedWork W4243252198 @default.
- W80774807 isParatext "false" @default.
- W80774807 isRetracted "false" @default.
- W80774807 magId "80774807" @default.
- W80774807 workType "book-chapter" @default.