PARLOG: parallel programming in logic
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
An experimental computer architecture supporting expert systems and logic programming
IBM Journal of Research and Development
Designing a high performance parallel logic programming system
ACM SIGARCH Computer Architecture News
Performance studies of a parallel Prolog architecture
ISCA '87 Proceedings of the 14th annual international symposium on Computer architecture
Parallel execution of logic programs in the framework of OR-Forest
ACM '87 Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow
A two-tier memory architecture for high-performance multiprocessor systems
ICS '88 Proceedings of the 2nd international conference on Supercomputing
Implementing a Prolog machine with multiple functional units
MICRO 21 Proceedings of the 21st annual workshop on Microprogramming and microarchitecture
A high performance Prolog processor with multiple function units
ISCA '89 Proceedings of the 16th annual international symposium on Computer architecture
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Distributed last call optimization for portable parallel logic programming
ACM Letters on Programming Languages and Systems (LOPLAS)
Parallel logic programming systems
ACM Computing Surveys (CSUR)
Parallel evaluation of software architecture specifications
Communications of the ACM
ACM Transactions on Programming Languages and Systems (TOPLAS)
The process allocation in parallel interpretation of logic programs (abstract only)
CSC '87 Proceedings of the 15th annual conference on Computer Science
Parallel Logic Programming for Problem Solving
International Journal of Parallel Programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Parallel Execution Model of Logic Programs
IEEE Transactions on Parallel and Distributed Systems
Machine Independent AND and OR Parallel Execution of Logic Programs: Part I-The Binding Environment
IEEE Transactions on Parallel and Distributed Systems
Selected AI-related dissertations
ACM SIGART Bulletin
A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
AND parallelism in logic programs
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
A variable supply model for distributing deductions
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Non-strict independence-based program parallelization using sharing and freeness information
Theoretical Computer Science
| Hi-index | 0.02 |