Concurrent query processing for logic inference using the connection graph

DOI10.1006/JPDC.1993.1028MaRDI QIDQ2365575zbMATH OpenOpenAlexFDO

Authors Naim Abdullah, Jie-Yong Juang

Publication date 29 June 1993

Published in Journal of Parallel and Distributed Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1006/jpdc.1993.1028

zbMATH Keywords

concurrent queriesconnection graphlogic program

Mathematics Subject Classification ID

Logic programming (68N17)

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 4009855
• scientific article; zbMATH DE number 4047184
• Parallel inference algorithms for the connection method on systolic arrays

Cited in

(1)

• Parallelism in deductive inference on graph structures

This page was built for publication: Concurrent query processing for logic inference using the connection graph

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