ML Anthology

Higher-Order and Modal Logic as a Framework for Explanation-Based Generalization

Scott Dietzen, Frank Pfenning
MLJ 1992 pp. 23-55
doi:10.1007/BF00993253 /mlj/1992/dietzen1992mlj-higherorder/
PDF MLJ Semantic Scholar

Cite

Text

Dietzen and Pfenning. "Higher-Order and Modal Logic as a Framework for Explanation-Based Generalization." Machine Learning, 1992. doi:10.1007/BF00993253

Markdown

[Dietzen and Pfenning. "Higher-Order and Modal Logic as a Framework for Explanation-Based Generalization." Machine Learning, 1992.](https://mlanthology.org/mlj/1992/dietzen1992mlj-higherorder/) doi:10.1007/BF00993253

BibTeX

@article{dietzen1992mlj-higherorder,
  title     = {{Higher-Order and Modal Logic as a Framework for Explanation-Based Generalization}},
  author    = {Dietzen, Scott and Pfenning, Frank},
  journal   = {Machine Learning},
  year      = {1992},
  pages     = {23-55},
  doi       = {10.1007/BF00993253},
  volume    = {9},
  url       = {https://mlanthology.org/mlj/1992/dietzen1992mlj-higherorder/}
}