Rule-Generating Abduction for Recursive Prolog

ALT 1994 pp. 121-136

doi:10.1007/3-540-58520-6_59 /alt/1994/hirata1994alt-rulegenerating/

Cite

Text

Hirata. "Rule-Generating Abduction for Recursive Prolog." International Conference on Algorithmic Learning Theory, 1994. doi:10.1007/3-540-58520-6_59

Markdown

[Hirata. "Rule-Generating Abduction for Recursive Prolog." International Conference on Algorithmic Learning Theory, 1994.](https://mlanthology.org/alt/1994/hirata1994alt-rulegenerating/) doi:10.1007/3-540-58520-6_59

BibTeX

@inproceedings{hirata1994alt-rulegenerating,
  title     = {{Rule-Generating Abduction for Recursive Prolog}},
  author    = {Hirata, Kouichi},
  booktitle = {International Conference on Algorithmic Learning Theory},
  year      = {1994},
  pages     = {121-136},
  doi       = {10.1007/3-540-58520-6_59},
  url       = {https://mlanthology.org/alt/1994/hirata1994alt-rulegenerating/}
}