Global view on reactivity: switch graphs and their logics.
Dov M. GabbaySérgio MarcelinoPublished in: Ann. Math. Artif. Intell. (2012)
Keyphrases
- global view
- graph theoretic
- expressive power
- high speed
- graph matching
- graph model
- graph theory
- modal logic
- graph mining
- logic programs
- random graphs
- heterogeneous data sources
- graph partitioning
- proof theory
- database
- weighted graph
- inference rules
- graph structure
- temporal logic
- web content
- directed graph
- shortest path
- nearest neighbor
- social networks