Scott Dietzen (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

3 Scott Dietzen, Frank Pfenning: Higher-Order and Modal Logic as a Framework for Explanation-Based Generalization. Machine Learning 9: 23-55 (1992)

2 Scott Dietzen, Frank Pfenning: A Declarative Alternative to "Assert" in Logic Programming. ISLP 1991: 372-386

1 Scott Dietzen, Frank Pfenning: Higher-Order and Modal Logic as a Framework for Explanation-Based Generalization. ML 1989: 447-449

Selection of 3 from 3 records - Scott Dietzen has 1 coauthors

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