Quantifiers on Demand.

Arie Gurfinkel Sharon Shoham Yakir Vizel

Published in: ATVA (2018)

Keyphrases

cloud computing
first order logic
natural language
information retrieval
artificial intelligence
website
image sequences
multiscale
digital libraries
knowledge representation
image classification