Implementing Backward Execution in Non-Deterministic AND-Parallel Systems.

Published in: ICLP (1987)

Keyphrases

management system
distributed systems
complex systems
distributed shared memory
parallel processing
forward and backward
database
knowledge base
website
search algorithm
search space
computer systems
building blocks
learning systems
black box
execution model