Parallel inference algorithms for the connection method on systolic arrays

DOI10.1080/00207169408804324MaRDI QIDQ4844581zbMATH OpenOpenAlexFDO

Authors Yongfei Han, D. J. Evans

Publication date 10 June 1996

Published in International Journal of Computer Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/00207169408804324

zbMATH Keywords

logic programmingparallel inferenceparallel machines

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• A system of parallel inference with the use of a connection graph
• Parallelism in deductive inference on graph structures
• scientific article; zbMATH DE number 4094788
• A parallel Prolog resolution based on multiple unifications
• scientific article; zbMATH DE number 4072451

Cites work

• scientific article; zbMATH DE number 43232 (Why is no real title available?)
• scientific article; zbMATH DE number 53038 (Why is no real title available?)
• scientific article; zbMATH DE number 3415409 (Why is no real title available?)
• Matings in matrices

Cited in

(4)

• Parallelism in deductive inference on graph structures
• Concurrent query processing for logic inference using the connection graph
• A system of parallel inference with the use of a connection graph
• scientific article; zbMATH DE number 2079876 (Why is no real title available?)

This page was built for publication: Parallel inference algorithms for the connection method on systolic arrays

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