Scott Dietzen

According to our database, Scott Dietzen authored at least 2 papers between 1991 and 1992.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1992

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

Scott Dietzen, Frank Pfenning

Mach. Learn., 1992

1991

A Declarative Alternative to "Assert" in Logic Programming.

Scott Dietzen, Frank Pfenning

Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 1991