Computing Abduction by Using the TMS. - Ken Satoh; Noboru Iwayama (ICLP, 1991)

A Formalization of Generalization-Based Analogy in General Logic Programs. - Noboru Iwayama; Ken Satoh; Jun Arima (ECAI, 1992)

A Correct Goal-directed Proof Procedure for a General Logic Program with Integrity Constraints. - Ken Satoh; Noboru Iwayama (ELP, 1992)

Parallel Constraint Logic Programming Language GDCC and its Parallel Constraint Solvers. - Satoshi Terasaki; David J. Hawley; Hiroyuki Sawada; Ken Satoh; Satoshi Menju; Taro Kawagishi; Noboru Iwayama; Akira Aiba (FGCS, 1992)

A Query Evaluation Method for Abductive Logic Programming. - Ken Satoh; Noboru Iwayama (JICSLP, 1992)

Consulting Search Engines as Conversation. - Noboru Iwayama; Masahiko Murakami; Masahiro Matsuda (INTERACT, 1999)

Computing abduction by using TMS with top-down expectation. - Noboru Iwayama; Ken Satoh (J. Log. Program., 2000)