The expressibility of fragments of Hybrid Graph Logic on finite digraphs.
James GateIain A. StewartPublished in: J. Appl. Log. (2013)
Keyphrases
- directed graph
- equivalence classes
- graph model
- random walk
- graph representation
- graph structure
- linear temporal logic
- bipartite graph
- graphical representation
- graph theory
- weighted graph
- directed acyclic graph
- hybrid learning
- undirected graph
- graph theoretic
- relational structures
- graph mining
- graph databases
- finite number
- modal logic
- spanning tree
- graph partitioning
- relational databases
- graph matching
- connected components
- structured data
- predicate logic
- asynchronous circuits
- graphical models