Verifying Graph Transformations with Guarded Logics.
Jon Haël BrenasRachid EchahedMartin StreckerPublished in: TASE (2018)
Keyphrases
- random walk
- graph representation
- decision procedures
- structured data
- graph theory
- graph structure
- model checking
- expressive power
- weighted graph
- data sets
- inference rules
- graph matching
- stable set
- graph based algorithm
- graph theoretic
- modal logic
- fixed point
- spanning tree
- graph partitioning
- graph cuts
- image segmentation
- search engine
- neural network