On the public citation graph
On the duality between Or-parallelism and And-parallelism in logic programming
0 signed · 21 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/3-540-16492-8_82openalex-snapshot
Compiling OR-parallelism into AND-parallelism
inferredcites →https://doi.org/10.1007/3-540-55038-0_11openalex-snapshot
ACE: And/or-parallel copying-based execution of logic programs
inferredcites →https://doi.org/10.1007/978-1-4613-1987-0openalex-snapshot
Parallel Execution of Logic Programs
inferredcites →https://doi.org/10.1007/978-1-4615-2778-7openalex-snapshot
Multiprocessor Execution of Logic Programs
inferredcites →https://doi.org/10.1007/bf01379406openalex-snapshot
Scheduling speculative work in MUSE and performance results
inferredcites →https://doi.org/10.1007/bf03037208openalex-snapshot
The Aurora or-parallel Prolog system
inferredcites →https://doi.org/10.1145/93597.98723openalex-snapshot
A new paradigm for parallel and distributed rule-processing
inferredcites →https://doi.org/10.1145/93597.98724openalex-snapshot
A framework for the parallel processing of Datalog queries
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-45635-x_20openalex-snapshot
A Simple Scheme for Implementing Tabled Logic Programming Systems Based on Dynamic Reordering of Alternatives
inferred← citeshttps://doi.org/10.1007/978-3-642-17796-5_7openalex-snapshot
Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming
inferred← citeshttps://doi.org/10.1016/j.entcs.2014.02.007openalex-snapshot
Exploiting Parallelism in Coalgebraic Logic Programming
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80106-9openalex-snapshot
IAP for Dummies: The YAP Design
inferred← citeshttps://doi.org/10.1017/s1471068422000059openalex-snapshot
Parallel Logic Programming: A Sequel
inferred← citeshttps://doi.org/10.1093/logcom/exu026openalex-snapshot
Coalgebraic logic programming: from Semantics to Implementation
inferred← citeshttps://doi.org/10.1109/spdp.1995.530714openalex-snapshot
Data parallel logic programming in &ACE
inferred← citeshttps://doi.org/10.1145/266670.266691openalex-snapshot
Extended dynamic dependent and-parallelism in ACE
inferred← citeshttps://doi.org/10.1145/504083.504085openalex-snapshot
Parallel execution of prolog programs
inferred← citeshttps://doi.org/10.30837/2522-9818.2024.2.065openalex-snapshot
Application of GO programming language for simulation of mass service processes
inferred← citeshttps://doi.org/10.4230/lipics.csl.2011.352openalex-snapshot
Coalgebraic Derivations in Logic Programming
inferred← citeshttps://doi.org/10.48550/arxiv.1312.4454openalex-snapshot
Exploiting Parallelism in Coalgebraic Logic Programming
inferred← citeshttps://doi.org/10.48550/arxiv.1312.6568openalex-snapshot
Coalgebraic Logic Programming: from Semantics to Implementation
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.