Higher-Order and Modal Logic as a Framework for Explanation-Based Generalization
| Authored By: | Scott Dietzen and Frank Pfenning |
| Paper Title: | Higher-Order and Modal Logic as a Framework for Explanation-Based Generalization |
| In: | Machine Learning |
| Vol. 9 | |
| Publisher: | Kluwer |
| Publication Date: | 1992 |
| Pages: | 23-55 |