Machine Invention of First Order Predicates by Inverting Resolution

Muggleton and Buntine. "Machine Invention of First Order Predicates by Inverting Resolution." International Conference on Machine Learning, 1988. doi:10.1016/B978-0-934613-64-4.50040-2

[Muggleton and Buntine. "Machine Invention of First Order Predicates by Inverting Resolution." International Conference on Machine Learning, 1988.](https://mlanthology.org/icml/1988/muggleton1988icml-machine/) doi:10.1016/B978-0-934613-64-4.50040-2

@inproceedings{muggleton1988icml-machine,
  title     = {{Machine Invention of First Order Predicates by Inverting Resolution}},
  author    = {Muggleton, Stephen H. and Buntine, Wray L.},
  booktitle = {International Conference on Machine Learning},
  year      = {1988},
  pages     = {339-352},
  doi       = {10.1016/B978-0-934613-64-4.50040-2},
  url       = {https://mlanthology.org/icml/1988/muggleton1988icml-machine/}
}