A Tableau-Based Decision Procedure for a Fragment of Graph Theory Involving Reachability and Acyclicity.
Domenico CantoneCalogero G. ZarbaPublished in: TABLEAUX (2005)
Keyphrases
- graph theory
- graph theoretical
- social network analysis
- decision making
- computer vision and pattern recognition
- proof procedure
- graph theoretic
- description logics
- minimum spanning tree
- maximal cliques
- complex networks
- data exchange
- decision makers
- graph based representations
- combinatorial optimization
- document similarity
- automata theory
- clustering coefficient
- maximum independent set
- neural network
- cost function
- graph properties