Tableau-Based Reasoning for Graph Properties.

Leen Lambers Fernando 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