On the public citation graph
AND parallelism and nondeterminism in logic programs
0 signed · 70 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.1109/tc.1980.1675474openalex-snapshot
Performance of a Simulated Dataflow Computer
inferredcites →https://doi.org/10.1145/321978.321991openalex-snapshot
The Semantics of Predicate Logic as a Programming Language
inferredcites →https://doi.org/10.1145/359763.359782openalex-snapshot
Abstraction and verification in Alphard
inferredcites →https://doi.org/10.1145/800196.806003openalex-snapshot
A semantic model for a language processor
inferredcites →https://doi.org/10.1145/800223.806775openalex-snapshot
Parallel interpretation of logic programs
inferredcites →https://doi.org/10.1145/800223.806776openalex-snapshot
A relational language for parallel programming
inferredcites →https://doi.org/10.7916/d81z4cdfopenalex-snapshot
Logic Programming Using Parallel Associative Operations
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-16492-8_64openalex-snapshot
An intelligent backtracking algorithm for parallel execution of logic programs
inferred← citeshttps://doi.org/10.1007/3-540-17179-7_7openalex-snapshot
A framework for intelligent backtracking in logic programs
inferred← citeshttps://doi.org/10.1007/3-540-17945-3_24openalex-snapshot
Optimistic and-parallelism in Prolog
inferred← citeshttps://doi.org/10.1007/3-540-18420-1_66openalex-snapshot
Parallel execution of an equational language
inferred← citeshttps://doi.org/10.1007/3-540-18625-5_60openalex-snapshot
Semantics of distributed Horn clause programs
inferred← citeshttps://doi.org/10.1007/3-540-53932-8_51openalex-snapshot
An operational semantics of ANDOR-II, a parallel logic programming language with AND- and OR- parallelism
inferred← citeshttps://doi.org/10.1007/3-540-57186-8_86openalex-snapshot
An OR parallel Prolog model for distributed memory systems
inferred← citeshttps://doi.org/10.1007/3-540-57659-2_22openalex-snapshot
Loop transformations for Prolog programs
inferred← citeshttps://doi.org/10.1007/3-540-58025-5_50openalex-snapshot
Some experimental results in implementing a logic language with multi-head clauses on a Transputer architecture
inferred← citeshttps://doi.org/10.1007/978-1-4471-3494-7_16openalex-snapshot
Semantics—based Partial Evaluation of Prolog Programs
inferred← citeshttps://doi.org/10.1007/978-1-4471-3546-3_8openalex-snapshot
Using Algebraic Semantics for Proving Prolog Termination and Transformation
inferred← citeshttps://doi.org/10.1007/978-1-4612-3390-9_4openalex-snapshot
Multiprocessing of Combinatorial Search Problems
inferred← citeshttps://doi.org/10.1007/978-3-642-71388-0_12openalex-snapshot
Und-Parallelismus und Effizientes Backtracking Von Prolog-Prozeduren
inferred← citeshttps://doi.org/10.1007/978-94-009-5044-3_10openalex-snapshot
Parallelism and Logic Programming
inferred← citeshttps://doi.org/10.1007/bf01379187openalex-snapshot
Transforming generate-and-test programs to execute under committed-choice AND-parallelism
inferred← citeshttps://doi.org/10.1007/bf02427851openalex-snapshot
A backtracking algorithm for the stream AND-parallel execution of logic programs
inferred← citeshttps://doi.org/10.1007/bf02939495openalex-snapshot
Granularity analysis for exploiting adaptive parallelism of declarative programs on multiprocessors
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/bf03037417openalex-snapshot
An execution model for exploiting AND-parallelism in logic programs
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/bfb0014977openalex-snapshot
Simulation results of a multiprocessor PROLOG architecture based on a distributed and/or graph
inferred← citeshttps://doi.org/10.1007/bfb0023769openalex-snapshot
A transformational methodology for proving termination of logic programs
inferred← citeshttps://doi.org/10.1007/bfb0023894openalex-snapshot
An and-parallelism cooperative scheme for full prolog interpreters on a transputer-based architecture
inferred← citeshttps://doi.org/10.1016/0020-0190(92)90232-kopenalex-snapshot
The implementation of a distribution model for logic programming based on multiple-headed clauses
inferred← citeshttps://doi.org/10.1016/0020-0190(94)90126-0openalex-snapshot
Path for AND-parallel execution of logic programs
inferred← citeshttps://doi.org/10.1016/0026-2714(90)90165-jopenalex-snapshot
PROLOG in distributed systems: An overview
inferred← citeshttps://doi.org/10.1016/0141-9331(89)90065-3openalex-snapshot
Implementing a parallel PROLOG interpreter by using OCCAM and transputers
inferred← citeshttps://doi.org/10.1016/0167-739x(90)90029-dopenalex-snapshot
LAIOS: a parallel execution of PROLOG by data copies
inferred← citeshttps://doi.org/10.1016/0304-3975(89)90129-1openalex-snapshot
Semantics of distributed definite clause programs
inferred← citeshttps://doi.org/10.1016/0743-1066(88)90017-9openalex-snapshot
A data-dependency-based intelligent backtracking scheme for PROLOG
inferred← citeshttps://doi.org/10.1016/0743-1066(91)80003-vopenalex-snapshot
And-parallel execution of logic programs on a shared-memory multiprocessor
inferred← citeshttps://doi.org/10.1016/0743-1066(91)90009-eopenalex-snapshot
The reduce-or process model for parallel execution of logic programs
inferred← citeshttps://doi.org/10.1016/0743-7315(90)90001-6openalex-snapshot
Optimal parallel evaluation of AND trees
inferred← citeshttps://doi.org/10.1016/0743-7315(90)90069-2openalex-snapshot
Query optimization in distributed logic-oriented object bases
inferred← citeshttps://doi.org/10.1016/0950-5849(92)90037-popenalex-snapshot
Transputer-based implementation and evaluation of parallel Prolog interpreter
inferred← citeshttps://doi.org/10.1016/b978-0-408-02938-4.50016-4openalex-snapshot
Key references in distributed computer systems 1959–1989
inferred← citeshttps://doi.org/10.1016/s0304-3975(96)00126-0openalex-snapshot
Multi-valued logic programming semantics an algebraic approach
inferred← citeshttps://doi.org/10.1016/s0743-1066(97)00028-9openalex-snapshot
Transformational methodology for proving termination of logic programs
inferred← citeshttps://doi.org/10.1016/s1383-7621(96)00056-2openalex-snapshot
Massively parallel execution of logic programs: A static approach
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)54493-6openalex-snapshot
Parallel Execution of Independent Subgoals
inferred← citeshttps://doi.org/10.1080/1206212x.2004.11441731openalex-snapshot
Deductive Query Processing with an Object-Oriented Semantic Network in a Massively Parallel Environment
inferred← citeshttps://doi.org/10.1093/comjnl/30.5.386openalex-snapshot
Principles of the Delphi Parallel Inference Machine
inferred← citeshttps://doi.org/10.1109/21.35332openalex-snapshot
A survey on the design of multiprocessing systems for artificial intelligence applications
inferred← citeshttps://doi.org/10.1109/32.4671openalex-snapshot
A predicate-transition net model for parallel interpretation of logic programs
inferred← citeshttps://doi.org/10.1109/cmpeur.1991.257367openalex-snapshot
A distributed implementation for parallel logic programming
inferred← citeshttps://doi.org/10.1109/comwor.1988.4801openalex-snapshot
A multi-processor system for Prolog processing
inferred← citeshttps://doi.org/10.1109/empdp.1993.336414openalex-snapshot
A Prolog interpreter for OR parallelism evaluation on distributed systems
inferred← citeshttps://doi.org/10.1109/empdp.1994.592536openalex-snapshot
Multi-level Copying For Unification In Parallel Architectures
inferred← citeshttps://doi.org/10.1109/ftdcs.1988.26722openalex-snapshot
A virtual inference scheme for distributed logic inference
inferred← citeshttps://doi.org/10.1109/icsmc.1988.754263openalex-snapshot
The improvement of the and/or process model for parallel interpretation of logic programs
inferred← citeshttps://doi.org/10.1109/mc.1985.1662926openalex-snapshot
Multiprocessing of Combinatorial Search Problems
inferred← citeshttps://doi.org/10.1109/naecon.1990.112921openalex-snapshot
Parallel inference performance prediction
inferred← citeshttps://doi.org/10.1109/naecon.1990.112926openalex-snapshot
Forward chaining parallel inference
inferred← citeshttps://doi.org/10.1109/pccc.1989.37406openalex-snapshot
Effective realization of recursive procedures in logic programs
inferred← citeshttps://doi.org/10.1109/spdp.1990.143583openalex-snapshot
Forward chaining parallel inference
inferred← citeshttps://doi.org/10.1109/tai.1989.65320openalex-snapshot
A new intelligent backtracking scheme for Prolog: a summary of results
inferred← citeshttps://doi.org/10.1145/15715.15718openalex-snapshot
Survey on special purpose computer architectures for AI
inferred← citeshttps://doi.org/10.2316/journal.202.2004.2.202-1266openalex-snapshot
Deductive Query Processing with an Object-Oriented Semantic Network in a Massively Parallel Environment
inferred← citeshttps://doi.org/10.2514/6.1989-3106openalex-snapshot
PIPER - A parallel inference engine for the Butterfly multi-computer
inferred← citeshttps://doi.org/10.31390/gradschool_disstheses.4783openalex-snapshot
A Framework for Efficient Execution of Logic Programs.
inferred← citeshttps://doi.org/10.5555/324493.324580openalex-snapshot
Optimal granularity of parallel evaluation of AND trees
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.