Declarative Debugging for Encapsulated Search.

Rafael Caballero Wolfgang Lux

Published in: Electron. Notes Theor. Comput. Sci. (2002)

Keyphrases

search algorithm
search strategy
search space
search strategies
database
artificial intelligence
heuristic search
parallel algorithm
information access
search procedure
search tools