Matches in SemOpenAlex for { <https://semopenalex.org/work/W1570636700> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W1570636700 abstract "Potentiality of parallelism in logic.- Parallel theorem provers An overview.- Parallel unification: Theory and implementations.- Connectionist inference systems.- Implementing parallel rewriting.- Experiments with Roo, a parallel automated deduction system.- A process algebra over the Herbrand Universe: Application to parallelism in automated deduction.- Using the Reform inference system for parallel Prolog.- Random competition: A simple, but efficient method for parallelizing inference systems.- Parallel and efficient implementation of the compartmentalized connection graph proof procedure: Resolution to unification.- Constraint satisfaction via partially parallel propagation steps.- A parallel theorem prover with heuristic work distribution.- Non-WAM models of logic programming and their support by novel parallel hardware.- The adam abstract dataflow machine.- Parallel computation model for parallel prolog.- Application of connectionist models to fuzzy inference systems.- CHCL - A connectionist inference system.- Project Summaries." @default.
- W1570636700 created "2016-06-24" @default.
- W1570636700 creator A5011034054 @default.
- W1570636700 creator A5085707845 @default.
- W1570636700 date "1992-04-01" @default.
- W1570636700 modified "2023-09-24" @default.
- W1570636700 title "Parallelization in Inference Systems: International Workshop Dagstuhl Castle, Germany, December 17-18, 1990 Proceedings" @default.
- W1570636700 hasPublicationYear "1992" @default.
- W1570636700 type Work @default.
- W1570636700 sameAs 1570636700 @default.
- W1570636700 citedByCount "0" @default.
- W1570636700 crossrefType "book" @default.
- W1570636700 hasAuthorship W1570636700A5011034054 @default.
- W1570636700 hasAuthorship W1570636700A5085707845 @default.
- W1570636700 hasConcept C154690210 @default.
- W1570636700 hasConcept C154945302 @default.
- W1570636700 hasConcept C173608175 @default.
- W1570636700 hasConcept C199360897 @default.
- W1570636700 hasConcept C206880738 @default.
- W1570636700 hasConcept C26713055 @default.
- W1570636700 hasConcept C2776214188 @default.
- W1570636700 hasConcept C2781172179 @default.
- W1570636700 hasConcept C3543717 @default.
- W1570636700 hasConcept C41008148 @default.
- W1570636700 hasConcept C50644808 @default.
- W1570636700 hasConcept C61483411 @default.
- W1570636700 hasConcept C80444323 @default.
- W1570636700 hasConcept C81721847 @default.
- W1570636700 hasConcept C8521452 @default.
- W1570636700 hasConcept C96146094 @default.
- W1570636700 hasConceptScore W1570636700C154690210 @default.
- W1570636700 hasConceptScore W1570636700C154945302 @default.
- W1570636700 hasConceptScore W1570636700C173608175 @default.
- W1570636700 hasConceptScore W1570636700C199360897 @default.
- W1570636700 hasConceptScore W1570636700C206880738 @default.
- W1570636700 hasConceptScore W1570636700C26713055 @default.
- W1570636700 hasConceptScore W1570636700C2776214188 @default.
- W1570636700 hasConceptScore W1570636700C2781172179 @default.
- W1570636700 hasConceptScore W1570636700C3543717 @default.
- W1570636700 hasConceptScore W1570636700C41008148 @default.
- W1570636700 hasConceptScore W1570636700C50644808 @default.
- W1570636700 hasConceptScore W1570636700C61483411 @default.
- W1570636700 hasConceptScore W1570636700C80444323 @default.
- W1570636700 hasConceptScore W1570636700C81721847 @default.
- W1570636700 hasConceptScore W1570636700C8521452 @default.
- W1570636700 hasConceptScore W1570636700C96146094 @default.
- W1570636700 hasLocation W15706367001 @default.
- W1570636700 hasOpenAccess W1570636700 @default.
- W1570636700 hasPrimaryLocation W15706367001 @default.
- W1570636700 hasRelatedWork W1482596623 @default.
- W1570636700 hasRelatedWork W1513061173 @default.
- W1570636700 hasRelatedWork W1515318404 @default.
- W1570636700 hasRelatedWork W1523231232 @default.
- W1570636700 hasRelatedWork W1537650425 @default.
- W1570636700 hasRelatedWork W1538028634 @default.
- W1570636700 hasRelatedWork W1560859513 @default.
- W1570636700 hasRelatedWork W1560895966 @default.
- W1570636700 hasRelatedWork W1574972824 @default.
- W1570636700 hasRelatedWork W1581259917 @default.
- W1570636700 hasRelatedWork W1588059267 @default.
- W1570636700 hasRelatedWork W195856081 @default.
- W1570636700 hasRelatedWork W2042356181 @default.
- W1570636700 hasRelatedWork W2084078829 @default.
- W1570636700 hasRelatedWork W2141994813 @default.
- W1570636700 hasRelatedWork W2143452969 @default.
- W1570636700 hasRelatedWork W2664904863 @default.
- W1570636700 hasRelatedWork W416027433 @default.
- W1570636700 hasRelatedWork W46806223 @default.
- W1570636700 hasRelatedWork W2166718330 @default.
- W1570636700 isParatext "false" @default.
- W1570636700 isRetracted "false" @default.
- W1570636700 magId "1570636700" @default.
- W1570636700 workType "book" @default.