ML Anthology

Properties of Inductive Logic Programming in Function-Free Horn Logic

Irene Stahl
ECML-PKDD 1994 pp. 423-426
doi:10.1007/3-540-57868-4_89 /ecmlpkdd/1994/stahl1994ecml-properties/

Abstract

Inductive Logic Programming (ILP) deals with inductive inference in first order Horn logic. A commonly employed restriction on the hypothesis space in ILP is that to function-free programs. It yields a more tractable hypothesis space, and simplifies induction. This paper investigates basic properties of ILP in function-free languages.

PDF ECML-PKDD Semantic Scholar

Cite

Text

Stahl. "Properties of Inductive Logic Programming in Function-Free Horn Logic." European Conference on Machine Learning, 1994. doi:10.1007/3-540-57868-4_89

Markdown

[Stahl. "Properties of Inductive Logic Programming in Function-Free Horn Logic." European Conference on Machine Learning, 1994.](https://mlanthology.org/ecmlpkdd/1994/stahl1994ecml-properties/) doi:10.1007/3-540-57868-4_89

BibTeX

@inproceedings{stahl1994ecml-properties,
  title     = {{Properties of Inductive Logic Programming in Function-Free Horn Logic}},
  author    = {Stahl, Irene},
  booktitle = {European Conference on Machine Learning},
  year      = {1994},
  pages     = {423-426},
  doi       = {10.1007/3-540-57868-4_89},
  url       = {https://mlanthology.org/ecmlpkdd/1994/stahl1994ecml-properties/}
}