Travelled to:2 × USA
Collaborated with:F.Pfenning
Talks about:logic (2) framework (1) program (1) general (1) higher (1) explan (1) declar (1) assert (1) altern (1) order (1)
Person: Scott Dietzen
DBLP: Dietzen:Scott
Contributed to:
1991
1989Wrote 2 papers:
- ISLP-1991-DietzenP #declarative #logic programming
- A Declarative Alternative to “Assert” in Logic Programming (SD, FP), pp. 372–386.
- ML-1989-DietzenP #framework #higher-order #logic
- Higher-Order and Modal Logic as a Framework for Explanation-Based Generalization (SD, FP), pp. 447–449.