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

Kord Eickmeyer Michael Elberfeld Frederik Harwath

Published in: MFCS (1) (2014)

Keyphrases

data sets
modal logic
data mining
face recognition
machine learning
learning algorithm
artificial intelligence
knowledge base
three dimensional