scientific article; zbMATH DE number 885180

MaRDI QIDQ4880495zbMATH OpenFDO

Authors Jaakko Hintikka

Publication date 6 June 1996

zbMATH Keywords

branching-quantifierindependent-friendly first-order logicparallel distributed processing

Mathematics Subject Classification ID

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

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

(3)

• Parallel versus sequential processing of relational stimulus structures
• Why parallel computer processing systems are preferred to serial computer processing systems: a formal discussion
• To Parallelize or to Optimize?

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)