Succinctness of Order-Invariant Logics on Depth-Bounded Structures.

Kord Eickmeyer Michael Elberfeld Frederik Harwath

Published in: CoRR (2016)

Keyphrases

modal logic
real world
high quality
data sets
neural network
information retrieval
artificial intelligence
case study
image sequences
knowledge representation
expressive power