Sign in

Tableau-Based Reasoning for Graph Properties.

Leen LambersFernando Orejas
Published in: ICGT (2014)
Keyphrases
  • graph properties
  • graph theoretic
  • description logics
  • graph theory
  • directed graph
  • maximal cliques
  • information flow
  • social networks
  • query language
  • random walk
  • clustering coefficient