Graphs Identified by Logics with Counting.

Sandra Kiefer Pascal Schweitzer Erkal Selman

Published in: CoRR (2015)

Keyphrases

expressive power
data sets
modal logic
graph matching
graph theory
graph partitioning
graph theoretic
structured objects
graph mining
inference rules
weighted graph
complex structures
graph construction
graph structures
series parallel