Inductive Logic Programming: Selected PapersSpringer,., 2004 - Logic programming |
Contents
Invited Papers | 1 |
BottomUp ILP Using Large Refinement Steps | 26 |
On the Effect of Caching in Recursive Theory Learning | 44 |
Copyright | |
18 other sections not shown
Other editions - View all
Common terms and phrases
0-subsumption abduction abstract accuracy agent aggregate conditions AL-log AL-QUIN Aleph approach arity Artificial Intelligence atoms background knowledge caching candidate circumscriptive induction clause evaluation complete Computer concept constraints coverage Data Mining database DATALOG dataset decision tree defined Definition DEFT descriptive induction descriptors disjunctive domain efficiency experiments finite first-order first-order logic FOIL-D function graph GSAT heuristic Horn clauses hypothesis ILP systems implementation Inductive Logic Programming interpretations Jivaro L-terms language lg(t LNAI LOMDP LPAD Machine Learning macro-operators method Muggleton mutagenesis negative examples neural network node number of clauses observations parameters performance positive examples predicates problem procedure Progol protein pruning query Raedt random forests recursive recursive theory reduce redundant literals refinement operator reinforcement learning relational representation restarted rules score search space Section selection simulated annealing solution spg(t Springer-Verlag Srinivasan strategy subset substitution Table task Theorem theory training set tree tuples values variables