`Travelled to:`

1 × Canada

1 × USA

`Collaborated with:`

Z.Shen K.Yukawa

`Talks about:`

program (4) logic (4) inadequaci (1) transform (1) principl (1) quantit (1) essenti (1) complet (1) measur (1) deduct (1)

## Person: Howard C. Wasserman

### DBLP: Wasserman:Howard_C=

### Contributed to:

### Wrote 4 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.
- SAC-1994-WassermanS #locality #logic programming
- The locality principle and completeness in logic programming (HCW, ZS), pp. 286–291.
- ILPS-1993-WassermanYS #deduction #logic programming
- The Essential Inadequacy of Deductions in Logic Programming (HCW, KY, ZS), p. 644.