ML Anthology

Automated Refinement of First-Order Horn-Clause Domain Theories

Bradley L. Richards, Raymond J. Mooney
MLJ 1995 pp. 95-131
doi:10.1007/BF01007461 /mlj/1995/richards1995mlj-automated/
PDF MLJ Semantic Scholar

Cite

Text

Richards and Mooney. "Automated Refinement of First-Order Horn-Clause Domain Theories." Machine Learning, 1995. doi:10.1007/BF01007461

Markdown

[Richards and Mooney. "Automated Refinement of First-Order Horn-Clause Domain Theories." Machine Learning, 1995.](https://mlanthology.org/mlj/1995/richards1995mlj-automated/) doi:10.1007/BF01007461

BibTeX

@article{richards1995mlj-automated,
  title     = {{Automated Refinement of First-Order Horn-Clause Domain Theories}},
  author    = {Richards, Bradley L. and Mooney, Raymond J.},
  journal   = {Machine Learning},
  year      = {1995},
  pages     = {95-131},
  doi       = {10.1007/BF01007461},
  volume    = {19},
  url       = {https://mlanthology.org/mlj/1995/richards1995mlj-automated/}
}