Bisimulation trees and the decidability of weak bisimulations.
Yoram HirshfeldPublished in: INFINITY (1996)
Keyphrases
- decision trees
- query answering
- description logics
- tree structure
- tree models
- type checking
- neural network
- data structure
- association rules
- bayesian networks
- similarity measure
- incomplete information
- learning algorithm
- leaf nodes
- regression trees
- tree structures
- decision procedures
- genetic algorithm
- information retrieval