Logarithmic-Bounded Second-Order Quantifiers and Limited Nondeterminism.

Kexu Wang Xishun Zhao

Published in: CoRR (2019)

Keyphrases

higher order
natural language
situation calculus
neural network
video sequences
first order logic