International Workshop on Inductive Logic Programming (ILP92) /
Sábháilte in:
| Údair chorparáideacha: | , |
|---|---|
| Rannpháirtithe: | , |
| Formáid: | Imeacht comhdhála LEABHAR |
| Teanga: | English |
| Foilsithe / Cruthaithe: |
Tokyo :
Institute for New Generation Computer Technology,
c1992.
|
| Sraith: | ICOT technical report. Memorandum ;
TM-1182. |
| Ábhair: |
| LEADER | 02840cam a2200301 a 4500 | ||
|---|---|---|---|
| 001 | c000218592 | ||
| 003 | CARM | ||
| 005 | 20060428090715.0 | ||
| 008 | 950518s1992 ja a tb 000 0 eng d | ||
| 019 | 1 | |a 40178574 |5 LACONCORD2021 | |
| 035 | |a (OCoLC)32498082 |5 LACONCORD2021 | ||
| 040 | |a PMC |c PMC |d UMV |d OCoLC | ||
| 245 | 0 | 0 | |a International Workshop on Inductive Logic Programming (ILP92) / |c by S. Muggleton & K. Furukawa [eds]. |
| 260 | |a Tokyo : |b Institute for New Generation Computer Technology, |c c1992. | ||
| 300 | |a 283 p. : |b ill. ; |c 30 cm. | ||
| 440 | 0 | |a ICOT technical report. |p Memorandum ; |v TM-1182. | |
| 500 | |a "International Conference on Fifth Generation Computer Systems 1992"--P. 1. | ||
| 500 | |a "July, 1992." | ||
| 504 | |a Includes bibliographical references. | ||
| 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. | |
| 650 | 0 | |a Logic programming. | |
| 700 | 1 | |a Muggleton, Stephen. | |
| 700 | 1 | |a Furukawa, Koichi. | |
| 710 | 2 | |a Shin Sedai Konpyūta Gijutsu Kaihatsu Kikō (Japan) | |
| 711 | 2 | |a International Conference on Fifth Generation Computer Systems. | |
| 852 | 8 | |b CARM |h A1:AR02B0 |i E01780 |p 0243333 |f BK | |
| 999 | f | f | |i 56369a19-0c84-567a-a02c-ff4b7c4563fa |s 3a59d95a-2144-507d-aa96-10887a6e9eb1 |
| 952 | f | f | |p Can circulate |a CAVAL |b CAVAL |c CAVAL |d CARM 1 Store |e E01780 |f A1:AR02B0 |h Other scheme |i book |m 0243333 |