scientific article; zbMATH DE number 885180

MaRDI QIDQ4880495zbMATH OpenFDO

Authors Jaakko Hintikka

Publication date 6 June 1996

zbMATH Keywords

parallel distributed processingbranching-quantifierindependent-friendly first-order logic

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Distributed algorithms (68W15) General topics in artificial intelligence (68T01) Other applications of logic (03B80) Second- and higher-order model theory (03C85)

Recommendations

• Parallel versus sequential processing of relational stimulus structures
• Parallelism in deductive inference on graph structures
• A system of parallel inference with the use of a connection graph
• scientific article; zbMATH DE number 3860373

Cited in

(2)

• To Parallelize or to Optimize?
• Why parallel computer processing systems are preferred to serial computer processing systems: a formal discussion

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4880495)