Multi-Structural Games and Number of Quantifiers.

Ronald Fagin Jonathan Lenchner Kenneth W. Regan Nikhil Vyas

Published in: LICS (2021)

Keyphrases

fixed number
small number
video games
artificial intelligence
image sequences
computational complexity
resource allocation
structural information
finite number
maximum number