Scott Dietzen

Higher-Order and Modal Logic as a Framework for Explanation-Based Generalization

Frank Pfenning, Scott Dietzen, F. Pfenning, 1992, Machine Learning.

Application servers (panel session): born-again TP monitors for the Web

Pat Helland, C. Mohan, Larry Cable, 2001, SIGMOD '01.

A Declarative Alternative to "Assert" in Logic Programming

Frank Pfenning, Scott Dietzen, F. Pfenning, 1991, ISLP.

A language for higher-order explanation-based learning

Scott Dietzen, S. Dietzen, 1992 .

Higher-order and modal logic as a framework for explanation-based generalization

Frank Pfenning, Scott Dietzen, F. Pfenning, 2004, Machine Learning.

Programming in higher-order typed lambda-calculi

Benjamin C. Pierce, Spiro Michaylov, Scott Dietzen, 1989 .