Expansion for Universal Quantifiers.

Sergueï Lenglet Joe B. Wells

Published in: ESOP (2012)

Keyphrases

natural language
first order logic
real time
information systems
sequence prediction
real world
training data
video sequences
query processing