First Order Alternation.

Radu Iosif Xiao Xu

Published in: CoRR (2018)

Keyphrases

higher order
first order logic
real world
database
linear temporal logic
stochastic dominance
neural network
decision making
website
decision trees
search algorithm
universally quantified