| 505 |
0 |
|
|a A theory of predicate invention / Akama, K. -- A theoretical framework for predicate invention / Muggleton, S. -- Inverting implication / Muggleton, S. -- Confirmation theory and machine learning / Gillies, D. - - Towards inductive generalisation in higher order logic / Feng, C., Muggleton, S. -- Abstraction based analogical reasoning for natural deduction proof / Harao, M. -- Explanation-based generalization by analogical reasoning / Hirowatari, E., Arikawa, S. -- Fundamental properties of inductive reasoning / Jantke, K. -- A personal approach to linguistics oriented inductive logic programming / Koch, G. -- Distinguishing exceptions from noise in non-monotonic learning / Srinivasan, A., Muggleton, S., Bain, M. -- Handling noise in inductive logic programming / Dzeroski, S., Bratko, I. -- Use of heuristics in empirical inductive logic programming / Lavrac, N., Cestnik, B., Dzeroski, S. -- Constraint-directed generalization for learning spatial relations / Mizoguchi, F., Ohwada, H. -- Automated debugging of logic programs via theory revision / Mooney, R., Richards, B. -- Correcting multiple faults in the concept and subconcepts by learning and abduction / Tangkitvanich, S., Numao, M., Shimura, M. -- Learning optimal KRK strategies / Bain, M. -- Drug design by machine learning / King, R. ... [et al.] -- Protein secondary structure prediction using logic / Muggleton, S., King, R., Sternberg, M. -- Testing the applicability of ILP systems / Morales, E. -- Automatically constructing control systems by observing human behaviour / Sammut, C.
|