Modal tableaux based on graph-rules.
Marcos A. CastilhoLuis Fariñas del CerroOlivier GasquetAndreas HerzigPublished in: RelMiCS (1998)
Keyphrases
- modal logic
- decision procedures
- graph model
- association rules
- association rule mining
- connected components
- directed graph
- graph structure
- graph theory
- graph matching
- rewriting rules
- transformation rules
- graph representation
- structured data
- pairwise
- decision trees
- social networks
- bipartite graph
- rule sets
- attribute values
- background knowledge
- production rules
- causal models
- graph partitioning
- domain experts
- graph theoretic