Induction of Horn Clauses: Methods and the Plausible Generalization Algorithm

Wray L. Buntine. Induction of Horn Clauses: Methods and the Plausible Generalization Algorithm. International Journal of Man-Machine Studies, 26(4):499-519, 1987.

@article{Buntine87,
  title = {Induction of Horn Clauses: Methods and the Plausible Generalization Algorithm},
  author = {Wray L. Buntine},
  year = {1987},
  researchr = {https://researchr.org/publication/Buntine87},
  cites = {0},
  citedby = {0},
  journal = {International Journal of Man-Machine Studies},
  volume = {26},
  number = {4},
  pages = {499-519},
}