Product of Graphs and Hybrid Logic.
Mario R. F. BenevidesLuis Menasché SchechterPublished in: LSFA (2009)
Keyphrases
- logic programming
- modal logic
- graph representation
- graph matching
- graph theory
- computational properties
- logical framework
- multi valued
- graph theoretic
- hybrid learning
- weighted graph
- graph structure
- graph databases
- data sets
- graph model
- graph mining
- graph clustering
- life cycle
- graph kernels
- graph construction
- series parallel
- asynchronous circuits