Aschern at CLEF CheckThat! 2021: Lambda-Calculus of Fact-Checked Claims.

Anton Chernyavskiy Dmitry Ilvovsky Preslav Nakov

Published in: CLEF (Working Notes) (2021)

Keyphrases

lambda calculus
programming language
information retrieval
query expansion
question answering
predicate calculus
database query languages
first order logic
complex objects
program understanding