A method of finding constraints by conjecture. - Hidehiro Shimizu; Ikuo Tahara (Syst. Comput. Jpn., 1994)

Methods of searching lattice structure and their applications to constraint satisfaction problems. - Hidehiro Shimizu; Ikuo Tahara (Syst. Comput. Jpn., 1994)

Explanation-based closure of databases with hypotheses. - Koji Matsuda; Ikuo Tahara (Syst. Comput. Jpn., 1997)

Erratum: "Explanation-based closure of databases with hypotheses". - Koji Matsuda; Ikuo Tahara (Syst. Comput. Jpn., 1997)

A hypothetical reasoning for knowledge bases with preferentially ordered hypotheses. - Yasuyuki Watanabe; Ikuo Tahara (Syst. Comput. Jpn., 1997)

Computing scenario from knowledge with preferentially ordered hypotheses. - Ikuo Tahara (Syst. Comput. Jpn., 2004)

Language Identification for Person Names Based on Statistical Information. - Shiho Nobesawa; Ikuo Tahara (PACLIC, 2005)

Reasoning with inconsistent knowledge base. - Ikuo Tahara; Shiho Nobesawa (Syst. Comput. Jpn., 2006)

Three-valued logic for reasoning from an inconsistent knowledge base. - Ikuo Tahara; Shiho Nobesawa (Syst. Comput. Jpn., 2006)