Graphs Identified by Logics with Counting.

Sandra Kiefer Pascal Schweitzer Erkal Selman

Published in: ACM Trans. Comput. Log. (2022)

Keyphrases

graph matching
expressive power
graph theoretic
modal logic
series parallel
structured objects
directed graph
neural network
graph mining
graph representation
random graphs
graph structure
horn logic
conditional logic
graph theory
bipartite graph
search engine
data mining