Parlog86 and the dining logicians
Communications of the ACM
A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs
IEEE Transactions on Software Engineering
Functional computations in logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
An execution model for exploiting and-or parallelism in logic programs (abstract)
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
Architectural Support for Goal Management in Flat Concurrent Prolog
Computer - Special issue on sharing: high performance at low cost
Efficient dataflow analysis of logic programs
Journal of the ACM (JACM)
Topologies for the parallel backtracking Prolog engine
MICRO 23 Proceedings of the 23rd annual workshop and symposium on Microprogramming and microarchitecture
Extended dynamic dependent and-parallelism in ACE
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
Models and languages for parallel computation
ACM Computing Surveys (CSUR)
Two-level grammar: data flow English for functional and logic programming
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Parallel execution of prolog programs: a survey
ACM Transactions on Programming Languages and Systems (TOPLAS)
Parallel symbolic computation in ACE
Annals of Mathematics and Artificial Intelligence
Consul: A Parallel Constraint Language
IEEE Software
Convergence Properties of Optimization Algorithms for the SAT Problem
IEEE Transactions on Computers
A High-Level Petri Net for Goal-Directed Semantics of Horn Clause Logic
IEEE Transactions on Knowledge and Data Engineering
Unrestricted and-parallel execution of logic programs with dependency directed backtracking
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
A sequential view of AND-parallelism through partial AND-processes
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Hi-index | 0.02 |