Shimura, Masamichi

13 publications

MLJ 2000 Multistrategy Discovery and Detection of Novice Programmer Errors Raymund Sison, Masayuki Numao, Masamichi Shimura

IJCAI 1997 Using Data and Theory in Multistretegy (Mis)Concept(ion) Discovery Rayond Sison, Masayuki Numao, Masamichi Shimura

AAAI 1996 Machine Discovery Based on Numerical Data Generated in Computer Experiments Tsuyoshi Murata, Masamichi Shimura

AAAI 1994 A Discovery System for Trigonometric Functions Tsuyoshi Murata, Masami Mizutani, Masamichi Shimura

AAAI 1993 Learning from an Approximate Theory and Noisy Examples Somkiat Tangkitvanich, Masamichi Shimura

AAAI 1992 Discrimination-Based Constructive Induction of Logic Programs Boonserm Kijsirikul, Masayuki Numao, Masamichi Shimura

ICML 1992 Refining a Relational Theory with Multiple Faults in the Concept and Subconcepts Somkiat Tangkitvanich, Masamichi Shimura

ICML 1991 Efficient Learning of Logic Programs with Non-Determinant, Non-Discriminating Literals Boonserm Kijsirikul, Masayuki Numao, Masamichi Shimura

ALT 1991 Recovery from Multiple Faults in Relational Theory Somkiat Tangkitvanich, Masamichi Shimura

AAAI 1990 Parametric Engineering Design Using Constraint-Based Reasoning Niall Murtagh, Masamichi Shimura

ICML 1989 Explanation-Based Acceleration of Similarity-Based Learning Masayuki Numao, Masamichi Shimura

AAAI 1986 Learning Arithmetic Problem Solver Masamichi Shimura, Seiichiro Sakurai

IJCAI 1979 Resolution in a New Modal Logic Masamichi Shimura