Keyphrases
- classical logic
- linear logic
- cut elimination
- logical framework
- logic programming
- natural deduction
- graph structure
- graph theory
- sequent calculus
- graph representation
- random walk
- predicate logic
- modal logic
- structured data
- graph matching
- dependency graph
- fully connected
- wide class
- bipartite graph
- fuzzy set theory
- inference rules
- relational structures
- graph theoretic
- graph partitioning
- spanning tree
- directed acyclic graph
- image segmentation