Learning First Order Logic Time Series Classifiers.

Juan José Rodríguez Carlos J. Alonso Henrik Boström

Published in: ILP Work-in-progress reports (2000)

Keyphrases

first order logic
markov logic
expressive power
inductive learning
transitive closure
inference rules
propositional logic
learning algorithm
knowledge representation
inductive logic programming
theorem proving
markov logic networks
supervised learning
background knowledge
constraint databases