A system of parallel inference with the use of a connection graph

MaRDI QIDQ2488156zbMATH OpenFDO

Authors V. N. Vagin, N. O. Salapina

Publication date 24 August 2005

Published in Journal of Computer and Systems Sciences International (Search for Journal in Brave)

Mathematics Subject Classification ID

Recommendations

• Parallelism in deductive inference on graph structures
• scientific article; zbMATH DE number 4072451
• scientific article; zbMATH DE number 4203769
• Parallel inference algorithms for the connection method on systolic arrays
• scientific article; zbMATH DE number 4047184

Cited in

(10)

• Experimental analysis of some computation rules in a simple parallel reasoning system for the \(\mathcal{ALC}\) description logic
• Parallel inference search in logical calculus based on the algebraic programming system
• scientific article; zbMATH DE number 4072451 (Why is no real title available?)
• scientific article; zbMATH DE number 4106816 (Why is no real title available?)
• Parallel inference algorithms for the connection method on systolic arrays
• Concurrent query processing for logic inference using the connection graph
• A novel asynchronous parallelism scheme for first-order logic
• scientific article; zbMATH DE number 3894499 (Why is no real title available?)
• scientific article; zbMATH DE number 3945375 (Why is no real title available?)
• Parallelism in deductive inference on graph structures

This page was built for publication: A system of parallel inference with the use of a connection graph

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