Noboru Iwayama (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

6 Noboru Iwayama, Ken Satoh: Computing abduction by using TMS with top-down expectation. J. Log. Program. 44(1-3): 179-206 (2000)

5 Noboru Iwayama, Ken Satoh, Jun Arima: A Formalization of Generalization-Based Analogy in General Logic Programs. ECAI 1992: 129-133

4 Ken Satoh, Noboru Iwayama: A Correct Goal-directed Proof Procedure for a General Logic Program with Integrity Constraints. ELP 1992: 24-44

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

2 Ken Satoh, Noboru Iwayama: A Query Evaluation Method for Abductive Logic Programming. JICSLP 1992: 671-685

1 Ken Satoh, Noboru Iwayama: Computing Abduction by Using the TMS. ICLP 1991: 505-518

Selection of 6 from 6 records - Noboru Iwayama has 8 coauthors

6		Noboru Iwayama, Ken Satoh: Computing abduction by using TMS with top-down expectation. J. Log. Program. 44(1-3): 179-206 (2000)
5		Noboru Iwayama, Ken Satoh, Jun Arima: A Formalization of Generalization-Based Analogy in General Logic Programs. ECAI 1992: 129-133
4		Ken Satoh, Noboru Iwayama: A Correct Goal-directed Proof Procedure for a General Logic Program with Integrity Constraints. ELP 1992: 24-44
3		Satoshi Terasaki, David J. Hawley, Hiroyuki Sawada, Ken Satoh, Satoshi Menju, Taro Kawagishi, Noboru Iwayama, Akira Aiba: Parallel Constraint Logic Programming Language GDCC and its Parallel Constraint Solvers. FGCS 1992: 330-346
2		Ken Satoh, Noboru Iwayama: A Query Evaluation Method for Abductive Logic Programming. JICSLP 1992: 671-685
1		Ken Satoh, Noboru Iwayama: Computing Abduction by Using the TMS. ICLP 1991: 505-518