Towards Inductive Generalization in Higher Order Logic

Cite

Text

Feng and Muggleton. "Towards Inductive Generalization in Higher Order Logic." International Conference on Machine Learning, 1992. doi:10.1016/B978-1-55860-247-2.50025-5

Markdown

[Feng and Muggleton. "Towards Inductive Generalization in Higher Order Logic." International Conference on Machine Learning, 1992.](https://mlanthology.org/icml/1992/feng1992icml-inductive/) doi:10.1016/B978-1-55860-247-2.50025-5

BibTeX

@inproceedings{feng1992icml-inductive,
  title     = {{Towards Inductive Generalization in Higher Order Logic}},
  author    = {Feng, Cao and Muggleton, Stephen H.},
  booktitle = {International Conference on Machine Learning},
  year      = {1992},
  pages     = {154-162},
  doi       = {10.1016/B978-1-55860-247-2.50025-5},
  url       = {https://mlanthology.org/icml/1992/feng1992icml-inductive/}
}