Nagging: A Distributed, Adversarial Search-Pruning Technique Applied to First-Order Inference.

David B. Sturgill Alberto Maria Segre

Published in: J. Autom. Reason. (1997)

Keyphrases

search space
fault tolerant
search algorithm
multi agent
distributed systems
search strategy
combinatorial search
parallel search
bayesian networks
higher order
cooperative
search methods
first order logic
belief networks
exhaustive search
efficient retrieval
distributed search