HOL Light QE.

Jacques Carette William M. Farmer Patrick Laskowski

Published in: ITP (2018)

Keyphrases

query expansion
theorem prover
case study
retrieval effectiveness
information systems
decision making
co occurrence
real world
feature selection
relevant documents