ML Anthology

Dietzen, Scott

2 publications

MLJ 1992 Higher-Order and Modal Logic as a Framework for Explanation-Based Generalization Scott Dietzen, Frank Pfenning
ICML 1989 Higher-Order and Modal Logic as a Framework for Explanation-Based Generalization Scott Dietzen, Frank Pfenning