Hybrid logic with the difference modality for generalisations of graphs.
Robert S. R. MyersDirk PattinsonPublished in: J. Appl. Log. (2010)
Keyphrases
- multi modal
- graph matching
- hybrid approaches
- genetic algorithm
- graph theoretic
- graph mining
- modal logic
- directed graph
- logic programming
- graph partitioning
- medical images
- automated reasoning
- multi valued
- graph construction
- data sets
- graph model
- spanning tree
- graph representation
- logical framework
- series parallel
- proof theory