Clustering and instance based learning in first order logic.
Jan RamonPublished in: AI Commun. (2002)
Keyphrases
- first order logic
- instance based learning
- expressive power
- theorem proving
- rule induction
- theorem prover
- knowledge representation
- inductive logic programming
- clustering algorithm
- markov logic networks
- transitive closure
- unsupervised learning
- data points
- instance selection
- logic programs
- decision trees
- artificial intelligence
- databases