On the public citation graph
A data-driven machine for OR-parallel evaluation of logic programs
0 signed · 24 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/978-1-4613-1987-0openalex-snapshot
Parallel Execution of Logic Programs
inferredcites →https://doi.org/10.1109/mc.1982.1653941openalex-snapshot
A Practical Data Flow Computer
inferredcites →https://doi.org/10.1109/mc.1982.1653942openalex-snapshot
A Second Opinion on Data Flow Machines and Languages
inferredcites →https://doi.org/10.1145/800046.801673openalex-snapshot
A parallel execution model of logic programs
inferredcites →https://doi.org/10.1145/800053.801902openalex-snapshot
Building blocks for data flow prototypes
inferredcites →https://doi.org/10.1145/800223.806775openalex-snapshot
Parallel interpretation of logic programs
inferredcites →https://doi.org/10.1146/annurev.cs.01.060186.001301openalex-snapshot
Dataflow Architectures
inferredcites →https://doi.org/10.5555/800052.801882openalex-snapshot
A multiple processor data flow machine that supports generalized procedures
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/3-540-55425-4_1openalex-snapshot
Potentiality of parallelism in logic
inferred← citeshttps://doi.org/10.1007/bf03037344openalex-snapshot
Cut and side-effects in a data-driven implementation of Prolog
inferred← citeshttps://doi.org/10.1007/bf03037415openalex-snapshot
A method for efficiently executing horn clause programs using multiple processors
inferred← citeshttps://doi.org/10.1007/bf03037521openalex-snapshot
OR-parallel evaluation of logic programs on a multi-ring dataflow machine
inferred← citeshttps://doi.org/10.1007/bfb0018384openalex-snapshot
A unified framework for characterising logic program executions
inferred← citeshttps://doi.org/10.1007/bfb0024208openalex-snapshot
A multithreaded implementation concept of prolog on Datarol-II machine
inferred← citeshttps://doi.org/10.1016/0167-739x(93)90016-iopenalex-snapshot
Exploiting OR-parallelism in logic programs: A review
inferred← citeshttps://doi.org/10.1016/s0747-7171(08)80151-4openalex-snapshot
A methodology for detecting shared variable dependencies in logic programs
inferred← citeshttps://doi.org/10.1093/comjnl/30.5.386openalex-snapshot
Principles of the Delphi Parallel Inference Machine
inferred← citeshttps://doi.org/10.1109/empdp.1994.592534openalex-snapshot
Wavefront Scheduling In Logflow
inferred← citeshttps://doi.org/10.1109/empdp.1995.389154openalex-snapshot
Dataflow model for handling cut in the LOGFLOW parallel prolog machine
inferred← citeshttps://doi.org/10.1109/spdp.1996.570323openalex-snapshot
Prolog on the multithreaded Datarol-II machine based on the logicflow execution model
inferred← citeshttps://doi.org/10.1117/12.25326openalex-snapshot
Data-driven parallel architecture for syntactic pattern recognition
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.