Login / Signup
Proof by Experimentation? Towards Better IR Research.
Norbert Fuhr
Published in:
SIGIR (2020)
Keyphrases
</>
information access
theorem proving
test bed
theorem prover
database
information systems
three dimensional
complete axiomatization
proof planning
pairwise
multi lingual
linear logic
interactive theorem proving
ir evaluation
natural deduction
data structure
multiscale
data sets