Searching for authors named "Scott Dietzen" – sorted by Relevance.
6 documents found, showing 1 through 6.
-
A Declarative Alternative to "Assert" in Logic Programming
- …A Declarative Alternative to "assert" in Logic Programming Scott Dietzen and Frank Pfenning School…
- Cited by 8 (1 self) – Add To MetaCart
-
Higher-Order and Modal Logic as a Framework for Explanation-Based Generalization
- …Higher-Order and Modal Logic as a Framework for Explanation-Based Generalization Scott Dietzen…
- Cited by 13 (6 self) – Add To MetaCart
-
Explanation-Based Learning in Logic Programming Extended Abstract
- …Explanation-Based Learning in Logic Programming Extended Abstract Scott Dietzen and Frank Pfenning…
- Add To MetaCart
-
A Declarative Alternative to "assert" in Logic Programming
- …A Declarative Alternative to “assert” in Logic Programming Scott Dietzen and Frank Pfenning School…
- Add To MetaCart
-
Programming in Higher-Order Typed Lambda-Calculi
- …on Foundations of Computer Science, pages 279-282, IEEE, October 1988. [55] J. Steensgaard-Madsen. Typed representation of objects by functions. ACM Transactions on Programming Languages and Systems, 11(1):67-89, January 1989. 71 [31] [33] [34] [35] Grard Huet. A unification algorithm for ty…
- Cited by 28 (4 self) – Add To MetaCart
-
Based Program-Design Environments: The
- …[3] Rodney Farrow. Experiences with an attribute…
- Add To MetaCart
Showing 1 through 6.
