Graph Logics with Rational Relations and the Generalized Intersection Problem.
Pablo BarcelóDiego FigueiraLeonid LibkinPublished in: LICS (2012)
Keyphrases
- graph theory
- dependency graph
- graph structures
- social graphs
- random walk
- graph representation
- graph structure
- higher order relations
- connected components
- inference rules
- weighted graph
- graph partitioning
- spatial relations
- graph clustering
- relational structures
- directed graph
- temporal relations
- image segmentation
- expressive power
- closure operator
- rough approximations
- modal logic
- undirected graph
- graph model
- semantic relations