`Travelled to:`

1 × Canada

1 × USA

`Collaborated with:`

H.C.Wasserman Z.Shen

`Talks about:`

program (3) logic (3) inadequaci (1) transform (1) quantit (1) essenti (1) measur (1) deduct (1) altern (1) negat (1)

## Person: Keitaro Yukawa

### DBLP: Yukawa:Keitaro

### Contributed to:

### Wrote 3 papers:

- SAC-1996-WassermanYS #logic programming #metric #on the
- On quantitative measurement of negation in logic programming (HCW, KY, ZS), pp. 58–62.
- SAC-1995-WassermanYS #logic programming #source code
- An alternative transformation rule for logic programs (HCW, KY, ZS), pp. 364–368.
- ILPS-1993-WassermanYS #deduction #logic programming
- The Essential Inadequacy of Deductions in Logic Programming (HCW, KY, ZS), p. 644.