|
|
Scott Dietzen, Frank Pfenning (1992): Higher-Order and Modal Logic as a Framework for Explanation-Based Generalization
| Title: |
Higher-Order and Modal Logic as a Framework for Explanation-Based Generalization |
| Author(s): |
Scott Dietzen, Frank Pfenning |
| Year: |
1992 |
| Journal: |
Machine Learning |
| Volume: |
9 |
| Pages: |
23-55 |
Concepts
|
|
