Logical laws for short existential monadic second-order sentences about graphs.

Maksim E. Zhukovskii

Published in: J. Math. Log. (2020)

Keyphrases

logical formulas
higher order
natural language
graph matching
graph theoretic
high order
datalog queries
spanning tree
graphical models
graph theory
weighted graph
directed graph
information retrieval
graph structure
graph mining
deductive databases
graph representation
document summarization
logical operations