Learning First Order Logic Time Series Classifiers: Rules and Boosting.
Juan J. Rodríguez DiezCarlos Alonso GonzálezHenrik BoströmPublished in: PKDD (2000)
Keyphrases
- first order logic
- expressive power
- learning algorithm
- markov logic networks
- markov logic
- feature selection
- theorem prover
- logical rules
- probabilistic graphical models
- inference rules
- knowledge representation
- inductive logic programming
- probabilistic reasoning
- transitive closure
- active learning
- association rules
- support vector
- highly expressive
- training data