|
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
|
|