A Graph Reduction Technique with Sharing across Narrowings for Functional-Logic Languages.
John MaraistFrank S. K. SilbermannPublished in: PLILP (1994)
Keyphrases
- graph representation
- expressive power
- graph structure
- graph theory
- graph model
- weighted graph
- logic programming
- language independent
- graph mining
- bipartite graph
- connected components
- graph theoretic
- reduction method
- multiple users
- spanning tree
- formal language
- constraint language
- functional language
- modal logic
- directed graph
- information sharing
- structured data
- random walk
- data sharing
- graph matching
- classical logic
- graph construction
- bayesian networks
- language identification
- predicate logic
- information retrieval
- proof theory
- highly expressive
- databases