Modeling Information Retrieval by Formal Logic: A Survey.

Karam Abdulahhad Catherine Berrut Jean-Pierre Chevallet Gabriella Pasi

Published in: ACM Comput. Surv. (2019)

Keyphrases

formal logic
information retrieval
predicate logic
search engine
information systems
low level
knowledge representation
theoretical framework
text mining
design theory