Controlling Search in Declarative Programs.

Michael Hanus Frank Steiner

Published in: PLILP/ALP (1998)

Keyphrases

search algorithm
knowledge representation
real time
search queries
search tools
artificial intelligence
search space
search strategies
search efficiency
search mechanism
neural network
search engine
domain specific
keyword search
exhaustive search