A Modal-Logic Based Graph Abstraction.
Jörg BauerIovka BonevaMarcos E. KurbánArend RensinkPublished in: ICGT (2008)
Keyphrases
- graph representation
- graph theory
- structured data
- random walk
- graph model
- directed graph
- random graphs
- modal logic
- graph theoretic
- weighted graph
- graph structures
- high level
- graph structure
- data abstraction
- knowledge representation
- graph properties
- graph search
- nonmonotonic logics
- knowledge base
- graph clustering
- graph partitioning
- directed acyclic graph
- connected components
- heuristic search
- image segmentation