| |
| 1992 | ||
|---|---|---|
| 3 | Scott Dietzen, Frank Pfenning: Higher-Order and Modal Logic as a Framework for Explanation-Based Generalization. Machine Learning 9: 23-55 (1992) | |
| 1991 | ||
| 2 | Scott Dietzen, Frank Pfenning: A Declarative Alternative to "Assert" in Logic Programming. ISLP 1991: 372-386 | |
| 1989 | ||
| 1 | Scott Dietzen, Frank Pfenning: Higher-Order and Modal Logic as a Framework for Explanation-Based Generalization. ML 1989: 447-449 | |
| 1 | Frank Pfenning | [1] [2] [3] |