| 1991 | Preliminary study on program sunthesis based on induction and verification. | Koichi Furukawa |
| 1991 | Proving based on similarity. | Ken-etsu Fujita, Masateru Harao |
| 1991 | Learning in multi-agent environments. | Pavel Brazdil |
| 1991 | Polynomial-time inference of unions of tree pattern languages. | Hiroki Arimura, Takeshi Shinohara, Setsuko Otsuki |
| 1991 | A logical analysis of relevance in analogy. | Jun Arima |
| 1991 | Preservation of predictability under polynomial sparse variations and its applications. | Naoki Abe |
| 1990 | On Inductive Learning for Three Kinds of Data Structures. | Tatsuo Unemi |
| 1990 | Inductive Inference of Term Rewriting Systems Realizing Algebras. | Atsushi Togashi, Shoichi Noguchi |
| 1990 | Deciding What to Learn in Explanation-Based Macro-Rule Learning. | Toshikazu Tanaka |
| 1990 | Exact Learning of Semilinear Sets. | Yuji Takada, Kunihiko Hiraishi, Yasubumi Sakakibara |
| 1990 | Learning Equal Matrix Grammers and Multitape Automata with Structural Information. | Yuji Takada |
| 1990 | Teachability in Computational Learning. | Ayumi Shinohara, Satoru Miyano |
| 1990 | Inductive Inference of Monotonic Formal Systems from Positive Data. | Takeshi Shinohara |
| 1990 | The Function-Acquisition Paradigm in a Knowledge-Based Concept-Synthesis Environment. | B. Shekar, M. Narasimha Murty, G. Krishna |
| 1990 | Occam Algorithms for Learning From Noisy Examples. | Yasubumi Sakakibara |
| 1990 | On Paraphrasing-Based Analogical Reasoning. | Ryohei Orihara, Akihiko Ohsuga, Yoichi Kusui |
| 1990 | A Self-Organizing Network Composed of Symbol Nodes With Location Parameter. | Ryuichi Oka |
| 1990 | Structured Neural Networks and Their Flash Learning. | Akira Namatame |
| 1990 | Efficient Induction of Logic Programs. | Stephen H. Muggleton, Cao Feng |
| 1990 | Inductive Logic Programming. | Stephen H. Muggleton |
| 1990 | Model Inference of Constrained Recursive Figures. | Shuling Liu, Masami Hagiya |
| 1990 | Polynomial-Time Inference of Pattern Languages. | Steffen Lange, Rolf Wiehagen |
| 1990 | EBG and Term-Rewriting Systems. | Philip D. Laird, Evan Gamble |
| 1990 | Reliable and Useful Learning with Uniform Probability Distributions. | Jyrki Kivinen |
| 1990 | Monotonic and Non-Monotonic Inductive Inference. | Klaus P. Jantke |