International Workshop on Inductive Logic Programming (ILP92) /
Enregistré dans:
| Collectivités auteurs: | , |
|---|---|
| Autres auteurs: | , |
| Format: | Actes de congrès Livre |
| Langue: | English |
| Publié: |
Tokyo :
Institute for New Generation Computer Technology,
c1992.
|
| Collection: | ICOT technical report. Memorandum ;
TM-1182. |
| Sujets: |
Table des matières:
- 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.