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