On the Intuitionistic Force of Classical Search (Extended Abstract).

Eike Ritter David J. Pym Lincoln A. Wallen

Published in: TABLEAUX (1996)

Keyphrases

extended abstract
search algorithm
search space
fuzzy set theory
search efficiency
language model
search strategy
search queries
keyword search
linear logic
search problems
search procedure
theorem prover
information seeking
data sets
search strategies
user queries
search engine
learning algorithm