2000 |
6 | | Noboru Iwayama,
Ken Satoh:
Computing abduction by using TMS with top-down expectation.
J. Log. Program. 44(1-3): 179-206 (2000) |
1992 |
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 |
1991 |
1 | | Ken Satoh,
Noboru Iwayama:
Computing Abduction by Using the TMS.
ICLP 1991: 505-518 |